|
341.
|
Global Computing : Programming Environments, Languages, Security, and Analysis of Systems : IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003 : Revised Papers
by Priami, Corrado. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 PRI] (1).
|
|
342.
|
Designing evolutionary algorithms for dynamic environments
by Morrison, Ronald W | Morrison, Ronald W. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 005.1 MOR] (1).
|
|
343.
|
Integrated Circuit and System Design : Power and Timing Modeling, Optimization and Simulation : Fourteenth International Workshop, PATMOS 2004
by Macii, Enrico | Koufopavlou, Odysseas | Paliouras, Vassilis. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 004 MAC] (1).
|
|
344.
|
Enterprise architecture at work : modeling, communication and analysis
by Lankhorst, Marc. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 658.114 LAN] (1).
|
|
345.
|
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).
|
|
346.
|
Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday
by Kreowski, Hans-Jorg | Montanari, Ugo | Orejas, Fernando | Rozenberg, Grzegorz. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2005Availability: Items available for loan: [Call number: 004 KRE] (1).
|
|
347.
|
SDL 2003: System Design: 11th international SDL forum, Stuttgart, Germany, July 1-4, 2003, proceedings
by Reed, Rick | Reed, Jeanne. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 REE] (1).
|
|
348.
|
Human-Computer Interaction with Mobile Devices and Services : 5th International Symposium, Mobile HCI 2003 Udine, Italy, September 8-11, 2003 : Proceedings
by Chittaro, Luca. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 CHI] (1).
|
|
349.
|
Cryptographic Hardware and Embedded Systems - CHES 2003: 5th International Workshop Cologne, Germany, September 8-10, 2003: Proceedings
by Wlater, Colin D | Koc, Cetin Kaya | Paar, Christof. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 WLA] (1).
|
|
350.
|
Handbook on ontologies
by Studer, R | Staab, Steffen. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 003.54 STA ] (1).
|
|
351.
|
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).
|
|
352.
|
Fundamentals of Data Warehouses
by Jarke, Matthias. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 658.40380285 JAR] (2).
|
|
353.
|
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).
|
|
354.
|
Cryptographic Hardware and Embedded Systems CHES 2001: Third International Workshop Paris, France, May 14-16, 2001 Proceedings
by Koc, Cetin Kaya | Naccache, David | Paar, Christof. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 004 KOC] (1).
|
|
355.
|
Grid Computing--GRID 2001 : Second International Workshop, Denver, CO, USA, November 12, 2001 ; Proceedings
by Lee, Craig A. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 004 LEE] (1).
|
|
356.
|
Digital and Image Geometry : Advanced Lectures
by Bertrand, Gilles | Imiya, Atsushi | Klette, Reinhard. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2001Availability: Items available for loan: [Call number: 004 BER] (1).
|
|
357.
|
STACS 95 : 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, March 2-4, 1995 : proceedings
by Mayr, Ernst W | Puech, Claude. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 1995Availability: Items available for loan: [Call number: 004 MAY] (1).
|
|
358.
|
Algorithms and data structures in VLSI design : OBDD - foundations and applications
by Meinel, Christoph | Theobald, Thorsten. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 1998Availability: Items available for loan: [Call number: 621.395 MEI] (1).
|
|
359.
|
Introduction to Formal Hardware Verification
by Kropf, Thomas. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1999Availability: Items available for loan: [Call number: 621.392 KRO] (1).
|
|
360.
|
Multimedia Cartography
by Peterson, Michael P | Cartwright, William | Gartner, Georg. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1999Availability: Items available for loan: [Call number: 006.7 CAR] (4).
|