421. Distributed communities on the Web : 4th international workshop, DCW 2002, Sydney, Australia, April 3-5, 2002 : revised papers

by Plaice, John | Kropf, Peter G | Schulthess, Peter | Slonim, Jacob.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 PLA] (1).
422. Ontologies : a silver bullet for knowledge management and electronic commerce

by Fensel, Dieter.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 004.678 FEN] (1).
423. Database theory - ICDT 2003 : 9th international conference Siena, Italy, January 2003 ; proceedings

by Calvanese, Diego | Lenzerini, Maurizio | Motwani, Rajeev.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 CAL] (1).
424. Plan-based control of robotic agents : improving the capabilities of autonomous robots

by Beetz, Michael.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2002Availability: Items available for loan: [Call number: 006.3 BEE] (1).
425. Computation in cells and tissues : perspectives and tools of thought.

by Paton, Ray.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 571.6 PAT] (1).
426. Functional approach to data management : modeling, analyzing and integrating heterogeneous data

by Gray, Peter M. D | Kerschberg, Larry | King, Peter J. H | Poulovassilis, Alexandra.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 005.74 GRA] (1).
427. Block error-correcting codes : a computational primer

by Xambo-Descamps, S. Sebastia.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 005.72 XAM] (1).
428. Managing information quality : increasing the value of information in knowledge-intensive products and processes

by Eppler, Martin J.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 658.4038 EPP] (1).
429. Cryptographic hardware and embedded systems - CHES 2002: 4th international workshop Redwood shores, CA, USA, August 13-15, 2002 revised papers

by Kaliski, Burton S | Koc, Cetin Kaya | Paar, Christof.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 004 KAL] (1).
430. Information hiding

by Petitcolas, Fabien A. P.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 PET] (1).
431. Algebra, arithmetic and geometry with applications : papers from Shreeram S. Abhyankar's 70th birthday conference

by Christensen, Chris.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 512 CHR] (1).
432. Advanced Lectures on machine learning : machine learning summer school 2002 Canberra, Australia, february 11-22, 2002

by Mendelson, Shahar | Mendelson, Shahar | Smola, Alexander J | Smola, Alexander J.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2003Availability: Items available for loan: [Call number: 006.3 MEN] (1).
433. Chance discovery

by Ohsawa, Y | McBurney, P.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 153.83 OHS] (1).
434. Programming in Prolog : using the ISO standard

by Clocksin, William F | Mellish, Christopher S.

Edition: 5th ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 005.133 CLO] (1).
435. Secure Systems Development with UML

by Jurjens, Jan.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 005.117 JUR] (1).
436. Abstract state machines : a method for high-level system design and analysis

by Stark, Robert | Borger, Egon.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2003Availability: Items available for loan: [Call number: 004.21 BOR] (2).
437. Logics for emerging applications of databases

by Meyden, Ron van der | Chomicki, Jan | Saake, Gunter.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 005.74 CHO] (1).
438. Software security-theories and systems

by Okada, Mitsuhiro.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 OKA] (1).
439. Come, let's play : scenario-based programming using LSCs and the play-engine

by Marelly, Rami | Harel, David.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2003Availability: Items available for loan: [Call number: 005.1 HAR] (2).
440. Dissemination of information in communication networks : broadcasting, gossiping election and fault-tolerance

by Hromkovic, Juraj | Klasing, Ralf | Pelc, Andrzej | Ruzicka, Peter.

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

Powered by Koha