opac header image

Refine your search

Your search returned 2981 results.

Sort
Results
Principles and practice of constraint programming- CP 97 / Smolka,Gert.

by Smolka,Gert.

Series: Lecture Notes in computer Science,No.1330Edition: Third InternationalMaterial type: Text 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 SMO.

High performance computing / Polychronopoulos,Constantine.

by Polychronopoulos,Constantine.

Series: Lecture Notes in Ccomputer Science,No.1336Edition: International SymposMaterial type: Text 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 POL.

SOFSEM'97 / Plasil,Frantisek.

by Plasil,Frantisek.

Series: Lecture Notes in Computer Science,No.1338Edition: 24th Seminer on CurrMaterial type: Text 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 PLA.

Deductive and object-oriented databases / Bry,Francois.

by Bry,Francois.

Series: Lecture Notes in Computer Science,No.1341Edition: 5th International CoMaterial type: Text 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 BRY.

Advanced topics in artificial intelligence / Sattar,Abdul.

by Sattar,Abdul.

Series: Lecture Notes in Artifical Intelligence,No.1342Edition: 10th Australian JoinMaterial type: Text 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 SAT.

Foundations of software technology and theoritical computer science / Ramesh,S.

by Ramesh,S.

Series: Lecture Notes in Computer Science,No.1346Edition: 17th ConferenceMaterial type: Text 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 RAM.

Discrete geometry for computer imagery / Ahronovitz,Ehoud.

by Ahronovitz,Ehoud.

Series: Lecture Notes in Computer Science,No.1347Edition: 7th International WoMaterial type: Text 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 AHR.

Recent advances in AI planning / Steel,Sam.

by Steel,Sam.

Series: Lecture Notes in Artificial Intelligence,No.1348Edition: 4th European CoferenMaterial type: Text 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 STE.

Algebraic methodology and software technology / Johnson,Michael.

by Johnson,Michael.

Series: Lecture notes in computer technology,No-1349Edition: 6th International coMaterial type: Text 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.0151 JOH.

Algorithms and computation / Leong,Hon Wai.

by Leong,Hon Wai.

Series: Lecture notes in computer science,No-1350Edition: 8th International syMaterial type: Text 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 LEO.

Computer vision-ACCV'98 / Chin,Roland.

by Chin,Roland.

Series: Lecture notes in computer science,No-1351Edition: 3rd Asian conferenceMaterial type: Text 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 CHI.

Cryptography and coding / Darnell,Michael.

by Darnell,Michael.

Series: Lecture notes in computer science,No-1355Edition: 6th IMA InternationaMaterial type: Text 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 DAR.

Learning and reasoning with complex representations / Antoniou,Grigoris.

by Antoniou,Grigoris.

Series: Lecture notes in artificial intelligence,No-1359Edition: PRICAI'96 Workshop oMaterial type: Text 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.31 ANT.

Automated deduction in geometry / Wang,Dongming.

by Wang,Dongming.

Series: Lecture notes in artificial intelligence,No-1360Edition: International WorkshMaterial type: Text 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 WAN.

Artificial Evolution / Hao,J.K.[et..al].

by Hao,J.K.[et..al].

Series: Lecture notes in computer science,No-1363Edition: 3rd European ConfereMaterial type: Text 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) 004 HAO.

Coordination technology for collaborative applications:organization,proceses,and / Conen,Wolfram.

by Conen,Wolfram.

Series: Lecture notes in computer science,No-1364Material type: Text 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) 004 CON.

Intelligent agents IV /

Series: Lecture notes in artificial intelligence,No-1365Edition: 4th International WoMaterial type: Text 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 SIN.

Lectures on proof verification and approximation algorithms / Mayr,Ernst W.

by Mayr,Ernst W.

Series: Lecture notes in computer science,No-1367Material type: Text 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) 005.1 MAY.

Database programming languages / Cluet,Sophie.

by Cluet,Sophie.

Series: Lecture notes in computer science,No-1369Edition: 6th International WoMaterial type: Text 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) 005.74 CLU.

Gesture and sign language in human computer interaction / Wachsmuth,Ipke.

by Wachsmuth,Ipke.

Series: Lecture notes in artificial intelligence,No-1371Edition: International GesturMaterial type: Text 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.35 WAC.

Recent trends in algebraic development techniques / Presicce,Francesco Parisi.

by Presicce,Francesco Parisi.

Series: Lecture notes in computer science,No-1376Edition: 12th International WMaterial type: Text 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) 004.0151 PRE.

Advances in database technology-EDBT'98 / Schek,hans-Jorg[et..al].

by Schek,hans-Jorg[et..al].

Series: Lecture notes in computer science,No-1377Edition: 6th International CoMaterial type: Text 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) 005.74 SCH.

Foundations of software science and computation structures /

Series: Lecture notes in computer science,No-1378Edition: 1st International CoMaterial type: Text 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) 005.1 NIV.

LATIN'98: theoritical informatics / Lucchesi,Claudio L.

by Lucchesi,Claudio L.

Series: Lecture notes in computer science,No-1380Edition: 3rd Latin American sMaterial type: Text 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) 005.1 LUC.

Fundamental approaches to software engineering / Astesiano,Egidio.

by Astesiano,Egidio.

Series: Lecture notes in computer science,No-1382Edition: 1st International coMaterial type: Text 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) 005.1 FIN.

