|
501.
|
Cryptographic Hardware and Embedded Systems - CHES 2000: Second International Workshop Worecester, MA, USA 17-18, 2000 Proceddings
by Koc, Cetin Kaya | Paar, Christof. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2000Availability: Items available for loan: [Call number: 004 KOC] (1).
|
|
502.
|
Advances in Spatial and Temporal Databases: 7th Internatinal Symposium, SSTD 2001 Redondo Beach, CA, USA, July 2001 Proceedings
by Jensen, Christian S. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 004 JEN] (1).
|
|
503.
|
Power Aware Computer Systems : First International Workshop, PACS 2000, Cambridge, MA, USA, November 12, 2000 : revised papers
by Falsafi, B | Vijaykumar, T. N. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2001Availability: Items available for loan: [Call number: 004 FAL] (1).
|
|
504.
|
Formal and natural computing : essays dedicated to Grzegorz Rozenberg
by Brauer, Wilfri. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2002Availability: Items available for loan: [Call number: 004 BRA] (1).
|
|
505.
|
On-line Error Detection and Fast Recover Techniques for Dependable Embedded Processors
by Pflanz, Matthias. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2002Availability: Items available for loan: [Call number: 004 PFL] (1).
|
|
506.
|
Process algebra with timing
by Baeten, J. C. M | Middelburg, C. A. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2002Availability: Items available for loan: [Call number: 003.83 BAE] (1).
|
|
507.
|
Cryptographic hardware and embedded systems: First international workshop, CHES'99 Worcester, MA, USA, August 1999 proceedings
by Koc, Cetin Kaya | Paar, Christof. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 1999Availability: Items available for loan: [Call number: 004 KOC] (1).
|
|
508.
|
Quality of service in multiservice IP networks
by Marsan, Marco Ajmone | 3Listanti, Marco | Corazza, Giorgio | Roveri, Aldo. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 MAR] (1).
|
|
509.
|
Computer Security – ESORICS 2003: 8th European Symposium on Research in Computer Security, Gjøvik, Norway, October 13-15, 2003. Proceedings
by Snekkenes, Einar | Gollmann, Dieter. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 SNE] (1).
|
|
510.
|
High Performance Computing : 5th International Symposium, ISHPC 2003, Tokyo-Odaiba, Japan, October 20-22, 2003 : Proceedings
by Veidenbaum, Alex | Aiso, Hideo, Ed | Amano, Hideharu | Joe, Kazuki. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 VEI] (1).
|
|
511.
|
Progress in Cryptology -- INDOCRYPT 2003
by Johansson, Thomas | Maitra, Subhamoy. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 JOH] (1).
|
|
512.
|
Fast Software Encryption : 10th International Workshop, FSE 2003, Lund, Sweden, February 24-26, 2003 : Revised Papers
by Johansson, Thomas. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 JOH] (1).
|
|
513.
|
Formal Methods for Software Architectures : Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems : Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003 : Advanced Lectures
by Bernardo, Marco | Inverardi, Paola. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 BER] (1).
|
|
514.
|
Computer Network Security : Second International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2003, St. Petersburg, Russia, September 21-23, 2003 : Proceedings
by Gorodetsky, Vladimir | Popyack, Leonard | Skormin, Victor. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 GOR] (1).
|
|
515.
|
Software and Compilers for Embedded Systems : 7th International Workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003 : Proceedings
by Krall, Andreas. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 KRA] (1).
|
|
516.
|
Formal Techniques for Networked and Distributed Systems-FORTE 2003
by Konig, Hartmut | Heiner, Monika | Wolisz, Adam. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 KON] (1).
|
|
517.
|
Innovative Internet Community Systems : Third International Workshop, IICS 2003, Leipzig, Germany, June 19-21, 2003 : Revised Papers
by Bohme, Thomas | Heyer, Gerhard | Unger, Herwig. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 BOH] (1).
|
|
518.
|
Information processing in sensor networks
by Zhao, Feng | Guibas, Leonidas. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 ZHA] (1).
|
|
519.
|
NETWORKING 2005: Networking technologies, services, and protocols; performance of computer and communication networks; mobile and wireless communications : Third International IFIP-TC6 networking conference, Athens, Greece, May 9-14, 2004
by Mitrou, Nikolas | Ilias, Iliadis | Kontovasilis, Kimon | Rouskas, George N. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin Springer-Verlag 2004Availability: Items available for loan: [Call number: 004 MIT] (1).
|
|
520.
|
Guide to competitive programming
by Laaksonen, Antti. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Switzerland: Springer, 2017Availability: Items available for loan: [Call number: 005.1 LAA] (1).
|