Your search returned 1527 results.

Not what you expected? Check for suggestions
E-BOOKS
Concept Lattices [electronic resource] : Second International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-26, 2004. Proceedings / edited by Peter Eklund.

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

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

E-BOOKS
Recent Advances in Constraints [electronic resource] : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003. Selected Papers / edited by Krzysztof R. Apt, François Fages, Francesca Rossi, Péter Szeredi, Josef Váncza.

by Apt, Krzysztof R [editor.] | Fages, François [editor.] | Rossi, Francesca [editor.] | Szeredi, Péter [editor.] | Váncza, Josef [editor.] | SpringerLink (Online service).

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

E-BOOKS
MICAI 2004: Advances in Artificial Intelligence [electronic resource] : Third Mexican International Conference on Artificial Intelligence, Mexico City, Mexico, April 26-30, 2004. Proceedings / edited by Raúl Monroy, Gustavo Arroyo-Figueroa, Luis Enrique Sucar, Humberto Sossa.

by Monroy, Raúl [editor.] | Arroyo-Figueroa, Gustavo [editor.] | Sucar, Luis Enrique [editor.] | Sossa, Humberto [editor.] | SpringerLink (Online service).

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

E-BOOKS
Compiler Construction [electronic resource] : 13th International Conference, CC 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings / edited by Evelyn Duesterwald.

by Duesterwald, Evelyn [editor.] | SpringerLink (Online service).

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

E-BOOKS
Programming Languages and Systems [electronic resource] : 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings / edited by David Schmidt.

by Schmidt, David [editor.] | SpringerLink (Online service).

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

E-BOOKS
Foundations of Software Science and Computation Structures [electronic resource] : 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 – April 2, 2004. Proceedings / edited by Igor Walukiewicz.

by Walukiewicz, Igor [editor.] | SpringerLink (Online service).

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

E-BOOKS
STACS 2004 [electronic resource] : 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004. Proceedings / edited by Volker Diekert, Michel Habib.

by Diekert, Volker [editor.] | Habib, Michel [editor.] | SpringerLink (Online service).

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

E-BOOKS
Relational and Kleene-Algebraic Methods in Computer Science [electronic resource] : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers / edited by Rudolf Berghammer, Bernhard Möller, Georg Struth.

by Berghammer, Rudolf [editor.] | Möller, Bernhard [editor.] | Struth, Georg [editor.] | SpringerLink (Online service).

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

E-BOOKS
Abstract State Machines 2004. Advances in Theory and Practice [electronic resource] : 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings / edited by Wolf Zimmermann, Bernhard Thalheim.

by Zimmermann, Wolf [editor.] | Thalheim, Bernhard [editor.] | SpringerLink (Online service).

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

E-BOOKS
Artificial Intelligence and Soft Computing - ICAISC 2004 [electronic resource] : 7th International Conference, Zakopane, Poland, June 7-11, 2004. Proceedings / edited by Leszek Rutkowski, Jörg H. Siekmann, Ryszard Tadeusiewicz, Lotfi A. Zadeh.

by Rutkowski, Leszek [editor.] | Siekmann, Jörg H [editor.] | Tadeusiewicz, Ryszard [editor.] | Zadeh, Lotfi A [editor.] | SpringerLink (Online service).

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

E-BOOKS
Types for Proofs and Programs [electronic resource] : International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers / edited by Stefano Berardi, Mario Coppo, Ferruccio Damiani.

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

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

E-BOOKS
Deontic Logic in Computer Science [electronic resource] : 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings / edited by Alessio Lomuscio, Donald Nute.

by Lomuscio, Alessio [editor.] | Nute, Donald [editor.] | SpringerLink (Online service).

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

E-BOOKS
Rough Sets and Current Trends in Computing [electronic resource] : 4th International Conference, RSCTC 2004, Uppsala, Sweden, June 1-5, 2004. Proceedings / edited by Shusaku Tsumoto, Roman Słowiński, Jan Komorowski, Jerzy W. Grzymała-Busse.

by Tsumoto, Shusaku [editor.] | Słowiński, Roman [editor.] | Komorowski, Jan [editor.] | Grzymała-Busse, Jerzy W [editor.] | SpringerLink (Online service).

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

E-BOOKS
Logic Based Program Synthesis and Transformation [electronic resource] : 13th International Symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers / edited by Maurice Bruynooghe.

by Bruynooghe, Maurice [editor.] | SpringerLink (Online service).

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

E-BOOKS
Current Topics in Artificial Intelligence [electronic resource] : 10th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2003, and 5th Conference on Technology Transfer, TTIA 2003, San Sebastian, Spain, November 12-14, 2003. Revised Selected Papers / edited by Ricardo Conejo, Maite Urretavizcaya, José-Luis Pérez-de-la-Cruz.

by Conejo, Ricardo [editor.] | Urretavizcaya, Maite [editor.] | Pérez-de-la-Cruz, José-Luis [editor.] | SpringerLink (Online service).

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

E-BOOKS
Program Development in Computational Logic [electronic resource] : A Decade of Research Advances in Logic-Based Program Development / edited by Maurice Bruynooghe, Kung-Kiu Lau.

by Bruynooghe, Maurice [editor.] | Lau, Kung-Kiu [editor.] | SpringerLink (Online service).

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

E-BOOKS
Applications of Graph Transformations with Industrial Relevance [electronic resource] : Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003, Revised Selected and Invited Papers / edited by John L. Pfaltz, Manfred Nagl, Boris Böhlen.

by Pfaltz, John L [editor.] | Nagl, Manfred [editor.] | Böhlen, Boris [editor.] | SpringerLink (Online service).

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

E-BOOKS
Logic versus Approximation [electronic resource] : Essays Dedicated to Michael M. Richter on the Occasion of his 65th Birthday / edited by Wolfgang Lenski.

by Lenski, Wolfgang [editor.] | SpringerLink (Online service).

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

E-BOOKS
Rewriting Techniques and Applications [electronic resource] : 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004. Proceedings / edited by Vincent Oostrom.

by Oostrom, Vincent [editor.] | SpringerLink (Online service).

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

E-BOOKS
Automated Reasoning [electronic resource] : Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings / edited by David Basin, Michaël Rusinowitch.

by Basin, David [editor.] | Rusinowitch, Michaël [editor.] | SpringerLink (Online service).

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