|
441.
|
Advances in Computer Science - ASIAN 2004 : Higher-Level Decision Making : 9th Asian Computer Science Conference : dedicated to Jean-Louis Lassez on the occasion of his 5th cycle birthday, Chiang Mai, Thailand, December 2004 ; proceedings
by Maher, M. J. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2004Availability: Items available for loan: [Call number: 004 MAH] (1).
|
|
442.
|
Construction and analysis of safe, secure, and interoperable smart devices : international workshop,CASSIS 2004, Marseille, France, March 10-14, 2004 ; revised selected papers
by Burdy, Lilian | Barthe, Gilles | Huisman, Marieke | Huisman, Marieke. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 BAR] (1).
|
|
443.
|
From integrated publication and information systems to information and knowledge environments : essays dedicated to Erich J. Neuhold on the occasion of his sixty fifth birthday
by Niederee, Claudia | Hemmji, Matthias | Risse, Thomas. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 HEM] (1).
|
|
444.
|
Formal methods for mobile computing : fifth International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005 ; advanced lectures
by Bogliolo, Alessandro | Bernardo, Marco. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 BER] (1).
|
|
445.
|
Semantic Web : Research and Applications : Second European Semantic Web Conference, ESWC 2005 Heraklion, Crete, Greece, May/June 2005 ; proceedings
by Gomez-Perez, Asuncion | Euzenat, Jerome. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 GOM] (1).
|
|
446.
|
Pattern Recognition and Image Analysis : Second Iberian Conference, IBPRIA 2005, Estoril, Portugal, June 7-9, 2005, proceedings, part I
by Marques, Jorge S | Blanca, Nicolas Perez de la | Pina, Pedro. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 MAR] (1).
|
|
447.
|
Context : Nature, Impact, and Role : Fifth International Conference on Conceptions of Library and Information Sciences, CoLIS 2005 Glasgow, UK, June 4-8, 2005; proceedings
by Crestani, Fabio | Ruthven, Ian. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 CRE] (1).
|
|
448.
|
Applied Cryptography and Network Security : Third International Conference, ACNS 2005, New York, NY, USA, June 7-10, 2005 : proceedings
by Ioannidis, John | Keromytis, Angelos D | Yung, Moti. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 IOA] (1).
|
|
449.
|
Innovative Internet Community Systems : 5th International Workshop, IICS 2005, Paris, France, June 20-22, 2005. Revised Papers
by Bui, Marc | Bohme, Thomas | Bui, Alain | Unger, Herwig. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2006Availability: Items available for loan: [Call number: 004 BUI] (1).
|
|
450.
|
Theoretical aspects of local search
by Michiels, Wil | Aarts, Emile | Korst, Jan. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2007Availability: Items available for loan: [Call number: 519.64 MIC] (1).
|
|
451.
|
Research and Advanced Technology for Digital Libraries: 7th International Conference, ECDL 2003 Trondheim, Norway, August 17-22, 2003: Proceedings
by Koch, Traugott | Solvberg, Ingeborg Torvik. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 KOC] (1).
|
|
452.
|
Programming constraint services : high-level programming of standard and new constraint services
by Schulte, Christian. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2007Availability: Items available for loan: [Call number: 005.11 SCH] (1).
|
|
453.
|
Software reuse : methods, techniques, and tools : seventh international conference, ICSR-7, Austin, TX, USA, April 15-19, 2002 : proceedings
by Gacek, Cristina. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2002Availability: Items available for loan: [Call number: 004 GAC] (1).
|
|
454.
|
DNA computing : new computing paradigms
by Paun, Gheorghe | Rozenberg, Grzegorz | Salomaa, Arto. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 1998Availability: Items available for loan: [Call number: 511.3 PAU] (1).
|
|
455.
|
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).
|
|
456.
|
Temporal logic and state systems
by Merz, Stephan | Kroger, Fred. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2008Availability: Items available for loan: [Call number: 160 KRO] (1).
|
|
457.
|
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).
|
|
458.
|
Dissemination of information in optical networks : from technology to algorithms
by Bandyopadhyay, Subir | Klasing, Ralf. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2007Availability: Items available for loan: [Call number: 621.3827 BAN] (1).
|
|
459.
|
Modelling distributed systems
by Fokkink, Wan. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2007Availability: Items available for loan: [Call number: 003.78 FOK] (1).
|
|
460.
|
Decision procedures : an algorithmic point of view
by Kroening, Daniel | Strichman, Ofer. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2008Availability: Items available for loan: [Call number: 518.1 KRO] (2).
|