Your search returned 883 results.

Not what you expected? Check for suggestions
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): .

Place hold Log in to add tags
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): .

Place hold Log in to add tags
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): .

Place hold Log in to add tags
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): .

Place hold Log in to add tags
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): .

Place hold Log in to add tags
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): .

Place hold Log in to add tags
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): .

Place hold Log in to add tags
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): .

Place hold Log in to add tags
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): .

Place hold Log in to add tags
E-BOOKS
Conceptual Structures at Work [electronic resource] : 12th International Conference on Conceptual Structures, ICCS 2004, Huntsville, AL, USA, July 19-23, 2004. Proceedings / edited by Karl Erich Wolff, Heather D. Pfeiffer, Harry S. Delugach.

by Wolff, Karl Erich [editor.] | Pfeiffer, Heather D [editor.] | Delugach, Harry S [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Modeling Decisions for Artificial Intelligence [electronic resource] : First International Conference, MDAI 2004, Barcelona, Spain, August 2-4, 2004. Proceedings / edited by Vicenç Torra, Yasuo Narukawa.

by Torra, Vicenç [editor.] | Narukawa, Yasuo [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Logic Programming [electronic resource] : 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004. Proceedings / edited by Bart Demoen, Vladimir Lifschitz.

by Demoen, Bart [editor.] | Lifschitz, Vladimir [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Transactions on Rough Sets II [electronic resource] : Rough Sets and Fuzzy Sets / edited by James F. Peters, Andrzej Skowron, Didier Dubois, Jerzy W. Grzymała-Busse, Masahiro Inuiguchi, Lech Polkowski.

by Peters, James F [editor.] | Skowron, Andrzej [editor.] | Dubois, Didier [editor.] | Grzymała-Busse, Jerzy W [editor.] | Inuiguchi, Masahiro [editor.] | Polkowski, Lech [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3135Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online 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 I [electronic resource] : James F. Peters - Andrzej Skowron, Editors-in-Chief / edited by James F. Peters, Andrzej Skowron, Jerzy W. Grzymała-Busse, Bożena Kostek, Roman W. Świniarski, Marcin S. Szczuka.

by Peters, James F [editor.] | Skowron, Andrzej [editor.] | Grzymała-Busse, Jerzy W [editor.] | Kostek, Bożena [editor.] | Świniarski, Roman W [editor.] | Szczuka, Marcin S [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Computer Aided Verification [electronic resource] : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings / edited by Rajeev Alur, Doron A. Peled.

by Alur, Rajeev [editor.] | Peled, Doron A [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Algebraic Methodology and Software Technology [electronic resource] : 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004. Proceedings / edited by Charles Rattray, Savitri Maharaj, Carron Shankland.

by Rattray, Charles [editor.] | Maharaj, Savitri [editor.] | Shankland, Carron [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Learning Theory [electronic resource] : 17th Annual Conference on Learning Theory, COLT 2004, Banff, Canada, July 1-4, 2004. Proceedings / edited by John Shawe-Taylor, Yoram Singer.

by Shawe-Taylor, John [editor.] | Singer, Yoram [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Natural Language Generation [electronic resource] : Third International Conference, INLG 2004, Brockenhurst, UK, July 14-16, 2004. Proceedings / edited by Anja Belz, Roger Evans, Paul Piwek.

by Belz, Anja [editor.] | Evans, Roger [editor.] | Piwek, Paul [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Advances in Case-Based Reasoning [electronic resource] : 7th European Conference, ECCBR 2004, Madrid, Spain, August 30 - September 2, 2004. Proceedings / edited by Peter Funk, Pedro A. González Calero.

by Funk, Peter [editor.] | González Calero, Pedro A [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Advances in Artificial Intelligence – SBIA 2004 [electronic resource] : 17th Brazilian Symposium on Artificial Intelligence, Sao Luis, Maranhao, Brazil, September 29-Ocotber 1, 2004. Proceedings / edited by Ana L. C. Bazzan, Sofiane Labidi.

by Bazzan, Ana L. C [editor.] | Labidi, Sofiane [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha