Your search returned 1180 results.

Not what you expected? Check for suggestions
E-BOOKS
ECOOP’ 99 — Object-Oriented Programming [electronic resource] : 13th European Conference Lisbon, Portugal, June 14–18, 1999 Proceedings / edited by Rachid Guerraoui.

by Guerraoui, Rachid [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1628Source: 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
Application and Theory of Petri Nets 1999 [electronic resource] : 20th International Conference, ICATPN’99 Williamsburg, Virginia, USA, June 21–25, 1999 Proceedings / edited by Susanna Donatelli, Jetty Kleijn.

by Donatelli, Susanna [editor.] | Kleijn, Jetty [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1639Source: 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
Secure Internet Programming [electronic resource] : Security Issues for Mobile and Distributed Objects / edited by Jan Vitek, Christian D. Jensen.

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

Series: Lecture Notes in Computer Science ; 1603Source: 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
Reliable Software Technologies — Ada-Europe’ 99 [electronic resource] : 1999 Ada-Europe International Conference on Reliable Software Technologies Santander, Spain, June 7–11, 1999 Proceedings / edited by Michael González Harbour, Juan A. Puente.

by González Harbour, Michael [editor.] | Puente, Juan A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1622Source: 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
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
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
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
Application of Petri Nets to Communication Networks [electronic resource] : Advances in Petri Nets / edited by Jonathan Billington, Michel Diaz, Grzegorz Rozenberg.

by Billington, Jonathan [editor.] | Diaz, Michel [editor.] | Rozenberg, Grzegorz [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1605Source: 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
Coordinatio Languages and Models [electronic resource] : Third International Conference COORDINATION’99 Amsterdam, The Netherlands, April 26–28, 1999 Proceedings / edited by Paolo Ciancarini, Alexander L. Wolf.

by Ciancarini, Paolo [editor.] | Wolf, Alexander L [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1594Source: 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
High-Performance Computing and Networking [electronic resource] : 7th International Conference, HPCN Europe 1999 Amsterdam, The Netherlands, April 12–14, 1999 Proceedings / edited by Peter Sloot, Marian Bubak, Alfons Hoekstra, Bob Hertzberger.

by Sloot, Peter [editor.] | Bubak, Marian [editor.] | Hoekstra, Alfons [editor.] | Hertzberger, Bob [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1593Source: 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
Parallel Scientific Computing [electronic resource] : First International Workshop, PARA '94 Lyngby, Denmark, June 20–23, 1994 Proceedings / edited by Jack Dongarra, Jerzy Waśniewski.

by Dongarra, Jack [editor.] | Waśniewski, Jerzy [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 879Source: 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
Intelligent Agents V: Agents Theories, Architectures, and Languages [electronic resource] : 5th International Workshop, ATAL’98 Paris, France, July 4–7, 1998 Proceedings / edited by Jörg P. Müller, Anand S. Rao, Munindar P. Singh.

by Müller, Jörg P [editor.] | Rao, Anand S [editor.] | Singh, Munindar P [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1555Source: 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
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 5th International Conference, TACAS’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands, March 22–28, 1999 Proceedings / edited by W. Rance Cleaveland.

by Cleaveland, W. Rance [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1579Source: 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
Object-Oriented Technology: ECOOP’98 Workshop Reader [electronic resource] : ECOOP’ 98 Workshops, Demos, and Posters Brussels, Belgium, July 20–24, 1998 Proceedings / edited by Serge Demeyer, Jan Bosch.

by Demeyer, Serge [editor.] | Bosch, Jan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1543Source: 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
Technologies for Advanced Heterogeneous Networks II [electronic resource] : Second Asian Internet Engineering Conference, AINTEC 2006, Pathumthani, Thailand, November 28-30, 2006. Proceedings / edited by Kenjiro Cho, Philippe Jacquet.

by Cho, Kenjiro [editor.] | Jacquet, Philippe [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4311Source: 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
Lectures on Petri Nets II: Applications [electronic resource] : Advances in Petri Nets / edited by Wolfgang Reisig, Grzegorz Rozenberg.

by Reisig, Wolfgang [editor.] | Rozenberg, Grzegorz [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1492Source: 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
Lectures on Petri Nets I: Basic Models [electronic resource] : Advances in Petri Nets / edited by Wolfgang Reisig, Grzegorz Rozenberg.

by Reisig, Wolfgang [editor.] | Rozenberg, Grzegorz [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1491Source: 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
Partial-Order Methods for the Verification of Concurrent Systems [electronic resource] : An Approach to the State-Explosion Problem / edited by Patrice Godefroid.

by Godefroid, Patrice [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1032Source: 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
SOFSEM’ 98: Theory and Practice of Informatics [electronic resource] : 25th Conference on Current Trends in Theory and Practice of Informatics Jasná, Slovakia, November 21–27, 1998 Proceedings / edited by Branislav Rovan.

by Rovan, Branislav [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1521Source: 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
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha