Clear Search

Books+ Search Results

Subject: "Computer software"
Language: Is
Is Is Not
English

Advanced Search

Basic Search
Help
Add a row
Reset

Limit results by

Show Online Results Only
Online Results (5,847)

Limit your search

-
Current results range from 1950 to 2024

201.
Software by Numbers : Low-Risk, High-Return Development
Author
Denne, Mark
Published
Sun Microsystems Press [Imprint], Oct. 2003 ; E Rutherford : Prentice Hall PTR Old Tappan : Pearson Education [distributor]
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
202.
Software design
Author
Budgen, D. (David)
Published
Harlow, England ; New York : Pearson/Addison-Wesley, c2003.
Location
Library Shelving Facility (LSF) >> QA76.76.D47 B83 (LC)
Format
Books
203.
Software requirements, second edition
Author
Wiegers, Karl Eugene, 1953-
Published
Redmond, Wash. : Microsoft Press, 2003.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
204.
Agile software development ecosystems
Author
Highsmith, James A.
Published
Boston : Addison-Wesley, ©2002.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
205.
Free software, free society : selected essays of Richard M. Stallman
Author
Stallman, Richard
Published
Boston, MA : GNU Press, Free Software Foundation, c2002.
Location
Law Library >> QA76.756 .S73 2002
Format
Books
206.
From 0 to 1 : an authoritative history of modern computing
Published
Oxford ; New York : Oxford University Press, 2002.
Location
SML, Stacks, LC Classification >> QA76.5 F76X 2002
Format
Books
207.
Lessons learned in software testing : a context-driven approach
Author
Kaner, Cem
Published
New York : Wiley, ©2002.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
208.
Open Source Web Development with LAMP : Using Linux, Apache, MySQL, Perl, and PHP
Author
Lee, James
Published
Addison-Wesley Professional, 2002.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
209.
Planning Smarter : Creating Blueprint-Quality Software Specifications
Author
Gill, Tyson
Published
E Rutherford : Prentice Hall PTR March 2002 Old Tappan : Pearson Education [distributor]
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
210.
Soft-ware 2002 : computing in an imperfect world : first international conference, Soft-Ware 2002, Belfast, North Ireland, April 2002 : proceedings
Author
Soft-Ware 2002 (2002 : Belfast, Northern Ireland)
Published
Berlin ; New York : Springer, 2002.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2311 (LC)
Format
Books
211.
Peopleware Papers: Notes on the Human Side of Software, The
Author
Constantine, Larry
Published
[Place of publication not identified] : Pearson, 2001.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
212.
Software Craftsmanship : the New Imperative
Author
McBreen, Pete
Published
Boston : Addison Wesley Professional, Aug. 2001 ; Old Tappan : Pearson Education [distributor]
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
213.
Software reliability methods
Author
Peled, Doron, 1962-
Published
New York ; Berlin : Springer-Verlag, 2001.
Location
SML, Stacks, LC Classification >> QA76.76 R44 P317X 2001 (LC)
Format
Books
214.
Testing IT an off-the-shelf software testing process
Author
Watkins, John (John Edward)
Published
Cambridge ; New York : Cambridge University Press, 2001.
Online
Online book
Location
Yale Internet Resource
Format
Books / Online
215.
Theoretical aspects of computer software : 4th international symposium, TACS 2001, Sendai, Japan, October 2001 : proceedings
Author
TACS 2001 (2001 : Sendai-shi, Miyagi-ken, Japan)
Published
Berlin ; New York : Springer, 2001.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2215 (LC)
Format
Books
216.
Computers Ltd. : what they really can't do
Author
Harel, David, 1950-
Published
Oxford : Oxford University Press, 2004.
Location
Library Shelving Facility (LSF) >> QA76.5 H3575 2004 (LC)
Format
Books
217.
A Crash Course in Mathematica
Author
Kaufmann, Stephan
Published
Basel : Birkhäuser Basel : Imprint: Birkhäuser, 1999.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-3-0348-7589-9
Location
Yale Internet Resource >> None
Format
Books / Online
218.
Discovering Mathematics with Maple An interactive exploration for mathematicians, engineers and econometricians
Author
Stroeker, Roelof J.
Published
Basel : Birkhäuser Basel : Imprint: Birkhäuser, 1999.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-3-0348-8726-7
Location
Yale Internet Resource >> None
Format
Books / Online
219.
Partial evaluation : practice andn theory : DIKU 1998 International Summer School, Copenhagen, Denmark, June 29-July 10, 1998
Author
DIKU International Summer School on Partial Evaluation (1998 : Copenhagen, Denmark)
Published
Berlin ; New York Springer-Verlag, c1999.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 1706 (LC)
Format
Books
220.
Software Development : Building Reliable Systems
Author
Hamilton, Marc
Published
E Rutherford : Prentice Hall PTR, March 1999 ; Old Tappan : Pearson Education [distributor]
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
221.
Software process : principles, methodology, and technology
Published
Berlin ; New York : Springer, c1999.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 1500 (LC)
Format
Books
222.
Constructing correct software : the basics
Author
Cooke, John, 1947-
Published
London : New York : Springer, c1998.
Location
Library Shelving Facility (LSF) >> QA76.76 D47 C665X 1998 (LC)
Format
Books
223.
Experience report comparing an automated conformance test development approach with a traditional development approach
Author
Goldfine, Alan H.
Published
[Gaithersburg, Md.?] : U.S. Dept. of Commerce, Technology Administration, National Institute of Standards and Technology, [1998]
Location
SML, Microform (Non-Circulating) >> C 13.58:6114
Format
Books / Microforms
224.
10th International Software Process Workshop proceedings, Dijon, France, June 17-19, 1996
Author
International Software Process Workshop (10th : 1996 : Dijon, France)
Published
Los Alamitos, Calif. : IEEE Computer Society Press, c1998.
Online
IEEE conference proceeding
Location
Yale Internet Resource
Format
Books / Online
225.
Using model checking to generate tests from specifications
Author
Ammann, Paul E.
Published
Gaithersburg, MD : U.S. Dept. of Commerce, Technology Administration, National Institute of Standards and Technology, [1998]
Location
SML, Microform (Non-Circulating) >> C 13.58:6166
Format
Books / Microforms
226.
Theoretical aspects of computer software : Third International Symposium, TACS '97, Sendai, Japan, September 23-26, 1997 : proceedings
Author
TACS '97 (1997 : Sendai-han, Japan)
Published
Berlin ; New York : Springer, c1997.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 1281 (LC)
Format
Books
227.
Beyond programming : to a new era of design
Author
Blum, Bruce I.
Published
New York : Oxford University Press, 1996.
Location
Library Shelving Facility (LSF) >> QA76.76 D47 B62X 1996 (LC)
Format
Books
228.
Building tightly integrated software development environments : the IPSEN approach
Published
Berlin ; New York : Springer, c1996.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 1170 (LC)
Format
Books
229.
Fourth International Conference on the Software Process improvement and practice : proceedings, December 2-6, Brighton, UK
Author
International Conference on the Software Process (4th : 1996 : Brighton, England)
Published
Los Alamitos, Calif. : IEEE Computer Society Press, c1996.
Online
IEEE conference proceeding
Location
Yale Internet Resource
Format
Books / Online
230.
The international computer software industry : a comparative study of industry evolution and structure
Published
New York : Oxford University Press, 1996.
Location
Library Shelving Facility (LSF) >> QA76.76 D47 I555X 1996 (LC)
Format
Books
231.
The international computer software industry : a comparative study of industry evolution and structure
Published
New York : Oxford University Press, 1996.
Online
Online book (login required)
Online book (login required)
Location
Internet Archive >> None
Format
Books
232.
Pattern-oriented software architecture. Volume 1, A system of patterns
Published
Chichester, West Sussex, England ; New York, NY : Wiley, ©1996.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
233.
Rapid development : taming wild software schedules
Author
McConnell, Steve
Published
Redmond, Wash. : Microsoft Press, ©1996.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
234.
Reference information for the software verification and validation process
Author
Wallace, Dolores R.
Published
Gaithersburg, MD : U.S. Dept. of Commerce, Technology Administration, National Institute of Standards and Technology, 1996.
Location
SML, Microform (Non-Circulating) >> C 13.10:500-234
Format
Books / Microforms
235.
Software testing for conventional and logic programming
Author
Jack, Oliver
Published
Berlin ; New York : W. de Gruyter, 1996.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
236.
Tog on software design
Author
Tognazzini, Bruce
Published
Reading, Mass. : Addison-Wesley Pub. Co., c1996.
Location
Library Shelving Facility (LSF) >> QA76.76 D47 T64X 1996 (LC)
Format
Books
237.
Tog on software design
Author
Tognazzini, Bruce
Published
Reading, Mass. : Addison-Wesley Pub. Co., c1996.
Online
Online book (login required)
Location
Internet Archive >> None
Format
Books
238.
Black-box testing : techniques for functional testing of software and systems
Author
Beizer, Boris, 1934-
Published
New York : Wiley, c1995.
Location
Library Shelving Facility (LSF) >> QA76.76 T48 B44X 1995 (LC)
Format
Books
239.
Black-box testing : techniques for functional testing of software and systems
Author
Beizer, Boris, 1934-
Published
New York : Wiley, c1995.
Online
Online book (login required)
Location
Internet Archive >> None
Format
Books
240.
Formal development of reactive systems : case study production cell
Published
Berlin ; New York : Springer-Verlag, c1995.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 891:(LC)
Format
Books
241.
KORSO : methods, languages, and tools for the construction of correct software : final report
Published
Berlin ; New York : Springer, c1995.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 1009 (LC)
Format
Books
242.
KORSO : methods, languages, and tools for the construction of correct software : final report
Published
Berlin ; New York : Springer, c1995.
Online
Online book (login required)
Location
Internet Archive >> None
Format
Books
243.
Ninth International Software Process Workshop proceedings, Airlie, Virginia, October 5-7, 1994
Author
International Software Process Workshop (9th : 1994 : Airlie, Va.)
Published
Los Alamitos, Calif. : IEEE Computer Society Press, c1995.
Online
IEEE conference proceeding
Location
Yale Internet Resource
Format
Books / Online
244.
SOFSEM '95 : theory and practice of informatics : 22nd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23-December 1, 1995 : proceedings
Author
SOFSEM (Conference) (1995 : Milovy, Czech Republic)
Published
Berlin ; New York : Springer, c1995.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 1012 (LC)
Format
Books
245.
Software requirements & specifications : a lexicon of practice, principles, and prejudices
Author
Jackson, Michael J. (Michael James)
Published
New York : ACM Press ; Wokingham, England ; Reading, Mass. : Addison-Wesley Pub. Co., c1995.
Location
Library Shelving Facility (LSF) >> QA76.76 D47 J33X 1995 (LC)
Format
Books
246.
Software requirements & specifications : a lexicon of practice, principles, and prejudices
Author
Jackson, Michael J. (Michael James)
Published
New York : ACM Press ; Wokingham, England ; Reading, Mass. : Addison-Wesley Pub. Co., c1995.
Online
Online book (login required)
Location
Internet Archive >> None
Format
Books
247.
Software testing : a craftsman's approach
Author
Jorgensen, Paul
Published
Boca Raton : CRC Press, c1995.
Location
SML, Stacks, LC Classification >> QA76.76 T48 J67X 1995 (LC)
Format
Books
248.
Software testing : a craftsman's approach
Author
Jorgensen, Paul
Published
Boca Raton : CRC Press, c1995.
Online
Online book (login required)
Location
Internet Archive >> None
Format
Books
249.
Foundations of software technology and theoretical computer science : 14th conference, Madras, India, December 15-17, 1994 : proceedings
Published
Berlin ; New York : Springer-Verlag, c1994.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 880 (LC)
Format
Books
250.
A framework for the development and assurance of high integrity software
Author
Wallace, Dolores R.
Published
Gaithersburg, MD : U.S. Dept. of Commerce, Technology Administration, National Institute of Standards and Technology ; Washington : For sale by the Supt. of Docs., U.S. G.P.O., [1994]
Location
SML, Microform (Non-Circulating) >> C 13.10:500-223
Format
Books / Microforms