Research Catalog

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

Selected filters.Clear Filters

  • Product focused software process improvement : 7th International Conference, PROFES 2006, Amsterdam, The Netherlands, June 12-14, 2006 : proceedings / Jürgen Münch, Matias Vierimaa, eds.

    • Text
    • Berlin ; New York : Springer, [2006], ©2006.
    • 2006-2006
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.758 .P7585 2006gOff-site

  • Co-design for system acceleration : a quantitative approach / Nadia Nedjah, Luiza de Macedo Mourelle.

    • Text
    • Dordrecht ; London : Springer, 2007.
    • 2007
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.9.S88 N43 2007gOff-site

  • Extreme programming explained : embrace change / Kent Beck with Cynthia Andres.

    • Text
    • Boston, MA : Addison-Wesley, 2005.
    • 2004
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.76.D47 B434 2005Off-site

  • Principles and practice of constraint programming--CP '95 : first international conference, CP '95, Cassis, France, September 19-22, 1995 : proceedings / Ugo Montanari, Francesca Rossi (eds.).

    • Text
    • Berlin ; New York : Springer, ©1995.
    • 1995
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.612 .C7 1995Off-site

  • Process-centered software engineering environments / Pankaj K. Garg, Mehdi Jazayeri.

    • Text
    • Los Alamitos, California : IEEE Computer Society Press, [1996]
    • 1996-1996
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.758 .G38 1996Off-site

  • RIMS symposia on software science and engineering, Kyoto, 1982 : proceedings / edited by Eiichi Gotō [and others].

    • Text
    • Berlin ; New York : Springer-Verlag, 1983.
    • 1983
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.6 .R55 1983Off-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

  • Proving programs correct / Robert B. Anderson.

    • Text
    • New York : Wiley, ©1979.
    • 1979
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.6.A47Off-site

  • Software engineering with Modula-2 and Ada / Richard Wiener, Richard Sincovec.

    • Text
    • New York : Wiley, ©1984.
    • 1984
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.6 .W53 1984Off-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

  • Advanced programming environments : proceedings of an international workshop, Trondheim, Norway, June 16-18, 1986 / edited by Reidar Conradi, Tor M. Didriksen, and Dag H. Wanvik.

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

  • Software design and development / Philip Gilbert.

    • Text
    • Chicago : Science Research Associates, ©1983.
    • 1983
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.6 .G553 1983Off-site

  • Foundations of software technology and theoretical computer science : sixth conference, New Delhi, India, December 18-20, 1986 : proceedings / edited by Kesav V. Nori.

    • Text
    • Berlin ; New York : Springer-Verlag, ©1986.
    • 1986
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.751 .F68 1986Off-site

  • Software pioneers : contributions to software engineering / Manfred Broy, Ernst Denert, eds.

    • Text
    • Berlin ; New York : Springer, 2002.
    • 2002
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.2.A2 S62 2002Off-site

  • Software engineering in C / Peter A. Darnell, Philip E. Margolis.

    • Text
    • New York : Springer-Verlag, ©1988.
    • 1988
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.76.D47 D37 1988Off-site

  • Simula research laboratory : by thinking constantly about it / Aslak Tveito, Are Magnus Bruaset, Olav Lysne, editors.

    • Text
    • Heidelberg : Springer, ©2010.
    • 2009
    • 1 Item
    FormatCall NumberItem Location
    Text Q180.A1 S558 2010Off-site

  • Foundations of software technology and theoretical computer science : tenth conference, Bangalore, India, December 17-19, 1990 : proceedings / K.V. Nori, C.E. Veni Madhavan (eds.).

    • Text
    • Berlin ; New York : Springer-Verlag, ©1990.
    • 1990
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.751 .F68Off-site

  • Programming as if people mattered : friendly programs, software engineering, and other noble delusions / Nathaniel S. Borenstein.

    • Text
    • Princeton, New Jersey : Princeton University Press, 1991.
    • 1991
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.758 .B67 1991Off-site

  • Foundations of software technology and theoretical computer science : 11th conference, New Delhi, India, December 17-19, 1991 : proceedings / S. Biswas, K.V. Nori (eds.).

    • Text
    • Berlin ; New York : Springer-Verlag, ©1991.
    • 1991
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.751 .F68 1991Off-site

  • Software process technology : second European workshop, EWSPT '92, Trondheim, Norway, September 7-8, 1992 : proceedings / J.C. Derniame, ed.

    • Text
    • Berlin ; New York : Springer-Verlag, ©1992.
    • 1992
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.751 .E98 1992Off-site

  • Fundamentals of software engineering / Carlo Ghezzi, Mehdi Jazayeri, Dino Mandrioli.

    • Text
    • Englewood Cliffs, NJ : Prentice Hall, ©1991.
    • 1991
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.758 .G47 1991Off-site

  • Performance engineering of software systems / Connie U. Smith.

    • Text
    • Reading, Mass. : Addison-Wesley Pub. Co., ©1990.
    • 1990
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.76.E93 S65 1990Off-site

  • Recent trends in data type specification : 8th Workshop on Specification of Abstract Data Types, joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991 : selected papers / M. Bidoit, C. Choppy, eds.

    • Text
    • Berlin ; New York : Springer-Verlag, ©1993.
    • 1993
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.9.A23 W67 1991Off-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

  • FME '93 : industrial-strength formal methods : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 proceedings / J.C.P. Woodcock, P.G. Larsen, eds.

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

  • Software engineering : a programming approach / Doug Bell, Ian Morrey, John Pugh.

    • Text
    • New York : Prentice Hall, 1992.
    • 1992
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.758 .B45 1992Off-site

  • Object-oriented software engineering : a use case driven approach / Ivar Jacobson [and others].

    • Text
    • [New York] : ACM Press ; Wokingham, Eng. ; Reading, Mass. : Addison-Wesley Pub., ©1992.
    • 1992
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.76.D47 O24 1992Off-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

  • Static analysis : third international workshop, WSA '93, Padova, Italy, September 22-24, 1993 : proceedings / Patrick Cousot [and others].

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

  • Foundations of software technology and theoretical computer science : 13th conference, Bombay, India, December 15-17, 1993 : proceedings / R. Shyamasundar, ed.

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

  • Software engineering : a practitioner's approach / Roger S. Pressman.

    • Text
    • New York : McGraw-Hill, ©1982.
    • 1982
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.6 .P73 1982Off-site

  • Simulation modeling and analysis / Averill M. Law, W. David Kelton.

    • Text
    • New York : McGraw-Hill, ©1982.
    • 1982
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.9.C65 L38Off-site

  • Neural network simulation environments / edited by Josef Skrzypek.

    • Text
    • Boston : Kluwer Academic Publishers, ©1994.
    • 1994
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.87 .N477 1994Off-site

  • Static analysis : First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28-30, 1994 : proceedings / Baudouin Le Charlier (ed.).

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

  • Principles and practice of constraint programming : second international workshop, PPCP '94, Rosario, Orcas Island, WA, USA, May 2-4, 1994 : proceedings / Alan Borning (ed.).

    • Text
    • Berlin ; New York : Springer-Verlag, ©1994.
    • 1994
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.612 .W67 1994Off-site

  • Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings / Michael Fisher, Richard Owens, eds.

    • Text
    • Berlin ; New York : Springer, ©1995.
    • 1995
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.63 .I566 1995Off-site

  • Extensions of the UNITY methodology : compositionality, fairness, and probability in parallelism / Josyula Ramachandra Rao.

    • Text
    • Berlin ; New York : Springer-Verlag, ©1995.
    • 1995
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.642 .R43 1995Off-site

  • Recent trends in data type specification : 10th Workshop on Specification of Abstract Data Types, joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30-June 3, 1994 : selected papers / Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki, (eds).

    • Text
    • Berlin ; New York : Springer-Verlag, 1995.
    • 1995
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.9.A23 W67 1994Off-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