Your search returned 8978 results.

Not what you expected? Check for suggestions
E-BOOKS
Verification: Theory and Practice [electronic resource] : Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday / edited by Nachum Dershowitz.

by Dershowitz, Nachum [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2772Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 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
Digital Documents: Systems and Principles [electronic resource] : 8th International Conference on Digital Documents and Electronic Publishing, DDEP 2000, 5th International Workshop on the Principles of Digital Document Processing, PODDP 2000, Munich, Germany, September 13-15, 2000. Revised Papers / edited by Peter King, Ethan V. Munson.

by King, Peter [editor.] | Munson, Ethan V [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2023Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 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
Inductive Logic Programming [electronic resource] : 13th International Conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003. Proceedings / edited by Tamás Horváth, Akihiro Yamamoto.

by Horváth, Tamás [editor.] | Yamamoto, Akihiro [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2835Source: 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
Software and Compilers for Embedded Systems [electronic resource] : 7th International Workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003. Proceedings / edited by Andreas Krall.

by Krall, Andreas [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2826Source: 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
Spatial Information Theory. Foundations of Geographic Information Science [electronic resource] : International Conference, COSIT 2003, Kartause Ittingen, Switzerland, September 24-28, 2003. Proceedings / edited by Walter Kuhn, Michael F. Worboys, Sabine Timpf.

by Kuhn, Walter [editor.] | Worboys, Michael F [editor.] | Timpf, Sabine [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2825Source: 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
Recent Advances in Parallel Virtual Machine and Message Passing Interface [electronic resource] : 10th European PVM/MPI User’s Group Meeting, Venice, Italy, September 29 - October 2, 2003. Proceedings / edited by Jack Dongarra, Domenico Laforenza, Salvatore Orlando.

by Dongarra, Jack [editor.] | Laforenza, Domenico [editor.] | Orlando, Salvatore [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2840Source: 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
Information and Communications Security [electronic resource] : 5th International Conference, ICICS 2003, Huhehaote, China, October 10-13, 2003. Proceedings / edited by Sihan Qing, Dieter Gollmann, Jianying Zhou.

by Qing, Sihan [editor.] | Gollmann, Dieter [editor.] | Zhou, Jianying [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2836Source: 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
Interactive Systems. Design, Specification, and Verification [electronic resource] : 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003. Revised Papers / edited by Joaquim A. Jorge, Nuno Jardim Nunes, João Falcão e Cunha.

by Jorge, Joaquim A [editor.] | Jardim Nunes, Nuno [editor.] | Falcão e Cunha, João [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2844Source: 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
Quality of Future Internet Services [electronic resource] : First COST 263 International Workshop, QofIS 2000 Berlin, Germany, September 25–26, 2000 Proceedings / edited by Jon Crowcroft, James Roberts, Mikhail I. Smirnov.

by Crowcroft, Jon [editor.] | Roberts, James [editor.] | Smirnov, Mikhail I [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1922Source: 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
Open Hypermedia Systems and Structural Computing [electronic resource] : 6th International Workshop, OHS-6 2nd International Workshop, SC-2 San Antonio, Texas, USA, May 30 – June 3, 2000 Proceedings / edited by Siegfried Reich, Kenneth M. Anderson.

by Reich, Siegfried [editor.] | Anderson, Kenneth M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1903Source: 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
Recent Advances in Intrusion Detection [electronic resource] : Third International Workshop, RAID 2000 Toulouse, France, October 2–4, 2000 Proceedings / edited by Hervé Debar, Ludovic Mé, S. Felix Wu.

by Debar, Hervé [editor.] | Mé, Ludovic [editor.] | Wu, S. Felix [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1907Source: 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
Medical Data Analysis [electronic resource] : First International Symposium, ISMDA 2000 Frankfurt, Germany, September 29–30, 2000 Proceedings / edited by Rüdiger W. Brause, Ernst Hanisch.

by Brause, Rüdiger W [editor.] | Hanisch, Ernst [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1933Source: 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
Generic Programming [electronic resource] : International Seminar on Generic Programming Dagstuhl Castle, Germany, April 27–May 1, 1998 Selected Papers / edited by Mehdi Jazayeri, Rüdiger G. K. Loos, David R. Musser.

by Jazayeri, Mehdi [editor.] | Loos, Rüdiger G. K [editor.] | Musser, David R [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1766Source: 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
Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003. Proceedings / edited by Elie Najm, Uwe Nestmann, Perdita Stevens.

by Najm, Elie [editor.] | Nestmann, Uwe [editor.] | Stevens, Perdita [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2884Source: 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
Handheld and Ubiquitous Computing [electronic resource] : Second International Symposium, HUC 2000 Bristol, UK, September 25–27, 2000 Proceedings / edited by Peter Thomas, Hans-W. Gellersen.

by Thomas, Peter [editor.] | Gellersen, Hans-W [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1927Source: 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
On The Move to Meaningful Internet Systems 2003: OTM 2003 Workshops [electronic resource] : OTM Confederated International Workshops, HCI-SWWA, IPW, JTRES,WORM, WMS, and WRSM 2003, Catania, Sicily, Italy, November 3-7, 2003. Proceedings / edited by Robert Meersman, Zahir Tari.

by Meersman, Robert [editor.] | Tari, Zahir [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2889Source: 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
Foundations of Intelligent Systems [electronic resource] : 12th International Symposium, ISMIS 2000 Charlotte, NC, USA, October 11–14, 2000 Proceedings / edited by Zbigniew W. Raś, Setsuo Ohsuga.

by Raś, Zbigniew W [editor.] | Ohsuga, Setsuo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1932Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 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
On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE [electronic resource] : OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2003, Catania, Sicily, Italy, November 3-7, 2003. Proceedings / edited by Robert Meersman, Zahir Tari, Douglas C. Schmidt.

by Meersman, Robert [editor.] | Tari, Zahir [editor.] | Schmidt, Douglas C [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2888Source: 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
Envisioning Machine Translation in the Information Future [electronic resource] : 4th Conference of the Association for Machine Translation in the Americas, AMTA 2000 Cuernavaca, Mexico, October 10–14, 2000 Proceedings / edited by John S. White.

by White, John S [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1934Source: 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
Discrete Geometry for Computer Imagery [electronic resource] : 11th International Conference, DGCI 2003, Naples, Italy, November 19-21, 2003. Proceedings / edited by Ingela Nyström, Gabriella Sanniti di Baja, Stina Svensson.

by Nyström, Ingela [editor.] | Sanniti di Baja, Gabriella [editor.] | Svensson, Stina [editor.] | SpringerLink (Online service).

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

Powered by Koha