|
|
421.
|
Models of computation : an introduction to computability theory
by Fernandez, Maribel. Material type:  Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer, 2009Availability: Items available for loan: [Call number: 511.3 FER] (1).
|
|
|
422.
|
Elements of Computation Theory
by Singh, Arindama. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Dordrecht: Springer, 2009Availability: Items available for loan: [Call number: 004 SIN] (1).
|
|
|
423.
|
Computer vision : algorithms and applications
by Szeliski, Richard. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer, 2011Availability: No items available Checked out (1).
|
|
|
424.
|
Introduction to databases : from biological to spatio-temporal
by Revesz, Peter. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer, 2010Availability: Items available for loan: [Call number: 005.74 REV] (1).
|
|
|
425.
|
Finite versus infinite : contributions to an eternal dilemma
by Calude, Cristian S | Paun, Gheorghe. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer, 2000Availability: Items available for loan: [Call number: 515.24 CAL] (1).
|
|
|
426.
|
Game production handbook
by Chandler, Heather Maxwell. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Hingham: Infinity Science Press, 2009Availability: Items available for loan: [Call number: 794.81526 CHA] (2).
|
|
|
427.
|
Energy Minimization Methods in Computer Vision and Pattern Recognition : 10th International Conference, EMMCVPR 2015, Hong Kong, China, January 13-16, 2015, Proceedings
by Tai, Xue-Cheng. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Switzerland: Springer, 2015Availability: Items available for loan: [Call number: 004 TAI] (1).
|
|
|
428.
|
Distributed computing : Mobile and Wireless Computing : 4th International Workshop, IWDC 2002, Calcutta, India, December 28-31, 2002 : proceedings
by Das, Sajal K | Bhattacharya, Swapan. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 DAS] (1).
|
|
|
429.
|
Finite model theory and its applications
by Gradel, Erich. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2007Availability: Items available for loan: [Call number: 511.34 GRA] (1).
|
|
|
430.
|
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).
|
|
|
431.
|
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).
|
|
|
432.
|
Formal Methods at the Crossroads : From Panacea to Foundational Support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised pap
by Aichernig, Bernhard K | Maibaum, Tom. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2003Availability: Items available for loan: [Call number: 004 AIC] (1).
|
|
|
433.
|
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).
|
|
|
434.
|
Aspects of molecular computing : essays dedicated to Tom Head on the occasion of his 70th birthday
by Paun, Gheorghe | Jonoska, Natasa | Rozenberg, Grzegorz. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 511.3 JON] (1).
|
|
|
435.
|
Database Systems for Advances Applications : 9th International conference, DASFAA 2004 Jeju Island, Korea, March 2004 ; proceedings
by Lee, Yoon Joon | Lee, Doheon | Li, Jianzhong | Whang, Kyu-young. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 004 LEE] (1).
|
|
|
436.
|
Scientific Engineering of Distributed Java Applications : Third International workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, 2003 : revised papers
by Guelfi, Nicoals | Astesiano, Egidio | Reggio, Gianna. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 004 GUE] (1).
|
|
|
437.
|
Abstract computing machines : a lambda calculus perspective
by Kluge, Werner. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 511.3 KLU] (1).
|
|
|
438.
|
Object-Oriented and Intenet-Based Technologies
by Weske, Mathias | Liggesmeyer, Peter. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2004Availability: Items available for loan: [Call number: 004 WES] (1).
|
|
|
439.
|
Current trends in database technology - EDBT 2004 Workshops : EDBT 2004 Workshops, PhD, DataX, PIM, P2P&DB, and Clustweb, Heraklion, Crete, Greece, march 14-18, 2004 ; revesed selected papers
by Mesiti, Marco | Lindner, Wolfgang | Turker, Can | Tzitzikas, Yannis. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2004Availability: Items available for loan: [Call number: 004 LIN] (1).
|
|
|
440.
|
Conceptual Modeling for Advanced Application Domains
by Yang, Dongqing | Mangina, Eleni | Tanaka, Shuigeng | Wang, Shan. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2004Availability: Items available for loan: [Call number: 004 WAN] (1).
|
