Your search returned 10762 results.

Not what you expected? Check for suggestions
BOOKS
TEMPO: A Unified Treatment of Binding Time and Parameter Passing Concepts in Programming Languages

by Jones, Neil D | Muchnick, Steven S.

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

BOOKS
Mathematical Foundations of computer Science, 1978 Proceedings, 7th Symp., Poland, 1978

by Winkowski, J. Ed.

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

BOOKS
Codes for Boundary-Value Problems in Ordinary Differential Equations Proceedings, Working Conference, Houston, 1978

by Childs, B. et al Eds.

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

BOOKS
Program Construction International Summer School, Marktoberdorf, 1978

by Bauer, F L. et al.

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

BOOKS
Automata, Languages and Programming Sixth Colloquium, Austria, 1979

by Maurer, Hermann A. Ed.

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

BOOKS
Information Systems Methodology Proceedings, 2nd Conf., ECI, Venice, 1978

by Bracchi, G. Ed | Lockemann, P C. Ed.

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

BOOKS
Graph-Grammars and their Application to Computer Science and Biology International Workshop, Bad Honnef, 1978

by Claus, Volker. Ed | Ehrig, Hartmut. Ed | Rozenberg, Grzegorz. Ed.

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

BOOKS
Mathematical Studies of Information Processing Proceedings, Int.Conf., Kyoto, 1978

by Blum, E K. Ed | Paul, M. Ed | Takasu, S. Ed.

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

BOOKS
Methods of Algorithmic Language Implementation

by Ershov, A. Ed | Koster, C H A. Ed.

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

BOOKS
Concurrent Pascal Compiler for Minicomputers

by Hartmann, Alfred C.

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

BOOKS
Mathematical Foundations of Computer Science 1977 Proceedings, 6th Symp., Tatranska Lomnica, 1977

by Gruska, J. Ed.

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

BOOKS
Comparative Study of Very Large Data Bases

by Hill, Edward. Jr.

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

BOOKS
Mathematical Foundations of Computer Science 1976 Proceedings, 5th Symposium, Gdansk, Sept 6-10,1976

by Mazurkiewicz, A. Ed.

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

BOOKS
Language Hierarchies and Interfaces International Summer School, Marktoberdorf, 1975

by Bauer, F L. Ed | Samelson, K. Ed.

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

BOOKS
ECI Conference 1976 : proceedings of the 1st conference of the European cooperation in informatics

by Samelson, K. Ed.

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

BOOKS
Context-Free Grammars: Covers, Normal Forms, and Parsing

by Nijholt, Anton.

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

BOOKS
5th Conference on Automated Deduction, Les Arcs, France, 1980

by Bibel, W. Ed | Kowalski, R. Ed.

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

BOOKS
Relational Theory of Computing

by Sanderson, John G.

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

BOOKS
International Symposium on Programming Proceedings, Fourth Colloquium, Paris, 1980

by Robinet, B. Ed.

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

BOOKS
Using Sophisticated Models in Resolution Theorem Proving

by Sandford, David M.

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

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha