Your search returned 10647 results.

Not what you expected? Check for suggestions
BOOKS
Semantics of data types: International symposium sophia-Antipolis, France, June 1984

by Goos G | Hartmanis J.

Series: Lecture notes in computer science | 173Material type: Text Text;Language: ; Format: print Language: Eng Publication details: Berlin Springer Verlag 1984Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 48, Shelf No: 1 Call number: 681 LNCS.

BOOKS
Logics of programs

by Parikh, Rohit Ed.

Series: Lecture notes in computer science ; 00193Material type: Text Text;Language: ; Format: print Language: Eng Publication details: Berlin Spriger Verlag 1985; Springer-Verlag Availability: Items available for loan: IMSc Library (2). Location(s): Second floor, Rack No: 48, Shelf No: 1 Call number: 681 LNCS.

BOOKS
Graph-Theoretic Concepts in Computer Science 17th International Workshop Proc.,Fischbachau,Germany, 1991

by Schmidt, G. Ed | Berghammer, R. Ed.

Series: Lecture notes in computer science ; 00570Material 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: 13 Call number: 681 LNCS.

BOOKS
Constructivity in Computer Science Summer Symposium, Proc.,San Antonio,1991

by Myers, J.P. Ed | O'Donnell, M J. Ed.

Series: Lecture notes in computer science ; 00613Material 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
Logical Foundations of Computer Science - Tver '92 Second International Symposium Proc., Tver, 1992

by Nerode,A. Ed | Taitslin, M. Ed.

Series: Lecture notes in computer science ; 00620Material 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
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
Physics of high energy density. Edited by and H. Knoepfel. Italian Physical Society

by Caldirola, P | Caldirola, Piero | Knoepfel, Heinz.

Series: Proceedings of the international school of physics"Enrico"48 | Its Proceedings, course ; 48Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: New York, Academic Press, 1971Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 41, Shelf No: 8 Call number: 533.9 CAL.

BOOKS
Science and the common understanding

by Oppenheimer, J Robert.

Series: BBC Reith Lecture 1953Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: London ; Oxford University Press ; 1954Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 22, Shelf No: 7 Call number: 5 OPP.

BOOKS
Idiot's fugitive essays on science methods criticism training circumstances

by Truesdell, C.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer Verlag ; 1984Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 23, Shelf No: 6 Call number: 5 TRU.

BOOKS
Science technology and public policy

by Barke, Richard.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Madras ; East west Press ; 1988Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 21, Shelf No: 2 Call number: 5 BAR.

BOOKS
Yearbook of science and the future

by Encyclopaedia Britannica Inc.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Encyclopaedia Britanica Inc, ; London ; 1977Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 7, Shelf No: 1 Call number: 5 YSF.

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
Encyclopedia of library and Information science: Vol 7

by Kent, Allen Ed | Lancour, Harold Ed | Nasri, William Z Ed.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: NewYork ; Marcel Dekker Inc ; 1972Availability: Items available for loan: IMSc Library (2). Location(s): First Floor, Rack No: 1, Shelf No: 1 Call number: 025.3(02) ELIS.

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.

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha