Your search returned 9617 results.

Not what you expected? Check for suggestions
BOOKS
Computer Science Logic 5th Workshop Proc., CSL '91, Berne, 1991

by Borger,E. et al Eds.

Series: Lecture notes in computer science ; 00626Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1992Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 14 Call number: 681 LNCS.

BOOKS
Applications of Generalized Nets

by Atanassov, Krassimir T. Ed.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Singapore ; World Scientific ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 7 Call number: 681.324 KRA.

BOOKS
Neural Nets Wirn Vietri - 92 Fifth Italian Workshop, Salerno, 1992

by Caianiello, E R. Ed.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Singapore ; World Scientific ; 1992Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 6 Call number: 681.324 CAI.

BOOKS
Intelligent Control Aspects of Fuzzy Logic and Neural Nets

by Harris, C J | Moore, C G | Brown, M.

Series: Robotics and Automated Systems, 6Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Singapore ; World Scientific ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 43 Call number: 510.21 HAR.

BOOKS
Parallel Architectures and Their Efficient Use Proceedings,First Heinz Nixdorf Symposium, Germany, 1992

by Meyer, F. et al Eds.

Series: Lecture notes in computer science ; 00678Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS.

BOOKS
Word Equations and Related Topics Proceedings,2nd International Workshop,IWWERT, France, 1991

by Abdulrab, Habib. Ed | Pecuchet, J-P. Ed.

Series: Lecture notes in computer science ; 00677Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 14 Call number: 681 LNCS.

BOOKS
Live Data Structures in Logic Programs Derivation by means of abstract interpretation

by Mulkers, Anne.

Series: Lecture notes in computer science ; 00675Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 14 Call number: 681 LNCS.

BOOKS
Computer Science Logic : 6th workshop, CSL '92, San Miniato, Italy, September/October 1992, Selected paers

by Borger, E | Jager, G., Martini., Richter,M | Kleine Buning, H.

Series: Lecture notes in computer science ; 00702Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS.

BOOKS
Basic principles of automatic control theory

by Voronov, A.A.

Material type: Text Text;Language: ; Format: print Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 22 Call number: 681.3 VOR.

BOOKS
Logic from Computer Science Proceedings, Workshop, Nov. 1989

by Moschovakis, Y N. Ed.

Series: Mathematical Sciences Research Institute, 21Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer Verlag ; 1992Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 25 Call number: 681.3:510 MOS.

BOOKS
Iteration Theories Equational Logic of Iterative Processes

by Bloom, Stephen L | Esik, Zoltan.

Series: EATCS Monographs on Theoretical Computer ScienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 40 Call number: 681.3 BLO.

BOOKS
Logical Foundations of Computer Science Proceedings, 3rd Int.Symp., Russia, 1994

by Nerode, A. Ed | Matiyasevich, Yu V. Ed.

Series: Lecture notes in computer science ; 00813Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS.

BOOKS
Results and Trends in Theoretical Computer Science : Colloquium in honor of Arto Salomaa Graz, Austria, June 1994

by Karhumaki, J. Ed | Maurer, H. Ed | Rozenberg, Ed.

Series: Lecture notes in computer science ; 00812Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS.

BOOKS
Sendmail

by Costales, Bryan | Allman, Eric | Rickert, Neil.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Language: English Publication details: USA ; O'Reilly & Associates ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 47, Shelf No: 46 Call number: 681 COS.

BOOKS
FST TCS 1994:Foundations of Software Technology and Theoretical Computer Science : 14th Conference, Madras, India, December 1994, Proceedings

by Thiagarajan, P S. Ed.

Series: Lecture notes in computer science ; 880Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Language: English Publication details: Germany ; Springer Verlag ; 1994Online access: Click here to access online Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 48, Shelf No: 16 Call number: 681 LNCS.

BOOKS
Data Structures and Algorithm Analysis

by Weiss, Mark Allen.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; Benjamin ; 1992Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 2 Call number: 681.3.06 WEI.

BOOKS
Logic in Computer Science, Tenth Annual IEEE Symposium on- Proceedings, San Diego, 1995

by Kozen, Dexter. Ed.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; IEEE Computer Society ; 1995Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 7 Call number: 681.3 KOZ.

BOOKS
Lecture notes on Bucket Algorithms

by Devroye, Luc.

Series: Progress in Computer Science, V.6Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Boston ; Birkhauser ; 1986Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 45 Call number: 681.3 DEV.

BOOKS
Computer Science Logic 8th Workshop, Poland, 1994

by Pacholski, Leszek. Ed | Tiuryn, Jerzy. Ed.

Series: Lecture notes in computer science ; 00933Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1995Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 16 Call number: 681 LNCS.

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha