Your search returned 1266 results.

Not what you expected? Check for suggestions
E-BOOKS
Foundations of Logic and Functional Programming [electronic resource] : Workshop Trento, Italy, December 15–19, 1986 Proceedings / edited by Mauro Boscarol, Luigia Carlucci Aiello, Giorgio Levi.

by Boscarol, Mauro [editor.] | Carlucci Aiello, Luigia [editor.] | Levi, Giorgio [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 306Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1988Online 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
Engineering Societies in the Agents World III [electronic resource] : Third International Workshop, ESAW 2002 Madrid, Spain, September 16–17, 2002 Revised Papers / edited by Paolo Petta, Robert Tolksdorf, Franco Zambonelli.

by Petta, Paolo [editor.] | Tolksdorf, Robert [editor.] | Zambonelli, Franco [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2577Source: 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
An Introduction to the PL/CV2 Programming Logic [electronic resource] / by R. L. Constable, S. D. Johnson, C. D. Eichenlaub.

by Constable, R. L [author.] | Johnson, S. D [author.] | Eichenlaub, C. D [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 135Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1982Online 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
International Symposium on Programming [electronic resource] : 5th Colloquium Turin, April 6–8, 1982 Proceedings / edited by Mariangiola Dezani-Ciancaglini, Ugo Montanari.

by Dezani-Ciancaglini, Mariangiola [editor.] | Montanari, Ugo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 137Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1982Online 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
International Symposium on Programming [electronic resource] : Proceedings of the Fourth ‘Colloque International sur la Programmation’ Paris, 22–24 April 1980 / edited by Bernard Robinet.

by Robinet, Bernard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 83Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1980Online 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 Programming '87 [electronic resource] : Proceedings of the 6th Conference Tokyo, Japan, June 22–24, 1987 / edited by Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki.

by Furukawa, Koichi [editor.] | Tanaka, Hozumi [editor.] | Fujisaki, Tetsunosuke [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 315Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1988Online 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
Automata, Languages and Programming [electronic resource] : 15th International Colloquium Tampere, Finland, July 11–15, 1988 Proceedings / edited by Timo Lepistö, Arto Salomaa.

by Lepistö, Timo [editor.] | Salomaa, Arto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 317Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1988Online 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
Automata, Languages and Programming [electronic resource] : Seventh Colloquium Noordwijkerhout, the Netherlands July 14–18, 1980 / edited by Jaco Bakker, Jan Leeuwen.

by Bakker, Jaco [editor.] | Leeuwen, Jan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 85Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1980Online 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
Seminar on Concurrency [electronic resource] : Carnegie-Mellon University Pittsburgh, PA, July 9–11, 1984 / edited by Stephen D. Brookes, Andrew William Roscoe, Glynn Winskel.

by Brookes, Stephen D [editor.] | Roscoe, Andrew William [editor.] | Winskel, Glynn [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 197Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1985Online 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] : 10th European Conference, JELIA 2006 Liverpool, UK, September 13-15, 2006 Proceedings / edited by Michael Fisher, Wiebe Hoek, Boris Konev, Alexei Lisitsa.

by Fisher, Michael [editor.] | Hoek, Wiebe [editor.] | Konev, Boris [editor.] | Lisitsa, Alexei [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Self-Managing Distributed Systems [electronic resource] : 14th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2003 / edited by Marcus Brunner, Alexander Keller.

by Brunner, Marcus [editor.] | Keller, Alexander [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2867Source: 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
High Performance Computing [electronic resource] : 5th International Symposium, ISHPC 2003, Tokyo-Odaiba, Japan, October 20-22, 2003. Proceedings 13 / edited by Alex Veidenbaum, Kazuki Joe, Hideharu Amano, Hideo Aiso.

by Veidenbaum, Alex [editor.] | Joe, Kazuki [editor.] | Amano, Hideharu [editor.] | Aiso, Hideo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2858Source: 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
Job Scheduling Strategies for Parallel Processing [electronic resource] : 9th International Workshop, JSSPP 2003, Seattle, WA, USA, June 24, 2003. Revised Paper / edited by Dror Feitelson, Larry Rudolph, Uwe Schwiegelshohn.

by Feitelson, Dror [editor.] | Rudolph, Larry [editor.] | Schwiegelshohn, Uwe [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2862Source: 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
ESOP 86 [electronic resource] : European Symposium on Programming Saarbrücken, Federal Republic of Germany March 17–19, 1986 Proceedings / edited by Bernard Robinet, Reinhard Wilhelm.

by Robinet, Bernard [editor.] | Wilhelm, Reinhard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 213Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1986Online 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
Mathematical Methods of Specification and Synthesis of Software Systems '85 [electronic resource] : Proceedings of the International Spring School Wendisch-Rietz, GDR, April 22–26, 1985 / edited by Wolfgang Bibel, Klaus P. Jantke.

by Bibel, Wolfgang [editor.] | Jantke, Klaus P [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 215Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1986Online 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
Programs as Data Objects [electronic resource] : Proceedings of a Workshop Copenhagen, Denmark, October 17–19, 1985 / edited by Harald Ganzinger, Neil D. Jones.

by Ganzinger, Harald [editor.] | Jones, Neil D [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 217Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1986Online 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 for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003. Proceedings / edited by Moshe Y. Vardi, Andrei Voronkov.

by Vardi, Moshe Y [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2850Source: 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
Generative Programming and Component Engineering [electronic resource] : Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003. Proceedings / edited by Frank Pfenning, Yannis Smaragdakis.

by Pfenning, Frank [editor.] | Smaragdakis, Yannis [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2830Source: 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
Logic Programming '85 [electronic resource] : Proceedings of the 4th Conference Tokyo, Japan, July 1–3, 1985 / edited by Eiiti Wada.

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

Series: Lecture Notes in Computer Science ; 221Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1986Online 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
Current Trends in Concurrency [electronic resource] : Overviews and Tutorials / edited by J. W. Bakker, W. -P. Roever, G. Rozenberg.

by Bakker, J. W [editor.] | Roever, W. -P [editor.] | Rozenberg, G [editor.] | SpringerLink (Online service).

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