Your search returned 10753 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
Algorithmic Number Theory Proceedings, Second Inter. Symp., ANTS-II, France, 1996

by Cohen, Henri. Ed.

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

BOOKS
Automata, Languages and Programming Eighth Colloquium, Israel, 1981

by Even, S. Ed | Kariv, O. Ed.

Series: Lecture notes in computer science ; 00115Material 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
Stochastic Automata: Stability, Nondeterminism, and Prediction

by Doberkat, Ernst-Erich.

Series: Lecture notes in computer science ; 00113Material 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
CAAP '81 : Trees in Algebra and Programming Proceedings, 6th Colloquium, Genoa, 1981

by Astesiano, E. Ed | Bohm, C. Ed.

Series: Lecture notes in computer science ; 00112Material 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
CONPAR 81 Conference on Analysing Problem Classes and Programming for Parallel Computing Proceedings, Nurnberg, 1981

by Handler, Wolfgang. Ed.

Series: Lecture notes in computer science ; 00111Material 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.

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha