Your search returned 1343 results.

Not what you expected? Check for suggestions
E-BOOKS
Logic and Machines: Decision Problems and Complexity [electronic resource] : Proceedings of the Symposium “Rekursive Kombinatorik” held from May 23 – 28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen / edited by E. Börger, G. Hasenjaeger, D. Rödding.

by Börger, E [editor.] | Hasenjaeger, G [editor.] | Rödding, D [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 171Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1984Online 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
Graph Transformations [electronic resource] : Third International Conference, ICGT 2006 Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 Proceedings / edited by Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg.

by Corradini, Andrea [editor.] | Ehrig, Hartmut [editor.] | Montanari, Ugo [editor.] | Ribeiro, Leila [editor.] | Rozenberg, Grzegorz [editor.] | SpringerLink (Online service).

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

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

Series: Lecture Notes in Computer Science ; 4132Source: 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
Automata, Languages and Programming [electronic resource] : 11th Colloquium Antwerp, Belgium, July 16–20, 1984 / edited by Jan Paredaens.

by Paredaens, Jan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 172Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1984Online 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 Foundations of Computer Science 1984 [electronic resource] : Proceedings, 11th Symposium Praha, Czechoslovakia September 3–7, 1984 / edited by M. P. Chytil, V. Koubek.

by Chytil, M. P [editor.] | Koubek, V [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 176Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1984Online 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
CAAP '88 [electronic resource] : 13th Colloquium on Trees in Algebra and Programming Nancy, France, March 21–24, 1988 Proceedings / edited by M. Dauchet, M. Nivat.

by Dauchet, M [editor.] | Nivat, M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 299Source: 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
Parallel Problem Solving from Nature - PPSN IX [electronic resource] : 9th International Conference, Reykjavik, Iceland, September 9-13, 2006, Proceedings / edited by Thomas Philip Runarsson, Hans-Georg Beyer, Edmund Burke, Juan J. Merelo-Guervós, L. Darrell Whitley, Xin Yao.

by Runarsson, Thomas Philip [editor.] | Beyer, Hans-Georg [editor.] | Burke, Edmund [editor.] | Merelo-Guervós, Juan J [editor.] | Whitley, L. Darrell [editor.] | Yao, Xin [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4193Source: 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
Parameterized and Exact Computation [electronic resource] : Second International Workshop, IWPEC 2006, Zürich, Switzerland, September 13-15, 2006. Proceedings / edited by Hans L. Bodlaender, Michael A. Langston.

by Bodlaender, Hans L [editor.] | Langston, Michael A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4169Source: 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
Recent Advances in Parallel Virtual Machine and Message Passing Interface [electronic resource] : 13th European PVM/MPI User’s Group Meeting Bonn, Germany, September 17-20, 2006 Proceedings / edited by Bernd Mohr, Jesper Larsson Träff, Joachim Worringen, Jack Dongarra.

by Mohr, Bernd [editor.] | Träff, Jesper Larsson [editor.] | Worringen, Joachim [editor.] | Dongarra, Jack [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4192Source: 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
STACS 85 [electronic resource] : 2nd Annual Symposium on Theoretical Aspects of Computer Science Saarbrücken, January 3–5, 1985 / edited by K. Mehlhorn.

by Mehlhorn, K [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 182Source: 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
Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing [electronic resource] : 9th International Conference, RSFDGrC 2003, Chongqing, China, May 26–29, 2003 Proceedings / edited by Guoyin Wang, Qing Liu, Yiyu Yao, Andrzej Skowron.

by Wang, Guoyin [editor.] | Liu, Qing [editor.] | Yao, Yiyu [editor.] | Skowron, Andrzej [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2639Source: 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
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
Transactions on Rough Sets V [electronic resource] / edited by James F. Peters, Andrzej Skowron.

by Peters, James F [editor.] | Skowron, Andrzej [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4100Source: 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
Theoretical Computer Science [electronic resource] : 6th Gl-Conference Dortmund, January 5–7, 1983 / edited by Armin B. Cremers, Hans-Peter Kriegel.

by Cremers, Armin B [editor.] | Kriegel, Hans-Peter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 145Source: 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
Advances in Artificial Life [electronic resource] : 7th European Conference, ECAL 2003, Dortmund, Germany, September 14-17, 2003. Proceedings / edited by Wolfgang Banzhaf, Jens Ziegler, Thomas Christaller, Peter Dittrich, Jan T. Kim.

by Banzhaf, Wolfgang [editor.] | Ziegler, Jens [editor.] | Christaller, Thomas [editor.] | Dittrich, Peter [editor.] | Kim, Jan T [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2801Source: 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
Logics of Programs [electronic resource] : Brooklyn, June 17–19, 1985 Proceedings / edited by Rohit Parikh.

by Parikh, Rohit [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 193Source: 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
Automata, Languages and Programming [electronic resource] : 12th Colloquium Nafplion, Greece, July 15–19, 1985 / edited by Wilfried Brauer.

by Brauer, Wilfried [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 194Source: 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
Algorithms in Bioinformatics [electronic resource] : 6th International Workshop, WABI 2006, Zurich, Switzerland, September 11-13, 2006. Proceedings / edited by Philipp Bücher, Bernard M. E. Moret.

by Bücher, Philipp [editor.] | Moret, Bernard M. E [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4175Source: 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
Foundations of Intelligent Systems [electronic resource] : 14th International Symposium, ISMIS 2003, Maebashi City, Japan, October 28-31, 2003. Proceedings / edited by Ning Zhong, Zbigniew W. Raś, Shusaku Tsumoto, Einoshin Suzuki.

by Zhong, Ning [editor.] | Raś, Zbigniew W [editor.] | Tsumoto, Shusaku [editor.] | Suzuki, Einoshin [editor.] | SpringerLink (Online service).

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

Powered by Koha