Clear Search

Books+ Search Results

Subject: "Computer software"
Location: Is
Is Is Not
Marx Library

Advanced Search

Basic Search
Help
Add a row
Reset

Limit results by

1.
The Future of software
Published
Cambridge, Mass. : MIT Press, c1995.
Location
Library Shelving Facility (LSF) >> QA76.754 F86X 1995 (LC)
Format
Books
2.
PMDRV an RSX-11M/M-plus device driver for the advanced computer communications ACP 5100/6100 communications interface
Author
Baker, Lawrence M.
Published
Menlo Park, CA : U.S. Dept. of the Interior, U.S. Geological Survey ; [Denver, Colo. : Books and Open-File Reports Section, distributor], 1991.
Location
MARX Library - ask at Info Desk
Format
Books / Microforms
3.
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
4.
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
5.
A profile of the software industry : emergence, ascendance, risks, and rewards
Author
Slaughter, Sandra A.
Published
New York, NY : Business Expert Press, [2014]
Location
MARX Library >> HD9696.63.A2 S53 2014 (LC)
Format
Books
6.
Software abstractions : logic, language and analysis
Author
Jackson, Daniel
Published
Cambridge, Mass. : MIT Press, c2006.
Location
Library Shelving Facility (LSF) >> QA76.76.D47 J29X 2006 (LC)
Format
Books
7.
Software paradigms
Author
Kaisler, Stephen H. (Stephen Hendrick)
Published
Hoboken, N.J. : John Wiley, 2005.
Online
Publisher description
Table of contents
Location
Library Shelving Facility (LSF) >> QA76.76.D47 K34X 2005 (LC)
Format
Books
8.
FSTTCS 2004 : Foundations of Software Technology and Theoretical Computer Science : 24th international conference, Chennai, India, December 16-18, 2004 : proceedings
Author
Conference on Foundations of Software Technology and Theoretical Computer Science (24th : 2004 : Madras, India)
Published
Berlin : Springer, c2004.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3328 (LC)
Format
Books
9.
Verification : theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th birthday
Published
Berlin ; New York : Springer-Verlag, c2003.
Online
Restricted to Springer LINK subscribers
Location
Library Shelving Facility (LSF) >> QA76 .A1 L43 2772 (LC)
Format
Books
10.
Practical software testing : a process-oriented approach
Author
Burnstein, Ilene
Published
New York : Springer, c2003.
Location
Library Shelving Facility (LSF) >> QA76.76.T48 B87X 2003 (LC)
Format
Books
11.
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
12.
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
13.
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
14.
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
15.
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
16.
Software process : principles, methodology, and technology
Published
Berlin ; New York : Springer, c1999.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 1500 (LC)
Format
Books
17.
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
18.
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
19.
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
20.
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
21.
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
22.
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
23.
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
24.
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
25.
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