Your search returned 8919 results.

Not what you expected? Check for suggestions
E-BOOKS
≪UML≫ 2000 — The Unified Modeling Language [electronic resource] : Advancing the Standard Third International Conference York, UK, October 2–6, 2000 Proceedings / edited by Andy Evans, Stuart Kent, Bran Selic.

by Evans, Andy [editor.] | Kent, Stuart [editor.] | Selic, Bran [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1939Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Online 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
≪UML≫ 2001 — The Unified Modeling Language. Modeling Languages, Concepts, and Tools [electronic resource] : 4th International Conference Toronto, Canada, October 1–5, 2001 Proceedings / edited by Martin Gogolla, Cris Kobryn.

by Gogolla, Martin [editor.] | Kobryn, Cris [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2185Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online 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
≪UML≫ 2002 — The Unified Modeling Language [electronic resource] : Model Engineering, Concepts, and Tools 5th International Conference Dresden, Germany, September 30 – October 4, 2002 Proceedings / edited by Jean-Marc Jézéquel, Heinrich Hussmann, Stephen Cook.

by Jézéquel, Jean-Marc [editor.] | Hussmann, Heinrich [editor.] | Cook, Stephen [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2460Source: 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
λ-Calculus and Computer Science Theory [electronic resource] : Proceedings of the Symposium Held in Rome March 25–27, 1975 / edited by C. Böhm.

by Böhm, C [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 37Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1975Online 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
«UML»’99 — The Unified Modeling Language [electronic resource] : Beyond the Standard Second International Conference Fort Collins, CO, USA, October 28–30, 1999 Proceedings / edited by Robert France, Bernhard Rumpe.

by France, Robert [editor.] | Rumpe, Bernhard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1723Source: 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
«UML» 2003 - The Unified Modeling Language. Modeling Languages and Applications [electronic resource] : 6th International Conference, San Francisco, CA, USA, October 20-24, 2003. Proceedings / edited by Perdita Stevens, Jon Whittle, Grady Booch.

by Stevens, Perdita [editor.] | Whittle, Jon [editor.] | Booch, Grady [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2863Source: 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
«UML» 2004 — The Unified Modeling Language. Modeling Languages and Applications [electronic resource] : 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings / edited by Thomas Baar, Alfred Strohmeier, Ana Moreira, Stephen J. Mellor.

by Baar, Thomas [editor.] | Strohmeier, Alfred [editor.] | Moreira, Ana [editor.] | Mellor, Stephen J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3273Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004Online 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
10th International Conference on Automated Deduction [electronic resource] : Kaiserslautern, FRG, July 24–27, 1990 Proceedings / edited by Mark E. Stickel.

by Stickel, Mark E [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 449Source: 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
21st Century Learning for 21st Century Skills [electronic resource] : 7th European Conference of Technology Enhanced Learning, EC-TEL 2012, Saarbrücken, Germany, September 18-21, 2012. Proceedings / edited by Andrew Ravenscroft, Stefanie Lindstaedt, Carlos Delgado Kloos, Davinia Hernández-Leo.

by Ravenscroft, Andrew [editor.] | Lindstaedt, Stefanie [editor.] | Kloos, Carlos Delgado [editor.] | Hernández-Leo, Davinia [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7563Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online 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
A 25-Year Perspective on Logic Programming [electronic resource] : Achievements of the Italian Association for Logic Programming, GULP / edited by Agostino Dovier, Enrico Pontelli.

by Dovier, Agostino [editor.] | Pontelli, Enrico [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6125Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online 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
3+1 Formalism in General Relativity [electronic resource] : Bases of Numerical Relativity / by Eric Gourgoulhon.

by Gourgoulhon, Eric [author.] | SpringerLink (Online service).

Series: Lecture Notes in Physics ; 846Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online 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
3D Structure from Images — SMILE 2000 [electronic resource] : Second European Workshop on 3D Structure from Multiple Images of Large-Scale Environments Dublin, Irleand, July 1–2, 2000 Revised Papers / edited by Marc Pollefeys, Luc Gool, Andrew Zisserman, Andrew Fitzgibbon.

by Pollefeys, Marc [editor.] | Gool, Luc [editor.] | Zisserman, Andrew [editor.] | Fitzgibbon, Andrew [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2018Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online 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
3D Structure from Multiple Images of Large-Scale Environments [electronic resource] : European Workshop, SMILE’98 Freiburg, Germany, June 6–7, 1998 Proceedings / edited by Reinhard Koch, Luc Gool.

by Koch, Reinhard [editor.] | Gool, Luc [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1506Source: 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
50 Years of Artificial Intelligence [electronic resource] : Essays Dedicated to the 50th Anniversary of Artificial Intelligence / edited by Max Lungarella, Fumiya Iida, Josh Bongard, Rolf Pfeifer.

by Lungarella, Max [editor.] | Iida, Fumiya [editor.] | Bongard, Josh [editor.] | Pfeifer, Rolf [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4850Source: 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
5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980 [electronic resource] / edited by Wolfgang Bibel, Robert Kowalski.

by Bibel, Wolfgang [editor.] | Kowalski, Robert [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 87Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1980Online 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
5th Conference on Optimization Techniques Part I [electronic resource] / edited by R. Conti, A. Ruberti.

by Conti, R [editor.] | Ruberti, A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1973Online 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
6th Conference on Automated Deduction [electronic resource] : New York, USA, June 7–9, 1982 / edited by D. W. Loveland.

by Loveland, D. W [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 138Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1982Online 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
6th International Congress on Industrial and Applied Mathematics Zürich, Switzerland, 16-20 July 2007 [electronic resource] : Invited Lectures / Rolf Jeltsch, Gerhard Wanner

by Jeltsch, Rolf [editor.] | Wanner, Gerhard [editor.].

Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction ; Audience: Specialized; Publisher: Zuerich, Switzerland : European Mathematical Society Publishing House, 2009Online access: Click here to access online | cover image Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
8th International Conference on Automated Deduction [electronic resource] : Oxford, England, July 27–August 1, 1986 Proceedings / edited by Jörg H. Siekmann.

by Siekmann, Jörg H [editor.] | SpringerLink (Online service).

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

Powered by Koha