Your search returned 416 results.

Not what you expected? Check for suggestions
BOOKS
Advances in petri nets, 1987

by Rozenberg, Grzegorz, Ed.

Series: Lecture notes in computer science ; 00266Material 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. Proceedings,1987

by Ottmann, Th., Ed.

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

BOOKS
Parallel algorithms and architectures. Proceedings.1987

by Albrecht, A., Ed.

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

BOOKS
ECOOP,87. European conference on object-oriented programming. proceedings. 1987

by Bezivin, J., Ed.

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

BOOKS
Fundamentals of computation theory. proceedings.1987

by Budach, L., Ed.

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

BOOKS
Mathematical models for the semantics of parallelism

by Venturini zilli, M.

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

BOOKS
Trends, techniques and problems in theoretical computer science

by Kelemenova, A | Kelemen, J.

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

BOOKS
Category theory and computer science

by Pitt, D.H | Poigne, A | Rydeheard, D.E.

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

BOOKS
Advances in cryptology - CRYPTO

by Pomerance, C.

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

BOOKS
Mathematical foundations of programming language semantics

by Main, M | Melton, A | Mislove, M.

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

BOOKS
MFDBS 87

by Biskup, J | Demetrovics, J | Paredaens, J.

Series: Lecture notes in computer science ; 00305Material 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
Automata, languages and programming

by Lepisto, T | Salomaa, A.

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

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha