Results
|
|
Mobile object systems / Vitek,Jan. by Vitek,Jan. Edition: 2nd 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) 004 VIT.
|
|
|
|
|
|
Information processing in medical imaging / Duncan,James. by Duncan,James. Edition: 15th international cMaterial 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 DUN.
|
|
|
|
|
|
Advances in cryptology-EUROCRYPT'97 / Fumy,Walter. by Fumy,Walter. Edition: 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) 005.82 FUM.
|
|
|
Logical foundations of computer science / Adians,Sergei. by Adians,Sergei. Edition: 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) 004 ADI.
|
|
|
Multi-agent rationality / Boman,magnus. by Boman,magnus. Edition: 8th European workshoMaterial 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 BOM.
|
|
|
|
|
|
Languages and compilers for parallel computing / Sehr,David(et..al.). by Sehr,David(et..al.). Edition: 9th 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) 004.35 SEH.
|
|
|
Biological and artificial computation / Mira,Jose. by Mira,Jose. Edition: International work cMaterial 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 MIR.
|
|
|
Multimedia applications,services and techniques-ECMAST'97 / Fdida,Serge. by Fdida,Serge. Edition: second european confMaterial 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 FDI.
|
|
|
Ada 95 reference manual / Taft,S.Tucker. by Taft,S.Tucker. Edition: International standaMaterial 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.133 TAF.
|
|
|
Application and theory of petri nets 1997 / Azema,Pierre. by Azema,Pierre. Edition: 18th international cMaterial 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.65 AZE.
|
|
|
Automated deduction-CADE-14 / McCune,William. by McCune,William. Edition: 14th international cMaterial 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 MCC.
|
|
|
Advanced information systems engineering / Olive,Antoni. by Olive,Antoni. Edition: 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) 005.74 OLI.
|
|
|
Applied algebra,algebraic algorthms and error-correcting codes / Mora,Teo. by Mora,Teo. Edition: 12th international sMaterial 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 MOR.
|
|
|
Conceptual structures: fulfilling peirce's dream / Lukose,Dickson(et..al). by Lukose,Dickson(et..al). Edition: 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) 006.3 LUK.
|
|
|
Evolvable systems / Higuchi,Tetsuya. by Higuchi,Tetsuya. Series: Lecture notes in computer science,No-1259Edition: 1st 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 HIG.
|
|
|
Automata implementation / Raymond,Darrell. by Raymond,Darrell. Edition: 1st 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) 004 RAY.
|
|
|
|
|
|
Combinatorial pattern matching / Apostolico,Alberto. by Apostolico,Alberto. Edition: 8th Annual SymposiumMaterial 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.3 APO.
|
|
|
|
|
|
|
|
|
Fast software encryption / Biham,Eli. by Biham,Eli. Edition: 4th international woMaterial type: Text Language: English Publication details: Berlin: Springer, 1997Availability: Items available for reference: Central Library, TU: Not for loan (2)Location, call number: Reference Book Section (Consult Shelf-Guide to locate the book) 005.82 BIH, ...
|
|
|
Implementation functional languages / Kluge,Werner. by Kluge,Werner. Edition: 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) 005.13 KLU.
|
|
|
|
|
|
|
|
|
Theorem proving in higher order logics / Gunter,Elsa L. by Gunter,Elsa L. Edition: 10th international cMaterial 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 GUN.
|
|
|
Parallel computing technologies / Malyshkin,Victor. by Malyshkin,Victor. Edition: 4th 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.35 MAL.
|
|
|
Modular compiler verification / Olm,Markus Muller. by Olm,Markus Muller. Edition: A refinement algebraMaterial 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.453 MUL.
|
|
|
Algorithms-ESA'97 / Burkard,Rainer. by Burkard,Rainer. Series: Lecture Notes in Computer Science,vol-1284Edition: 5th Annual EuropeanMaterial 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 BUR.
|
|
|
|
|
|
Formal hardware verification / Kropf,Thomas. by Kropf,Thomas. Material 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.64 KRO.
|
|
|
Spatial data types for database systems / Scheide,Markus. by Scheide,Markus. Edition: Finite resolution geMaterial 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 SOH.
|
|
|
Principles of document processing / Nicholas,Charles. by Nicholas,Charles. Edition: 3rd 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) 005.72 NIC.
|
|
|
Computer analysis of images and patterns / Sommer,Gerald. by Sommer,Gerald. Edition: 7th 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 SOM.
|
|
|
|
|
|
Information extraction / Pazienza,Maria Teresa. by Pazienza,Maria Teresa. Edition: International summerMaterial 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 PAZ.
|
|
|
Euro-Par'97 / Series: Lecture Notes in Computer Science, No.1300Edition: 3rd International EuMaterial 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.35 LEN.
|
|
|
Software engineering-ESEC/FSE'97 / Jazayeri,Mehdi. by Jazayeri,Mehdi. Edition: 6th European softwarMaterial 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 JAZ.
|
|
|
Static analysis / Hentenryck,Pascal Van. by Hentenryck,Pascal Van. Edition: 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.1 HEN.
|
|
|
Evolutionary computing / Corne,David. by Corne,David. Edition: AISB 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 COR.
|
|
|
|
|
|
Theory reasoning in connection calculi / Baumgartner,Peter. by Baumgartner,Peter. Material 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 BAU.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Graph drawing / Whitesides,Sue H. by Whitesides,Sue H. Series: Lecture Notes in Computer Science,1547Edition: 6th International SyMaterial 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 WHI.
|