Your search returned 506 results.

Not what you expected? Check for suggestions
E-BOOKS
Abstract Compositional Analysis of Iterated Relations [electronic resource] : A Structural Approach to Complex State Transition Systems / by Frédéric Geurts.

by Geurts, Frédéric [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1426Source: 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): .

E-BOOKS
Computer Vision Systems [electronic resource] : First International Conference, ICVS’ 99 Las Palmas, Gran Canaria, Spain, January 13–15, 1999 Proceedings / by Henrik I. Christensen.

by Christensen, Henrik I [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1542Source: 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): .

E-BOOKS
Computer Aided Systems Theory — EUROCAST '95 [electronic resource] : A Selection of Papers from the Fifth International Workshop on Computer Aided Systems Theory Innsbruck, Austria, May 22–25, 1995 Proceedings / edited by Franz Pichler, Roberto Moreno Díaz, Rudolf Albrecht.

by Pichler, Franz [editor.] | Díaz, Roberto Moreno [editor.] | Albrecht, Rudolf [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1030Source: 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): .

E-BOOKS
Ada in Europe [electronic resource] : Second International Eurospace — Ada-Europe Symposium Frankfurt/Main, Germany, October 2–6, 1995 Proceedings / edited by Marcel Toussaint.

by Toussaint, Marcel [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1031Source: 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): .

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): .

E-BOOKS
Algebraic Methodology and Software Technology [electronic resource] : 4th International Conference, AMAST '95 Montreal, Canada, July 3–7, 1995 Proceedings / edited by V. S. Alagar, Maurice Nivat.

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

Series: Lecture Notes in Computer Science ; 936Source: 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): .

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): .

E-BOOKS
Lectures on Embedded Systems [electronic resource] : European Educational Forum School on Embedded Systems Veldhoven, The Netherlands November 25–29, 1996 / edited by Grzegorz Rozenberg, Frits W. Vaandrager.

by Rozenberg, Grzegorz [editor.] | Vaandrager, Frits W [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1494Source: 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): .

E-BOOKS
Computer Safety, Reliability and Security [electronic resource] : 17th International Conference, SAFECOMP’98 Heidelberg, Germany, October 5–7, 1998 Proceedings / edited by Wolfgang Ehrenberger.

by Ehrenberger, Wolfgang [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1516Source: 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): .

E-BOOKS
Broadband Communications Networks, Services, Applications, Future Directions [electronic resource] : 1996 International Zurich Seminar on Digital Communications, IZS'96 Zurich, Switzerland, February 21–23, 1996 Proceedings / edited by Bernhard Plattner.

by Plattner, Bernhard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1044Source: 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): .

E-BOOKS
Languages, Compilers, and Tools for Embedded Systems [electronic resource] : ACM SIGPLAN Workshop LCTES’98 Montreal, Canada, June 19–20, 1998 Proceedings / edited by Frank Mueller, Azer Bestavros.

by Mueller, Frank [editor.] | Bestavros, Azer [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1474Source: 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): .

E-BOOKS
Formal Techniques in Real-Time and Fault-Tolerant Systems [electronic resource] : 5th International Symposium, FTRTFT’98 Lyngby, Denmark, September 14–18, 1998 Proceedings / edited by Anders P. Ravn, Hans Rischel.

by Ravn, Anders P [editor.] | Rischel, Hans [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1486Source: 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): .

E-BOOKS
Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006. Proceedings / edited by Ajoy K. Datta, Maria Gradinariu.

by Datta, Ajoy K [editor.] | Gradinariu, Maria [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4280Source: 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): .

E-BOOKS
High-Performance Computing and Networking [electronic resource] : International Conference and Exhibition HPCN EUROPE 1996 Brussels, Belgium, April 15–19, 1996 Proceedings / edited by Heather Liddell, Adrian Colbrook, Bob Hertzberger, Peter Sloot.

by Liddell, Heather [editor.] | Colbrook, Adrian [editor.] | Hertzberger, Bob [editor.] | Sloot, Peter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1067Source: 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): .

E-BOOKS
Principles of Distributed Systems [electronic resource] : 10th International Conference, OPODIS 2006, Bordeaux, France, December 12-15, 2006. Proceedings / edited by Mariam Momenzadeh Alexander A. Shvartsman.

by Shvartsman, Mariam Momenzadeh Alexander A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4305Source: 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): .

E-BOOKS
Coordination Models and Languages [electronic resource] : 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings / edited by Doug Lea, Gianluigi Zavattaro.

by Lea, Doug [editor.] | Zavattaro, Gianluigi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5052Source: 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): .

E-BOOKS
Hybrid and Real-Time Systems [electronic resource] : International Workshop, HART'97 Grenoble, France, March 26–28, 1997 Proceedings / edited by Oded Maler.

by Maler, Oded [editor.] | SpringerLink (Online service).

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

E-BOOKS
Hybrid Systems III [electronic resource] : Verification and Control / edited by Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag.

by Alur, Rajeev [editor.] | Henzinger, Thomas A [editor.] | Sontag, Eduardo D [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1066Source: 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): .

E-BOOKS
System Analysis and Modeling: Language Profiles [electronic resource] : 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers / edited by Reinhard Gotzhein, Rick Reed.

by Gotzhein, Reinhard [editor.] | Reed, Rick [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4320Source: 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): .

E-BOOKS
Reliable Software Technologies — Ada-Europe '96 [electronic resource] : 1996 Ada-Europe International Conference on Reliable Software Technologies Montreux, Switzerland, June 10–14, 1996 Proceedings / edited by Alfred Strohmeier.

by Strohmeier, Alfred [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1088Source: 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): .

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha