Koha online catalog › Results of search for 'su:"Engineering" and se:Lecture notes in computer science'

	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). Place hold
	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). Place hold
	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). Place hold
	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). Place hold
	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). Place hold
	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). Place hold
	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). Place hold
	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). Place hold
	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). Place hold
	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). Place hold
	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). Place hold
	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). Place hold
	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). Place hold
	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). Place hold
	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). Place hold
	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). Place hold
	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). Place hold
	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). Place hold
	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). Place hold
	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). Place hold

Koha online

Refine your search

Authors

Item types

Series

Topics