Your search returned 10753 results.

Not what you expected? Check for suggestions
E-BOOKS
Automated Deduction – CADE-23 [electronic resource] : 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings / edited by Nikolaj Bjørner, Viorica Sofronie-Stokkermans.

by Bjørner, Nikolaj [editor.] | Sofronie-Stokkermans, Viorica [editor.] | SpringerLink (Online service).

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

E-BOOKS
Security and Trust Management [electronic resource] : 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers / edited by Jorge Cuellar, Javier Lopez, Gilles Barthe, Alexander Pretschner.

by Cuellar, Jorge [editor.] | Lopez, Javier [editor.] | Barthe, Gilles [editor.] | Pretschner, Alexander [editor.] | SpringerLink (Online service).

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

E-BOOKS
Ad-hoc, Mobile, and Wireless Networks [electronic resource] : 10th International Conference, ADHOC-NOW 2011, Paderborn, Germany, July 18-20, 2011. Proceedings / edited by Hannes Frey, Xu Li, Stefan Ruehrup.

by Frey, Hannes [editor.] | Li, Xu [editor.] | Ruehrup, Stefan [editor.] | SpringerLink (Online service).

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

E-BOOKS
Optical Supercomputing [electronic resource] : Third International Workshop, OSC 2010, Bertinoro, Italy, November 17-19, 2010, Revised Selected Papers / edited by Shlomi Dolev, Mihai Oltean.

by Dolev, Shlomi [editor.] | Oltean, Mihai [editor.] | SpringerLink (Online service).

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

E-BOOKS
Information Security and Privacy [electronic resource] : 16th Australasian Conference, ACISP 2011, Melbourne, Australia, July 11-13, 2011. Proceedings / edited by Udaya Parampalli, Philip Hawkes.

by Parampalli, Udaya [editor.] | Hawkes, Philip [editor.] | SpringerLink (Online service).

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

E-BOOKS
Functional and Constraint Logic Programming [electronic resource] : 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings / edited by Herbert Kuchen.

by Kuchen, Herbert [editor.] | SpringerLink (Online service).

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

E-BOOKS
Rule-Based Reasoning, Programming, and Applications [electronic resource] : 5th International Symposium, RuleML 2011 – Europe, Barcelona, Spain, July 19-21, 2011. Proceedings / edited by Nick Bassiliades, Guido Governatori, Adrian Paschke.

by Bassiliades, Nick [editor.] | Governatori, Guido [editor.] | Paschke, Adrian [editor.] | SpringerLink (Online service).

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

E-BOOKS
Smart Graphics [electronic resource] : 11th International Symposium, SG 2011, Bremen, Germany, July 18-20, 2011. Proceedings / edited by Lutz Dickmann, Gerald Volkmann, Rainer Malaka, Susanne Boll, Antonio Krüger, Patrick Olivier.

by Dickmann, Lutz [editor.] | Volkmann, Gerald [editor.] | Malaka, Rainer [editor.] | Boll, Susanne [editor.] | Krüger, Antonio [editor.] | Olivier, Patrick [editor.] | SpringerLink (Online service).

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

E-BOOKS
A Hybrid Deliberative Layer for Robotic Agents [electronic resource] : Fusing DL Reasoning with HTN Planning in Autonomous Robots / by Ronny Hartanto.

by Hartanto, Ronny [author.] | SpringerLink (Online service).

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

E-BOOKS
Modeling Decision for Artificial Intelligence [electronic resource] : 8th International Conference, MDAI 2011, Changsha, Hunan, China, July 28-30, 2011, Proceedings / edited by Vicenç Torra, Yasuo Narakawa, Jianping Yin, Jun Long.

by Torra, Vicenç [editor.] | Narakawa, Yasuo [editor.] | Yin, Jianping [editor.] | Long, Jun [editor.] | SpringerLink (Online service).

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

E-BOOKS
Descriptional Complexity of Formal Systems [electronic resource] : 13th International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings / edited by Markus Holzer, Martin Kutrib, Giovanni Pighizzini.

by Holzer, Markus [editor.] | Kutrib, Martin [editor.] | Pighizzini, Giovanni [editor.] | SpringerLink (Online service).

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

E-BOOKS
Combinatorial Optimization and Applications [electronic resource] : 5th International Conference, COCOA 2011, Zhangjiajie, China, August 4-6, 2011. Proceedings / edited by Weifan Wang, Xuding Zhu, Ding-Zhu Du.

by Wang, Weifan [editor.] | Zhu, Xuding [editor.] | Du, Ding-Zhu [editor.] | SpringerLink (Online service).

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

E-BOOKS
Transactions on Computational Science XIII [electronic resource] / edited by Marina L. Gavrilova, C. J. Kenneth Tan.

by Gavrilova, Marina L [editor.] | Tan, C. J. Kenneth [editor.] | SpringerLink (Online service).

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

E-BOOKS
Journal on Data Semantics XV [electronic resource] / edited by Stefano Spaccapietra.

by Spaccapietra, Stefano [editor.] | SpringerLink (Online service).

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

E-BOOKS
Public Key Infrastructures, Services and Applications [electronic resource] : 7th European Workshop, EuroPKI 2010, Athens, Greece, September 23-24, 2010. Revised Selected Papers / edited by Jan Camenisch, Costas Lambrinoudakis.

by Camenisch, Jan [editor.] | Lambrinoudakis, Costas [editor.] | SpringerLink (Online service).

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

E-BOOKS
Agent-Oriented Software Engineering XI [electronic resource] : 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papers / edited by Danny Weyns, Marie-Pierre Gleizes.

by Weyns, Danny [editor.] | Gleizes, Marie-Pierre [editor.] | SpringerLink (Online service).

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

E-BOOKS
Transactions on Edutainment VI [electronic resource] / edited by Zhigeng Pan, Adrian David Cheok, Wolfgang Müller.

by Pan, Zhigeng [editor.] | Cheok, Adrian David [editor.] | Müller, Wolfgang [editor.] | SpringerLink (Online service).

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

E-BOOKS
ECOOP 2011 – Object-Oriented Programming [electronic resource] : 25th European Conference, Lancaster, Uk, July 25-29, 2011 Proceedings / edited by Mira Mezini.

by Mezini, Mira [editor.] | SpringerLink (Online service).

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

E-BOOKS
Studies in Complexity and Cryptography. Miscellanea on the Interplay between Randomness and Computation [electronic resource] : In Collaboration with Lidor Avigad, Mihir Bellare, Zvika Brakerski, Shafi Goldwasser, Shai Halevi, Tali Kaufman, Leonid Levin, Noam Nisan, Dana Ron, Madhu Sudan, Luca Trevisan, Salil Vadhan, Avi Wigderson, David Zuckerman / edited by Oded Goldreich.

by Goldreich, Oded [editor.] | SpringerLink (Online service).

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

E-BOOKS
Intelligent Computer Mathematics [electronic resource] : 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings / edited by James H. Davenport, William M. Farmer, Josef Urban, Florian Rabe.

by Davenport, James H [editor.] | Farmer, William M [editor.] | Urban, Josef [editor.] | Rabe, Florian [editor.] | SpringerLink (Online service).

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

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha