Your search returned 95 results.

Not what you expected? Check for suggestions
E-BOOKS
Programming Languages and System Architectures [electronic resource] : International Conference Zurich, Switzerland, March 2–4,1994 Proceedings / edited by Jürg Gutknecht.

by Gutknecht, Jürg [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 782Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
FM8501: A Verified Microprocessor [electronic resource] / edited by Warren A. Hunt.

by Hunt, Warren A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 795Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Computer Aided Verification [electronic resource] : 6th International Conference, CAV '94 Stanford, California, USA, June 21–23, 1994 Proceedings / edited by David L. Dill.

by Dill, David L [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 818Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Automated Modeling of Physical Systems [electronic resource] / by P. Pandurang Nayak.

by Pandurang Nayak, P [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1003Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Field-Programmable Logic Architectures, Synthesis and Applications [electronic resource] : 4th International Workshop on Field-Programmable Logic and Applications, FPL'94 Prague, Czech Republic, September 7–9, 1994 Proceedings / edited by Reiner W. Hartenstein, Michal Z. Servít.

by Hartenstein, Reiner W [editor.] | Servít, Michal Z [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 849Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Graph Drawing [electronic resource] : DIMACS International Workshop, GD '94 Princeton, New Jersey, USA, October 10–12, 1994 Proceedings / edited by Roberto Tamassia, Ioannis G. Tollis.

by Tamassia, Roberto [editor.] | Tollis, Ioannis G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 894Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Theorem Provers in Circuit Design [electronic resource] : Theory, Practice and Experience Second International Conference, TPCD '94 Bad Herrenalb, Germany, September 26–28, 1994 Proceedings / edited by Ramayya Kumar, Thomas Kropf.

by Kumar, Ramayya [editor.] | Kropf, Thomas [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 901Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Other title: Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26 - 28, 1994. Proceedings.Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Computer Aided Verification [electronic resource] : 7th International Conference, CAV '95 Liège, Belgium, July 3–5, 1995 Proceedings / edited by Pierre Wolper.

by Wolper, Pierre [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 939Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Correct Hardware Design and Verification Methods [electronic resource] : IFIPWG10.2 Advanced Research Working Conference, CHARME'93 Arles France May 24–26, 1993 Proceedings / edited by George J. Milne, Laurence Pierre.

by Milne, George J [editor.] | Pierre, Laurence [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 683Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Field-Programmable Logic Smart Applications, New Paradigms and Compilers [electronic resource] : 6th International Workshop on Field-Programmable Logic and Applications, FPL '96 Darmstadt, Germany, September 23–25, 1996 Proceedings / edited by Reiner W. Hartenstein, Manfred Glesner.

by Hartenstein, Reiner W [editor.] | Glesner, Manfred [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1142Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Optical SuperComputing [electronic resource] : First International Workshop, OSC 2008, Vienna, Austria, August 26, 2008. Proceedings / edited by Shlomi Dolev, Tobias Haist, Mihai Oltean.

by Dolev, Shlomi [editor.] | Haist, Tobias [editor.] | Oltean, Mihai [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5172Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
VLSI Engineering [electronic resource] : Beyond Software Engineering / edited by Tosiyasu L. Kunii.

by Kunii, Tosiyasu L [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 163Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Tokyo : Springer Tokyo, 1984Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Quantum Optics [electronic resource].

by SpringerLink (Online service).

Series: Springer Tracts in Modern Physics ; 70Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1974Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
BOOKS
Optical Electronics

by Ghatak, Ajoy.

Material type: Text Text Publication details: New York Cambridge University Press 2013Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 41, Shelf No: 28 Call number: 535 GHA.

Place hold Log in to add tags
BOOKS
Berry phases in electronic structure theory

by Vanderbilt, David.

Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge Cambridge University Press, 2018Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 39, Shelf No: 42 Call number: 530.145 VAN.
Lists:

Place hold Log in to add tags
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha