Research Catalog

New! Try our Article Search to discover online journals, books, and more from home with your library card.

Selected filters.Clear Filters

  • Verification of object-oriented software : the KeY approach / Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt (eds.) ; foreword by K. Rustan M. Leino.

    • Text
    • Berlin ; New York : Springer, [2007], ©2007.
    • 2007-2007
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.76.V47 V474 2007Off-site

  • Software engineering : an advanced course / F.L. Bauer [and others] ; edited by F.L. Bauer.

    • Text
    • Berlin ; New York : Springer-Verlag, 1975, ©1973.
    • 1975-1973
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.6.A33 1972aOff-site

  • Logical construction of systems / Jean Dominique Warnier.

    • Text
    • New York : Van Nostrand Reinhold, [1981]
    • 1981-1981
    • 1 Item
    FormatCall NumberItem Location
    Text QA76 .W24513Off-site

  • System development / M.A. Jackson.

    • Text
    • Englewood Cliffs, N.J. : Prentice/Hall, 1983.
    • 1983
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.9.S88 J33 1983Off-site

  • Formal methods and software development / Colloquium on Software Engineering (CSE) ; edited by Hartmut Ehrig [and others].

    • Text
    • Berlin ; New York : Springer-Verlag, ©1985.
    • 1985
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.76.D47 I57 1985 vol.2Off-site

  • Software development : manual for the planning, realization, and installation of DP systems / Wolfgang End, Horst Gotthardt, and Rolf Winkelmann ; translated by A.J. and B.D. Tebby.

    • Text
    • Chichester [West Sussex] ; New York : Wiley, ©1983.
    • 1983
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.6 .E513 1983Off-site

  • Controlling software development : a guide for information resource managers / Norman Statland.

    • Text
    • New York : Wiley, ©1986.
    • 1986
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.76.D47 S73 1986Off-site

  • Data communications software design / Malcolm G. Lane.

    • Text
    • Boston : Boyd & Fraser Pub. Co., ©1985.
    • 1985
    • 1 Item
    FormatCall NumberItem Location
    Text TK5105 .L357 1985Off-site

  • Mathematical methods of specification and synthesis of software systems '85 : proceedings of the international spring school, Wendisch-Rietz, GDR, April 22-26, 1985 / edited by W. Bibel and K.P. Jantke.

    • Text
    • Berlin ; New York : Springer, ©1986.
    • 1986
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.76.D47 M37Off-site

  • Abstraction and specification in program development / Barbara Liskov and John Guttag.

    • Text
    • Cambridge, Mass. : MIT Press ; New York : McGraw-Hill, ©1986.
    • 1986
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.6 .L5655 1986Off-site

  • Tutorial : software management / [edited by] Donald J. Reifer.

    • Text
    • Washington, D.C. : IEEE Computer Society Press ; Los Angeles, CA : Order from IEEE Computer Society, [1986]
    • 1986-1986
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.6 .T888 1986Off-site

  • Die sozialdemokratische Wende : Aussenbild und innerer Prozess der SPD, 1981-1984 / Richard Meng.

    • Text
    • Giessen : Focus, 1985.
    • 1985
    • 1 Item
    FormatCall NumberItem Location
    Text JN3971.A98 S61317 1985Off-site

  • Cost estimation for software development / Bernard Londeix.

    • Text
    • Wokingham, England ; Reading, Mass. : Addison-Wesley, 1987.
    • 1987
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.76.D47 L66 1987Off-site

  • Software fortresses : modeling enterpise architectures / Roger Sessions ; art coordinated by Janet Van Sickler.

    • Text
    • Boston : Addison-Wesley, ©2003.
    • 2003
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.9.S88 S48 2003Off-site

  • The spine of software: designing provably correct software : theory and practice, or, A mathematical introduction to the semantics of computer programs / Robert Laurence Baber.

    • Text
    • Chichester : Wiley, ©1987.
    • 1987
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.76.D47 B33 1987Off-site

  • Categories for software engineering / José Luiz Fiadeiro.

    • Text
    • Berlin : Springer-Verlag, ©2005.
    • 2005
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.76.D47 F522 2005Off-site

  • Contracts, scenarios and prototypes : an integrated approach to high quality software / Reinhold Plösch.

    • Text
    • Berlin ; New York : Springer, ©2004.
    • 2004
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.76.D47 P56 2004Off-site

  • Software product assurance : techniques for reducing software risk / William L. Bryan and Stanley G. Siegel.

    • Text
    • New York : Elsevier, ©1988.
    • 1988
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.76.Q35 B79 1988Off-site

  • Untersuchung über Massnahmen zur Verbesserung der Software-Produktion : Zusammenfassung / Harald Geist.

    • Text
    • München : R. Oldenbourg, 1981.
    • 1981
    • 1 Item
    FormatCall NumberItem Location
    Text QA1 .G34 Nr.129Off-site

  • ESEC '87 : 1st European Software Engineering Conference, Strasbourg, France, September 9-11, 1987 : proceedings / H.K. Nichols, D. Simpson (eds.).

    • Text
    • Berlin ; New York : Springer-Verlag, ©1987.
    • 1987
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.758 .E97 1987Off-site

  • Effective data base design / William H. Inmon.

    • Text
    • Englewood Cliffs, N.J. : Prentice-Hall, ©1981.
    • 1981
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.9.D3 I54Off-site

  • Software security engineering : a guide for project managers / Julia H. Allen [and others].

    • Text
    • Upper Saddle River, NJ : Addison-Wesley, ©2008.
    • 2008
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.9.A25 S654 2008Off-site

  • Managing software development projects : formula for success / Neal Whitten.

    • Text
    • New York : Wiley, ©1990.
    • 1990
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.76.D47 W49 1990Off-site

  • Building hypermedia applications : a software development guide / Gary Thomas Howell.

    • Text
    • New York : McGraw-Hill, ©1992.
    • 1992
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.76.H92 H68 1992Off-site

  • Mathematics of program construction : second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings / R.S. Bird, C.C. Morgan, J.C.P. Woodcock, eds.

    • Text
    • Berlin ; New York : Springer-Verlag, ©1993.
    • 1993
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.6 .M367 1993Off-site

  • Methods and tools for software configuration management / David Whitgift.

    • Text
    • Chichester ; New York : J. Wiley, ©1991.
    • 1991
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.76.C69 W55 1991Off-site

  • Developing C++ software / Russel Winder.

    • Text
    • Chichester, England ; New York : Wiley, 1993.
    • 1993
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.73.C153 W56 1993Off-site

  • Software metrics : a practitioner's guide to improved product development / K.-H. Möller and D.J. Paulish.

    • Text
    • Los Alamitos, CA : IEEE Computer Society Press ; Piscataway, NJ : IEEE Press ; London ; New York : Chapman & Hall, 1993.
    • 1993
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.76.E93 M64 1993Off-site

  • Designing object-oriented C++ applications using the Booch method / Robert C. Martin.

    • Text
    • Englewood Cliffs, New Jersey : Prentice Hall, [1995]
    • 1995-1995
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.64 .M384 1995Off-site

No results found from Digital Research Books Beta

Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.

digital-research-book
Explore Digital Research Books Beta