Your search returned 1123 results.

Results
		Formal methods for real-time and probabilistic systems / Katoen,Joost Pieter. by Katoen,Joost Pieter. Series: Lecture notes in computer science,No-1601Edition: 5th International AMMaterial type: Text Language: English Publication details: Berlin: Springer, 1999Availability: Items available for reference: Central Library, TU: Not for loan (1)Location, call number: Reference Book Section (Consult Shelf-Guide to locate the book) 004.33 KAT.
		Network-based parallel computing / Edition: 3rd International WoMaterial type: Text Language: English Publication details: Berlin: Springer, 1999Availability: Items available for reference: Central Library, TU: Not for loan (1)Location, call number: Reference Book Section (Consult Shelf-Guide to locate the book) 004.35 SIV.
		Secure internet programming / Vitek,Jan. by Vitek,Jan. Series: Lecture notes in computer science,No-1603Material type: Text Language: English Publication details: Berlin: Springer, 1999Availability: Items available for reference: Central Library, TU: Not for loan (1)Location, call number: Reference Book Section (Consult Shelf-Guide to locate the book) 005.711 VIT.
		Foundations and tools for neural modeling / Mira,Jose. by Mira,Jose. Series: Lecture notes in computer science,No-1606Edition: International Work-CMaterial type: Text Language: English Publication details: Berlin: Springer, 1999Availability: Items available for reference: Central Library, TU: Not for loan (1)Location, call number: Reference Book Section (Consult Shelf-Guide to locate the book) 004.6 MIR.
		Advanced functional programming / Swierstra,S.Doaitse [et..al]. by Swierstra,S.Doaitse [et..al]. Series: Lecture notes in computer science,No-1608Edition: 3rd International ScMaterial type: Text Language: English Publication details: Berlin: Springer, 1999Availability: Items available for reference: Central Library, TU: Not for loan (1)Location, call number: Reference Book Section (Consult Shelf-Guide to locate the book) 005.1 SWI.
		Prosody in speech understanding systems / Kompe,Ralf. by Kompe,Ralf. Series: Lecture Notes in Artificial Intelligence,No.1307Material type: Text Language: English Publication details: Berlin: Springer, 1997Availability: Items available for reference: Central Library, TU: Not for loan (1)Location, call number: Reference Book Section (Consult Shelf-Guide to locate the book) 006.54 KOM.
		Database and expert systems applications / Hameurlain,Abdelkader. by Hameurlain,Abdelkader. Series: Lecture Notes in Computer Science,No.1308Edition: 8th International CoMaterial type: Text Language: English Publication details: Berlin: Springer, 1997Availability: Items available for reference: Central Library, TU: Not for loan (1)Location, call number: Reference Book Section (Consult Shelf-Guide to locate the book) 005.74 HAM.
		Image analysis and processing / Bimbo Del,Alberto. by Bimbo Del,Alberto. Series: Lecture notes in computer science,No-1311Edition: 9th International coMaterial type: Text Language: English Publication details: Berlin: Springer, 1997Availability: Items available for reference: Central Library, TU: Not for loan (1)Location, call number: Reference Book Section (Consult Shelf-Guide to locate the book) 006.42 BIM.
		Rules in database systems / Geppert,Andreas. by Geppert,Andreas. Series: Lecture Notes in Compute Science,No.1312Edition: Third InternationalMaterial type: Text Language: English Publication details: Berlin: Springer, 1997Availability: Items available for reference: Central Library, TU: Not for loan (1)Location, call number: Reference Book Section (Consult Shelf-Guide to locate the book) 005.74 GEP.
		FME'97 / Fitzgerald,John. by Fitzgerald,John. Series: Lecture notes in computer science,No-1313Edition: 4th International syMaterial type: Text Language: English Publication details: Berlin: Springer, 1997Availability: Items available for reference: Central Library, TU: Not for loan (1)Location, call number: Reference Book Section (Consult Shelf-Guide to locate the book) 005.13 FIT.
		Algorithmic learning theory / Li,Ming. by Li,Ming. Series: Lecture notes in artificial Intelligence,No-1316Edition: 8th International woMaterial type: Text Language: English Publication details: Berlin: Springer, 1997Availability: Items available for reference: Central Library, TU: Not for loan (1)Location, call number: Reference Book Section (Consult Shelf-Guide to locate the book) 006.31 LI.
		Distributed algorithms / Mavronicolas,Marios. by Mavronicolas,Marios. Series: Lecture Notes in Computer Science,No.1320Edition: 11th International WMaterial type: Text Language: English Publication details: Berlin: Springer, 1997Availability: Items available for reference: Central Library, TU: Not for loan (1)Location, call number: Reference Book Section (Consult Shelf-Guide to locate the book) 004.36 MAV.
		Formal foundations for software engineering methods / Hubmann,Heinrich. by Hubmann,Heinrich. Series: Lecture notes in computer science,No-1322Material type: Text Language: English Publication details: Berlin: Springer, 1997Availability: Items available for reference: Central Library, TU: Not for loan (1)Location, call number: Reference Book Section (Consult Shelf-Guide to locate the book) 005.1 HUB.
		Research and advanced technology for digital libraries / Peters,Carol. by Peters,Carol. Series: Lecture Notes in computer Science,No.1324Edition: First European ConfeMaterial type: Text Language: English Publication details: Berlin: Springer, 1997Availability: Items available for reference: Central Library, TU: Not for loan (1)Location, call number: Reference Book Section (Consult Shelf-Guide to locate the book) 005.74 PET.
		Logical aspects of computational linguistics / Retore,Christian. by Retore,Christian. Series: Lecture Notes in Artificia Intelligence,No.1328Edition: First InternationalMaterial type: Text Language: English Publication details: Berlin: Springer, 1997Availability: Items available for reference: Central Library, TU: Not for loan (1)Location, call number: Reference Book Section (Consult Shelf-Guide to locate the book) 006.35 RET.
		Spatial information theory / Hirtle,Stephen C. by Hirtle,Stephen C. Series: Lecture Notes in Computer Science,No.1329Edition: International ConferMaterial type: Text Language: English Publication details: Berlin: Springer, 1997Availability: Items available for reference: Central Library, TU: Not for loan (1)Location, call number: Reference Book Section (Consult Shelf-Guide to locate the book) 003.54 HIR.
		Principles and practice of constraint programming- CP 97 / Smolka,Gert. by Smolka,Gert. Series: Lecture Notes in computer Science,No.1330Edition: Third InternationalMaterial type: Text Language: English Publication details: Berlin: Springer, 1997Availability: Items available for reference: Central Library, TU: Not for loan (1)Location, call number: Reference Book Section (Consult Shelf-Guide to locate the book) 005.1 SMO.
		High performance computing / Polychronopoulos,Constantine. by Polychronopoulos,Constantine. Series: Lecture Notes in Ccomputer Science,No.1336Edition: International SymposMaterial type: Text Language: English Publication details: Berlin: Springer, 1997Availability: Items available for reference: Central Library, TU: Not for loan (1)Location, call number: Reference Book Section (Consult Shelf-Guide to locate the book) 004 POL.
		SOFSEM'97 / Plasil,Frantisek. by Plasil,Frantisek. Series: Lecture Notes in Computer Science,No.1338Edition: 24th Seminer on CurrMaterial type: Text Language: English Publication details: Berlin: Springer, 1997Availability: Items available for reference: Central Library, TU: Not for loan (1)Location, call number: Reference Book Section (Consult Shelf-Guide to locate the book) 004 PLA.
		Deductive and object-oriented databases / Bry,Francois. by Bry,Francois. Series: Lecture Notes in Computer Science,No.1341Edition: 5th International CoMaterial type: Text Language: English Publication details: Berlin: Springer, 1997Availability: Items available for reference: Central Library, TU: Not for loan (1)Location, call number: Reference Book Section (Consult Shelf-Guide to locate the book) 005.74 BRY.
		Advanced topics in artificial intelligence / Sattar,Abdul. by Sattar,Abdul. Series: Lecture Notes in Artifical Intelligence,No.1342Edition: 10th Australian JoinMaterial type: Text Language: English Publication details: Berlin: Springer, 1997Availability: Items available for reference: Central Library, TU: Not for loan (1)Location, call number: Reference Book Section (Consult Shelf-Guide to locate the book) 006.3 SAT.
		Foundations of software technology and theoritical computer science / Ramesh,S. by Ramesh,S. Series: Lecture Notes in Computer Science,No.1346Edition: 17th ConferenceMaterial type: Text Language: English Publication details: Berlin: Springer, 1997Availability: Items available for reference: Central Library, TU: Not for loan (1)Location, call number: Reference Book Section (Consult Shelf-Guide to locate the book) 005.1 RAM.
		Discrete geometry for computer imagery / Ahronovitz,Ehoud. by Ahronovitz,Ehoud. Series: Lecture Notes in Computer Science,No.1347Edition: 7th International WoMaterial type: Text Language: English Publication details: Berlin: Springer, 1997Availability: Items available for reference: Central Library, TU: Not for loan (1)Location, call number: Reference Book Section (Consult Shelf-Guide to locate the book) 006.42 AHR.
		Recent advances in AI planning / Steel,Sam. by Steel,Sam. Series: Lecture Notes in Artificial Intelligence,No.1348Edition: 4th European CoferenMaterial type: Text Language: English Publication details: Berlin: Springer, 1997Availability: Items available for reference: Central Library, TU: Not for loan (1)Location, call number: Reference Book Section (Consult Shelf-Guide to locate the book) 006.3 STE.
		Algebraic methodology and software technology / Johnson,Michael. by Johnson,Michael. Series: Lecture notes in computer technology,No-1349Edition: 6th International coMaterial type: Text Language: English Publication details: Berlin: Springer, 1997Availability: Items available for reference: Central Library, TU: Not for loan (1)Location, call number: Reference Book Section (Consult Shelf-Guide to locate the book) 004.0151 JOH.
		Algorithms and computation / Leong,Hon Wai. by Leong,Hon Wai. Series: Lecture notes in computer science,No-1350Edition: 8th International syMaterial type: Text Language: English Publication details: Berlin: Springer, 1997Availability: Items available for reference: Central Library, TU: Not for loan (1)Location, call number: Reference Book Section (Consult Shelf-Guide to locate the book) 005.1 LEO.
		Computer vision-ACCV'98 / Chin,Roland. by Chin,Roland. Series: Lecture notes in computer science,No-1351Edition: 3rd Asian conferenceMaterial type: Text Language: English Publication details: Berlin: Springer, 1997Availability: Items available for reference: Central Library, TU: Not for loan (1)Location, call number: Reference Book Section (Consult Shelf-Guide to locate the book) 006.37 CHI.
		Cryptography and coding / Darnell,Michael. by Darnell,Michael. Series: Lecture notes in computer science,No-1355Edition: 6th IMA InternationaMaterial type: Text Language: English Publication details: Berlin: Springer, 1997Availability: Items available for reference: Central Library, TU: Not for loan (1)Location, call number: Reference Book Section (Consult Shelf-Guide to locate the book) 005.82 DAR.
		Learning and reasoning with complex representations / Antoniou,Grigoris. by Antoniou,Grigoris. Series: Lecture notes in artificial intelligence,No-1359Edition: PRICAI'96 Workshop oMaterial type: Text Language: English Publication details: Berlin: Springer, 1998Availability: Items available for reference: Central Library, TU: Not for loan (1)Location, call number: Reference Book Section (Consult Shelf-Guide to locate the book) 006.31 ANT.
		Automated deduction in geometry / Wang,Dongming. by Wang,Dongming. Series: Lecture notes in artificial intelligence,No-1360Edition: International WorkshMaterial type: Text Language: English Publication details: Berlin: Springer, 1997Availability: Items available for reference: Central Library, TU: Not for loan (1)Location, call number: Reference Book Section (Consult Shelf-Guide to locate the book) 006.3 WAN.
		Artificial Evolution / Hao,J.K.[et..al]. by Hao,J.K.[et..al]. Series: Lecture notes in computer science,No-1363Edition: 3rd European ConfereMaterial type: Text Language: English Publication details: Berlin: Springer, 1998Availability: Items available for reference: Central Library, TU: Not for loan (1)Location, call number: Reference Book Section (Consult Shelf-Guide to locate the book) 004 HAO.
		Coordination technology for collaborative applications:organization,proceses,and / Conen,Wolfram. by Conen,Wolfram. Series: Lecture notes in computer science,No-1364Material type: Text Language: English Publication details: Berlin: Springer, 1998Availability: Items available for reference: Central Library, TU: Not for loan (1)Location, call number: Reference Book Section (Consult Shelf-Guide to locate the book) 004 CON.
		Intelligent agents IV / Series: Lecture notes in artificial intelligence,No-1365Edition: 4th International WoMaterial type: Text Language: English Publication details: Berlin: Springer, 1998Availability: Items available for reference: Central Library, TU: Not for loan (1)Location, call number: Reference Book Section (Consult Shelf-Guide to locate the book) 006.3 SIN.
		Lectures on proof verification and approximation algorithms / Mayr,Ernst W. by Mayr,Ernst W. Series: Lecture notes in computer science,No-1367Material type: Text Language: English Publication details: Berlin: Springer, 1998Availability: Items available for reference: Central Library, TU: Not for loan (1)Location, call number: Reference Book Section (Consult Shelf-Guide to locate the book) 005.1 MAY.
		Database programming languages / Cluet,Sophie. by Cluet,Sophie. Series: Lecture notes in computer science,No-1369Edition: 6th International WoMaterial type: Text Language: English Publication details: Berlin: Springer, 1998Availability: Items available for reference: Central Library, TU: Not for loan (1)Location, call number: Reference Book Section (Consult Shelf-Guide to locate the book) 005.74 CLU.
		Gesture and sign language in human computer interaction / Wachsmuth,Ipke. by Wachsmuth,Ipke. Series: Lecture notes in artificial intelligence,No-1371Edition: International GesturMaterial type: Text Language: English Publication details: Berlin: Springer, 1998Availability: Items available for reference: Central Library, TU: Not for loan (1)Location, call number: Reference Book Section (Consult Shelf-Guide to locate the book) 006.35 WAC.
		Recent trends in algebraic development techniques / Presicce,Francesco Parisi. by Presicce,Francesco Parisi. Series: Lecture notes in computer science,No-1376Edition: 12th International WMaterial type: Text Language: English Publication details: Berlin: Springer, 1998Availability: Items available for reference: Central Library, TU: Not for loan (1)Location, call number: Reference Book Section (Consult Shelf-Guide to locate the book) 004.0151 PRE.
		Advances in database technology-EDBT'98 / Schek,hans-Jorg[et..al]. by Schek,hans-Jorg[et..al]. Series: Lecture notes in computer science,No-1377Edition: 6th International CoMaterial type: Text Language: English Publication details: Berlin: Springer, 1998Availability: Items available for reference: Central Library, TU: Not for loan (1)Location, call number: Reference Book Section (Consult Shelf-Guide to locate the book) 005.74 SCH.
		Foundations of software science and computation structures / Series: Lecture notes in computer science,No-1378Edition: 1st International CoMaterial type: Text Language: English Publication details: Berlin: Springer, 1998Availability: Items available for reference: Central Library, TU: Not for loan (1)Location, call number: Reference Book Section (Consult Shelf-Guide to locate the book) 005.1 NIV.
		LATIN'98: theoritical informatics / Lucchesi,Claudio L. by Lucchesi,Claudio L. Series: Lecture notes in computer science,No-1380Edition: 3rd Latin American sMaterial type: Text Language: English Publication details: Berlin: Springer, 1998Availability: Items available for reference: Central Library, TU: Not for loan (1)Location, call number: Reference Book Section (Consult Shelf-Guide to locate the book) 005.1 LUC.
		Fundamental approaches to software engineering / Astesiano,Egidio. by Astesiano,Egidio. Series: Lecture notes in computer science,No-1382Edition: 1st International coMaterial type: Text Language: English Publication details: Berlin: Springer, 1998Availability: Items available for reference: Central Library, TU: Not for loan (1)Location, call number: Reference Book Section (Consult Shelf-Guide to locate the book) 005.1 FIN.
		Compiler construction / Koskimies,Kai. by Koskimies,Kai. Series: Lecture notes in computer science,No-1383Edition: 7th International coMaterial type: Text Language: English Publication details: Berlin: Springer, 1999Availability: Items available for reference: Central Library, TU: Not for loan (1)Location, call number: Reference Book Section (Consult Shelf-Guide to locate the book) 005.453 JAM.
		Services and visualization: towards user-friendly design / Series: Lecture notes in computer science,No-1385Material type: Text Language: English Publication details: Berlin: Springer, 1998Availability: Items available for reference: Central Library, TU: Not for loan (1)Location, call number: Reference Book Section (Consult Shelf-Guide to locate the book) 004.6 MAR.
		Hybrid systems: computation and control / Henzinger,Thomas A. by Henzinger,Thomas A. Series: Lecture notes in computer science,No-1386Edition: 1st International woMaterial type: Text Language: English Publication details: Berlin: Springer, 9989Availability: Items available for reference: Central Library, TU: Not for loan (1)Location, call number: Reference Book Section (Consult Shelf-Guide to locate the book) 004.19 VAA.
		Graphics recogition: algorithms and systems / Tombre,Karl. by Tombre,Karl. Series: Lecture notes in computer science,No-1389Edition: 2nd International WoMaterial type: Text Language: English Publication details: Berlin: Springer, 1998Availability: Items available for reference: Central Library, TU: Not for loan (1)Location, call number: Reference Book Section (Consult Shelf-Guide to locate the book) 006.6 TOM.
		Genetic programming / Banzhaf,Wolfgang. by Banzhaf,Wolfgang. Series: Lecture Notes in Computer Science,No.1391Edition: 1st European WorkshoMaterial type: Text Language: English Publication details: Berlin: Springer, 1998Availability: Items available for reference: Central Library, TU: Not for loan (1)Location, call number: Reference Book Section (Consult Shelf-Guide to locate the book) 005.1 POL.
		RoboCup-97: robot soccer world cup I / Kitano,Hiroaki. by Kitano,Hiroaki. Series: Lecture notes in artificial intelligence,N0-1395Material type: Text Language: English Publication details: Berlin: Springer, 1998Availability: Items available for reference: Central Library, TU: Not for loan (1)Location, call number: Reference Book Section (Consult Shelf-Guide to locate the book) 006.3 KIT.
		Information security / Okamoto,Eiji. by Okamoto,Eiji. Series: Lecutre notes in computer science,No-1396Edition: 1st International WoMaterial type: Text Language: English Publication details: Berlin: Springer, 1998Availability: Items available for reference: Central Library, TU: Not for loan (1)Location, call number: Reference Book Section (Consult Shelf-Guide to locate the book) 005.82 OKA.
		Automated reasoning with analytic tableaux and related methods / Swart,Harrie de. by Swart,Harrie de. Series: Lecture notes in artificial intelligence,No-1397Edition: International conferMaterial type: Text Language: English Publication details: Berlin: Springer, 1998Availability: Items available for reference: Central Library, TU: Not for loan (1)Location, call number: Reference Book Section (Consult Shelf-Guide to locate the book) 006.3 SWA.
		Machine learning: ECML-98 / Nedellec,Claire. by Nedellec,Claire. Series: Lecture notes in artificial intelligence,No-1398Edition: 10th European conferMaterial type: Text Language: English Publication details: Berlin: Springer, 1998Availability: Items available for reference: Central Library, TU: Not for loan (1)Location, call number: Reference Book Section (Consult Shelf-Guide to locate the book) 006.31 NED.

First
Previous
1
2
3
4
5
6
7
8
9
10
Next
Last

Refine your search

Availability

Authors

Collections

Item types

Locations

Series

Topics

Your search returned 1123 results.