Your search returned 2981 results.

Results
		Security protocols / Christianson,Bruce[et..al]. by Christianson,Bruce[et..al]. Series: Lecture notes in computer science,No-1550Edition: 6th 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.63 CHR.
		Practical aspects of declarative languages / Gupta,Gopal. by Gupta,Gopal. Series: lecture notes in computer science,No-1551Edition: 1st 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) 005.73 GUP.
		Parallel computation / Zinterhof,Peter. by Zinterhof,Peter. Series: Lecture notes in computer science,No-1557Edition: 4th International ACMaterial 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 ZIN.
		Logic-based program synthesis and transformation / Flener,Pierre. by Flener,Pierre. Series: Lecture notes in computer science,No-1559Edition: 8th 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) 005.131 FLE.
		Public key cryptography / Imai,Hideki. by Imai,Hideki. Series: Lecture notes in computer science,No-1560Edition: 2nd 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) 005.82 IMA.
		Conceptual modeling: current issues and future directions / Series: Lecture notes in computer science,No-1565Material 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) 003.3 CHE.
		Hybrid systems V / Antsaklis,Panos{et..al]. by Antsaklis,Panos{et..al]. Series: Lecture notes in computer science,No-1567Material 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 ANT.
		Hybrid systems: computation and control / Vaandrager,Frits W. by Vaandrager,Frits W. Series: Lecture notes in computer science,No-1569Edition: 2nd International woMaterial type: Text Language: English Publication details: Berlin: Springer, 1999Availability: Items available for reference: Central Library, TU: Not for loan (2)Location, call number: Reference Book Section (Consult Shelf-Guide to locate the book) 004 VAA, ...
		Agent mediated electronic commerce / Noriega,Pablo. by Noriega,Pablo. Series: Lecture notes in artificial intelligenece,No-1571Edition: 1st 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) 006 NOR.
		Vector and parallel processing-VECPAR'98 / Palma,Jose M.L.M. by Palma,Jose M.L.M. Series: Lecture notes in computr science,No-1573Edition: 3rd 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) 004 PAL.
		Foundations of intelligent systems / Ras,Zbigniew W. by Ras,Zbigniew W. Series: Lecture notes in artificial intelligence,No-1609Edition: 11th International sMaterial 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) 006.3 RAS.
		Information processing in medical imaging / Kuba,Attila. by Kuba,Attila. Series: Lecture notes in computer science,No-1613Edition: 16th International 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) 006.42 DUN.
		High performance computing / Polychronopoulos,C[et..al]. by Polychronopoulos,C[et..al]. Series: Lecture notes in computer science,No-1615Edition: 2nd International SyMaterial 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 POL.
		Automated reasoning with analytic tableaux and related methods / Murray,Neil V. by Murray,Neil V. Edition: International conferMaterial 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) 006.3 GAL.
		The unified modeling language / Bezivin,Jean. by Bezivin,Jean. Series: Lecture notes in computer science,No-1618Edition: 1st 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) 005.133 BEZ.
		Reliable software technologies-Ada-Europe'99 / Harbour,Michael Gonzalez. by Harbour,Michael Gonzalez. Series: Lecture notes in computer science,no-1622Edition: 1999 Ada-Europe InteMaterial 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 HAR.
		Rewriting techniques and applications / Narendran,paliath. by Narendran,paliath. Series: Lecture notes in computer science,No-1631Edition: 10th International 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.0151 COM.
		Computer aided verification / Halbwachs,Nicolas. by Halbwachs,Nicolas. Series: Lecture notes in computer science,No-1633Edition: 11th International 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.24 HAL.
		Inductive logic programming / Dzeroski,Saso. by Dzeroski,Saso. Series: Lecture Notes in Artificial Intelligence, No.1634Edition: 9th 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) 005.1 DZE.
		Conceptual structures and practices / Tepfenhart,William. by Tepfenhart,William. Series: Lecture Notes in Artificial Intelligence, No.1640Edition: 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) 006.3 TEP.
		Algorithms-ESA'97 / Nesetril,Jaroslav. by Nesetril,Jaroslav. Series: Lecture notes in computer science,vol-1643Edition: 7th Annual EuropeanMaterial 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 BUR.
		Multi-agent system engineering / Garijo,Francisco J. by Garijo,Francisco J. Series: Lecture Notes in artificial IntelligenceEdition: 9th European WorkshoMaterial 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) 006.3 GAR.
		Advances in spatial databases / Guting,Ralf Hartmut. by Guting,Ralf Hartmut. Series: Lecture notes in computer science,No-1651Edition: 6th International SyMaterial 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.74 GUT.
		Active networks / Covaci,Stefan. by Covaci,Stefan. Series: Lecture Notes in Computer Science,No.1653Edition: 1st 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.6 COV.
		Compiler construction / Jahnichen,Stefan. by Jahnichen,Stefan. Edition: 8th 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.
		Fundamental approaches to software engineering / Finance,Jean Pierre. by Finance,Jean Pierre. Series: Lecture notes in computer science,No-1577Edition: 2nd 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.1 FIN.
		Tools and algorithms for the construction and analysis of systems / Cleaveland,W.Rance. by Cleaveland,W.Rance. Series: Lecture notes in computer science-No-1579Edition: 5th 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.1 CLE.
		Computer science logic / Gottlob,Georg. by Gottlob,Georg. Series: Lecture Notes in Computer Science, No.1584Edition: 12th International WMaterial 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 GOT.
		Simulated evolution and learning / McKay,Bob[et..al]. by McKay,Bob[et..al]. Series: Lecture notes in artificial intelligence,No-1585Edition: 2nd Asia pacific conMaterial 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) 006.31 MCK.
		Parallel and distributed processing / Rolim,Jose [et..al[. by Rolim,Jose [et..al[. Series: Lecture Notes in Computer Science, 1586Edition: 11 IPPS/SPDP'99 WorkMaterial 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 ROL.
		Information security and privacy / Pieprzyk,Josef. by Pieprzyk,Josef. Edition: 4th Australasian conMaterial 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.82 PIE.
		Advances in cryptology / Stern,Jacques. by Stern,Jacques. Series: Lecture Notes in Computer Science, No.1592Edition: International ConferMaterial type: Text Language: English Publication details: Springer: Berlin, 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.82 STE.
		Genetic programming / Poli,Riccardo[et..al]. by Poli,Riccardo[et..al]. Series: Lecture Notes in Computer Science,No.1578Edition: 2nd European WorkshoMaterial type: Text Language: English Publication details: Berlin: Springer, 1999Availability: Items available for loan: Central Library, TU (1)Location, call number: Textbook Section (Consult Shelf-Guide to locate the book) 005.1 POL. Place hold
		Multiagent platforms / Ishida,Toru. by Ishida,Toru. Series: Lecture notes in artificial intelligence,No-1599Edition: 1st pacific Rim InteMaterial 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) 006.3 ISH.
		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.

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 2981 results.