Your search returned 1808 results.

Not what you expected? Check for suggestions
BOOKS
Particle Accelerator Physics II Nonlinear and Higher-Order Beam Dynamics

by Wiedemann, Helmut.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1995Availability: Items available for loan: IMSc Library (1). Location(s): First Floor Rack No:44 Shelf No:21 Call number: 539.12 WIE.

BOOKS
From Logic Design to Logic Programming Theorem Proving Techniques and P-Functions

by Snyers, Dominique | Thayse, Andre.

Series: Lecture notes in computer science ; 00271Material 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
Concepts, Design, and Performance Analysis of a Parallel Prolog Machine

by Beer, Joachim.

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

BOOKS
Interactive Relational Database Design

by Bagchi, Tapan P | Chaudhri, Vinay K.

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

BOOKS
Design and Implementation of Symbolic Computation Systems Proceedings, Int. Symp. DISCO '90, Capri, Italy, 1990

by Miola, A. Ed.

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

BOOKS
Formal Methods in Computer-Aided Design, First International Conference on- Proceedings, Palo Alto, CA, USA, 1996

by Srivas, Mandayam. Ed | Camilleri, Albert. Ed.

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

BOOKS
Algorithms and Data Structures in VLSI Design : OBDD - Foundations and Applications

by Meinel, Christoph | Theobald, Thorsten.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1998Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 11 Call number: 681.3 MEI.

BOOKS
Impedances and Wakes in High-Energy Particle Accelerators

by Zotter, Bruno W | Kheifets, Semyon A.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Singapore ; World Scientific ; 1998Availability: Items available for loan: IMSc Library (1). Location(s): First Floor Rack No:44 Shelf No:23 Call number: 539.12 ZOT.

BOOKS
Structured Systems Analysis and Design : Data Flow Approach

by Kaujalgi, V B.

Series: Computer ScienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: India ; Universities Press ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 18 Call number: 681.9 KAU.

BOOKS
Explorations in Quantum Computing

by Williams, Colin P | Clearwater, Scott H.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; Springer ; 1998Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 39, Shelf No: 44 Call number: 530.145 WIL.

BOOKS
NURBS : From Projective Geometry to Practical Use

by Farin, Gerald E.

Edition: 2ndMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; A.K.Peters ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 20 Call number: 511 FAR.

BOOKS
Design Patterns : Elements of Reusable Object-Oriented Software

by Gamma, Erich., Helm, Richard | Johnson, Ralph | Vissides, John.

Series: Addison-Wesley Professional Computing SeriesMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: India ; Addison-Wesley ; 1995Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 15 Call number: 681.9 GAM.

BOOKS
Diagram Design : Constructive Theory

by Kamps, Thomas.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 7 Call number: 681.3 KAM.

BOOKS
Software Design for Real-time Systems

by Cooling, J E.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: London ; ITCP ; 1991Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 43 Call number: 681.3 COO.

BOOKS
Design and Analysis of Computer Algorithms

by Aho, Alfred V | Hopcroft, John E | Ullman, Jeffrey D.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: India ; Addison Wesley ; 1998Availability: Items available for loan: IMSc Library (1). Damaged (1). Location(s): Second floor, Rack No: 48, Shelf No: 37 Call number: 681.3 AHO.

BOOKS
Geometric Modeling, Curves and Surfaces in - : Theory and Algorithms

by Gallier, Jean.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; Morgan Kaufmann ; 2000Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 30, Shelf No: 31 Call number: 514 GAL.

BOOKS
Applications of Formal Methods

by Hinchey, Michael G. Ed | Bowen, Jonathan P. Ed.

Series: Prentice Hall International Series in Computer ScienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: UK ; Prentice Hall ; 1995Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 2 Call number: 681.3 HIN.

BOOKS
Understanding Semiconductor Devices

by Dimitrijev, Sima.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Oxford ; OUP ; 2000Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 42, Shelf No: 35 Call number: 537.311 DIM.

BOOKS
Microoptics Technology : Fabrication and Applications of Lens Arrays and Devices

by Borrelli, Nicholas F.

Series: Optical Engineering, 63Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; Marcel Dekker ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 41, Shelf No: 25 Call number: 535 BOR.

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha