Your search returned 1123 results.

Results
		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.
		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.
		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, ...
		Languages and compilers for parallel computing / Carter,Larry (ed.). by Carter,Larry (ed.). Edition: 12thinternational 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 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.
		New trends in constraints / Apt,Krzysztof R.(ed.) [et..al]. by Apt,Krzysztof R.(ed.) [et..al]. Series: Lecture in artificial intelligence; No 1865Edition: Joint ERCIM/compulogMaterial 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 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.
		Implementation of functional languages / Koopman,Pieter (ed.). by Koopman,Pieter (ed.). Series: Lecture notes in computer science;NO 1868Edition: 11th 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 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.
		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.
		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.
		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.
		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.
		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.
		Field-programmable logic and applications / Hartenstein,Reiner W. (ed.). by Hartenstein,Reiner W. (ed.). Series: Lecture notes in computer science; no 1896Edition: 1oth 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) 004LEC.
		Advances in case-based reasoning / Blanzieri,Enric (ed.). by Blanzieri,Enric (ed.). Series: Lecture notes in artificial intelligence,No-1898Edition: 5th European WorkshoMaterial 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.
		Euro-par 2000 parallel processing / Edition: 6th international euMaterial 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 systems / Series: Lecture notes in computer science 1901Edition: 7th 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) 004 LEC.
		Open hypermedia systems and structural computing / Series: Lecture notes in computer science 1903Edition: 6th 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.
		Interactive distributed multimedia systems and telecommunication services / Scholten,Hans (ed.). by Scholten,Hans (ed.). Series: Lecture Notes in Computer Science,No.1905Edition: 7th International WoMaterial 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) 006.3 LEC, ...
		Advances in Information systems / Yakhno;Tatyana. by Yakhno;Tatyana. Material 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 ADV.
		Principles of data mining and knowledge discovery / Zighed,Djamel A. (ed.). by Zighed,Djamel A. (ed.). Series: Lecture notes in artificial intelligence,No-1910Edition: 4th 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) 006.3 LEC.
		Job scheduling strategies for parallel processing / Feitelson,Dror G. by Feitelson,Dror G. Series: Lecture Notes In Computer Science,No.1911Edition: IPDPS 2000 workshop,Material 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) 004LEC.
		Approximation algorithms for combinatorial optimization / Jansen, Klaus (ed). by Jansen, Klaus (ed). Series: Lecture notes in computer science; vol. 1913Edition: 3rd 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.
		Distributed computing / Herlihy,Maurice (ed.). by Herlihy,Maurice (ed.). Series: Lecture notes in computer science,No-1914Edition: 14th 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.
		Languages,compilers,and run-time systems for scalable computers / Dwarkadas,Sandhya (ed.). by Dwarkadas,Sandhya (ed.). Series: Lecture notes in computer science,No-1915Edition: 5th Intrnational WorMaterial 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.
		Integrated circuit design / Soudris,Dimitrios (ed.). by Soudris,Dimitrios (ed.). Series: Lecture notes in computer science; no 1918Edition: 10th international wMaterial 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.
		Conceptual modeling for E-business and the web / Liddle,Stephen W. (ed.). by Liddle,Stephen W. (ed.). Series: Lecture notes in computer science; no 1921Edition: ER 2000 workshopMaterial 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.
		Quality of future internet services / Crowcroft,Jon (ed.). by Crowcroft,Jon (ed.). Series: Lecture notes in computer science;No 1922Edition: 1st COST 263 internaMaterial 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.
		Research and advanced tecnology for digital libraries / Borbinha,Jose. by Borbinha,Jose. Material 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) 621.382 BOR.
		Semantics,applications,and implementation of program generation / Taha,Walid (ed.). by Taha,Walid (ed.). Series: Lecture notes in computer science;No 1924Edition: International workshMaterial 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.
		Learning language in logic / Cussens,James (ed.). by Cussens,James (ed.). Series: Lecture notes in artificial intelligence; no 1925Material 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.
		Formal techniques in real-time and fault-tolerant systems / Joseph,Mathai (ed.). by Joseph,Mathai (ed.). Series: Lecture notes in computer science; no 1926Edition: 6th international syMaterial 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.
		Handheld and ubiquitous computing / Thomas,Peter (ed.). by Thomas,Peter (ed.). Series: Lecture notes in computer science; no 1927Edition: 2nd international syMaterial 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 1123 results.