Your search returned 2740 results.

Results
		Mathematics of program construction / Backhouse,Roland (ed.). by Backhouse,Roland (ed.). Series: Lecture notes in computer science,No-1837Edition: 5th International CoMaterial type: Text Language: English Publication details: Berlin: Springer, 2000Availability: 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 LEC.
		Algorithmic number theory / Bosma,Wieb (ed.). by Bosma,Wieb (ed.). Series: Lecture notes in computer science,No-1834Edition: 43rd International SMaterial type: Text Language: English Publication details: Berlin: Springer, 2000Availability: 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 LEC.
		Intelligent tutoring sustems / Gauthier,Gilles (ed.). by Gauthier,Gilles (ed.). Series: Lecture notes in computer science;No 1839Edition: 5th international coMaterial type: Text Language: English Publication details: Berling: Springer, 2000Availability: 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 LEC.
		Product focused software process improvement / Bomarius, Frank. by Bomarius, Frank. Series: Lecture Notes in Computer Science 1840Material type: Text Language: English Publication details: Berlin: Springer, 2000Availability: 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 LEC.
		Information security and privacy / Dawson,Ed (ed.). by Dawson,Ed (ed.). Edition: 5th Australasian conMaterial type: Text Language: English Publication details: Berlin: Springer, 2000Availability: 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 LEC.
		Computer vision ECCV 2000 / Vernon,David (ed.). by Vernon,David (ed.). Series: Lecture notes in computer science;No 1842Edition: 6th Europiean conferMaterial type: Text Language: English Publication details: Berlin: Springer, 2000Availability: 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 LEC.
		Computer vision - ECCV 2000 / Vernon,David (ed.). by Vernon,David (ed.). Series: Lecture notes in computer science;No 1843Edition: 6th European confereMaterial type: Text Language: English Publication details: Berlin: Springer, 2000Availability: 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 LEC.
		No cover image available Software reuse: advances in software reusability / Frakes,William B. (ed.). by Frakes,William B. (ed.). Series: Lecture notes in computer science;No 1844Edition: 6th international coMaterial type: Text Language: English Publication details: Berlin: Springer, 2000Availability: 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 LEC.
		Reliable software technologies Ada-Europe 2000 / Keller,Hubert B. (ed.). by Keller,Hubert B. (ed.). Series: Lecture notes in computer science;No 1845Edition: 5th Ada-Europe interMaterial type: Text Language: English Publication details: Berlin: Springer, 2000Availability: 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 LEC.
		Web-age information management / Lu,Hongjun (ed.). by Lu,Hongjun (ed.). Series: Lecture notes in computer science;No 1846Edition: 1st international coMaterial type: Text Language: English Publication details: Berlin: Springer, 2000Availability: 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 LEC.
		Automated reasoning with analytic tableaux andreleted methods / Dyckhoff,Roy (ed.). by Dyckhoff,Roy (ed.). Series: Lecture notes in artificial intelligence;No 1847Edition: International conferMaterial type: Text Language: English Publication details: Berlin: Springer, 2000Availability: 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 LEC.
		Combinational pattern matching / Giancarlo,Raffaele (ed.). by Giancarlo,Raffaele (ed.). Series: Lecture notes in computer science;1848Edition: 11th annual symposiuMaterial type: Text Language: English Publication details: Berling: Springer, 2000Availability: 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 LEC.
		ECOOP 1987-2000- Object-Oriented Programming:14th European Conference / Bertino, Elisa. by Bertino, Elisa. Series: Lecture Notes in Computer Science 1850Material type: Text Language: English Publication details: Berlin: Springer, 2000Availability: 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 LEC.
		Algorithm theory - SWAT 2000 / Halldorsson,Magnus M. (ed.). by Halldorsson,Magnus M. (ed.). Series: Lecture notes in computer science; NO 1851Edition: 7th Scandinavia workMaterial type: Text Language: English Publication details: Berlin: Springer, 2000Availability: 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 LEC.
		The computational complexity of equivalence and isomorphism problems / Thierauf,Thomas. by Thierauf,Thomas. Series: Lecture notes in computer science; No 1852Material type: Text Language: English Publication details: Berlin: Springer, 2000Availability: 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 LEC.
		Automata,languages and programming / Montanari,Ugo (ed.). by Montanari,Ugo (ed.). Series: Lecture notes in computer science,No-1853Edition: 27th International CMaterial type: Text Language: English Publication details: Berlin: Springer, 2000Availability: 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 LEC.
		No cover image available Semper-secure electronic market place for Europe / Material type: Text Language: English Publication details: Germany: Springer, 2000Availability: 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 LEC.
		Computer aided verification / Emerson, E.Allen. by Emerson, E.Allen. Series: Lecture Notes in Computer Science, 1855Material type: Text Language: English Publication details: Berlin: Springer, 2000Availability: 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 LEC.
		RoboCup-99:Robot soccer world cup III / Veloso,Manuela (ed.). by Veloso,Manuela (ed.). Series: Lecture notes in artificial intelligence; no1856Material type: Text Language: English Publication details: Berling: Springer, 2000Availability: 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 LEC.
		Multiple classifier systems / Kittler Josef (ed.). by Kittler Josef (ed.). Series: Lecture notes in computer science; no 1857Edition: 1st international woMaterial type: Text Language: English Publication details: Berlin: Springer, 2000Availability: 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 LEC.
		Cumputing and combinatorics / Du,D.-Z. (ed.) [et..al]. by Du,D.-Z. (ed.) [et..al]. Series: Lecture notes in computer science;No 1858Edition: 6th annual internatiMaterial type: Text Language: English Publication details: Berlin: Springer, 2000Availability: 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 LEC.
		Cooperative information agents IV / Klusch,Matthias (ed.). by Klusch,Matthias (ed.). Series: Lecture notes in artificial intelligence;NO 1860Edition: 4th international woMaterial type: Text Language: English Publication details: Berlin: Springer, 2000Availability: 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 LEC.
		Computational logic-cl 2000 / Series: Subseries of Lecture notes in Computer scienceEdition: First internationalMaterial type: Text Language: English Publication details: Berlin: Springer, 2000Availability: 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 LEC.
		Computer science logic / Clote,Peter (ed.). by Clote,Peter (ed.). Series: Lecture Notes in Computer Science, No.1862Edition: 14th International WMaterial type: Text Language: English Publication details: Berlin: Springer, 2000Availability: 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 LEC, ...
		Abstraction,reformulation, and approximation / Choueiry,Berthe Y. (ed.). by Choueiry,Berthe Y. (ed.). Series: Lecture inartificial intelligence;No 1864Edition: 4th international syMaterial type: Text Language: English Publication details: Berlin: Sprpring, 2000Availability: 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 LEC.
		No cover image available Inductive logic programming,ILP 2000 / Cussens,James (ed.). by Cussens,James (ed.). Series: Lecture notes inartificial intelligence;No 1866Edition: 10th international cMaterial type: Text Language: English Publication details: Berlin: Springer, 2000Availability: 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 LEC.
		Conceptual structures: logical,Linguistic,and computational issues / Ganter,Bernhard (ed). by Ganter,Bernhard (ed). Series: Lecture notes in artificial intelligence; No1867Edition: 8th international coMaterial type: Text Language: English Publication details: Berlin: Springer, 2000Availability: 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 LEC.
		Theorem proving in higher order logics / Aagaard,Mark (ed.). by Aagaard,Mark (ed.). Edition: 13th international cMaterial type: Text Language: English Publication details: Berlin: Springer, 2000Availability: 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 LEC.
		Analysis and visualization tools for constraint programming / Deransart,Pierre (ed.). by Deransart,Pierre (ed.). Series: Lecture notes in computer science;No 1870Material type: Text Language: English Publication details: Berlin: Springer, 2000Availability: 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 LEC.
		Theoretical computerscience / Leeuwen,J van (ed.) [et..al]. by Leeuwen,J van (ed.) [et..al]. Series: Lecture notes in computer science; No 1872Edition: International conferMaterial type: Text Language: English Publication details: Berlin: Springer, 2000Availability: 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 LEC.
		Database and expert systems applications / Ibrahim,Mohamed (ed). by Ibrahim,Mohamed (ed). Series: Lecture Notes in Computer Science,No.1873Edition: 11thInternational CoMaterial type: Text Language: English Publication details: Berlin: Springer, 2000Availability: 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 LEC.
		Data warehousing and knowledge discovery / Kambayashi,Yahiko (ed.). by Kambayashi,Yahiko (ed.). Series: Lecture notes in computer science; NO 1874Edition: 2nd international coMaterial type: Text Language: English Publication details: Berlin: Springer, 2000Availability: 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 LEC.
		Electronic commerce and web technologies / Bauknecht,Kurt (ed.). by Bauknecht,Kurt (ed.). Series: Lecture notes in computer science;No 1875Edition: 1st international coMaterial type: Text Language: English Publication details: Berlin: Springer, 2000Availability: 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 LEC.
		Advances in pattern recognition / Ferri,Francesc J.(ed.)[et..al]. by Ferri,Francesc J.(ed.)[et..al]. Series: Lecture notes in computer science,no-1876Edition: Joint IAPR InternatiMaterial type: Text Language: English Publication details: Berlin: Springer, 2000Availability: 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 LEC.
		CONCUR 2000- Concurrency theory / Palamidiessi,Catuscia (ed.). by Palamidiessi,Catuscia (ed.). Series: Lecture notes in computer science; no1877Edition: 11th international cMaterial type: Text Language: English Publication details: Berlin: Springer, 2000Availability: 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 LEC.
		ZB 2000: Formal specication and development in Z and B / Bowen Jonathan P.(ed.) [et..al. by Bowen Jonathan P.(ed.) [et..al. Series: Lecture notes in computer science;No 1878Edition: 1st international coMaterial type: Text Language: English Publication details: Berling: Springer, 2000Availability: 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 LEC.
		Algorithms -ESA 2000 / Paterson,Mike (ed.). by Paterson,Mike (ed.). Series: Lecture notes in computer science; no 1879Edition: 8th annual EuropeanMaterial type: Text Language: English Publication details: Berlin: Springer, 2000Availability: 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 LEC, ...
		Advances in crypyology-CRYPTO 2000 / Bellare,Mihir (ed.). by Bellare,Mihir (ed.). Series: Lecture notes in computer science;no 1880Edition: 20th annual internatMaterial type: Text Language: English Publication details: Berlin: Springer, 2000Availability: 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 LEC.
		Design and applications of intelligent agents / Zhang,Chengqi (ed.). by Zhang,Chengqi (ed.). Series: Lecture notes in artificial intelligence; no 1881Edition: 3rd Pacific internatMaterial type: Text Language: English Publication details: Berlin: Springer, 2000Availability: 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 LEC.
		Agent systems, mobile agents, and applications / Kotz,David (ed.). by Kotz,David (ed.). Series: Lecture notes in computer science; vol. 1882Edition: 2nd and 4th internatMaterial type: Text Language: English Publication details: New York: Springer, 2000Availability: 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 LEC.
		Current issues in Databases and information system / Series: Lecture notes in computer science 1884Material type: Text Language: English Publication details: Berlin: Springer, 2000Availability: 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 LEC.
		SPIN model checking and software verification / Havelund,Klaus (ed.). by Havelund,Klaus (ed.). Series: Lecture notes in computer science; 1885Edition: 7th international SPMaterial type: Text Language: English Publication details: Berling: Springer, 2000Availability: 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 LEC.
		PRICAI 2000 topics in artificial intelligence / Mizoguchi,Riichro (ed.). by Mizoguchi,Riichro (ed.). Series: Lecture notes in artificial intelligence; no 1886Edition: 6th Pacific Rim InteMaterial type: Text Language: English Publication details: Berlin: Springer, 2000Availability: 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 LEC.
		Algebraic frames for the perception-action cycle / Sommer,Gerald (ed.). by Sommer,Gerald (ed.). Series: Lecture notes in computer science; 1888Edition: 2nd international,woMaterial type: Text Language: English Publication details: Berling: Springer, 2000Availability: Items available for reference: Central Library, TU: Not for loan (1)Location, call number: Reference Book Section (Consult Shelf-Guide to locate the book) 004LEC.
		Theory and application of diagrams / Anderson,Michael (ed.). by Anderson,Michael (ed.). Series: Lecture notes in artificial intelligence;vol,1889Edition: 1st international coMaterial type: Text Language: English Publication details: Barling: Springer, 2000Availability: 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 LEC.
		Trends in distributed systems: towards a universal Service merket / Linnhoff-Popien,Claudia (ed.). by Linnhoff-Popien,Claudia (ed.). Series: Lecture notes in computer science; no 1890Edition: 3rd international IFMaterial type: Text Language: English Publication details: Berling: Springer, 2000Availability: 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 LEC.
		Grammatical inference:Algorithms and applications / Series: Subseries of lecture notes in computer scienceEdition: 5th international coMaterial type: Text Language: English Publication details: Berlin: Springer, 2000Availability: 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 LEC.
		Adaptive hypermedia and adaptive web-based systems / Brusilovsky,Peter (ed.). by Brusilovsky,Peter (ed.). Series: Lecture notes in computer science;no 1892Edition: International conferMaterial type: Text Language: English Publication details: Berlin: Springer, 2000Availability: 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 LEC.
		Mathematicl foundations of computer science 2000 / Nielsen,Mogens (ed.). by Nielsen,Mogens (ed.). Series: Lecture notes in computer science; vol. 1893Edition: 25th international sMaterial type: Text Language: English Publication details: New York: Springer, 2000Availability: 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 LEC.
		Principles and practice of constraint programming- CP 2000 / Dechter,Rina (ed.). by Dechter,Rina (ed.). Series: Lecture Notes in computer Science;No.1894Edition: 6th International CoMaterial type: Text Language: English Publication details: Berlin: Springer, 2000Availability: 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 LEC.

First
Previous
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
Next
Last

Refine your search

Availability

Authors

Collections

Item types

Locations

Series

Topics

Your search returned 2740 results.