Your search returned 2455 results.

Not what you expected? Check for suggestions
BOOKS
Compositionality, concurrency and partial corretness

by Zwiers, J.

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

BOOKS
Formal techniques in real time and fault-tolerant systems

by Joseph, M.

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

BOOKS
Foundations of software technology and theoretical computer science

by Nori, K.V | Kumar, S.

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

BOOKS
Parcella '88

by Wolf, G | Legendi, T | Schendel, U.

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

BOOKS
Advances in petri nets 1990

by Rozenberg, G.

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

BOOKS
Concurrency : THeory languages and architecture

by Yonezawa, A | Ito, T.

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

BOOKS
Mathematical foundations of computer science, 1991

by Tarlecki, A.

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

BOOKS
Advances in petri nets 1991

by Rozenberg, G.

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

BOOKS
Applied algebra, algebraic algorithms and error-correcting codes

by Mattson, H.F | Mora, T | Rao, T.R.N.

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

BOOKS
Local area network:An advanced course, Glasgow, July 11-22,1983, Proceedings

by Hutchison, David., Ed.

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

BOOKS
STACS 85, 2nd Annual symposium on theretical aspects of computer science, Saarbrucken, January 3-5,1985

by Mehlhorn, K., Ed.

Series: Lecture notes in computer science ; 00182Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1985Availability: Items available for loan: IMSc Library (1). 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
Automata on infinite words

by Nivat, M., Ed.

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

BOOKS
A survey of verification techniques for parallel programs

by Barringar, Howard.

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

BOOKS
Feedback shift retgisters

by Ronse, Christian.

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

BOOKS
7th International conference on automated deduction, Nape, California, USA, May 14-16,1984

by Shostak, R.E.,Ed.

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

BOOKS
Logics and machines: Decision problems and complexity

by Borger, E., Ed.

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

BOOKS
Stochastic processes and their applications Proceedings, Bombay, India, December 27-30,1990

by Beckmann, M.J., Ed.

Series: Lecture notes in economics and mathematical systems, 370Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer verlag ; 1991Availability: Items available for loan: IMSc Library (1). Location(s): First Floor Rack No:35 Shelf No:32 Call number: 519.216 BEC.

BOOKS
Introductory problem courses in analysis and topology

by Moise, Edwin E.

Series: UniversitextMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer-Verlag ; 1982Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 31, Shelf No: 24 Call number: 515.1 MOI.

BOOKS
Ramanujan's notebooks : part 1, 2 and 3

by Ramanujan, Srinivasa | Berndt, Bruce C.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer-Verlag ; 1991Availability: Items available for loan: IMSc Library (3). Location(s): Second Floor, Ramanujan Collection Call number: 51(081) RAM.

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha