Your search returned 18639 results.

Not what you expected? Check for suggestions
E-BOOKS
Formal Methods for Real-Time and Probabilistic Systems [electronic resource] : 5th International AMAST Workshop, ARTS’99 Bamberg, Germany, May 26–28, 1999 Proceedings / edited by Joost-Pieter Katoen.

by Katoen, Joost-Pieter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1601Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online 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
Network and Operating System Support for Digital Audio and Video [electronic resource] : 4th International Workshop, NOSSDAV '93 Lancaster, U.K., November 3–5, 1993 Proceedings / edited by Doug Shepherd, Gordon Blair, Geoff Coulson, Nigel Davies, Francisco Garcia.

by Shepherd, Doug [editor.] | Blair, Gordon [editor.] | Coulson, Geoff [editor.] | Davies, Nigel [editor.] | Garcia, Francisco [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 846Source: 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
Fuzzy Logic in Artificial Intelligence [electronic resource] : IJCAI '93 Workshop Chamberry, France, August 28, 1993 Proceedings / edited by Anca L. Ralescu.

by Ralescu, Anca L [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 847Source: 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
Numerical Integration on Advanced Computer Systems [electronic resource] / edited by Arnold R. Krommer, Christoph W. Ueberhuber.

by Krommer, Arnold R [editor.] | Ueberhuber, Christoph W [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 848Source: 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
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
Towards a Pan-European Telecommunication Service Infrastructure — IS&N '94 [electronic resource] : Second International Conference on Intelligence in Broadband Services and Networks Aachen, Germany, September 7–9, 1994 Proceedings / edited by Hans-Jürgen Kugler, Al Mullery, Norbert Niebert.

by Kugler, Hans-Jürgen [editor.] | Mullery, Al [editor.] | Niebert, Norbert [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 851Source: 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
Dependable Computing — EDCC-1 [electronic resource] : First European Dependable Computing Conference Berlin, Germany, October 4–6, 1994 Proceedings / edited by Klaus Echtle, Dieter Hammer, David Powell.

by Echtle, Klaus [editor.] | Hammer, Dieter [editor.] | Powell, David [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 852Source: 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
Parallel Computer Routing and Communication [electronic resource] : First International Workshop, PCRCW '94 Seattle, Washington, USA, May 16–18, 1994 Proceedings / edited by Kevin Bolding, Lawrence Snyder.

by Bolding, Kevin [editor.] | Snyder, Lawrence [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 853Source: 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
Parallel Processing: CONPAR 94 — VAPP VI [electronic resource] : Third Joint International Conference on Vector and Parallel Processing Linz, Austria, September 6–8, 1994 Proceedings / edited by Bruno Buchberger, Jens Volkert.

by Buchberger, Bruno [editor.] | Volkert, Jens [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 854Source: 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
Algebraic and Logic Programming [electronic resource] : 4th International Conference, ALP '94 Madrid, Spain, September 14–16, 1994 Proceedings / edited by Giorgio Levi, Mario Rodríguez-Artalejo.

by Levi, Giorgio [editor.] | Rodríguez-Artalejo, Mario [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 850Source: 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
Algorithms — ESA '94 [electronic resource] : Second Annual European Symposium Utrecht, The Netherlands, September 26–28, 1994 Proceedings / edited by Jan Leeuwen.

by Leeuwen, Jan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 855Source: 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
Database and Expert Systems Applications [electronic resource] : 5th International Conference, DEXA '94 Athens, Greece, September 7–9, 1994 Proceedings / edited by Dimitris Karagiannis.

by Karagiannis, Dimitris [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 856Source: 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
Distributed Algorithms [electronic resource] : 8th International Workshop, WDAG '1994 Terschelling, The Netherlands, September 29 – October 1, 1994 Proceedings / edited by Gerard Tel, Paul Vitányi.

by Tel, Gerard [editor.] | Vitányi, Paul [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 857Source: 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
Higher Order Logic Theorem Proving and Its Applications [electronic resource] : 7th International Workshop Valletta, Malta, September 19–22, 1994 Proceedings / edited by Thomas F. Melham, Juanito Camilleri.

by Melham, Thomas F [editor.] | Camilleri, Juanito [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 859Source: 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
Object-Oriented Methodologies and Systems [electronic resource] : International Symposium, ISOOMS '94 Palermo, Italy, September 21–22, 1994 Proceedings / edited by Elisa Bertino, Susan Urban.

by Bertino, Elisa [editor.] | Urban, Susan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 858Source: 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
Theoretical Aspects of Computing - ICTAC 2006 [electronic resource] : Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedings / edited by Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone.

by Barkaoui, Kamel [editor.] | Cavalcanti, Ana [editor.] | Cerone, Antonio [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4281Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online 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
Quality of Software Architectures [electronic resource] : Second International Conference on Quality of Software Architectures, QoSA 2006, Västerås, Sweden, June 27-29, 2006 Revised Papers / edited by Christine Hofmeister, Ivica Crnkovic, Ralf Reussner.

by Hofmeister, Christine [editor.] | Crnkovic, Ivica [editor.] | Reussner, Ralf [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4214Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online 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
High Performance Computing [electronic resource] : Second International Symposium, ISHPC'99 Kyoto, Japan, May 26–28, 1999 Proceedings / edited by Constantine Polychronopoulos, Kazuki Joe Akira Fukuda, Shinji Tomita.

by Polychronopoulos, Constantine [editor.] | Fukuda, Kazuki Joe Akira [editor.] | Tomita, Shinji [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1615Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online 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
Compiling Natural Semantics [electronic resource] / by Mikael Pettersson.

by Pettersson, Mikael [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1549Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online 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
Combinatorial and Algorithmic Aspects of Networking [electronic resource] : Third Workshop, CAAN 2006, Chester, UK, July 2, 2006. Revised Papers / edited by Thomas Erlebach.

by Erlebach, Thomas [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4235Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online 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