Results
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Theorem proving in higher order logics / Boulton,Richard j(ed). by Boulton,Richard j(ed). Series: LNCS 2152Edition: 14th international cMaterial type:  Text Language: English Publication details: Berlin: Springer, 2001Availability: 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 Intelligent Data analysis / Hoffman,F(ed). by Hoffman,F(ed). Series: LNCS 2189Edition: 4th international IDMaterial type: Text Language: English Publication details: Berlin: Springer, 2001Availability: 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 Artificial life / Kelemen,jozef(ed). by Kelemen,jozef(ed). Series: LNAI 2159Edition: 6th European confereMaterial type: Text Language: English Publication details: Berlin: Springer, 2001Availability: 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.
|
|
|
|
Correct Hardware design and verification methods / Margaria,T(ed). by Margaria,T(ed). Series: LNCS 2144Edition: 11th IFIP 10.5 AdvanMaterial type: Text Language: English Publication details: Berlin: Springer, 2001Availability: 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.
|
|
|
|
|
|
|
|
Artificial intelligence in Medicine / Quaglini,S(ed). by Quaglini,S(ed). Series: LNAI 2101Edition: 8th conference on ArMaterial type: Text Language: English Publication details: Berlin: Springer, 2001Availability: 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.
|
|
|
|
Natural language processing and Information systems / Bouzeghoub,M(ed). by Bouzeghoub,M(ed). Edition: 5th international coMaterial type: Text Language: English Publication details: Berlin: Springer, 2001Availability: 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.
|
|
|
|
Networking-ICN 2001 / Lorenz,Pascal(ed). by Lorenz,Pascal(ed). Series: LNCS 2093Edition: 1st International coMaterial type: Text Language: English Publication details: Berlin: Springer, 2001Availability: 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 processing in medical imaging / Insana,Michael(ed). by Insana,Michael(ed). Edition: 17th international cMaterial type: Text Language: English Publication details: Berlin: Springer, 2001Availability: 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.
|
|
|
|
Ai ia 2001: advances in artificial intelligence / Esposito,F(ed). by Esposito,F(ed). Series: LNAI 2175Edition: 7th congress of theMaterial type: Text Language: English Publication details: Berlin: Springer, 2001Availability: 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.
|
|
|
|
Advances in learning software organizations / Althoff,K.D(ed). by Althoff,K.D(ed). Series: LNCS 2176Edition: 3rd international woMaterial type: Text Language: English Publication details: Berlin: Springer, 2001Availability: 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 Engineering / Brodal,G.S(ed)). by Brodal,G.S(ed)). Series: LNCS 2141Edition: 5th International woMaterial type: Text Language: English Publication details: Berlin: Springer, 2001Availability: 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(ed). by Bomarius,Frank(ed). Series: LNCS 2188Edition: 3rd international coMaterial type: Text Language: English Publication details: Berlin: Springer, 2001Availability: 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 Multimedia information processing PCM 2001 / Shum,H.Y(ed). by Shum,H.Y(ed). Edition: 2nd IEEEpacific rimMaterial type: Text Language: English Publication details: Berlin: Springer, 2001Availability: 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.
|
|
|
|
Power-aware computer systems / Falsafi,B.(ed). by Falsafi,B.(ed). Series: LNCS 2008Edition: 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.
|
|
|
|
Computational biology / Gascuel,Olivier(ed). by Gascuel,Olivier(ed). Series: LNCS 2066Edition: 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.
|
|
|
|
Model cheking software / Dwyer,M(ed). by Dwyer,M(ed). Series: LNCS 2057Edition: 8th international SPMaterial type: Text Language: English Publication details: Berlin: Springer, 2001Availability: 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.
|
|
|
|
Agent mediated eletronic commerce / ed by Dignum,Frank(ed). by ed by Dignum,Frank(ed). Series: LNCS 1991Material type: Text Language: English Publication details: Berlin: Springer, 2001Availability: 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.
|
|
|
|
Engineering of Intelligent systems / ed by MOnostori,L. by ed by MOnostori,L. Series: LNCS 2070Edition: 14th international cMaterial type: Text Language: English Publication details: Berlin: Springer, 2001Availability: 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.
|
|
|
|
Constraint-based agents / Nareyek,Alexander. by Nareyek,Alexander. Series: LNCS 2062Edition: An architechture forMaterial type: Text Language: English Publication details: Berlin: Springer, 2001Availability: 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.
|
|
|
|
Artificial Neural networks-ICANN 2001 / Dorffner,G(ed). by Dorffner,G(ed). Series: LNCS 2130Edition: International conferMaterial type: Text Language: English Publication details: Berlin: Springer, 2001Availability: 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.
|
|
|
|
Parallel computing technologies / Malyshkin,Victor(ed). by Malyshkin,Victor(ed). Edition: 6th international coMaterial type: Text Language: English Publication details: Berlin: Springer, 2001Availability: 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.
|
|
|
|
Advanced information systems engineering / Dittrich,K.R.(ed). by Dittrich,K.R.(ed). Edition: 13th International cMaterial type: Text Language: English Publication details: Berlin: Springer, 2001Availability: 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.
|
|
|
|
Computability and complexity in analysis / Blanck,J(ed). by Blanck,J(ed). Series: LNCS 2064Edition: 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) 004 LEC.
|
|
|
|
Self -Stabilizing systems / Datta,A.J.(ed). by Datta,A.J.(ed). Series: LNCS 2194Edition: 5th international woMaterial type: Text Language: English Publication details: Berlin: Springer, 2001Availability: 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.
|
|
|
|
Performance Engineering / Dumke,R(ed). by Dumke,R(ed). Series: LNCS 2047Material type: Text Language: English Publication details: Berlin: Springer, 2001Availability: 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.
|
|
|
|
Evolutionary Multi-criterion optimization / Zitzler,E. by Zitzler,E. Series: LNCS 1993Edition: 1st international coMaterial type: Text Language: English Publication details: Berlin: Springer, 2001Availability: 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 schema evolution and Meta modeling / Balsters,H(ed). by Balsters,H(ed). Series: LNCS 2065Edition: 9th 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.
|
|
|
|
Technologies for E-services / Casati,F(ed). by Casati,F(ed). Series: LNCS 2193Edition: 1nd international woMaterial type: Text Language: English Publication details: Berlin: Springer, 2001Availability: 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.
|
|
|
|
New Frontiers in Artificial intelligence / ed by Terano,Tako. by ed by Terano,Tako. Series: LNCS 2253Edition: Joint JSAI 2001 workMaterial type: Text Language: English Publication details: Berlin: Springer, 2001Availability: 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.
|
|
|
|
Stochastic algorithms:Foundations and applications / Steinhofel,K(ed). by Steinhofel,K(ed). Series: LNCS 2264Edition: International symposMaterial type: Text Language: English Publication details: Berlin: Springer, 2001Availability: 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.
|
|
|
|
Static analysis / Cousot,P.(ed). by Cousot,P.(ed). Edition: 8th International SyMaterial type: Text Language: English Publication details: Berlin: Springer, 2001Availability: 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.
|
|
|
|
Progress in Artificial intelligence / ed by Brazdil,pavel. by ed by Brazdil,pavel. Series: LNCS 2258Edition: 10th Portuguse confeMaterial type: Text Language: English Publication details: Berlin: Springer, 2001Availability: 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.
|
|
|
|
Distributed computing / Welch,J(ed). by Welch,J(ed). Series: Lecture notes in computer science,No-2180Edition: 15th International cMaterial type: Text Language: English Publication details: Berlin: Springer, 2001Availability: 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 / Fiege,Ludger(ed). by Fiege,Ludger(ed). Series: Lecture notes in computer science 2232Edition: 2nd international coMaterial type: Text Language: English Publication details: Berlin: Springer, 2001Availability: 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.
|
|
|
|
Databases in Telecommunications ii / Jonker,Willem(ed). by Jonker,Willem(ed). Series: LNCS 2209Edition: VLDB 2001 IntenationMaterial type: Text Language: English Publication details: Berlin: Springer, 2001Availability: 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.
|
|
|
|
Logic programming / Codognet,P(ed). by Codognet,P(ed). Series: Lecture Notes in Computer Science 2237Edition: 17 th InternationalMaterial type: Text Language: English Publication details: Berlin: Springer, 2001Availability: 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.
|
|
|
|
Transactional agents / Nagi,Khaled. by Nagi,Khaled. Series: LNCS 2249Material type: Text Language: English Publication details: Berlin: Springer, 2001Availability: 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.
|
|
|
|
|
|
|
|
|
|
|
|
Persistent object systems / Kirby,G.N.C.(ed). by Kirby,G.N.C.(ed). Series: LNCS 2135Edition: 9th 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.
|
|
|
|
Local search for planning and Scheduling / ed by Nareyek,Alexander. by ed by Nareyek,Alexander. Series: LNCS 2148Edition: ECAI 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) 006.3 LEC.
|
