Your search returned 18639 results.

Not what you expected? Check for suggestions
E-BOOKS
Automated Deduction – CADE-24 [electronic resource] : 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings / edited by Maria Paola Bonacina.

by Bonacina, Maria Paola [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7898Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 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
Recent Trends in Applied Artificial Intelligence [electronic resource] : 26th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2013, Amsterdam, The Netherlands, June 17-21, 2013. Proceedings / edited by Moonis Ali, Tibor Bosse, Koen V. Hindriks, Mark Hoogendoorn, Catholijn M. Jonker, Jan Treur.

by Ali, Moonis [editor.] | Bosse, Tibor [editor.] | Hindriks, Koen V [editor.] | Hoogendoorn, Mark [editor.] | Jonker, Catholijn M [editor.] | Treur, Jan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7906Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 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
Formal Techniques for Distributed Systems [electronic resource] : Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings / edited by Dirk Beyer, Michele Boreale.

by Beyer, Dirk [editor.] | Boreale, Michele [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7892Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 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
Reliable Software Technologies – Ada-Europe 2013 [electronic resource] : 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings / edited by Hubert B. Keller, Erhard Plödereder, Peter Dencker, Herbert Klenk.

by Keller, Hubert B [editor.] | Plödereder, Erhard [editor.] | Dencker, Peter [editor.] | Klenk, Herbert [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7896Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 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
Business Process Models. Change Management [electronic resource] / by Christian Gerth.

by Gerth, Christian [author.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7849Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 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
Artificial Intelligence and Soft Computing [electronic resource] : 12th International Conference, ICAISC 2013, Zakopane, Poland, June 9-13, 2013, Proceedings, Part II / edited by Leszek Rutkowski, Marcin Korytkowski, Rafał Scherer, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Zurada.

by Rutkowski, Leszek [editor.] | Korytkowski, Marcin [editor.] | Scherer, Rafał [editor.] | Tadeusiewicz, Ryszard [editor.] | Zadeh, Lotfi A [editor.] | Zurada, Jacek M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7895Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 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
Integrated Formal Methods [electronic resource] : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings / edited by Einar Broch Johnsen, Luigia Petre.

by Johnsen, Einar Broch [editor.] | Petre, Luigia [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7940Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 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
Post-Quantum Cryptography [electronic resource] : 5th International Workshop, PQCrypto 2013, Limoges, France, June 4-7, 2013. Proceedings / edited by Philippe Gaborit.

by Gaborit, Philippe [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7932Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 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
Natural and Artificial Computation in Engineering and Medical Applications [electronic resource] : 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part II / edited by José Manuel Ferrández Vicente, José Ramón Álvarez Sánchez, Félix Paz López, Fco. Javier Toledo Moreo.

by Ferrández Vicente, José Manuel [editor.] | Álvarez Sánchez, José Ramón [editor.] | Paz López, Félix [editor.] | Toledo Moreo, Fco. Javier [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7931Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 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
Pattern Recognition and Image Analysis [electronic resource] : 6th Iberian Conference, IbPRIA 2013, Funchal, Madeira, Portugal, June 5-7, 2013. Proceedings / edited by João M. Sanches, Luisa Micó, Jaime S. Cardoso.

by Sanches, João M [editor.] | Micó, Luisa [editor.] | Cardoso, Jaime S [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7887Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 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
Network and System Security [electronic resource] : 7th International Conference, NSS 2013, Madrid, Spain, June 3-4, 2013. Proceedings / edited by Javier Lopez, Xinyi Huang, Ravi Sandhu.

by Lopez, Javier [editor.] | Huang, Xinyi [editor.] | Sandhu, Ravi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7873Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 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
Language Processing and Intelligent Information Systems [electronic resource] : 20th International Conference, IIS 2013, Warsaw, Poland, June 17-18, 2013. Proceedings / edited by Mieczysław A. Kłopotek, Jacek Koronacki, Małgorzata Marciniak, Agnieszka Mykowiecka, Sławomir T. Wierzchoń.

by Kłopotek, Mieczysław A [editor.] | Koronacki, Jacek [editor.] | Marciniak, Małgorzata [editor.] | Mykowiecka, Agnieszka [editor.] | Wierzchoń, Sławomir T [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7912Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 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
Natural and Artificial Models in Computation and Biology [electronic resource] : 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part I / edited by José Manuel Ferrández Vicente, José Ramón Álvarez Sánchez, Félix Paz López, Fco. Javier Toledo Moreo.

by Ferrández Vicente, José Manuel [editor.] | Álvarez Sánchez, José Ramón [editor.] | Paz López, Félix [editor.] | Toledo Moreo, Fco. Javier [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7930Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 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
Artificial Intelligence and Soft Computing [electronic resource] : 12th International Conference, ICAISC 2013, Zakopane, Poland, June 9-13, 2013, Proceedings, Part I / edited by Leszek Rutkowski, Marcin Korytkowski, Rafał Scherer, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Zurada.

by Rutkowski, Leszek [editor.] | Korytkowski, Marcin [editor.] | Scherer, Rafał [editor.] | Tadeusiewicz, Ryszard [editor.] | Zadeh, Lotfi A [editor.] | Zurada, Jacek M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7894Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 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
Benchmarking Peer-to-Peer Systems [electronic resource] : Understanding Quality of Service in Large-Scale Distributed Systems / edited by Wolfgang Effelsberg, Ralf Steinmetz, Thorsten Strufe.

by Effelsberg, Wolfgang [editor.] | Steinmetz, Ralf [editor.] | Strufe, Thorsten [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7847Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 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
Transactions on Pattern Languages of Programming III [electronic resource] / edited by James Noble, Ralph Johnson, Uwe Zdun, Eugene Wallingford.

by Noble, James [editor.] | Johnson, Ralph [editor.] | Zdun, Uwe [editor.] | Wallingford, Eugene [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7840Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 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
Advances in Computational Intelligence [electronic resource] : 12th International Work-Conference on Artificial Neural Networks, IWANN 2013, Puerto de la Cruz, Tenerife, Spain, June 12-14, 2013, Proceedings, Part I / edited by Ignacio Rojas, Gonzalo Joya, Joan Gabestany.

by Rojas, Ignacio [editor.] | Joya, Gonzalo [editor.] | Gabestany, Joan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7902Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 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
Advances in Computational Intelligence [electronic resource] : 12th International Work-Conference on Artificial Neural Networks, IWANN 2013, Puerto de la Cruz, Tenerife, Spain, June 12-14, 2013, Proceedings, Part II / edited by Ignacio Rojas, Gonzalo Joya, Joan Cabestany.

by Rojas, Ignacio [editor.] | Joya, Gonzalo [editor.] | Cabestany, Joan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7903Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 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
Application and Theory of Petri Nets and Concurrency [electronic resource] : 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings / edited by José-Manuel Colom, Jörg Desel.

by Colom, José-Manuel [editor.] | Desel, Jörg [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7927Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 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
Programming Multi-Agent Systems [electronic resource] : 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers / edited by Mehdi Dastani, Jomi F. Hübner, Brian Logan.

by Dastani, Mehdi [editor.] | Hübner, Jomi F [editor.] | Logan, Brian [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7837Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 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
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha