Koha online

321.
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).
Place hold
322.
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).
Place hold
323.
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).
Place hold
324.
UML 2003 - The Unified Modeling Language : Modeling Languages and Applications : 6th International Conference, San Francisco, CA, USA, October 20-24, 2003 : Proceedings

by Stevens, Perdita | Booch, Grady | Whittle, Jon.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 STE] (1).
Place hold
325.
Perspectives of Systems Informatics : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July , 2003 ; Revised Papers

by Broy, Manfred | Zamulin, Alexandre V.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2003Availability: Items available for loan: [Call number: 004 BRO] (1).
Place hold
326.
Natural language processing and information systems : 9th International Conference on Applications of Natural Language to Information systems, NLDB 2004, Salford, UK, June 23-25, 2004 : proceedings

by Meziane, Farid | Metais, Elisabeth.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 004 MEZ] (1).
Place hold
327.
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).
Place hold
328.
Text, speech and dialogue : 7th international conference, TSD 2004 Brno, Czech republic, September 2004 proceedings

by Sojka, Petr | Kopecek, Ivan | Kopecek, Ivan | Pala, Karel | Pala, Karel | Sojka, Petr.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2004Availability: Items available for loan: [Call number: 006.3 SOJ] (1).
Place hold
329.
UML 2004 - The Unified Modeling Language : Modeling Languages and Applications : 7th international conference, Lisbon, Portugal, October 11-15, 2004, proceedings

by Baar, Thomas | Mellor, Stephen J | Moreira, Ana | Strohmeier, Alfred.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 004 BAA] (1).
Place hold
330.
Advances in natural language processing : 4th international conference, EsTAL 2004 : Alicante, Spain, October 20-22 2004 : proceedings

by Vicedo, Josa Luis | Martinez-Barco, Patricio | Munoz, Rafael | Noeda, Maximiliano.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 006.3 VIC] (1).
Place hold
331.
Applied Computing : Second Asian Applied Computing Conference, AACC 2004, Kathmandu, Nepal, October 29-31, 2004 ; proceedings

by Suresh, Manandhar | Austin, Jim | Desai, Uday | Oyanagi, Yoshio.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 004 MAN] (1).
Place hold
332.
Implementing distributed systems with Java and CORBA

by Aleksy, Markus | Korthaus, Axel | Schader, Martin.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 005.44 ALE] (1).
Place hold
333.
Knowledge representation and the semantics of natural language

by Helbig, Hermann.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 006.35 HEL] (2).
Place hold
334.
Computational linguistics and intelligent text processing : sixth international conference, CICLing 2005, Mexico City, Mexico, February 13-19, 2005 ; proceedings

by Gelbukh, Alexander.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 GEL] (1).
Place hold
335.
Multilingual Information Access for Text, Speech and Images : Fifth Workshop of the Cross-Language Evaluation Forum, CLEF 2004, Bath, UK, September 15-17, 2004 : revised selected papers

by Peters, Carol | Clough, Paul | Gonzalo, Julio | Jones, Gareth J. F.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 PET] (1).
Place hold
336.
Knowledge representation techniques : a rough set approach

by Doherty, Patrick | Lukaszewicz, Witold | Skowron, Andrzej | Szalas, Andrzej.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 006.3 DOH] (1).
Place hold
337.
ZB 2003: Formal specification and development in Z and B: Third inetrnational conference of B and Z users Turku, Finland, June 4-6, 2003 proceedings

by Bert, Didier.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 BER] (1).
Place hold
338.
SDL 2003: System Design: 11th international SDL forum, Stuttgart, Germany, July 1-4, 2003, proceedings

by Reed, Rick | Reed, Jeanne.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 REE] (1).
Place hold
339.
Java and the Java virtual machine : definition, verification, validation

by Stark, Robert | Borger, Egon | Schmid, Joachim.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2001Availability: Items available for loan: [Call number: 005.133 STA] (2).
Place hold
340.
Foundations of computational linguistics : human-computer communication in natural language

by Hausser, Roland.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 006.35 HAU] (1).
Place hold

Powered by Koha