|
|
|
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;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
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;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
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;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
Conceptual Structures for Discovering Knowledge [electronic resource] : 19th International Conference on Conceptual Structures, ICCS 2011, Derby, UK, July 25-29, 2011. Proceedings / edited by Simon Andrews, Simon Polovina, Richard Hill, Babak Akhgar. by Andrews, Simon [editor.] | Polovina, Simon [editor.] | Hill, Richard [editor.] | Akhgar, Babak [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6828Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
|
|
|
Interactive Theorem Proving [electronic resource] : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings / edited by Marko Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk. by Eekelen, Marko [editor.] | Geuvers, Herman [editor.] | Schmaltz, Julien [editor.] | Wiedijk, Freek [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6898Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
Artificial General Intelligence [electronic resource] : 4th International Conference, AGI 2011, Mountain View, CA, USA, August 3-6, 2011. Proceedings / edited by Jürgen Schmidhuber, Kristinn R. Thórisson, Moshe Looks. by Schmidhuber, Jürgen [editor.] | Thórisson, Kristinn R [editor.] | Looks, Moshe [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6830Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
Trends in Functional Programming [electronic resource] : 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers / edited by Rex Page, Zoltán Horváth, Viktória Zsók. by Page, Rex [editor.] | Horváth, Zoltán [editor.] | Zsók, Viktória [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6546Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
Algebra and Coalgebra in Computer Science [electronic resource] : 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings / edited by Andrea Corradini, Bartek Klin, Corina Cîrstea. by Corradini, Andrea [editor.] | Klin, Bartek [editor.] | Cîrstea, Corina [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6859Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
Fundamentals of Computation Theory [electronic resource] : 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings / edited by Olaf Owe, Martin Steffen, Jan Arne Telle. by Owe, Olaf [editor.] | Steffen, Martin [editor.] | Telle, Jan Arne [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6914Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
Mathematical Foundations of Computer Science 2011 [electronic resource] : 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011. Proceedings / edited by Filip Murlak, Piotr Sankowski. by Murlak, Filip [editor.] | Sankowski, Piotr [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6907Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
Advanced Language Technologies for Digital Libraries [electronic resource] : International Workshops on NLP4DL 2009, Viareggio, Italy, June 15, 2009 and AT4DL 2009, Trento, Italy, September 8, 2009 / edited by Raffaella Bernardi, Sally Chambers, Björn Gottfried, Frédérique Segond, Ilya Zaihrayeu. by Bernardi, Raffaella [editor.] | Chambers, Sally [editor.] | Gottfried, Björn [editor.] | Segond, Frédérique [editor.] | Zaihrayeu, Ilya [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6699Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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 Mathematics of Language [electronic resource] : 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings / edited by Makoto Kanazawa, András Kornai, Marcus Kracht, Hiroyuki Seki. by Kanazawa, Makoto [editor.] | Kornai, András [editor.] | Kracht, Marcus [editor.] | Seki, Hiroyuki [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6878Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
|
|
|
Semantics in Data and Knowledge Bases [electronic resource] : 4th International Workshops, SDKB 2010, Bordeaux, France, July 5, 2010, Revised Selected Papers / edited by Klaus-Dieter Schewe, Bernhard Thalheim. by Schewe, Klaus-Dieter [editor.] | Thalheim, Bernhard [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6834Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
|
|
|
Fuzzy Logic and Applications [electronic resource] : 9th International Workshop, WILF 2011, Trani, Italy, August 29-31,2011. Proceedings / edited by Anna Maria Fanelli, Witold Pedrycz, Alfredo Petrosino. by Fanelli, Anna Maria [editor.] | Pedrycz, Witold [editor.] | Petrosino, Alfredo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6857Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
Machine Learning and Knowledge Discovery in Databases [electronic resource] : European Conference, ECML PKDD 2011, Athens, Greece, September 5-9, 2011. Proceedings, Part I / edited by Dimitrios Gunopulos, Thomas Hofmann, Donato Malerba, Michalis Vazirgiannis. by Gunopulos, Dimitrios [editor.] | Hofmann, Thomas [editor.] | Malerba, Donato [editor.] | Vazirgiannis, Michalis [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6911Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
Machine Learning and Knowledge Discovery in Databases [electronic resource] : European Conference, ECML PKDD 2011, Athens, Greece, September 5-9, 2011, Proceedings, Part II / edited by Dimitrios Gunopulos, Thomas Hofmann, Donato Malerba, Michalis Vazirgiannis. by Gunopulos, Dimitrios [editor.] | Hofmann, Thomas [editor.] | Malerba, Donato [editor.] | Vazirgiannis, Michalis [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6912Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|