Your search returned 95 results.

Not what you expected? Check for suggestions
E-BOOKS
Concurrency and Hardware Design [electronic resource] : Advances in Petri Nets / edited by Jordi Cortadella, Alex Yakovlev, Grzegorz Rozenberg.

by Cortadella, Jordi [editor.] | Yakovlev, Alex [editor.] | Rozenberg, Grzegorz [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2549Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online 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
Boolean Calculus of Differences [electronic resource] / edited by André Thayse.

by Thayse, André [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 101Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1981Online 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
Artificial Neural Networks [electronic resource] : International Workshop IWANN '91 Granada, Spain, September 17–19, 1991 Proceedings / edited by Alberto Prieto.

by Prieto, Alberto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 540Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online 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 Algorithms and Architectures [electronic resource] : Aegean Workshop on Computing Loutraki, Greece, July 8–11, 1986 Proceedings / edited by Filia Makedon, Kurt Mehlhorn, T. Papatheodorou, P. Spirakis.

by Makedon, Filia [editor.] | Mehlhorn, Kurt [editor.] | Papatheodorou, T [editor.] | Spirakis, P [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 227Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1986Online 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
Trace Theory and VLSJ Design [electronic resource] / by Jan L. A. Snepscheut.

by Snepscheut, Jan L. A [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 200Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1985Online 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
Higher Order Logic Theorem Proving and Its Applications [electronic resource] : 8th International Workshop Aspen Grove, UT, USA, September 11–14, 1995 Proceedings / edited by E. Thomas Schubert, Philip J. Windley, James Alves-Foss.

by Thomas Schubert, E [editor.] | Windley, Philip J [editor.] | Alves-Foss, James [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 971Source: 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 and Applications [electronic resource] : 5th International Workshop, FPL '95 Oxford, United Kingdom, August 29–September 1, 1995 Proceedings / edited by Will Moore, Wayne Luk.

by Moore, Will [editor.] | Luk, Wayne [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 975Source: 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 and Application [electronic resource] : 13th International Conference, FPL 2003, Lisbon, Portugal, September 1-3, 2003 Proceedings / edited by Peter Cheung, George A. Constantinides.

by Cheung, Peter [editor.] | Constantinides, George A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2778Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online 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
Memory Management [electronic resource] : International Workshop IWMM 95 Kinross, UK, September 27–29, 1995 Proceedings / edited by Henry G. Baler.

by Baler, Henry G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 986Source: 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] : IFIP WG 10.5 Advanced Research Working Conference, CHARME '95 Frankfurt/Main, Germany, October 2–4, 1995 Proceedings / edited by Paolo E. Camurati, Hans Eveking.

by Camurati, Paolo E [editor.] | Eveking, Hans [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 987Source: 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
Synthesizing Synchronous Systems by Static Scheduling in Space-Time [electronic resource] / edited by Björn Lisper.

by Lisper, Björn [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 362Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1989Online 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
Database Machines [electronic resource] : Sixth International Workshop, IWDM '89 Deauville, France, June 19–21, 1989 Proceedings / edited by Haran Boral, Pascal Faudemay.

by Boral, Haran [editor.] | Faudemay, Pascal [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 368Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1989Online 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-Theoretic Concepts in Computer Science [electronic resource] : 17th International Workshop, WG '91 Fischbachau, Germany, June 17–19 1991 Proceedings / edited by Gunther Schmidt, Rudolf Berghammer.

by Schmidt, Gunther [editor.] | Berghammer, Rudolf [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 570Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online 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-Theoretic Concepts in Computer Science [electronic resource] : 15th International Workshop WG '89 Castle Rolduc, The Netherlands, June 14–16, 1989 Proceedings / edited by Manfred Nagl.

by Nagl, Manfred [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 411Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Online 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] : Fourth International Workshop, CAV '92 Montreal, Canada, June 29 – July 1, 1992 Proceedings / edited by Gregor Bochmann, David Karl Probst.

by Bochmann, Gregor [editor.] | Probst, David Karl [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 663Source: 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
New Trends in Neural Computation [electronic resource] : International Workshop on Artificial Neural Networks, IWANN '93 Sitges, Spain, June 9–11, 1993 Proceedings / edited by José Mira, Joan Cabestany, Alberto Prieto.

by Mira, José [editor.] | Cabestany, Joan [editor.] | Prieto, Alberto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 686Source: 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
The Complexity of Simple Computer Architectures [electronic resource] / edited by Silvia M. Müller, Wolfgang J. Paul.

by Müller, Silvia M [editor.] | Paul, Wolfgang J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 995Source: 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
Computer Aided Verification [electronic resource] : 5th International Conference, CAV '93 Elounda, Greece, June 28–July 1, 1993 Proceedings / edited by Costas Courcoubetis.

by Courcoubetis, Costas [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 697Source: 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 Gate Arrays: Architecture and Tools for Rapid Prototyping [electronic resource] : Second International Workshop on Field-Programmable Logic and Applications Vienna, Austria, August 31 – September 2, 1992 Selected Papers / edited by Herbert Grünbacher, Reiner W. Hartenstein.

by Grünbacher, Herbert [editor.] | Hartenstein, Reiner W [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 705Source: 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
Semantics of Digital Circuits [electronic resource] / by Carlos Delgado Kloos.

by Delgado Kloos, Carlos [author.] | SpringerLink (Online service).

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

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

Powered by Koha