501. 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 Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 004 LIR] (1).
502. Applications of learning classifier systems

by Bull, Larry.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Germany: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 006.31 BUL] (1).
503. Solving problems in scientific computing using maple and MATLAB

by Gander, Walter | Hrebicek, Jiri.

Edition: 4th ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 530.028553 GAN] (1).
504. Mathematics handbook : for science and engineering

by Rade, Lennart | Westergren, Bertil.

Edition: 5th ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 510.212 RAD] (1).
505. Software engineering 1 : abstraction and modelling.

by Bjorner, Dines | Bjorner, Dines.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2006Availability: Items available for loan: [Call number: 005.1 BJO] (1).
506. Software engineering 2 : specification of systems and languages

by Bjorner, Dines.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 620.0028553 BJO] (1).
507. Software engineering 3 : domains, requirements, and software design

by Bjorner, Dines.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2005Availability: Items available for loan: [Call number: 620.0028553 BJO] (1).
508. Applied intelligent systems : new directions

by Fulcher, John | Jain, Lakhmi C.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 006.3 FUL] (1).
509. Elements of finite model theory

by Libkin, Leonid.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 511.3 LIB] (1).
510. Designing evolutionary algorithms for dynamic environments

by Morrison, Ronald W | Morrison, Ronald W.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 005.1 MOR] (1).
511. 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 Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 006.33 KLO] (1).
512. Formal modelling in electronic commerce

by Wu, D. J | Kimbrough, S. O.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 658.84 KIM] (1).
513. Operations research proceedings 2003

by Ahr, D | Fahrion, R | Oswald, M | Reinelt, G.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 658.4034 AHR] (1).
514. Modeling spatial and economic impacts of disasters

by Okuyama, Yasuhide | Chang, Stephanie E.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 910.285 OKU] (1).
515. 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 Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 004 BAR] (1).
516. Symbolic integration I : transcendental functions

by Bronstein, Manuel.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 515.22 BRO] (1).
517. Testing commercial-off-the-shelf components and systems

by Gruhn, Volker | Beydeda, Sami.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2005Availability: Items available for loan: [Call number: 005.1 BEY] (1).
518. Spectral properties of noncommuting operators

by Jefferies, Brian.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 515.724 JEF] (1).
519. 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 Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 004 STO] (1).
520. Dreams of calculus : perspectives on mathematics education

by Johnson, Claes | Logg, Anders.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2004Availability: Items available for loan: [Call number: 510.71 HOF] (1).

Powered by Koha