Your search returned 2455 results.

Not what you expected? Check for suggestions
BOOKS
Lecture notes on Elementary Topology and Geometry

by Singer, I M | Thorpe, John A.

Series: Undergraduate Texts in MathematicsMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer-Verlag ; 1967Availability: Items available for loan: IMSc Library (2). Location(s): First Floor, Rack No: 31, Shelf No: 27 Call number: 515.1 SIN.

BOOKS
Foundations of computation theory, Proceedings of the 1983 International FCT-conference,Bprgholm, Sweden, August, 1983

by Karpinski, Marek., Ed.

Series: Lecture notes in computer science ; 00158Material 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: 47, Shelf No: 48 Call number: 681 LNCS.

BOOKS
STACS 84, Symposium of theoretical aspects of computer science, Paris, April, 1984

by Melhlhorn, K., Ed.

Series: Lecture notes in computer science ; 00166Material 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: 47, Shelf No: 48 Call number: 681 LNCS.

BOOKS
Semantics of data types: International symposium sophia-Antipolis, France, June 1984

by Goos G | Hartmanis J.

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

BOOKS
EUROSAM 84 International symposium on symbolic and algebraic computation,Cambridge, England, July 1984

by Fitch, Ed.

Series: Lecture notes in computer science ; 00174Material 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
P-Functions and boolean matrix factorization, A unfied approach for wired, programmed implementations of discrete algorithms

by Thayse., Ed.

Series: Lecture notes in computer science ; 00175Material 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
Mathematical foundations of software development, proceedings of the International Joint conference, Berlin, 1985, volume 1: Colloquium on trees in algebra and programming

by Ehrig., Ed.

Series: Lecture notes in computer science ; 00185Material 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
Formal methods and software development, proceedings of the International Joint conference, Berlin, 1985:v.2:Colloauium on software eng.

by Ehrig., Ed.

Series: Lecture notes in computer science ; 00186Material 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
Advances in petri nets, 1984

by Rozenberg., Ed.

Series: Lecture notes in computer science ; 00188Material 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
Paragon: language using type hierarchies for the specifications, Implementation and selection of abstract data types

by Sherman, M.S.

Series: Lecture notes in computer science ; 00189Material 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
Distributed systems, methods and tools for specification, an advanced course

by Alford, zM.W., Ed.

Series: Lecture notes in computer science ; 00190Material 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
Hierarchical associative procesing system

by Stuttgen, Heinrich J.

Series: Lecture notes in computer science ; 00195Material 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
Seminar on concurrency, Carnegie-Mellon University, Pittsburgh, PA, July 1984

by Brookes, A.E., Ed.

Series: Lecture notes in computer science ; 00197Material 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
Fundamentals of computation theory, FCT'85, Cottbus, GDR, September

by Budach, Lothar.

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

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha