261. 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 Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 VEI] (1).
262. Progress in Cryptology -- INDOCRYPT 2003

by Johansson, Thomas | Maitra, Subhamoy.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 JOH] (1).
263. Fast Software Encryption : 10th International Workshop, FSE 2003, Lund, Sweden, February 24-26, 2003 : Revised Papers

by Johansson, Thomas.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 JOH] (1).
264. 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 Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 BER] (1).
265. 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 Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 GOR] (1).
266. Software and Compilers for Embedded Systems : 7th International Workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003 : Proceedings

by Krall, Andreas.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 KRA] (1).
267. Formal Techniques for Networked and Distributed Systems-FORTE 2003

by Konig, Hartmut | Heiner, Monika | Wolisz, Adam.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 KON] (1).
268. 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 Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 BOH] (1).
269. Information processing in sensor networks

by Zhao, Feng | Guibas, Leonidas.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 ZHA] (1).
270. 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 Book; Format: print ; Literary form: Not fiction Publisher: Berlin Springer-Verlag 2004Availability: Items available for loan: [Call number: 004 MIT] (1).
271. Topics in cryptology - CT-RSA 2016 : the Cryptographers' Track at the RSA Conference 2016 San Francisco, CA, USA, February 29 - March 4, 2016, Proceedings

by Sako, Kazue.

Publisher: Berlin Springer 2016Availability: Items available for loan: [Call number: 005.82 SAK] (1).
272. Information systems security: 6th international conference, ICISS 2010, gandhinagar, india, december 2010 proceedings

by Jha, Somesh | Mathuria, Anish.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Springer Berlin Heidelberg, 2010 HeidelbergAvailability: Items available for loan: [Call number: 004 JHA] (1).
273. Algorithms and discrete applied mathematics : 9th International Conference, CALDAM 2023, Gandhinagar, India, February 9-11, 2023, proceedings

by Bagchi, Amitabha [ed.] | Muthu, Rahul [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cham : Springer, 2023Availability: Items available for loan: [Call number: 004 BAG] (1).
274. Distributed computing by mobile entities : current research in moving and computing

by Flocchini, Paola [ed.] | Prencipe, Giuseppe [ed.] | Santoro, N [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cham : Springer, 2019Availability: No items available Checked out (1).

Powered by Koha