621. 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).
622. Network analysis : methodological foundations

by Brandes, Ulrik | Erlebach, Thomas.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2005Availability: Items available for loan: [Call number: 004 BRA] (1).
623. Foundations and advances in data mining

by Chu, Wesley | Lin, Tsau Y.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New york: Springer, 2005Availability: Items available for loan: [Call number: 006.312 CHU] (1).
624. Fuzzy group theory

by Mordeson, John N | Bhutani, Kiran R | Rosenfeld, Azriel.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 511.313 MOR] (1).
625. 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).
626. 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).
627. Software engineering and middleware : fourth international workshop, SEM 2004, Linz, Austria, September 20-21, 2004 ; revised selected papers

by Mascolo, Cecilia | Gschwind, Thomas.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 GSC] (1).
628. 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).
629. Database Systems for Advanced Applications : 10th international conference, DASFAA 2005, Beijing, China, April 17-20, 2005 ; proceedings

by Zhou, Lizhu | Meng, Xiaofeng | Ooi, Beng Chin.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 ZHO] (1).
630. Evolutionary computation in combinatorial optimization : fifth European conference, EVOCOP 2005, Lausanne, Switzerland, March 30 - April 1, 2005 ; proceedings

by Gottlieb, Jens | Raidl, Gunther R.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 RAI] (1).
631. Applications of evolutionary computing : EvoWorkshops 2005 : EvoCOMNET, EvoHOT EvoIASP, EvoMUSART, and EvoSTOC Lausanne, Switzerland, March 30 - April 1, 2005 ; proceedings

by Rothlauf, Franz.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 ROT] (1).
632. 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).
633. Genetic programming : eigth European conference, EuroGP 2005, Lausanne, Switzerland, March 30-April 1, 2005 ; proceedings

by Keizer, Maarten.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 KEI] (1).
634. Passive and active network measurement : sixth international workshop, PAM 2005, Boston, Ma, USA, March 31 - April 1, 2005 ; proceedings

by Dovrolis, Constantinos.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 DOV] (1).
635. 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).
636. Dependable Computing EDCC 2005 : fifth European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005 ; proceedings

by Dal Cin, MArio | Kaaniche, Mohamed | Pataricza, Andras.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 DAL] (1).
637. Complex analysis

by Freitag, Eberhard | Busam, Rolf.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 515.9 FRE] (1).
638. Soft computing : methodologies and applications

by Hoffmann, Frank | Klawonn, Frank | Koppen, Mario | Roy, Rajkumar.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 006.3 HOF] (1).
639. Logical aspects of computational linguistics : 5th international conference, LACL 2005, Bordeaux, France April 2005 ; proceedings

by Stabler, Edward | Blache, Philippe | Busquets, Joan | Moot, Richard.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 006.3 BLA] (1).
640. Scientific Applications of Grid Computing : First International Workshop, SAG 2004, Beijing, China, September 2004 ; revised slected and invited papers

by Herrero, Pilar | Perez, Maria S | Robles, Victor.

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

Powered by Koha