Compiler construction / Koskimies,Kai.

by Koskimies,Kai.

Series: Lecture notes in computer science,No-1383Edition: 7th International coMaterial type: Text 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) 005.453 JAM.

Services and visualization: towards user-friendly design /

Series: Lecture notes in computer science,No-1385Material type: Text 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) 004.6 MAR.

Hybrid systems: computation and control / Henzinger,Thomas A.

by Henzinger,Thomas A.

Series: Lecture notes in computer science,No-1386Edition: 1st International woMaterial type: Text Text Language: English Publication details: Berlin: Springer, 9989Availability: 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.19 VAA.

Graphics recogition: algorithms and systems / Tombre,Karl.

by Tombre,Karl.

Series: Lecture notes in computer science,No-1389Edition: 2nd International WoMaterial type: Text 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 TOM.

Genetic programming / Banzhaf,Wolfgang.

by Banzhaf,Wolfgang.

Series: Lecture Notes in Computer Science,No.1391Edition: 1st European WorkshoMaterial type: Text 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) 005.1 POL.

RoboCup-97: robot soccer world cup I / Kitano,Hiroaki.

by Kitano,Hiroaki.

Series: Lecture notes in artificial intelligence,N0-1395Material type: Text 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 KIT.

Information security / Okamoto,Eiji.

by Okamoto,Eiji.

Series: Lecutre notes in computer science,No-1396Edition: 1st International WoMaterial type: Text 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) 005.82 OKA.

Automated reasoning with analytic tableaux and related methods / Swart,Harrie de.

by Swart,Harrie de.

Series: Lecture notes in artificial intelligence,No-1397Edition: International conferMaterial type: Text 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 SWA.

Machine learning: ECML-98 / Nedellec,Claire.

by Nedellec,Claire.

Series: Lecture notes in artificial intelligence,No-1398Edition: 10th European conferMaterial type: Text 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.31 NED.

Case-based reasoning technology: from foundations to applications /

Series: Lecture notes in artificial intelligence,No-1400Material type: Text 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 LEN.

High-performance computing and networking / Sloot,Peter.

by Sloot,Peter.

Series: Lecture notes in computer science,No-1401Edition: International conferMaterial type: Text 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) 004 SLO.

Spatial cognition: an interdisciplinary approach to representing and processing / Freksa,Christian.

by Freksa,Christian.

Series: Lecture notes in artificial intelligence,No-1404Material type: Text 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 FRE.

Advances in databases / Embury,Suzanne[et..al].

by Embury,Suzanne[et..al].

Series: Lecture notes in computer science,No-1405Edition: 16th british nationaMaterial type: Text 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) 005.74 EMD.

Computer vision-ECCV'98 / Burkhardt,Hans.

by Burkhardt,Hans.

Series: Lecture notes in computer science,No-1407Edition: 5th European confereMaterial type: Text 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.37 BUR.

Practice and theory of automated timetabling II / Burke,Edmund.

by Burke,Edmund.

Series: Lecture notes in computer science,No-1408Edition: 2nd International CoMaterial type: Text 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) 005.7 BUR.

The automation of reasoning with incomplete information / Schaub,Torsten.

by Schaub,Torsten.

Series: Lecture notes in artificial intelligence,No-1409Material type: Text 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.33 SCH.

Audio system for technical readings /

Series: Lecture notes in computer science,No-1410Material type: Text 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) 005.13 RAM.

Integer programming and combinatorial optimization / Bixby,Robert E [et..al].

by Bixby,Robert E [et..al].

Series: Lecture notes in computer science,No-1412Edition: 6th International IPMaterial type: Text 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) 519.77 BIX.

Methodology and tools in knowledge-based systems / Mira,Jose.

by Mira,Jose.

Series: Lecture notes in artificial intelligence,No-1415Edition: 11th International CMaterial type: Text 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.33 MIR.

Parallel computer routing and communication / Yalamanchili,Sudhakar.

by Yalamanchili,Sudhakar.

Series: Lecture notes in computer science,No-1417Edition: 2nd International WoMaterial type: Text 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) 004.6 YAL.

Application and theory of petri nets 1998 / Desel,Jorg.

by Desel,Jorg.

Series: Lecture notes in computer science,No-1420Edition: 19th International cMaterial type: Text 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) 004.65 DES.

Mathematics of program construction / Jeuring,Johan.

by Jeuring,Johan.

Series: Lecture notes in computer science,No-1422Edition: 4th International CoMaterial type: Text 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) 005.131 JEU.

Algorithmic number theory / Buhler,J.P.

by Buhler,J.P.

Series: Lecture notes in computer science,No-1423Edition: 3rd International SyMaterial type: Text 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) 005.1 BUH.

Multimedia applicatons,services and techniques-ECMAST'98 / Hutchison,David.

by Hutchison,David.

Series: Lecture notes in computer science,No-1425Edition: 3rd European ConfereMaterial type: Text 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 HUT.

Abstract compositional analysis of iterated relationa: a structural approach to / Geurts,Frederic.

by Geurts,Frederic.

Series: Lecture notes in computer science,No-1426Material type: Text 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) 004.0151 GEU.

Pages

© 2022 Central Library, Tezpur University.
For any query, please contact Phone: 03712-27-3224 | Email: library@tezu.ernet.in