Your search returned 18638 results.

Not what you expected? Check for suggestions
BOOKS
Analytical Description of CHILL, the CCITT High Level Language

by Branquart, Paul | Louis, Georges | Wodon, Pierre.

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

BOOKS
Alternating Sequential/Parallel Processing

by Wallach, Y.

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

BOOKS
Logic of Programs Proceedings, Workshop, ETH Zurich, 1979

by Engeler, Erwin. Ed.

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

BOOKS
Y12M (Solution of large and sparse systems of linear algebraic equations documentation of subroutines)

by Zlatev, Zahari | Wasniewski, Jerzy | Schaumburg, Kjeld.

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

BOOKS
Fundamentals of Computation Theory Proceedings, Int.Conf., Poland, 1977

by Karpinski, Marek. Ed.

Series: Lecture notes in computer science ; 00056Material 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
Analogical and Inductive Inference. Proceedings, Inter.Workshop All '86, GDR, 1986

by Jantke, K P. Ed.

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

BOOKS
Automata, Languages and Programming Fifth Colloquium, Italy, 1978

by Ausiello, G. Ed | Bohm, C. Ed.

Series: Lecture notes in computer science ; 00062Material 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
Fundamentals of Computation Theory Proceedings, Inter.FCT-Conf., Hungary, 1981

by Gecseg, Ferenc. Ed.

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

BOOKS
Introduction to the PL/CV2 Programming Logic

by Constable, R L | Johnson, S D | Eichenlaub, C D.

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

BOOKS
Operating Systems Engineering Proceedings, 14th IBM CS Symp., Japan, 1980

by Maekawa, M. Ed | Belady, L A. Ed.

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

BOOKS
Verifying Concurrent Processes Using Temporal Logic

by Hailpern, Brent T.

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

BOOKS
Automatic Differentiation: Techniques and Applications

by Rall, Louis B.

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

BOOKS
Program Specification Proceedings, Workshop, Denmark, 1981

by Staunstrup, J. Ed.

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

BOOKS
EUROCAM' 82 European Computer Algebra Conf., France, 1982

by Calmet, Jacques. Ed.

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

BOOKS
Mathematical Foundations of Computer Science, 1981 Proceedings, 10th Symposium, Czechoslovakia, 1981

by Gruska, J. Ed | Chytil, M. Ed.

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

BOOKS
Classical Decision Problem

by Borger, Egon | Gradel, Erich | Gurevich, Yuri.

Series: Perspectives in Mathematical LogicMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 45 Call number: 510.5 BOR.

BOOKS
Number Theory New York Seminar, 1991-1995

by Chudnovsky, D V. Ed | Chudnovsky, G V. Ed | Nathanson, M B. Ed.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer Verlag ; 1996Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 16 Call number: 511 CHU.

BOOKS
Supersymmetric Methods in Quantum and Statistical Physics

by Junker, Georg.

Series: Texts and Monographs in PhysicsMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1996Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 40, Shelf No: 21 Call number: 531.19 JUN.

BOOKS
Mathematical theory of turbulence

by Stanisic, M M.

Series: UniversitextEdition: 2Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer Verlag ; 1988Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 41, Shelf No: 3 Call number: 532.517.4 STA.

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha