Your search returned 3388 results.

Not what you expected? Check for suggestions
E-BOOKS
Design and Implementation of Symbolic Computation Systems [electronic resource] : International Symposium, DISCO '96 Karlsruhe, Germany, September 18–20, 1996 Proceedings / edited by Jacques Calmet, Carla Limongelli.

by Calmet, Jacques [editor.] | Limongelli, Carla [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1128Source: 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
Theorem Proving in Higher Order Logics [electronic resource] : 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings / edited by Gerhard Goos, Juris Hartmanis, Jan Leeuwen, Joakim Wright, Jim Grundy, John Harrison.

by Goos, Gerhard [editor.] | Hartmanis, Juris [editor.] | Leeuwen, Jan [editor.] | Wright, Joakim [editor.] | Grundy, Jim [editor.] | Harrison, John [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1125Source: 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
Logics in Artificial Intelligence [electronic resource] : European Workshop, JELIA '96 Évora, Portugal September 30 – October 3, 1996 Proceedings / edited by José Jülio Alferes, Luís Moniz Pereira, Ewa Orlowska.

by Alferes, José Jülio [editor.] | Pereira, Luís Moniz [editor.] | Orlowska, Ewa [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1126Source: 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
Database and Expert Systems Applications [electronic resource] : 7th International Conference, DEXA '96 Zurich, Switzerland, September 9–13, 1996 Proceedings / edited by Roland R. Wagner, Helmut Thoma.

by Wagner, Roland R [editor.] | Thoma, Helmut [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1134Source: 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
Parallel Problem Solving from Nature [electronic resource] : 1st Workshop, PPSN I Dortmund, FRG, October 1–3, 1990 Proceedings / edited by Hans-Paul Schwefel, Reinhard Männer.

by Schwefel, Hans-Paul [editor.] | Männer, Reinhard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 496Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online 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
Programming Languages: Implementations, Logics, and Programs [electronic resource] : 8th International Symposium, PLILP '96 Aachen, Germany, September 24–27, 1996 Proceedings / edited by Herbert Kuchen, S. Doaitse Swierstra.

by Kuchen, Herbert [editor.] | Doaitse Swierstra, S [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1140Source: 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
Agent-Oriented Software Engineering II [electronic resource] : Second International Workshop, AOSE 2001 Montreal, Canada, May 29, 2001 Revised Papers and Invited Contributions / edited by Michael J. Wooldridge, Gerhard Weiß, Paolo Ciancarini.

by Wooldridge, Michael J [editor.] | Weiß, Gerhard [editor.] | Ciancarini, Paolo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2222Source: 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
Structural, Syntactic, and Statistical Pattern Recognition [electronic resource] : Joint IAPR International Workshops SSPR 2002 and SPR 2002 Windsor, Ontario, Canada, August 6–9, 2002 Proceedings / edited by Terry Caelli, Adnan Amin, Robert P. W. Duin, Dick Ridder, Mohamed Kamel.

by Caelli, Terry [editor.] | Amin, Adnan [editor.] | Duin, Robert P. W [editor.] | Ridder, Dick [editor.] | Kamel, Mohamed [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2396Source: 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
Journal on Data Semantics VIII [electronic resource] / edited by Stefano Spaccapietra, Paolo Atzeni, François Fages, Mohand-Saïd Hacid, Michael Kifer, John Mylopoulos, Barbara Pernici, Pavel Shvaiko, Juan Trujillo, Ilya Zaihrayeu.

by Spaccapietra, Stefano [editor.] | Atzeni, Paolo [editor.] | Fages, François [editor.] | Hacid, Mohand-Saïd [editor.] | Kifer, Michael [editor.] | Mylopoulos, John [editor.] | Pernici, Barbara [editor.] | Shvaiko, Pavel [editor.] | Trujillo, Juan [editor.] | Zaihrayeu, Ilya [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4380Source: 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
Parallel Problem Solving from Nature — PPSN IV [electronic resource] : International Conference on Evolutionary Computation — The 4th International Conference on Parallel Problem Solving from Nature Berlin, Germany, September 22–26, 1996 Proceedings / edited by Hans-Michael Voigt, Werner Ebeling, Ingo Rechenberg, Hans-Paul Schwefel.

by Voigt, Hans-Michael [editor.] | Ebeling, Werner [editor.] | Rechenberg, Ingo [editor.] | Schwefel, Hans-Paul [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1141Source: 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
KI-96: Advances in Artificial Intelligence [electronic resource] : 20th Annual German Conference on Artificial Intelligence Dresden, Germany, September 17–19, 1996 Proceedings / edited by Günther Görz, Steffen Hölldobler.

by Görz, Günther [editor.] | Hölldobler, Steffen [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1137Source: 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
Evolutionary Computing [electronic resource] : AISB Workshop Brighton, U.K., April 1–2, 1996 Selected Papers / edited by Terence C. Fogarty.

by Fogarty, Terence C [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1143Source: 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
Algebraic and Logic Programming [electronic resource] : 5th International Conference, ALP'96 Aachen, Germany, September 25–27, 1996 Proceedings / edited by Michael Hanus, Mario Rodríguez-Artalejo.

by Hanus, Michael [editor.] | Rodríguez-Artalejo, Mario [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1139Source: 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
Object Representation in Computer Vision II [electronic resource] : ECCV '96 International Workshop Cambridge, U.K., April 13–14, 1996 Proceedings / edited by Jean Ponce, Andrew Zisserman, Martial Hebert.

by Ponce, Jean [editor.] | Zisserman, Andrew [editor.] | Hebert, Martial [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1144Source: 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
Grammatical Interference: Learning Syntax from Sentences [electronic resource] : Third International Colloquium, ICGI-96 Montpellier, France, September 25–27, 1996 Proceedings / edited by Laurent Miclet, Colin Higuera.

by Miclet, Laurent [editor.] | Higuera, Colin [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1147Source: 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
Practice and Theory of Automated Timetabling [electronic resource] : First International Conference Edinburgh, U.K., August 29–September 1, 1995 Selected Papers / edited by Edmund Burke, Peter Ross.

by Burke, Edmund [editor.] | Ross, Peter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1153Source: 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
Logic in Databases [electronic resource] : International Workshop LID '96 San Miniato, Italy, July 1–2, 1996 Proceedings / edited by Dino Pedreschi, Carlo Zaniolo.

by Pedreschi, Dino [editor.] | Zaniolo, Carlo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1154Source: 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
Algorithmic Learning Theory [electronic resource] : 7th International Workshop, ALT '96 Sydney, Australia, October 23–25, 1996 Proceedings / edited by Setsuo Arikawa, Arun K. Sharma.

by Arikawa, Setsuo [editor.] | Sharma, Arun K [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1160Source: 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
Advances in Data Mining. Medical Applications, E-Commerce, Marketing, and Theoretical Aspects [electronic resource] : 8th Industrial Conference, ICDM 2008 Leipzig, Germany, July 16-18, 2008 Proceedings / edited by Petra Perner.

by Perner, Petra [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5077Source: 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
Types for Proofs and Programs [electronic resource] : International Workshop, TYPES '95 Torino, Italy, June 5–8, 1995 Selected Papers / edited by Stefano Berardi, Mario Coppo.

by Berardi, Stefano [editor.] | Coppo, Mario [editor.] | SpringerLink (Online service).

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

Powered by Koha