Clear Search

Books+ Search Results

Subject: "Computer software"
Language: Is
Is Is Not
English
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.
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
4.
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
5.
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
6.
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
7.
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
8.
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
9.
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
10.
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
11.
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
12.
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
13.
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
14.
Software process : principles, methodology, and technology
Published
Berlin ; New York : Springer, c1999.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 1500 (LC)
Format
Books
15.
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
16.
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
17.
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
18.
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
19.
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
20.
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
21.
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
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
26.
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
27.
Theoretical aspects of computer software : International Symposium TACS '94, Sendai, Japan, April 19-22, 1994 : proceedings
Author
TACS '94 (1994 : Sendai-han, Japan)
Published
Berlin ; New York : Springer-Verlag, c1994.
Location
Library Shelving Facility (LSF) >> QA76.A1 L43 789 (LC)
Format
Books
28.
Program development by specification and transformation : the PROSPECTRA methodology, language family, and system
Published
Berlin ; New York : Springer-Verlag, c1993.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 680 (LC)
Format
Books
29.
Software process technology : second European workshop, EWSPT '92, Trondheim, Norway, September 7-8, 1992 : proceedings
Author
EWSPT '92 (1992 : Trondheim, Norway)
Published
Berlin ; New York : Springer-Verlag, c1992.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 635 (LC)
Format
Books
30.
Theoretical aspects of computer software : International Conference, TACS'91, Sendai, Japan, September 24-27, 1991 : proceedings
Author
TACS'91 (1991 : Sendai-han, Japan)
Published
Berlin ; New York : Springer-Verlag, c1991.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 526 (LC)
Format
Books
31.
Computer-aided software engineering (CASE)
Author
Chikofsky, Elliot J.
Published
Washington, D.C. : IEEE Computer Society Press, 1989.
Location
Library Shelving Facility (LSF) >> QA76.76 D47 C53 1989 (LC)+ Oversize
Format
Books
32.
CASE : using software development tools
Author
Fisher, Alan S.
Published
New York : Wiley, c1988.
Location
Library Shelving Facility (LSF) >> QA76.76 D47 F57 1988 (LC)
Format
Books
33.
Software reliability modelling and identification
Published
Berlin ; New York : Springer-Verlag, 1988.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 341 (LC)
Format
Books
34.
Research directions in object-oriented programming
Published
Cambridge, Mass. : MIT Press, 1987.
Location
Library Shelving Facility (LSF) >> QA76.76 D47 R47 1987 (LC)
Format
Books
35.
Conference on Software Tools : April 15-17, 1985, New York, New York
Author
Conference on Software Tools (1985 : New York, N.Y.)
Published
Washington, D.C. : IEEE Computer Society Press ; Los Angeles, CA : Order from IEEE Computer Society, c1985.
Location
Library Shelving Facility (LSF) >> QA76.751 C66 1985 (LC)+ Oversize
Format
Books
36.
Software process change : International Software Process Workshop and International Workshop on Software Process Simulation and Modeling, SPW/ProSim 2006, Shanghai, China, May 20-21, 2006 : proceedings
Author
SPW/ProSim 2006 (2006 : Shanghai, China)
Published
Berlin : Springer, c2006.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3966 (LC)
Format
Books
37.
Software engineering metrics
Published
London ; New York : McGraw-Hill Book Co., c1993-
Location
Library Shelving Facility (LSF) >> QA76.76 Q35 S54X (LC)
Format
Books
38.
Professional empowerment in the software industry through experience-driven shared tacit knowledge : a case study from China
Author
Chen, Hui
Published
Singapore : Springer Nature Singapore Pte Ltd, [2023]
Location
MARX Library >> HD9696.63.C6 C44 2023 (LC)
Format
Books
39.
Model checking software : 13th International SPIN Workshop, Vienna, Austria, March 30-April 1, 2006 : proceedings
Author
International SPIN Workshop (13th : 2006 : Vienna, Austria)
Published
Berlin ; New York : Springer, c2006.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3925 (LC)
Format
Books
40.
Reuse of off-the-shelf components : 9th International Conference on Software Reuse, ICSR 2006, Turin, Italy, June 12-15, 2006 ; proceedings
Author
International Conference on Software Reuse (9th : 2006 : Turin, Italy)
Published
Berlin ; New York : Springer, c2006.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 4039 (LC)
Format
Books
41.
Satellite events at the MoDELS 2005 conference : MoDELS 2005 international workshops, doctoral symposium, educators symposium, Montego Bay, Jamaica, October 2-7, 2005 : revised selected papers
Published
Berlin : Springer, c2006.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3844 (LC)
Format
Books
42.
Model driven engineering languages and systems : 8th international conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005 : proceedings
Author
MoDELS 2005 (2005 : Montego Bay, Jamaica)
Published
Berlin ; New York : Springer, c2005.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3713 (LC)
Format
Books
43.
Reliable software technology - Ada-Europe 2005 : 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005 : proceedings
Author
Ada-Europe International Conference on Reliable Software Technologies (10th : 2005 : York, UK)
Published
Berlin : Springer, c2005.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3555 (LC)
Format
Books
44.
Intelligent agents : theory and applications
Author
Resconi, Germano
Published
Berlin ; New York : Springer, c2004.
Location
Library Shelving Facility (LSF) >> QA76.76.I58 R47 2004 (LC)
Format
Books
45.
Software product lines : third international conference, SPLC 2004, Boston, MA, USA, August 30-September 2, 2004 : proceedings
Author
Software Product Lines Conference (3rd : 2004 : Boston, Mass.)
Published
Berlin ; New York : Springer, c2004.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3154 (LC)
Format
Books
46.
Software reuse: methods, techniques, and tools : 8th international conference, ICSR 2004, Madrid, Spain, July 5-9, 2004 ; proceedings
Author
International Conference on Software Reuse (8th : 2004 : Madrid, Spain)
Published
Berlin ; New York : Springer, c2004.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3107 (LC)
Format
Books
47.
Understanding agent systems
Author
D'Inverno, Mark
Published
Berlin ; New York : Springer-Verlag, c2004.
Location
Library Shelving Facility (LSF) >> QA76.76.I58 D56X 2004 (LC)
Format
Books
48.
Communication in multiagent systems : agent communication languages and conversation policies
Published
New York : Springer, 2003.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2650 (LC)
Format
Books
49.
Intelligent information agents : the AgentLink perspective
Published
Berlin ; New York : Springer, 2003.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2586 (LC)
Format
Books
50.
Reliable software technologies -- Ada-Europe 2003 : 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003 : proceedings
Author
Ada-Europe International Conference on Reliable Software Technologies (8th : 2003 : Toulouse, France)
Published
Berlin ; New York : Springer, c2003.
Location
Library Shelving Facility (LSF) >> QA76.A1 L43 2655 (LC)
Format
Books