|
21.
|
Web and wireless geographical information systems : 4th international workshop, W2GIS 2004, Goyang, Korea, November 26-27, 2004, revised selected papers
by Kwon, Yong-Jin | Bouju, Alain | Claramunt, Christophe. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 KWO] (1).
|
|
22.
|
Web Engineering : Fifth International Conference, ICWE 2005, Sydney, Australia, July 27-29, 2005 ; proceedings
by Lowe, David | Gaedke, Martin. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 LOW] (1).
|
|
23.
|
Model checking software : twelfth International SPIN Workshop, San Franscisco, CA, USA, August 22-24, 2005 : proceedings
by Godefroid, Patrick. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 GOD] (1).
|
|
24.
|
Formal Techniques for Computer Systems and Business Processes : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings
by Bravetti, Mario | Kloul, Leila | Zavattaro, Gianluigi. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 BRA] (1).
|
|
25.
|
Object-oriented information systems: 9th International conference, OOIS 2003 Geneva, Switzerland, September 2-5, 2003: Proceedings
by Konstantas, Dimitri. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 KON] (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.
|
Web Engineering : Managing Diversity and Complexity of Web Application Development
by Murugesan, San | Deshpande, Yogesh. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 004 MUR] (1).
|
|
28.
|
Performance Engineering : State of the Art and Current Trends
by Dumke, Reiner | Rautenstrauch, Claus | Schmietendorf, Andreas | Scholz, Andre. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2001Availability: Items available for loan: [Call number: 004 DUM] (1).
|
|
29.
|
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).
|
|
30.
|
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).
|
|
31.
|
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).
|
|
32.
|
Networked Group Communication : Third International COST264 Workshop, NGC 2001, London, UK, November 7-9, 2001 : Proceedings
by Crowcroft, Jon | Hofmann, Markus. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 004 CRO] (1).
|
|
33.
|
Cooperative Environments for Distributed Systems Engineering : the Distributed Systems Environment Report
by Drira, Khalil | Martelli, Andrea | Villemur, Thierry. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2001Availability: Items available for loan: [Call number: 004 DRI] (1).
|
|
34.
|
Semantic web - ISWC 2002 : first international semantic web conference Sardinia, Italy, june 2002 : proceedings
by Horrocks, Ian | Hendler, James. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 004 HOR] (1).
|
|
35.
|
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).
|
|
36.
|
Formal Methods at the Crossroads : From Panacea to Foundational Support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised pap
by Aichernig, Bernhard K | Maibaum, Tom. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2003Availability: Items available for loan: [Call number: 004 AIC] (1).
|
|
37.
|
Scientific Engineering of Distributed Java Applications : Third International workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, 2003 : revised papers
by Guelfi, Nicoals | Astesiano, Egidio | Reggio, Gianna. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 004 GUE] (1).
|
|
38.
|
Information Hiding: Third International Workshop, IH'99, Dresden, Germany, September 29 - October 1, 1999 Proceedings
by Pfitzmann, Andreas. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2000Availability: Items available for loan: [Call number: 004 PFI] (1).
|
|
39.
|
Empirical Software Engineering Issues : Critical Assessment and Future Directions : International Workshop, Dagstuhl Castle, Germany, June 26-30, 2006 : Revised Papers
by Basili, Victor R. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2007Availability: Items available for loan: [Call number: 004 BAS] (1).
|
|
40.
|
Database and XML Technologies : First International XML Database Symposium, XSym 2003, Berlin, Germany, September 2003 ; Proceedings
by Bellahsene, Zohra. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2003Availability: Items available for loan: [Call number: 004 BEL] (1).
|