41. Software engineering 3 : domains, requirements, and software design

by Bjorner, Dines.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2005Availability: Items available for loan: [Call number: 620.0028553 BJO] (1).
42. E-commerce and web technologies : fifth international conference, EC-Web 2004, Zaragoza, Spain, August 31-September 3, 2004 ; proceedings

by Bauknecht, Kurt | Bichler, Martin | Proll, Birgit.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2004Availability: Items available for loan: [Call number: 004 BAU] (1).
43. FSTTCS 2004 : Foundations of software technology and theoretical computer science: twenty fourth International conference Chennai, India, December 2004 : proceedings

by Lodaya, Kamal | Mahajan, Meena.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 004 LOD] (1).
44. Ubiquitous mobile information and collaboration systems : Second CAiSE Workshop, UMICS 2004, Riga, Latria, June 7-8, 2004 ; revised papers

by Baresi, Luciano | Dustdar, Schahram | Gall, Harald | Matera, Maristella.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2005Availability: Items available for loan: [Call number: 004 BAR] (1).
45. 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 Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 ODE] (1).
46. Software Product Line Engineering : foundations, principles and techniques

by Pohl, Klaus | Bockle, Gunter | Linden, Frank van der.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 005.1 PHO] (1).
47. Foundations of empirical software engineering : the legacy of Victor R. Basili

by Boehm, Barry | Rombach, Hans Dieter | Zelkowitz, Marvin V.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 005.1 BOE] (1).
48. 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 Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 GSC] (1).
49. 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 Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 GUE] (1).
50. Grid Computing-GRID 2000 : First IEEE/ACM International Workshop, Bangalore, India, December 17, 2000 ; Proceedings

by Buyya Rajkumar | Baker, Mark.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2000Availability: Items available for loan: [Call number: 004 BUY] (1).
51. Software Quality Approaches

by Haug, Michael.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 005.1 HAU] (1).
52. Managing the Change

by Haug, Michael.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 005.1 HAU] (1).
53. Software Management Approaches

by Haug, Michael.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 005.1 HAU] (1).
54. Software process improvement : metrics, measurement and process modelling

by Haug, Michael.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 005.1 HAU] (1).
55. Understanding Agent Systems

by D'Inverno, Mark.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 005.1 DIN] (1).
56. Iterative Software Engineering for Multiagent Systems : the MASSIVE method

by Lind, Jurgen.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2001Availability: Items available for loan: [Call number: 005.1 LIN] (1).
57. 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 Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 004 BRI] (1).
58. Middleware 2001 : IFIP/ACM International Conference on Distributed Systems Platforms, Heidelberg, Germany, November 12-16, 2001 : Proceedings

by Guerraoui, Rachid.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 004 GUE] (1).
59. Software pioneers and their contributions to software engineering

by Broy, Manfred | Denert, Ernst.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 005.10922 BRO] (1).
60. Invasive software composition

by Abmann, Uwe.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2003Availability: Items available for loan: [Call number: 005.1 ABM] (1).

Powered by Koha