Your search returned 10989 results.

Not what you expected? Check for suggestions
BOOKS
Trace theory and VLSI Design

by Van de Snepscheut, Jan L.

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

BOOKS
Rewriting techniques and applications, Dijon, France, May 1985

by Jouannaud, Jean-Pierre.

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

BOOKS
EUROCAL '85, European conference on computer algebra, Linz, Austria, April 1985. vol.1:Invited lectures

by Buchberger, Bruno., Ed.

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

BOOKS
EUROCAL '85, European conference on computer algebra, Linz, Austria, April 1985, Vol.2: Research contributions

by Caviness, Bob F., Ed.

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

BOOKS
Foundations of software technology and theoretical computer science, Fifth conference, New Delhi, India, December

by Maheshwari, S.N., Ed.

Series: Lecture notes in computer science ; 00206Material type: Text Text;Language: ; Format: print Publication details: Berlin ; Springer-Verlag Availability: No items available : Damaged (1).

BOOKS
Analysis of concurrent systems, Cambridge, September 1983

by Denvir, B.T, Ed.

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

BOOKS
Mathematical methods of specification and synthesis of sotware systems '85,Proceedings of the International spring school Wendisch-Rietz, GDR, April 1985

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

BOOKS
Advances in cryptology-CRYPTO'85

by Williams, Hugh C., Ed.

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

BOOKS
Advances in cryptology-EUROCRYPT '85, Proceedings of a workshop on the theory and application of cryptographic techniques, Linz, Austria, April 1985

by Pichler, Franz., Ed.

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

BOOKS
RIMS Symposia on software science and engineering II, Proceedings of the symposia 1983 and 1984, Kyoto, Japan

by Goto, Eiichi., Ed.

Series: Lecture notes in computer science ; 00220Material 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
Logic programming '85,Proceedings

by Wada, E., Ed.

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

BOOKS
Advances in petri nets 1985

by Rogzenber, G., Ed.

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

BOOKS
Third International conference on logic programming,proceedings,1986

by Shapiro, E., Ed.

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

BOOKS
Automata,languages and programming, proceedings,1986

by Shapiro, E., Ed.

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

BOOKS
Applied algebra,algorithms and error-correctings codes, AAECC-2.proceedings,1985

by Poli, A., Ed.

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

BOOKS
Algebra algorithms and error-correcting codes.AAECC-3.proceedings,1985.

by Calmet, J., Ed.

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

BOOKS
8th International conference on automated deduction.proceedings,1986

by Sielkmann, J.H.,Ed.

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

BOOKS
Concepts in user interfaces: A reference model for command and response languages,By members of IFIP working group

by Beech, D., Ed.

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

BOOKS
Accurate scientific computations,proceedings,1985.

by Miranker, W.L., Ed.

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

BOOKS
CONPAR 86: Algorithms and hardware for parallel processing, proceedings,1986

by Handler, W., Ed.

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

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha