|
|
21.
|
Agent-oriented software engineering V : 5th international workshop, AOSE 2004, New York, NY, USA, July 19, 2004 ; revised selected papers
by Giorgini, Paolo | Muller, Jorg P | Odell, James. Material type:  Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 ODE] (1).
|
|
|
22.
|
Software Product Line Engineering : foundations, principles and techniques
by Pohl, Klaus | Bockle, Gunter | Linden, Frank van der. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 005.1 PHO] (1).
|
|
|
23.
|
Foundations of empirical software engineering : the legacy of Victor R. Basili
by Boehm, Barry | Rombach, Hans Dieter | Zelkowitz, Marvin V. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 005.1 BOE] (1).
|
|
|
24.
|
Software engineering and middleware : fourth international workshop, SEM 2004, Linz, Austria, September 20-21, 2004 ; revised selected papers
by Mascolo, Cecilia | Gschwind, Thomas. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 GSC] (1).
|
|
|
25.
|
Rapid Integration of Software Engineering Techniques : First International Workshop, rise 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004. Revised selected papers
by Guelfi, Nicolas. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 GUE] (1).
|
|
|
26.
|
Grid Computing-GRID 2000 : First IEEE/ACM International Workshop, Bangalore, India, December 17, 2000 ; Proceedings
by Buyya Rajkumar | Baker, Mark. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2000Availability: Items available for loan: [Call number: 004 BUY] (1).
|
|
|
27.
|
Software Quality Approaches
by Haug, Michael. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 005.1 HAU] (1).
|
|
|
28.
|
Managing the Change
by Haug, Michael. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 005.1 HAU] (1).
|
|
|
29.
|
Software Management Approaches
by Haug, Michael. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 005.1 HAU] (1).
|
|
|
30.
|
Software process improvement : metrics, measurement and process modelling
by Haug, Michael. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 005.1 HAU] (1).
|
|
|
31.
|
Understanding Agent Systems
by D'Inverno, Mark. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 005.1 DIN] (1).
|
|
|
32.
|
Iterative Software Engineering for Multiagent Systems : the MASSIVE method
by Lind, Jurgen. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2001Availability: Items available for loan: [Call number: 005.1 LIN] (1).
|
|
|
33.
|
Lectures on Formal Methods and Performance Analysis : First EEF/Euro Summer School on Trends in Computer Science
by Brinksma, Ed | Hermanns, Holger | Katoen, Joost-Pieter. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 004 BRI] (1).
|
|
|
34.
|
Middleware 2001 : IFIP/ACM International Conference on Distributed Systems Platforms, Heidelberg, Germany, November 12-16, 2001 : Proceedings
by Guerraoui, Rachid. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 004 GUE] (1).
|
|
|
35.
|
Software pioneers and their contributions to software engineering
by Broy, Manfred | Denert, Ernst. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 005.10922 BRO] (1).
|
|
|
36.
|
Invasive software composition
by Abmann, Uwe. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2003Availability: Items available for loan: [Call number: 005.1 ABM] (1).
|
|
|
37.
|
Principles of program analysis
by Nielson, Flemming | Hankin, Chris | Nielson, Hanne Riis. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 005.1 NIE] (1).
|
|
|
38.
|
Software Process
by Derniame, Jean-Claude. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1999Availability: Items available for loan: [Call number: 004 DER] (1).
|
|
|
39.
|
Foundations of software technology and theoretical computer science
by Rangan, C. Pandu. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1999Availability: Items available for loan: [Call number: 004 RAN] (1).
|
|
|
40.
|
Automated Theorem Proving in Software Engineering
by Schumann, Johann M. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 005.1 SCH] (1).
|
