Your search returned 18639 results.

Not what you expected? Check for suggestions
E-BOOKS
Integrated Formal Methods [electronic resource] : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings / edited by John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne.

by Derrick, John [editor.] | Gnesi, Stefania [editor.] | Latella, Diego [editor.] | Treharne, Helen [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7321Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online 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
Correct Reasoning [electronic resource] : Essays on Logic-Based AI in Honour of Vladimir Lifschitz / edited by Esra Erdem, Joohyung Lee, Yuliya Lierler, David Pearce.

by Erdem, Esra [editor.] | Lee, Joohyung [editor.] | Lierler, Yuliya [editor.] | Pearce, David [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7265Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online 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 Grid and Pervasive Computing [electronic resource] : 7th International Conference, GPC 2012, Hong Kong, China, May 11-13, 2012. Proceedings / edited by Ruixuan Li, Jiannong Cao, Julien Bourgeois.

by Li, Ruixuan [editor.] | Cao, Jiannong [editor.] | Bourgeois, Julien [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7296Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online 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
Impact Analysis of Solutions for Chronic Disease Prevention and Management [electronic resource] : 10th International Conference on Smart Homes and Health Telematics, ICOST 2012, Artiminio, Italy, June 12-15, 2012. Proceedings / edited by Mark Donnelly, Cristiano Paggetti, Chris Nugent, Mounir Mokhtari.

by Donnelly, Mark [editor.] | Paggetti, Cristiano [editor.] | Nugent, Chris [editor.] | Mokhtari, Mounir [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7251Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online 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
Analytical and Stochastic Modeling Techniques and Applications [electronic resource] : 19th International Conference, ASMTA 2012, Grenoble, France, June 4-6, 2012. Proceedings / edited by Khalid Al-Begain, Dieter Fiems, Jean-Marc Vincent.

by Al-Begain, Khalid [editor.] | Fiems, Dieter [editor.] | Vincent, Jean-Marc [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7314Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online 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 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings / edited by Holger Giese, Grigore Rosu.

by Giese, Holger [editor.] | Rosu, Grigore [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7273Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online 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 Applications and Interoperable Systems [electronic resource] : 12th IFIP WG 6.1 International Conference, DAIS 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings / edited by Karl Michael Göschka, Seif Haridi.

by Göschka, Karl Michael [editor.] | Haridi, Seif [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7272Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online 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] : 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012. Proceedings / edited by Marjan Sirjani.

by Sirjani, Marjan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7274Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online 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 Service and Application Engineering [electronic resource] : Essays Dedicated to Bernd Krämer on the Occasion of His 65th Birthday / edited by Maritta Heisel.

by Heisel, Maritta [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7365Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online 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
Experimental Algorithms [electronic resource] : 11th International Symposium, SEA 2012, Bordeaux, France, June 7-9, 2012. Proceedings / edited by Ralf Klasing.

by Klasing, Ralf [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7276Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online 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
How the World Computes [electronic resource] : Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings / edited by S. Barry Cooper, Anuj Dawar, Benedikt Löwe.

by Cooper, S. Barry [editor.] | Dawar, Anuj [editor.] | Löwe, Benedikt [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7318Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online 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
Abstract State Machines, Alloy, B, VDM, and Z [electronic resource] : Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings / edited by John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene.

by Derrick, John [editor.] | Fitzgerald, John [editor.] | Gnesi, Stefania [editor.] | Khurshid, Sarfraz [editor.] | Leuschel, Michael [editor.] | Reeves, Steve [editor.] | Riccobene, Elvinia [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7316Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online 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
The Multivariate Algorithmic Revolution and Beyond [electronic resource] : Essays Dedicated to Michael R. Fellows on the Occasion of His 60th Birthday / edited by Hans L. Bodlaender, Rod Downey, Fedor V. Fomin, Dániel Marx.

by Bodlaender, Hans L [editor.] | Downey, Rod [editor.] | Fomin, Fedor V [editor.] | Marx, Dániel [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7370Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online 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
Trust and Trustworthy Computing [electronic resource] : 5th International Conference, TRUST 2012, Vienna, Austria, June 13-15, 2012. Proceedings / edited by Stefan Katzenbeisser, Edgar Weippl, L. Jean Camp, Melanie Volkamer, Mike Reiter, Xinwen Zhang.

by Katzenbeisser, Stefan [editor.] | Weippl, Edgar [editor.] | Camp, L. Jean [editor.] | Volkamer, Melanie [editor.] | Reiter, Mike [editor.] | Zhang, Xinwen [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7344Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online 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 and Multi-Agent Systems. Technologies and Applications [electronic resource] : 6th KES International Conference, KES-AMSTA 2012,Dubrovnik, Croatia, June 25-27, 2012. Proceedings / edited by Gordan Jezic, Mario Kusek, Ngoc-Thanh Nguyen, Robert J. Howlett, Lakhmi C. Jain.

by Jezic, Gordan [editor.] | Kusek, Mario [editor.] | Nguyen, Ngoc-Thanh [editor.] | Howlett, Robert J [editor.] | Jain, Lakhmi C [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7327Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online 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
Intelligent Tutoring Systems [electronic resource] : 11th International Conference, ITS 2012, Chania, Crete, Greece, June 14-18, 2012. Proceedings / edited by Stefano A. Cerri, William J. Clancey, Giorgos Papadourakis, Kitty Panourgia.

by Cerri, Stefano A [editor.] | Clancey, William J [editor.] | Papadourakis, Giorgos [editor.] | Panourgia, Kitty [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7315Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online 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
Information Security Theory and Practice. Security, Privacy and Trust in Computing Systems and Ambient Intelligent Ecosystems [electronic resource] : 6th IFIP WG 11.2 International Workshop, WISTP 2012, Egham, UK, June 20-22, 2012. Proceedings / edited by Ioannis Askoxylakis, Henrich C. Pöhls, Joachim Posegga.

by Askoxylakis, Ioannis [editor.] | Pöhls, Henrich C [editor.] | Posegga, Joachim [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7322Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online 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
OpenMP in a Heterogeneous World [electronic resource] : 8th International Workshop on OpenMP, IWOMP 2012, Rome, Italy, June 11-13, 2012. Proceedings / edited by Barbara M. Chapman, Federico Massaioli, Matthias S. Müller, Marco Rorro.

by Chapman, Barbara M [editor.] | Massaioli, Federico [editor.] | Müller, Matthias S [editor.] | Rorro, Marco [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7312Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online 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 Swarm Intelligence [electronic resource] : Third International Conference, ICSI 2012, Shenzhen, China, June 17-20, 2012 Proceedings, Part I / edited by Ying Tan, Yuhui Shi, Zhen Ji.

by Tan, Ying [editor.] | Shi, Yuhui [editor.] | Ji, Zhen [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7331Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online 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 Methods for Model-Driven Engineering [electronic resource] : 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures / edited by Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio.

by Bernardo, Marco [editor.] | Cortellessa, Vittorio [editor.] | Pierantonio, Alfonso [editor.] | SpringerLink (Online service).

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