|
501.
|
Grid computing : First European Across Grids Conference, Santiago de Compostela, Spain, February 13-14, 2003 : revised papers
by Rivera, Francisco Fernandez | Bubak, Marian | Doallo, Ramon | Tato, Andres Gomez. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 004 RIV] (1).
|
|
502.
|
Large-scale Scientific Computing : 4th International Conference, LSSC 2003, Sozopol, Bulgaria, June 4-8, 2003 : revised papers
by Lirkov, Ivan | Margenov, Svetozar | Wasniewski, Jerzy | Yalamov, Plamen. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 004 LIR] (1).
|
|
503.
|
Applications of learning classifier systems
by Bull, Larry. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Germany: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 006.31 BUL] (1).
|
|
504.
|
Solving problems in scientific computing using maple and MATLAB
by Gander, Walter | Hrebicek, Jiri. Edition: 4th ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 530.028553 GAN] (1).
|
|
505.
|
Mathematics handbook : for science and engineering
by Rade, Lennart | Westergren, Bertil. Edition: 5th ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 510.212 RAD] (1).
|
|
506.
|
Software engineering 1 : abstraction and modelling.
by Bjorner, Dines | Bjorner, Dines. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2006Availability: Items available for loan: [Call number: 005.1 BJO] (1).
|
|
507.
|
Software engineering 2 : specification of systems and languages
by Bjorner, Dines. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 620.0028553 BJO] (1).
|
|
508.
|
Software engineering 3 : domains, requirements, and software design
by Bjorner, Dines. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2005Availability: Items available for loan: [Call number: 620.0028553 BJO] (1).
|
|
509.
|
Applied intelligent systems : new directions
by Fulcher, John | Jain, Lakhmi C. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 006.3 FUL] (1).
|
|
510.
|
Elements of finite model theory
by Libkin, Leonid. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 511.3 LIB] (1).
|
|
511.
|
Designing evolutionary algorithms for dynamic environments
by Morrison, Ronald W | Morrison, Ronald W. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 005.1 MOR] (1).
|
|
512.
|
Intelligent information processing and web mining : proceedings of the international iis: iipwm `04 conference held in zakopane, poland, may 17-20, 2004
by Klopotek, Mieczyslaw A | Trojanowski, Krzysztof | Wierzchon, Slawomir T. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 006.33 KLO] (1).
|
|
513.
|
Formal modelling in electronic commerce
by Wu, D. J | Kimbrough, S. O. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 658.84 KIM] (1).
|
|
514.
|
Operations research proceedings 2003
by Ahr, D | Fahrion, R | Oswald, M | Reinelt, G. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 658.4034 AHR] (1).
|
|
515.
|
Modeling spatial and economic impacts of disasters
by Okuyama, Yasuhide | Chang, Stephanie E. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 910.285 OKU] (1).
|
|
516.
|
Passive and Active Network Measurement : 5th International Workshop, PAM 2004, Antibes Juan-les-Pins, France, April 19-20, 2004 ; proceedings
by Barakat, Chadi | Pratt, Ian. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 004 BAR] (1).
|
|
517.
|
Symbolic integration I : transcendental functions
by Bronstein, Manuel. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 515.22 BRO] (1).
|
|
518.
|
Testing commercial-off-the-shelf components and systems
by Gruhn, Volker | Beydeda, Sami. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2005Availability: Items available for loan: [Call number: 005.1 BEY] (1).
|
|
519.
|
Spectral properties of noncommuting operators
by Jefferies, Brian. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 515.724 JEF] (1).
|
|
520.
|
Stateless core : A Scalable Approach For Quality of Service in the Internet : Winning Thesis of the 2001 ACM doctoral dissertation competition
by Stoica, Ion. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 004 STO] (1).
|