|
621.
|
Foundations of empirical software engineering : the legacy of Victor R. Basili
by Boehm, Barry | Rombach, Hans Dieter | Zelkowitz, Marvin V. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 005.1 BOE] (1).
|
|
622.
|
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; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2005Availability: Items available for loan: [Call number: 004 KRE] (1).
|
|
623.
|
Network analysis : methodological foundations
by Brandes, Ulrik | Erlebach, Thomas. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2005Availability: Items available for loan: [Call number: 004 BRA] (1).
|
|
624.
|
Foundations and advances in data mining
by Chu, Wesley | Lin, Tsau Y. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New york: Springer, 2005Availability: Items available for loan: [Call number: 006.312 CHU] (1).
|
|
625.
|
Fuzzy group theory
by Mordeson, John N | Bhutani, Kiran R | Rosenfeld, Azriel. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 511.313 MOR] (1).
|
|
626.
|
Remote sensing digital image analysis : an introduction
by Richards, John A | Jia, Xiuping. Edition: 4th ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2006Availability: Items available for loan: [Call number: 621.3678 RIC] (1).
|
|
627.
|
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; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 BRU] (1).
|
|
628.
|
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; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 GSC] (1).
|
|
629.
|
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; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 FEI] (1).
|
|
630.
|
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; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 ZHO] (1).
|
|
631.
|
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; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 RAI] (1).
|
|
632.
|
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; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 ROT] (1).
|
|
633.
|
Transactions on computational systems biology I
by Priami, Corrado. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 570.285 PRI] (1).
|
|
634.
|
Genetic programming : eigth European conference, EuroGP 2005, Lausanne, Switzerland, March 30-April 1, 2005 ; proceedings
by Keizer, Maarten. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 KEI] (1).
|
|
635.
|
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; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 DOV] (1).
|
|
636.
|
Operational Semantics for Timed Systems : a Non-standard Approach to Uniform Modeling of Timed and hybrid systems
by Rust, Heinrich. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 RUS] (1).
|
|
637.
|
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; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 DAL] (1).
|
|
638.
|
Complex analysis
by Freitag, Eberhard | Busam, Rolf. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 515.9 FRE] (1).
|
|
639.
|
Soft computing : methodologies and applications
by Hoffmann, Frank | Klawonn, Frank | Koppen, Mario | Roy, Rajkumar. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 006.3 HOF] (1).
|
|
640.
|
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; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 006.3 BLA] (1).
|