Your search returned 1266 results.

Not what you expected? Check for suggestions
E-BOOKS
Factors and Factorizations of Graphs [electronic resource] : Proof Techniques in Factor Theory / by Jin Akiyama, Mikio Kano.

by Akiyama, Jin [author.] | Kano, Mikio [author.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 2031Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online 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 Programming Semantics [electronic resource] : 5th International Conference Tulane University, New Orleans, Louisiana, USA March 29–April 1, 1989 Proceedings / edited by M. Main, A. Melton, M. Mislove, D. Schmidt.

by Main, M [editor.] | Melton, A [editor.] | Mislove, M [editor.] | Schmidt, D [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 442Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: New York, NY : Springer New York, 1990Online 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
Fault-Tolerant Distributed Computing [electronic resource] / edited by Barbara Simons, Alfred Spector.

by Simons, Barbara [editor.] | Spector, Alfred [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 448Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: New York, NY : Springer New York, 1990Online 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 Technology for Verification and Analysis [electronic resource] : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings / edited by Dang Hung, Mizuhito Ogawa.

by Hung, Dang [editor.] | Ogawa, Mizuhito [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8172Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online 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
Progress in Artificial Intelligence [electronic resource] : 11th Portuguese Conference on Artificial Intelligence, EPIA 2003, Beja, Portugal, December 4-7, 2003. Proceedings / edited by Fernando Moura Pires, Salvador Abreu.

by Pires, Fernando Moura [editor.] | Abreu, Salvador [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2902Source: 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
Large-Scale Scientific Computing [electronic resource] : 4th International Conference, LSSC 2003, Sozopol, Bulgaria, June 4-8, 2003. Revised Papers / edited by Ivan Lirkov, Svetozar Margenov, Jerzy Waśniewski, Plamen Yalamov.

by Lirkov, Ivan [editor.] | Margenov, Svetozar [editor.] | Waśniewski, Jerzy [editor.] | Yalamov, Plamen [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2907Source: 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] : 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003. Proceedings / edited by Catuscia Palamidessi.

by Palamidessi, Catuscia [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2916Source: 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
Distributed Computing - IWDC 2003 [electronic resource] : 5th International Workshop, Kolkata, India, December 27-30, 2003. Proceedings / edited by Samir R. Das, Sajal K. Das.

by Das, Samir R [editor.] | Das, Sajal K [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2918Source: 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
Wireless Sensor Networks [electronic resource] : First EuropeanWorkshop, EWSN 2004, Berlin, Germany, January 19-21, 2004. Proceedings / edited by Holger Karl, Adam Wolisz, Andreas Willig.

by Karl, Holger [editor.] | Wolisz, Adam [editor.] | Willig, Andreas [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2920Source: 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 and Nonmonotonic Reasoning [electronic resource] : 7th International Conference, LPNMR 2004 Fort Lauderdale, FL, USA, January 6-8, 2004 Proceedings / edited by Vladimir Lifschitz, Ilkka Niemelä.

by Lifschitz, Vladimir [editor.] | Niemelä, Ilkka [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2923Source: 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
Agent-Oriented Software Engineering IV [electronic resource] : 4th InternationalWorkshop, AOSE 2003, Melbourne, Australia, July 15, 2003. Revised Papers / edited by Paolo Giorgini, Jörg P. Müller, James Odell.

by Giorgini, Paolo [editor.] | Müller, Jörg P [editor.] | Odell, James [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2935Source: 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
Software Engineering for Multi-Agent Systems II [electronic resource] : Research Issues and Practical Applications / edited by Carlos Lucena, Alessandro Garcia, Alexander Romanovsky, Jaelson Castro, Paulo S. C. Alencar.

by Lucena, Carlos [editor.] | Garcia, Alessandro [editor.] | Romanovsky, Alexander [editor.] | Castro, Jaelson [editor.] | Alencar, Paulo S. C [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2940Source: 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
Coordination Models and Languages [electronic resource] : 6th International Conference, COORDINATION 2004 Pisa Italy, February 24-27, 2004 Proceedings / edited by Rocco Nicola, Gian-Luigi Ferrari, Greg Meredith.

by Nicola, Rocco [editor.] | Ferrari, Gian-Luigi [editor.] | Meredith, Greg [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2949Source: 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
Scientific Engineering of Distributed Java Applications [electronic resource] : Third International Workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, 2003. Revised Papers / edited by Nicolas Guelfi, Egidio Astesiano, Gianna Reggio.

by Guelfi, Nicolas [editor.] | Astesiano, Egidio [editor.] | Reggio, Gianna [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2952Source: 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
Languages and Compilers for Parallel Computing [electronic resource] : 16th International Workshop, LCPC 2003, College Station, TX, USA, October 2-4, 2003. Revised Papers / edited by Lawrence Rauchwerger.

by Rauchwerger, Lawrence [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2958Source: 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
Metainformatics [electronic resource] : International Symposium, MIS 2003, Graz, Austria, September 17-20, 2003. Revised Papers / edited by David L. Hicks.

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

Series: Lecture Notes in Computer Science ; 3002Source: 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
Genetic Programming [electronic resource] : 7th European Conference, EuroGP 2004, Coimbra, Portugal, April 5-7, 2004. Proceedings / edited by Maarten Keijzer, Una-May O’Reilly, Simon Lucas, Ernesto Costa, Terence Soule.

by Keijzer, Maarten [editor.] | O’Reilly, Una-May [editor.] | Lucas, Simon [editor.] | Costa, Ernesto [editor.] | Soule, Terence [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3003Source: 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
Applications of Evolutionary Computing [electronic resource] : EvoWorkshops 2004: EvoBIO, EvoCOMNET, EvoHOT, EvoISAP, EvoMUSART, and EvoSTOC, Coimbra, Portugal, April 5-7, 2004. Proceedings / edited by Günther R. Raidl, Stefano Cagnoni, Jürgen Branke, David Wolfe Corne, Rolf Drechsler, Yaochu Jin, Colin G. Johnson, Penousal Machado, Elena Marchiori, Franz Rothlauf, George D. Smith, Giovanni Squillero.

by Raidl, Günther R [editor.] | Cagnoni, Stefano [editor.] | Branke, Jürgen [editor.] | Corne, David Wolfe [editor.] | Drechsler, Rolf [editor.] | Jin, Yaochu [editor.] | Johnson, Colin G [editor.] | Machado, Penousal [editor.] | Marchiori, Elena [editor.] | Rothlauf, Franz [editor.] | Smith, George D [editor.] | Squillero, Giovanni [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Grid Computing [electronic resource] : First European Across Grids Conference, Santiago de Compostela, Spain, February 13-14, 2004. Revised Papers / edited by Francisco Fernández Rivera, Marian Bubak, Andrés Gómez Tato, Ramón Doallo.

by Fernández Rivera, Francisco [editor.] | Bubak, Marian [editor.] | Gómez Tato, Andrés [editor.] | Doallo, Ramón [editor.] | SpringerLink (Online service).

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