Your search returned 2455 results.

Not what you expected? Check for suggestions
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
Symposium on Automatic Demonstration; edited by M. Laudet [and others]

by Laudet. M and Lacombe. D | Laudet, M.

Series: Lecture notes in mathematics (Springer-Verlag) ; 125.Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Publication details: Berlin, New York, Springer-Verlag, 1970Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 27 Call number: 51 LNM.

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.

BOOKS
Negation and control in prolog

by Naish, L.

Series: Lecture notes in computer science ; 00238Material 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
Mathematical foundations of programming semantics,proceedings, 1985

by Melton, A., Ed.

Series: Lecture notes in computer science ; 00239Material 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
Category theory and computer programming,proceedings 1985

by Pitt, D., Ed.

Series: Lecture notes in computer science ; 00240Material 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
Foundations of software technology and theoretical computer science, proceedings, 1986

by Nori, K.V., Ed.

Series: Lecture notes in computer science ; 00241Material 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
ICDT '86.proceedings

by Ausiello, G | Atzeni, P., Ed.

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