Your search returned 8978 results.

Not what you expected? Check for suggestions
E-BOOKS
FME '93: Industrial-Strength Formal Methods [electronic resource] : First International Symposium of Formal Methods Europe Odense, Denmark, April 19–23, 1993 Proceedings / edited by James C. P. Woodcock, Peter G. Larsen.

by Woodcock, James C. P [editor.] | Larsen, Peter G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 670Source: 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 MOSIX Distributed Operating System [electronic resource] : Load Balancing for UNIX / edited by Amnon Barak, Shai Guday, Richard G. Wheeler.

by Barak, Amnon [editor.] | Guday, Shai [editor.] | Wheeler, Richard G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 672Source: 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
GWAI-92: Advances in Artificial Intelligence [electronic resource] : 16th German Conference on Artificial Intelligence Bonn, Germany, August 31 – September 3, 1992 Proceedings / edited by Hans Jürgen Ohlbach.

by Jürgen Ohlbach, Hans [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 671Source: 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
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes [electronic resource] : 10th International Symposium,AAECC-10 San Juan de Puerto Rico, Puerto Rico, May 10–14, 1993 Proceedings / edited by Gérard Cohen, Teo Mora, Oscar Moreno.

by Cohen, Gérard [editor.] | Mora, Teo [editor.] | Moreno, Oscar [editor.] | SpringerLink (Online service).

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

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha