Results
|
|
|
|
|
|
|
Analysis and verification of multiple-agent language / Dam,Mads. by Dam,Mads. Edition: 5th 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.1 DAM.
|
|
|
|
Evolution of parallel celluar machines / Sipper,Moshe. by Sipper,Moshe. 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) 005.1 SIP.
|
|
|
|
Graph-theoretic concepts in computer science / d'Amore, Fabrizio (et..al). by d'Amore, Fabrizio (et..al). Edition: 22nd International WMaterial type: Text Language: English Publication details: Berlin: Spinger, 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.6 DAM.
|
|
|
|
|
|
|
|
|
|
|
|
Modular programming language / Mossenbock,Hanspeter. by Mossenbock,Hanspeter. Edition: Joint modular languaMaterial 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 MOS.
|
|
|
|
CVRMed-MRCAS'97 / Troccaz,Jocelyne. by Troccaz,Jocelyne. Edition: 1st joint conf. compMaterial 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.37 TRO.
|
|
|
|
Computational learning theory / David,Shai Ben. by David,Shai Ben. Edition: Third 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) 006.31 BEN.
|
|
|
|
|
|
|
|
|
|
|
|
ZUM'97 / 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) 004 BOW.
|
|
|
|
Evolutionary programming VI / Angeline,Peter J.(et..al). by Angeline,Peter J.(et..al). Edition: 6th 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 ANG.
|
|
|
|
TAPSOFT'97 / Bidoit,Michel. by Bidoit,Michel. Edition: 7th international joMaterial 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 BID.
|
|
|
|
Input/output intensive massively parallel computing / Brezany,Peter. by Brezany,Peter. Edition: Language support parMaterial 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 BRE.
|
|
|
|
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.
|
|
|
|
Programming languages / Glaser,Hugh. by Glaser,Hugh. Edition: 9th international syMaterial type: Text Language: English Publication details: xi,422p;26cm: Berlin, 0Availability: 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 GLA.
|
