41. Programming constraint services : high-level programming of standard and new constraint services

by Schulte, Christian.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2007Availability: Items available for loan: [Call number: 005.11 SCH] (1).
42. 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 Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2007Availability: Items available for loan: [Call number: 004 BAS] (1).
43. Search Computing : Broadening Web Search

by Ceri, Stefano | Brambilla, Marco.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Heidelberg: Springer, 2012Availability: Items available for loan: [Call number: 004 CER] (1).
44. Database and XML Technologies : First International XML Database Symposium, XSym 2003, Berlin, Germany, September 2003 ; Proceedings

by Bellahsene, Zohra.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2003Availability: Items available for loan: [Call number: 004 BEL] (1).
45. 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).
46. 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).
47. 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).
48. Formal and natural computing : essays dedicated to Grzegorz Rozenberg

by Brauer, Wilfri.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2002Availability: Items available for loan: [Call number: 004 BRA] (1).
49. 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 Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 SNE] (1).
50. 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).
51. 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).
52. 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).
53. 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).

Powered by Koha