|
|
741.
|
Geographic interpretations of the internet
by Kellerman, Aharon. Material type:  Book; Format:
print
; Literary form:
Not fiction
Publisher: Switzerland: Springer, 2016Availability: Items available for loan: [Call number: 004.678 KEL] (1).
|
|
|
742.
|
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).
|
|
|
743.
|
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).
|
|
|
744.
|
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).
|
|
|
745.
|
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).
|
|
|
746.
|
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).
|
|
|
747.
|
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).
|
|
|
748.
|
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).
|
|
|
749.
|
Experimental research in evolutionary computation : the new experimentalism
by Bartz-Beielstein, Thomas. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2006Availability: Items available for loan: [Call number: 006.3 BAR] (1).
|
|
|
750.
|
Gene expression programming : mathematical modeling by an artificial intelligence
by Ferreira, Candida. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2006Availability: Items available for loan: [Call number: 572.865 FER] (1).
|
|
|
751.
|
Interactive computation : the new paradigm
by Smolka, Scott A | Goldin, Dina Q | Wegner, Peter. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2006Availability: Items available for loan: [Call number: 004.6 GOL] (1).
|
|
|
752.
|
Comprehensive mathematics for computer scientists 1
by Mazzola, Guerino | Milmeister, Gerard | Weissmann, Jody. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2006Availability: Items available for loan: [Call number: 511.3 MAZ] (1).
|
|
|
753.
|
Multi-agent systems and applications III: 3rd International central and Eastern European conference on multi-agent systems. CEEMAS 2003 Prague, Czech Republic, June 16-18, 2003
by Marik, Vladimir. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 006.3 MAR] (1).
|
|
|
754.
|
Programming constraint services : high-level programming of standard and new constraint services
by Schulte, Christian. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2007Availability: Items available for loan: [Call number: 005.11 SCH] (1).
|
|
|
755.
|
Software visualization : visualizing the structure, behaviour, and evolution of software
by Diehl, Stephan. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin Springer 2007Availability: Items available for loan: [Call number: 005.118 DIE] (1).
|
|
|
756.
|
Neural networks theory
by Galushkin, Alexander I. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2007Availability: Items available for loan: [Call number: 006.33 GAL] (1).
|
|
|
757.
|
Springer handbook of speech processing
by Sondhi, M. Mohan | Benesty, Jacob | Huang, Yiteng. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2008Availability: Items available for loan: [Call number: 006.454 BEN] (1).
|
|
|
758.
|
Face biometrics for personal identification : multi-sensory multi-modal systems
by Hammoud, Riad I | Abidi, Besma | Abidi, Mongi A. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2007Availability: Items available for loan: [Call number: 006.42 HAM] (1).
|
|
|
759.
|
Formal correctness of security protocols
by Bella, Giampaolo. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2007Availability: Items available for loan: [Call number: 005.82 BEL] (1).
|
|
|
760.
|
Neural preprocessing and control of reactive walking machines : towards versatile artificial perception-action systems
by Manoonpong, Poramate. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2007Availability: Items available for loan: [Call number: 629.89263 MAN] (1).
|
