Your search returned 10753 results.

Not what you expected? Check for suggestions
E-BOOKS
Advances in Petri Nets 1993 [electronic resource] / edited by Grzegorz Rozenberg.

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

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

E-BOOKS
Live Data Structures in Logic Programs [electronic resource] : Derivation by Means of Abstract Interpretation / by Anne Mulkers.

by Mulkers, Anne [author.] | SpringerLink (Online service).

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

E-BOOKS
Recognizing Planar Objects Using Invariant Image Features [electronic resource] / edited by Thomas H. Reiss.

by Reiss, Thomas H [editor.] | SpringerLink (Online service).

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

E-BOOKS
Word Equations and Related Topics [electronic resource] : Second International Workshop, IWWERT '91 Rouen, France, October 7–9, 1991 Proceedings / edited by Habib Abdulrab, Jean-Pierre Pécuchet.

by Abdulrab, Habib [editor.] | Pécuchet, Jean-Pierre [editor.] | SpringerLink (Online service).

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

E-BOOKS
Parallel Architectures and Their Efficient Use [electronic resource] : First Heinz Nixdorf Symposium Paderborn, Germany, November 11–13, 1992 Proceedings / edited by F. Meyer, B. Monien, A. L. Rosenberg.

by Meyer, F [editor.] | Monien, B [editor.] | Rosenberg, A. L [editor.] | SpringerLink (Online service).

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

E-BOOKS
Resolution Methods for the Decision Problem [electronic resource] / edited by C. Fermüller, A. Leitsch, T. Tammet, N. Zamov.

by Fermüller, C [editor.] | Leitsch, A [editor.] | Tammet, T [editor.] | Zamov, N [editor.] | SpringerLink (Online service).

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

E-BOOKS
Program Development by Specification and Transformation [electronic resource] : The PROSPECTRA Methodology, Language Family, and System / edited by Berthold Hoffmann, Bernd Krieg-Brückner.

by Hoffmann, Berthold [editor.] | Krieg-Brückner, Bernd [editor.] | SpringerLink (Online service).

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

E-BOOKS
The Logic of Information Structures [electronic resource] / by Heinrich Wansing.

by Wansing, Heinrich [author.] | SpringerLink (Online service).

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

E-BOOKS
IPMU '92—Advanced Methods in Artificial Intelligence [electronic resource] : 4th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems Palma de Mallorca, Spain, July 6–10, 1992 Proceedings / edited by Bernadette Bouchon-Meunier, Llorenç Valverde, Ronald R. Yager.

by Bouchon-Meunier, Bernadette [editor.] | Valverde, Llorenç [editor.] | Yager, Ronald R [editor.] | SpringerLink (Online service).

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

E-BOOKS
Discrete Geometry for Computer Imagery [electronic resource] : 13th International Conference, DGCI 2006, Szeged, Hungary, October 25-27, 2006. Proceedings / edited by Attila Kuba, László G. Nyúl, Kálmán Palágyi.

