1061. DNA computing : 9th International Workshop on DNA Based Computers, DNA9 : Madison, WI, USA, June 1-3, 2003 : revised papers

by Chen, Junghuei | Reif, John.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 004 CHE] (1).
1062. Foundations of Security Analysis and Design II : FOSAD 2001/2002 Turorial Lectures

by Focardi, Riccardo | Gorrieri, Robert.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 004 FOC] (1).
1063. Topics in Cryptology--CT-RSA 2004 : the Cryptographers' Track at the RSA Conference 2004, San Francisco, CA, USA, February 23-27, 2004 : proceedings

by Okamoto, Tatsuaki.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 004 OKA] (1).
1064. 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).
1065. 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).
1066. 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).
1067. 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).
1068. 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).
1069. 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).
1070. 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).
1071. Grid and cooperative computing : Second International Workshop, GCC 2003, shanhai, china, december 7-10, 2003, revised papers, part II

by Li, Minglu.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 004 LIM] (2).
1072. Computer vision in human-computer interaction : ECCV 2004 workshop on HCI, Prague, Czech Republic, May 16, 2004, proceedings

by Sebe, Nicu | Huang, Thomas S | Lew, Michael S.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 004 SEB] (1).
1073. Automated reasoning : second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 ; proceedings

by Basin, David | Rusinowitch, Michael.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 006.3 BAS] (1).
1074. Agent-mediated electronic commerce V : AAMAS 2003 Workshop, AMEC 2003, Melbourne, Australia, July 15, 2003 ; revised selected papers

by Faratin, Peyman | Parkes, David C | Rodriguez-Aguilar, Juan A.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 006.3 FAR] (1).
1075. Smart business networks

by Vervest, Peter | Heck, Eric Van | Pau, Louis-Francois | Preiss, Kenneth.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2004Availability: Items available for loan: [Call number: 658.4038 VER] (1).
1076. Medical imaging and augmented reality : second international workshop, MIAR 2004, Beijing, China, August 19-20, 2004 : proceedings

by Jiang, Tianzi | Yang, Guang-Zhong.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 004 YAN] (1).
1077. Grid computing : second European Acrossgrids conference, Axgrids 2004, Nicosia, Cyprus, January 28-30, 2004, revised papers

by Dikaiakos, Marios D.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2004Availability: Items available for loan: [Call number: 004 DIK] (1).
1078. E-commerce and web technologies : fifth international conference, EC-Web 2004, Zaragoza, Spain, August 31-September 3, 2004 ; proceedings

by Bauknecht, Kurt | Bichler, Martin | Proll, Birgit.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2004Availability: Items available for loan: [Call number: 004 BAU] (1).
1079. Trust and privacy in digital business : first international conference, Trustbus 2004, Zaragoza, Spain, August 30 - September 1, 2004 ; proceedings

by Katsikas, Sokratis | Lopez, Javier | Pernul, Gunther.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2004Availability: Items available for loan: [Call number: 004 KAT] (1).
1080. Intelligent tutoring systems : Seventh International Conference, ITS 2004, Maceio, Brazil, August 30 - September 3, 2004 ; proceedings

by Lester, James C | Paraguacu, Fabio | Vicari, Rosa Maria.

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

Powered by Koha