Your search returned 797 results.

Not what you expected? Check for suggestions
E-BOOKS
Foundations of Software Science and Computation Structures [electronic resource] : First International Conference, FoSSaCS'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28–April 4, 1998 Proceedings / edited by Maurice Nivat.

by Nivat, Maurice [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1378Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online 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
Rewriting Techniques and Applications [electronic resource] : 9th International Conference, RTA-98 Tsukuba, Japan, March 30 – April 1, 1998 Proceedings / edited by Tobias Nipkow.

by Nipkow, Tobias [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1379Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998Online 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
Programming Languages and Systems [electronic resource] : 7th European Symposium on Programming, ESOP'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings / edited by Chris Hankin.

by Hankin, Chris [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1381Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online 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
Fundamental Approaches to Software Engineering [electronic resource] : First International Conference, FASE'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings / edited by Egidio Astesiano.

by Astesiano, Egidio [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1382Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online 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
Compiler Construction [electronic resource] : 7th International Conference, CC'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings / edited by Kai Koskimies.

by Koskimies, Kai [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1383Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online 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
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings / edited by Byron Cook, Andreas Podelski.

by Cook, Byron [editor.] | Podelski, Andreas [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4349Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online 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
25 Years of Model Checking [electronic resource] : History, Achievements, Perspectives / edited by Orna Grumberg, Helmut Veith.

by Grumberg, Orna [editor.] | Veith, Helmut [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5000Source: 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
Rewriting Techniques and Applications [electronic resource] : 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings / edited by Andrei Voronkov.

by Voronkov, Andrei [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5117Source: 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
ECOOP 2008 – Object-Oriented Programming [electronic resource] : 22nd European Conference Paphos, Cyprus, July 7-11, 2008 Proceedings / edited by Jan Vitek.

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

Series: Lecture Notes in Computer Science ; 5142Source: 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
Mathematics of Program Construction [electronic resource] : 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings / edited by Philippe Audebaud, Christine Paulin-Mohring.

by Audebaud, Philippe [editor.] | Paulin-Mohring, Christine [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5133Source: 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
Principles and Practice of Constraint Programming — CP96 [electronic resource] : Second International Conference, CP96 Cambridge, MA, USA, August 19–22, 1996 Proceedings / edited by Eugene C. Freuder.

by Freuder, Eugene C [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1118Source: 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
CONCUR '96: Concurrency Theory [electronic resource] : 7th International Conference Pisa, Italy, August 26–29, 1996 Proceedings / edited by Ugo Montanari, Vladimiro Sassone.

by Montanari, Ugo [editor.] | Sassone, Vladimiro [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1119Source: 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
The Data Parallel Programming Model [electronic resource] : Foundations, HPF Realization, and Scientific Applications / edited by Guy-René Perrin, Alain Darte.

by Perrin, Guy-René [editor.] | Darte, Alain [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1132Source: 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
Formal Techniques in Real-Time and Fault-Tolerant Systems [electronic resource] : 4th International Symposium Uppsala, Sweden, September 9–13, 1996 Proceedings / edited by Bengt Jonsson, Joachim Parrow.

by Jonsson, Bengt [editor.] | Parrow, Joachim [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1135Source: 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
Programming Languages: Implementations, Logics, and Programs [electronic resource] : 8th International Symposium, PLILP '96 Aachen, Germany, September 24–27, 1996 Proceedings / edited by Herbert Kuchen, S. Doaitse Swierstra.

by Kuchen, Herbert [editor.] | Doaitse Swierstra, S [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1140Source: 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
Algebraic and Logic Programming [electronic resource] : 5th International Conference, ALP'96 Aachen, Germany, September 25–27, 1996 Proceedings / edited by Michael Hanus, Mario Rodríguez-Artalejo.

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

Series: Lecture Notes in Computer Science ; 1139Source: 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
Static Analysis [electronic resource] : Third International Symposium, SAS '96 Aachen, Germany, September 24–26, 1996 Proceedings / edited by Radhia Cousot, David A. Schmidt.

by Cousot, Radhia [editor.] | Schmidt, David A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1145Source: 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
Types for Proofs and Programs [electronic resource] : International Workshop, TYPES '95 Torino, Italy, June 5–8, 1995 Selected Papers / edited by Stefano Berardi, Mario Coppo.

by Berardi, Stefano [editor.] | Coppo, Mario [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1158Source: 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
Perspectives of Systems Informatics [electronic resource] : 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers / edited by Irina Virbitskaite, Andrei Voronkov.

by Virbitskaite, Irina [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4378Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online 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
Hardware and Software, Verification and Testing [electronic resource] : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers / edited by Eyal Bin, Avi Ziv, Shmuel Ur.

by Bin, Eyal [editor.] | Ziv, Avi [editor.] | Ur, Shmuel [editor.] | SpringerLink (Online service).

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