Your search returned 1344 results.

Not what you expected? Check for suggestions
E-BOOKS
CONCUR 2006 – Concurrency Theory [electronic resource] : 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006. Proceedings / edited by Christel Baier, Holger Hermanns.

by Baier, Christel [editor.] | Hermanns, Holger [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4137Source: 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
Category Theory Applied to Computation and Control [electronic resource] : Proceedings of the First International Symposium San Francisco, February 25–26, 1974 / edited by Ernest Gene Manes.

by Manes, Ernest Gene [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 25Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1975Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Mathematical Foundations of Computer Science 1975 4th Symposium, Mariánské Lázně, September 1–5, 1975 [electronic resource] / edited by Jíří Bečvář.

by Bečvář, Jíří [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 32Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1975Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Automotive Software – Connected Services in Mobile Networks [electronic resource] : First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers / edited by Manfred Broy, Ingolf H. Krüger, Michael Meisinger.

by Broy, Manfred [editor.] | Krüger, Ingolf H [editor.] | Meisinger, Michael [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4147Source: 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
Artificial Immune Systems [electronic resource] : 5th International Conference, ICARIS 2006, Oeiras, Portugal, September 4-6, 2006. Proceedings / edited by Hugues Bersini, Jorge Carneiro.

by Bersini, Hugues [editor.] | Carneiro, Jorge [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4163Source: 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
Mathematical Foundations of Computer Science 2006 [electronic resource] : 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006. Proceedings / edited by Rastislav Královič, Paweł Urzyczyn.

by Královič, Rastislav [editor.] | Urzyczyn, Paweł [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4162Source: 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
Future Directions in Distributed Computing [electronic resource] : Research and Position Papers / edited by André Schiper, Alex A. Shvartsman, Hakim Weatherspoon, Ben Y. Zhao.

by Schiper, André [editor.] | Shvartsman, Alex A [editor.] | Weatherspoon, Hakim [editor.] | Zhao, Ben Y [editor.] | SpringerLink (Online service).

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

E-BOOKS
GI Gesellschaft für Informatik e. V. 1. Fachtagung über Automatentheorie und Formale Sprachen [electronic resource] : Bonn, 9.–12. Juli 1973.

by SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1973Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Artificial Neural Networks in Pattern Recognition [electronic resource] : Second IAPR Workshop, ANNPR 2006, Ulm, Germany, August 31-September 2, 2006. Proceedings / edited by Friedhelm Schwenker, Simone Marinai.

by Schwenker, Friedhelm [editor.] | Marinai, Simone [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4087Source: 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
CONCUR '91 [electronic resource] : 2nd International Conference on Concurrency Theory Amsterdam, The Netherlands, August 26–29, 1991 Proceedings / edited by Jos C. M. Baeten, Jan Frisco Groote.

by Baeten, Jos C. M [editor.] | Groote, Jan Frisco [editor.] | SpringerLink (Online service).

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

E-BOOKS
Fundamentals of Computation Theory [electronic resource] : 8th International Conference, FCT '91 Gosen, Germany, September 9–13, 1991 Proceedings / edited by L. Budach.

by Budach, L [editor.] | SpringerLink (Online service).

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

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): .

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): .

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): .

E-BOOKS
Theoretical Computer Science [electronic resource] : 5th GI-Conference Karlsruhe, March 23–25, 1981 / edited by Peter Deussen.

by Deussen, Peter [editor.] | SpringerLink (Online service).

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

E-BOOKS
Unconventional Computation [electronic resource] : 5th International Conference, UC 2006, York, UK, September 4-8, 2006. Proceedings / edited by Cristian S. Calude, Michael J. Dinneen, Gheorghe Păun, Grzegorz Rozenberg, Susan Stepney.

by Calude, Cristian S [editor.] | Dinneen, Michael J [editor.] | Păun, Gheorghe [editor.] | Rozenberg, Grzegorz [editor.] | Stepney, Susan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4135Source: 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
From Animals to Animats 9 [electronic resource] : 9th International Conference on Simulation of Adaptive Behavior, SAB 2006, Rome, Italy, September 25-29, 2006. Proceedings / edited by Stefano Nolfi, Gianluca Baldassarre, Raffaele Calabretta, John C. T. Hallam, Davide Marocco, Jean-Arcady Meyer, Orazio Miglino, Domenico Parisi.

by Nolfi, Stefano [editor.] | Baldassarre, Gianluca [editor.] | Calabretta, Raffaele [editor.] | Hallam, John C. T [editor.] | Marocco, Davide [editor.] | Meyer, Jean-Arcady [editor.] | Miglino, Orazio [editor.] | Parisi, Domenico [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4095Source: 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
Artificial Neural Networks – ICANN 2006 [electronic resource] : 16th International Conference, Athens, Greece, September 10-14, 2006. Proceedings, Part I / edited by Stefanos D. Kollias, Andreas Stafylopatis, Włodzisław Duch, Erkki Oja.

by Kollias, Stefanos D [editor.] | Stafylopatis, Andreas [editor.] | Duch, Włodzisław [editor.] | Oja, Erkki [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4131Source: 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
Foundations of Computation Theory [electronic resource] : Proceedings of the 1983 International FCT-Conference Borgholm, Sweden, August 21–27, 1983 / edited by Marek Karpinski.

by Karpinski, Marek [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 158Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1983Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
VLSI Algorithms and Architectures [electronic resource] : Aegean Workshop on Computing Loutraki, Greece, July 8–11, 1986 Proceedings / edited by Filia Makedon, Kurt Mehlhorn, T. Papatheodorou, P. Spirakis.

by Makedon, Filia [editor.] | Mehlhorn, Kurt [editor.] | Papatheodorou, T [editor.] | Spirakis, P [editor.] | SpringerLink (Online service).

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

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha