|
3821.
|
Quantum bits and quantum secrets : how quantum physics is revolutionizing codes and computers
by Morsch, Oliver. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Weinheim: Wiley-VCH, 2008Availability: Items available for loan: [Call number: 005.82 MOR] (1).
|
|
3822.
|
Numerical methods
by Boehm, W | Prautzsch. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Hyderabad: Universities Press, 2003Availability: Items available for loan: [Call number: 511 BOE] (1).
|
|
3823.
|
Advances in computer graphics III
by Ruiter, Maurice M. de. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 1988Availability: Items available for loan: [Call number: 006.6 RUI] (1).
|
|
3824.
|
Management of Multimedia Networks and Services: 6th IFIP/IEEE International Conference, MMNS 2003 Belfast, Northern Ireland, UK, September 7-10, 2003: Proceedings
by Marshall, Alan | Agoulmine, Nazim. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 MAR] (1).
|
|
3825.
|
Composition of Secure Multi-Party Protocols : Comprehensive Study
by Lindell, Yehuda. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 LIN] (1).
|
|
3826.
|
Advances in Computing Science - ASIAN 2003 : Programming Languages and Distributed Computation : 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003 : Proceedings
by Saraswat, Vijay A. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 SAR] (1).
|
|
3827.
|
Learning design : a handbook on modelling and delivering networked education and training
by Koper, Rob | Tattersall, Colin. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 371.3 KOP] (1).
|
|
3828.
|
Formal methods for components and objects : second international symposium, Fmco 2003 Leiden, the Netherlands, November 2003
by Boer, Ffrank S. de | Bonsangue, Marcello M | Graf, Susanne | Roever, Willem-Paul de. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2004Availability: Items available for loan: [Call number: 004 BOE] (1).
|
|
3829.
|
Advances in Computer Science - ASIAN 2004 : Higher-Level Decision Making : 9th Asian Computer Science Conference : dedicated to Jean-Louis Lassez on the occasion of his 5th cycle birthday, Chiang Mai, Thailand, December 2004 ; proceedings
by Maher, M. J. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2004Availability: Items available for loan: [Call number: 004 MAH] (1).
|
|
3830.
|
Construction and analysis of safe, secure, and interoperable smart devices : international workshop,CASSIS 2004, Marseille, France, March 10-14, 2004 ; revised selected papers
by Burdy, Lilian | Barthe, Gilles | Huisman, Marieke | Huisman, Marieke. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 BAR] (1).
|
|
3831.
|
Representations for genetic and evolutionary algorithms, 2ed.
by Rothlauf, Franz. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2006Availability: Items available for loan: [Call number: 006.31 ROT] (1).
|
|
3832.
|
Mathematical foundations of scientific visualization, computer graphics, and massive data exploration
by Moller, Torsten | Hamann, Bernd | Russell, Robert. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2009Availability: Items available for loan: [Call number: 006.60151 MOL] (1).
|
|
3833.
|
Interfacing with C++ : programming real-world applications
by Katupitiya, Jayantha. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2006Availability: Items available for loan: [Call number: 005.133 KAT] (2).
|
|
3834.
|
Formal methods for mobile computing : fifth International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005 ; advanced lectures
by Bogliolo, Alessandro | Bernardo, Marco. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 BER] (1).
|
|
3835.
|
Autonomous intelligent systems : agents and data mining : International Workshop, AIS-ADM 2005, St. Petersburg, Russia, June 6-8, 2005 : proceedings
by Gorodetsky, Vladimir | Liu, Jiming | Skormin, Victor A. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 006.3 GOR] (1).
|
|
3836.
|
Successful test management : an integral approach
by Pinkster, Iris | Burgt, Bob van de | Janssen, Dennis | Veenendaal. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2006Availability: Items available for loan: [Call number: 005.14 PIN] (1).
|
|
3837.
|
Introduction to reliable distributed programming
by Rodrigues, Luis | Guerraoui, Rachid. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2006Availability: Items available for loan: [Call number: 005.71276 GUE] (1).
|
|
3838.
|
Computing in algebraic geometry : a quick start using singular
by Decker, Wolfram | Lossen, Christoph. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Springer-Verlag and Hindustan Book Agency, 2006Availability: Items available for loan: [Call number: 516.35 DEC] (1).
|
|
3839.
|
Logical foundations for rule-based systems
by Ligeza, Antoni. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2006Availability: Items available for loan: [Call number: 006.33 LIG] (1).
|
|
3840.
|
Multiagent engineering : theory and applications in enterprises
by Herzog, Otthein | Kirn, Stefan | Lockemann, Peter | Spaniol, Otto. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2006Availability: Items available for loan: [Call number: 006.3 KIR] (1).
|