401. Practical aspects of knowledge management : 5th international conference, PAKM 2004, Vienna, Austria, December 2004 ; proceedings

by Karagiannis, Dimitris | Karagiannis, Dimitris | Reimer, Ulrich.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 006.3 KAR] (1).
402. Voice and speech quality perception : assessment and evaluation

by Jekosch, Ute.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 006.454 JEK] (1).
403. Knowledge representation and the semantics of natural language

by Helbig, Hermann.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 006.35 HEL] (2).
404. Computational linguistics and intelligent text processing : sixth international conference, CICLing 2005, Mexico City, Mexico, February 13-19, 2005 ; proceedings

by Gelbukh, Alexander.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 GEL] (1).
405. Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday

by Kreowski, Hans-Jorg | Montanari, Ugo | Orejas, Fernando | Rozenberg, Grzegorz.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2005Availability: Items available for loan: [Call number: 004 KRE] (1).
406. Remote sensing digital image analysis : an introduction

by Richards, John A | Jia, Xiuping.

Edition: 4th ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2006Availability: Items available for loan: [Call number: 621.3678 RIC] (1).
407. Graph-based representations in pattern recognition : fifth iapr international workshop, gbrpr 2005, poitiers, France, April 11-13, 2005 ; proceedings

by Brun, Luc | Vento, Mario.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 BRU] (1).
408. Job Scheduling Strategies For Parallel Processing : Tenth International Workshop, JSSPP 2004, New York, NY, USA, June 13, 2004 ; revised selected papers

by Rudolph, Larry | Feitelson, Dror | Schwiegelshohn, Uwe.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 FEI] (1).
409. Transactions on computational systems biology I

by Priami, Corrado.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 570.285 PRI] (1).
410. Operational Semantics for Timed Systems : a Non-standard Approach to Uniform Modeling of Timed and hybrid systems

by Rust, Heinrich.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 RUS] (1).
411. Location-and Context-Awareness : First International Workshop, LOCA 2005, Oberpfaffenhofen, Germany, May 12-13, 2005; proceedings

by Strang, Thomas | Linnhoff-Popien, Claudia.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 STR] (1).
412. Principles of Distributed Systems : Eighth International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004 : revised selected papers

by Higashino, Teruo.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 HIG] (1).
413. Model checking software : twelfth International SPIN Workshop, San Franscisco, CA, USA, August 22-24, 2005 : proceedings

by Godefroid, Patrick.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 GOD] (1).
414. Applied algebra, algebraic algorithms, and error-correcting codes

by Fossorier, Marc | Hoholdt, Tom | Poli, Alain.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 FOS] (1).
415. Digital Rights Management : Technological, Economic, Legal and Political Aspects

by Becker, Eberhard | Buhse, Willms | Gunnewig, Dirk | Rump, Niels.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 BEC] (1).
416. Parallel and Distributed Processing and Applications: International Symposium, ISPA 2003 Aizu-Wakamatsu, Japan 2-4, 2003 proceddings

by Guo, Minyi | Yang, Laurance Tianruo.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 GUO] (1).
417. SDL 2003: System Design: 11th international SDL forum, Stuttgart, Germany, July 1-4, 2003, proceedings

by Reed, Rick | Reed, Jeanne.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 REE] (1).
418. Parallel computing technologies: 7th International conference, PaCT 2003 Nizhni Novgorod, Russia, September 15-19, 2003: Proceedings

by Malyshkin, Victor.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 MAL] (1).
419. Computer Analysis of Images and Patterns: 10th International conference, CAIP 2003 Groningen, The Netherlands, August 25-27, 2003: Proceedings

by Petkov, Nicolai | Westenberg, Michael A.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 PET] (1).
420. Advances in Intelligent Data Analysis V: 5th International Symposium on Intelligent Data Analysis, IDA 2003: Proceedings

by Berthold, Michael R.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 BER] (1).

Powered by Koha