Your search returned 2796 results.

Not what you expected? Check for suggestions
E-BOOKS
Workflow Management Systems for Process Organisations [electronic resource] / by Thomas Schael.

by Schael, Thomas [author.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Languages, Compilers, and Run-Time Systems for Scalable Computers [electronic resource] : 4th International Workshop, LCR’ 98 Pittsburgh, PA, USA, May 28–30, 1998 Selected Papers / edited by David R. O’Hallaron.

by O’Hallaron, David R [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1511Source: 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
ECOOP’95 — Object-Oriented Programming, 9th European Conference, Åarhus, Denmark, August 7–11, 1995 [electronic resource] / edited by Mario Tokoro, Remo Pareschi.

by Tokoro, Mario [editor.] | Pareschi, Remo [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Formal Methods for Industrial Applications [electronic resource] : Specifying and Programming the Steam Boiler Control / edited by Jean-Raymond Abrial, Egon Börger, Hans Langmaack.

by Abrial, Jean-Raymond [editor.] | Börger, Egon [editor.] | Langmaack, Hans [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1165Source: 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 Methods in Computer-Aided Design [electronic resource] : First International Conference, FMCAD '96 Palo Alto, CA, USA, November 6–8, 1996 Proceedings / edited by Mandayam Srivas, Albert Camilleri.

by Srivas, Mandayam [editor.] | Camilleri, Albert [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1166Source: 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
Software Configuration Management [electronic resource] : ICSE'96 SCM-6 Workshop Berlin, Germany, March 25–26, 1996 Selected Papers / edited by Ian Sommerville.

by Sommerville, Ian [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1167Source: 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 Systems Specification [electronic resource] : The RPC-Memory Specification Case Study / edited by Manfred Broy, Stephan Merz, Katharina Spies.

by Broy, Manfred [editor.] | Merz, Stephan [editor.] | Spies, Katharina [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1169Source: 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
Building Tightly Integrated Software Development Environments: The IPSEN Approach [electronic resource] / edited by Manfred Nagl.

by Nagl, Manfred [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1170Source: 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'96: Theory and Practice of Informatics [electronic resource] : 23rd Seminar on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 23–30, 1996 Proceedings / edited by Keith G. Jeffery, Jaroslav Král, Miroslav Bartošek.

by Jeffery, Keith G [editor.] | Král, Jaroslav [editor.] | Bartošek, Miroslav [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1175Source: 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 Design of Intelligent Agents [electronic resource] : A Layered Approach / by Jörg P. Müller.

by Müller, Jörg P [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1177Source: 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
Intelligent Agents II Agent Theories, Architectures, and Languages [electronic resource] : IJCAI'95 Workshop (ATAL) Montréal, Canada, August 19–20, 1995 Proceedings / edited by Michael Wooldridge, Jörg P. Müller, Milind Tambe.

by Wooldridge, Michael [editor.] | Müller, Jörg P [editor.] | Tambe, Milind [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1037Source: 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
Agents Breaking Away [electronic resource] : 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '96 Eindhoven, The Netherlands, January 22–25, 1996 Proceedings / edited by Walter Velde, John W. Perram.

by Velde, Walter [editor.] | Perram, John W [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1038Source: 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 System Informatics [electronic resource] : Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings / edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin.

by Bjørner, Dines [editor.] | Broy, Manfred [editor.] | Pottosin, Igor V [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1181Source: 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
Optimal Interprocedural Program Optimization [electronic resource] : A New Framework and Its Application / by Jens Knoop.

by Knoop, Jens [author.] | SpringerLink (Online service).

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

Place hold Log in to add tags
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): .

Place hold Log in to add tags
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): .

Place hold Log in to add tags
E-BOOKS
ZUM ’98: The Z Formal Specification Notation [electronic resource] : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings / edited by Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey.

by Bowen, Jonathan P [editor.] | Fett, Andreas [editor.] | Hinchey, Michael G [editor.] | SpringerLink (Online service).

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