41. UML 2000 - The Unified Modeling Language : Advancing the Standard : Third International Conference York, UK, October 2-6, 2000 : Proceedings

by Kent, Stuart | Evans, Andy | Selic, Bran.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2000Availability: Items available for loan: [Call number: 004 EVA] (1).
42. 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 Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2000Availability: Items available for loan: [Call number: 004 KOC] (1).
43. 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 Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 004 JEN] (1).
44. Formal techniques for networked and distributed systems - FORTE 2002

by Peled, Doron A | Vardi, Moshe Y.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 004 PEL] (1).

Powered by Koha