Your search returned 8988 results.

Not what you expected? Check for suggestions
E-BOOKS
Computer Science Logic [electronic resource] : 4th Workshop, CSL '90 Heidelberg, Germany, October 1–5, 1990 Proceedings / edited by Egon Börger, Hans Kleine Büning, Michael M. Richter, Wolfgang Schönfeld.

by Börger, Egon [editor.] | Kleine Büning, Hans [editor.] | Richter, Michael M [editor.] | Schönfeld, Wolfgang [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 533Source: 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
Reasoning Web [electronic resource] : Second International Summer School 2006, Lisbon, Portugal, September 4-8, 2006, Tutorial Lectures / edited by Pedro Barahona, François Bry, Enrico Franconi, Nicola Henze, Ulrike Sattler.

by Barahona, Pedro [editor.] | Bry, François [editor.] | Franconi, Enrico [editor.] | Henze, Nicola [editor.] | Sattler, Ulrike [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4126Source: 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
Category Theory and Computer Science [electronic resource] : Paris, France, September 3–6, 1991 Proceedings / edited by David H. Pitt, Pierre-Louis Curien, Samson Abramsky, Andrew M. Pitts, Axel Poigné, David E. Rydeheard.

by Pitt, David H [editor.] | Curien, Pierre-Louis [editor.] | Abramsky, Samson [editor.] | Pitts, Andrew M [editor.] | Poigné, Axel [editor.] | Rydeheard, David E [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 530Source: 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
Towards a Formal Description of Ada [electronic resource] / edited by D. Bjørner, O. N. Nest.

by Bjørner, D [editor.] | Nest, O. N [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 98Source: 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
Recent Trends in Data Type Specification [electronic resource] : 7th Workshop on Specification of Abstact Data Types Wusterhausen/Dosse, Germany, April 17–20, 1990 Proceedings / edited by H. Ehrig, K. P. Jantke, F. Orejas, H. Reichel.

by Ehrig, H [editor.] | Jantke, K. P [editor.] | Orejas, F [editor.] | Reichel, H [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 534Source: 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
Algebraic semantics [electronic resource] / by Irène Guessarian.

by Guessarian, Irène [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 99Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1981Online 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 Engineering Education [electronic resource] : SEI Conference 1991 Pittsburgh, Pennsylvania, USA, October 7–8, 1991 Proceedings / edited by James E. Tomayko.

by Tomayko, James E [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 536Source: 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
Fundamentals of Artificial Intelligence Research [electronic resource] : International Workshop FAIR '91 Smolenice, Czechoslovakia, September 8–13, 1991 Proceedings / edited by Philippe Jorrand, Jozef Kelemen.

by Jorrand, Philippe [editor.] | Kelemen, Jozef [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 535Source: 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
Advances in Cryptology-CRYPT0’ 90 [electronic resource] : Proceedings / edited by Alfred J. Menezes, Scott A. Vanstone.

by Menezes, Alfred J [editor.] | Vanstone, Scott A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 537Source: 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
Graphtheoretic Concepts in Computer Science [electronic resource] : Proceedings of the International Workshop WG 80 Bad Honnef, June 15–18, 1980 / edited by Hartmut Noltemeier.

by Noltemeier, Hartmut [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 100Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1981Online 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
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes [electronic resource] : 9th International Symposium, AAECC-9 New Orleans, LA, USA, October 7–11, 1991 Proceedings / edited by Harold F. Mattson, Teo Mora, T. R. N. Rao.

by Mattson, Harold F [editor.] | Mora, Teo [editor.] | Rao, T. R. N [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 539Source: 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
Business Process Management Workshops [electronic resource] : BPM 2006 International Workshops, BPD, BPI, ENEI, GPWW, DPM, semantics4ws, Vienna, Austria, September 4-7, 2006. Proceedings / edited by Johann Eder, Schahram Dustdar.

by Eder, Johann [editor.] | Dustdar, Schahram [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4103Source: 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
EPIA 91 [electronic resource] : 5th Portuguese Conference on Artificial Intelligence Albufeira, Portugal, October 1–3, 1991 Proceedings / edited by Pedro Barahona, Luís Moniz Pereira, António Porto.

by Barahona, Pedro [editor.] | Moniz Pereira, Luís [editor.] | Porto, António [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 541Source: 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
Artificial Neural Networks [electronic resource] : International Workshop IWANN '91 Granada, Spain, September 17–19, 1991 Proceedings / edited by Alberto Prieto.

by Prieto, Alberto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 540Source: 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
Methodologies for Intelligent Systems [electronic resource] : 6th International Symposium, ISMIS '91 Charlotte, N. C., USA, October 16–19, 1991 Proceedings / edited by Z. W. Ras, M. Zemankova.

by Ras, Z. W [editor.] | Zemankova, M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 542Source: 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
Nonmonotonic and Inductive Logic [electronic resource] : 1st International Workshop Karlsruhe, Germany, December 4–7, 1990 Proceedings / edited by J. Dix, K. P. Jantke, P. H. Schmitt.

by Dix, J [editor.] | Jantke, K. P [editor.] | Schmitt, P. H [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 543Source: 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
Ant Colony Optimization and Swarm Intelligence [electronic resource] : 5th International Workshop, ANTS 2006, Brussels, Belgium, September 4-7, 2006. Proceedings / edited by Marco Dorigo, Luca Maria Gambardella, Mauro Birattari, Alcherio Martinoli, Riccardo Poli, Thomas Stützle.

by Dorigo, Marco [editor.] | Gambardella, Luca Maria [editor.] | Birattari, Mauro [editor.] | Martinoli, Alcherio [editor.] | Poli, Riccardo [editor.] | Stützle, Thomas [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4150Source: 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
Attribute Grammars, Applications and Systems [electronic resource] : International Summer School SAGA Prague, Czechoslovakia, June 4–13, 1991 Proceedings / edited by Henk Alblas, Bořivoj Melichar.

by Alblas, Henk [editor.] | Melichar, Bořivoj [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 545Source: 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
Methods of Programming [electronic resource] : Selected Papers on the CIP-Project / edited by Manfred Broy, Martin Wirsing.

by Broy, Manfred [editor.] | Wirsing, Martin [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 544Source: 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
Text Understanding in LILOG [electronic resource] : Integrating Computational Linguistics and Artificial Intelligence Final Report on the IBM Germany LILOG-Project / edited by Otthein Herzog, Claus-Rainer Rollinger.

by Herzog, Otthein [editor.] | Rollinger, Claus-Rainer [editor.] | SpringerLink (Online service).

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

Powered by Koha