by Kuba, Attila [editor.] | Nyúl, László G [editor.] | Palágyi, Kálmán [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4245Source: 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
Autonomic Management of Mobile Multimedia Services [electronic resource] : 9th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services, MMNS 2006, Dublin, Ireland, October 25-27, 2006. Proceedings / edited by Ahmed Helmy, Brendan Jennings, Liam Murphy, Tom Pfeifer.

by Helmy, Ahmed [editor.] | Jennings, Brendan [editor.] | Murphy, Liam [editor.] | Pfeifer, Tom [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4267Source: 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
Large Scale Management of Distributed Systems [electronic resource] : 17th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2006, Dublin, Ireland, October 23-25, 2006. Proceedings / edited by Radu State, Sven Meer, Declan O’Sullivan, Tom Pfeifer.

by State, Radu [editor.] | Meer, Sven [editor.] | O’Sullivan, Declan [editor.] | Pfeifer, Tom [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4269Source: 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
Web Information Systems – WISE 2006 Workshops [electronic resource] : WISE 2006 International Workshops, Wuhan, China, October 23-26, 2006. Proceedings / edited by Ling Feng, Guoren Wang, Cheng Zeng, Ruhua Huang.

by Feng, Ling [editor.] | Wang, Guoren [editor.] | Zeng, Cheng [editor.] | Huang, Ruhua [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4256Source: 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
Software Process Improvement [electronic resource] : 13th European Conference, EuroSPI 2006, Joensuu, Finland, October 11-13, 2006. Proceedings / edited by Ita Richardson, Per Runeson, Richard Messnarz.

by Richardson, Ita [editor.] | Runeson, Per [editor.] | Messnarz, Richard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4257Source: 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
Semantics, Web and Mining [electronic resource] : Joint International Workshops, EWMF 2005 and KDO 2005, Porto, Portugal, October 3-7, 2005, Revised Selected Papers / edited by Markus Ackermann, Bettina Berendt, Marko Grobelnik, Andreas Hotho, Dunja Mladenič, Giovanni Semeraro, Myra Spiliopoulou, Gerd Stumme, Vojtěch Svátek, Maarten Someren.

by Ackermann, Markus [editor.] | Berendt, Bettina [editor.] | Grobelnik, Marko [editor.] | Hotho, Andreas [editor.] | Mladenič, Dunja [editor.] | Semeraro, Giovanni [editor.] | Spiliopoulou, Myra [editor.] | Stumme, Gerd [editor.] | Svátek, Vojtěch [editor.] | Someren, Maarten [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4289Source: 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
Advances in Information and Computer Security [electronic resource] : First International Workshop on Security, IWSEC 2006, Kyoto, Japan, October 23-24, 2006. Proceedings / edited by Hiroshi Yoshiura, Kouichi Sakurai, Kai Rannenberg, Yuko Murayama, Shinichi Kawamura.

by Yoshiura, Hiroshi [editor.] | Sakurai, Kouichi [editor.] | Rannenberg, Kai [editor.] | Murayama, Yuko [editor.] | Kawamura, Shinichi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4266Source: 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
Autonomic Principles of IP Operations and Management [electronic resource] : 6th IEEE International Workshop on IP Operations and Management, IPOM 2006, Dublin, Ireland, October 23-25, 2006. Proceedings / edited by Gerard Parr, David Malone, Mícheál Ó Foghlú.

by Parr, Gerard [editor.] | Malone, David [editor.] | Ó Foghlú, Mícheál [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4268Source: 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
Advances in Conceptual Modeling - Theory and Practice [electronic resource] : ER 2006 Workshops BP-UML, CoMoGIS, COSS, ECDM, OIS, QoIS, SemWAT, Tucson, AZ, USA, November 6-9, 2006. Proceedings / edited by John F. Roddick, V. Richard Benjamins, Samira Si-said Cherfi, Roger Chiang, Christophe Claramunt, Ramez A. Elmasri, Fabio Grandi, Hyoil Han, Martin Hepp, Miltiadis D. Lytras, Vojislav B. Mišić, Geert Poels, Il-Yeol Song, Juan Trujillo, Christelle Vangenot.

by Roddick, John F [editor.] | Benjamins, V. Richard [editor.] | Si-said Cherfi, Samira [editor.] | Chiang, Roger [editor.] | Claramunt, Christophe [editor.] | Elmasri, Ramez A [editor.] | Grandi, Fabio [editor.] | Han, Hyoil [editor.] | Hepp, Martin [editor.] | Lytras, Miltiadis D [editor.] | Mišić, Vojislav B [editor.] | Poels, Geert [editor.] | Song, Il-Yeol [editor.] | Trujillo, Juan [editor.] | Vangenot, Christelle [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4231Source: 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
WOPPLOT 86 Parallel Processing: Logic, Organization, and Technology [electronic resource] : Proceedings of a Workshop Neubiberg, Federal Republic of Germany, July 2–4, 1986 / edited by Jörg D. Becker, Ignaz Eisele.

by Becker, Jörg D [editor.] | Eisele, Ignaz [editor.] | SpringerLink (Online service).

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

E-BOOKS
Logic Programming '86 [electronic resource] : Proceedings of the 5th Conference Tokyo, Japan, June 23–26, 1986 / edited by Eiiti Wada.

by Wada, Eiiti [editor.] | SpringerLink (Online service).

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