|
|
1721.
|
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).
|
|
|
1722.
|
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).
|
|
|
1723.
|
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).
|
|
|
1724.
|
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).
|
|
|
1725.
|
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).
|
|
|
1726.
|
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).
|
|
|
1727.
|
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).
|
|
|
1728.
|
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).
|
|
|
1729.
|
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).
|
|
|
1730.
|
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).
|
|
|
1731.
|
Mathematics and computation, a contemporary view
by Munthe-Kaas, Hans | Owren, Brynjulf. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2008Availability: Items available for loan: [Call number: 510.004015113 MUN] (1).
|
|
|
1732.
|
Advances in probabilistic graphical models
by Gamez, Jose A | Lucas, Peter | Salmeron, Antonio. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2007Availability: Items available for loan: [Call number: 519.542 LUC] (1).
|
|
|
1733.
|
Neural networks : computational models and applications
by Tang, Huajin | Tan, Kay Chen | Zhang, Yi. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2007Availability: Items available for loan: [Call number: 006.32 TAN] (1).
|
|
|
1734.
|
Recent advances in evolutionary computation for combinatorial optimization
by Cotta, Carlos | Van Hemert, Jano. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2008Availability: Items available for loan: [Call number: 006.3 COT] (1).
|
|
|
1735.
|
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; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2007Availability: Items available for loan: [Call number: 004 BAS] (1).
|
|
|
1736.
|
Software Product Lines in Action : the best industrial practice in product line engineering
by Linden, Frank van der | Rommes, Eelco | Schmid, Klaus. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2007Availability: Items available for loan: [Call number: 005.1 LIN] (1).
|
|
|
1737.
|
Advances in evolutionary computing for system design
by Palade, Vasile | Jain, Lakhmi C | Srinivasan, Dipti. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2007Availability: Items available for loan: [Call number: 006.618 JAI] (1).
|
|
|
1738.
|
Analysis and design of intelligent systems using soft computing techniques
by Melin, Patricia. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2007Availability: Items available for loan: [Call number: 006.33 MEL] (1).
|
|
|
1739.
|
Model-driven testing : using the UML testing profile
by Baker, Paul. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2008Availability: Items available for loan: [Call number: 005.117 BAK] (1).
|
|
|
1740.
|
Digital signal processing with field programmable gate arrays
by Meyer-Baese, Uwe. Edition: 3rd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2007Availability: Items available for loan: [Call number: 621.3822 MEY] (2).
|
