|
|
|
|
|
|
|
Language and Automata Theory and Applications [electronic resource] : 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010. Proceedings / edited by Adrian-Horia Dediu, Henning Fernau, Carlos Martín-Vide. by Dediu, Adrian-Horia [editor.] | Fernau, Henning [editor.] | Martín-Vide, Carlos [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6031Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Unconventional Computation [electronic resource] : 9th International Conference, US 2010, Tokyo, Japan, June 21-25, 2010. Proceedings / edited by Cristian S. Calude, Masami Hagiya, Kenichi Morita, Grzegorz Rozenberg, Jon Timmis. by Calude, Cristian S [editor.] | Hagiya, Masami [editor.] | Morita, Kenichi [editor.] | Rozenberg, Grzegorz [editor.] | Timmis, Jon [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6079Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Developments in Language Theory [electronic resource] : 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010. Proceedings / edited by Yuan Gao, Hanlin Lu, Shinnosuke Seki, Sheng Yu. by Gao, Yuan [editor.] | Lu, Hanlin [editor.] | Seki, Shinnosuke [editor.] | Yu, Sheng [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6224Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Finite-State Methods and Natural Language Processing [electronic resource] : 8th International Workshop, FSMNLP 2009, Pretoria, South Africa, July 21-24, 2009, Revised Selected Papers / edited by Anssi Yli-Jyrä, András Kornai, Jacques Sakarovitch, Bruce Watson. by Yli-Jyrä, Anssi [editor.] | Kornai, András [editor.] | Sakarovitch, Jacques [editor.] | Watson, Bruce [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6062Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Computer Science Logic [electronic resource] : 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings / edited by Anuj Dawar, Helmut Veith. by Dawar, Anuj [editor.] | Veith, Helmut [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6247Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Algorithmic Learning Theory [electronic resource] : 21st International Conference, ALT 2010, Canberra, Australia, October 6-8, 2010. Proceedings / edited by Marcus Hutter, Frank Stephan, Vladimir Vovk, Thomas Zeugmann. by Hutter, Marcus [editor.] | Stephan, Frank [editor.] | Vovk, Vladimir [editor.] | Zeugmann, Thomas [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6331Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Logic and Its Applications [electronic resource] : 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings / edited by Mohua Banerjee, Anil Seth. by Banerjee, Mohua [editor.] | Seth, Anil [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6521Source: 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): .
|
|
|
|
Recent Advances in Constraints [electronic resource] : 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers / edited by Javier Larrosa, Barry O’Sullivan. by Larrosa, Javier [editor.] | O’Sullivan, Barry [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6384Source: 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): .
|
|
|
|
Unconventional Computation [electronic resource] : 10th International Conference, UC 2011, Turku, Finland, June 6-10, 2011. Proceedings / edited by Cristian S. Calude, Jarkko Kari, Ion Petre, Grzegorz Rozenberg. by Calude, Cristian S [editor.] | Kari, Jarkko [editor.] | Petre, Ion [editor.] | Rozenberg, Grzegorz [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6714Source: 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): .
|
|
|
|
Theory and Applications of Satisfiability Testing - SAT 2011 [electronic resource] : 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings / edited by Karem A. Sakallah, Laurent Simon. by Sakallah, Karem A [editor.] | Simon, Laurent [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6695Source: 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): .
|
|
|
|
Developments in Language Theory [electronic resource] : 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings / edited by Giancarlo Mauri, Alberto Leporati. by Mauri, Giancarlo [editor.] | Leporati, Alberto [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6795Source: 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): .
|
|
|
|
|
|
|
|
Frontiers of Combining Systems [electronic resource] : 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings / edited by Cesare Tinelli, Viorica Sofronie-Stokkermans. by Tinelli, Cesare [editor.] | Sofronie-Stokkermans, Viorica [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6989Source: 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): .
|
|
|
|
Algorithmic Learning Theory [electronic resource] : 22nd International Conference, ALT 2011, Espoo, Finland, October 5-7, 2011. Proceedings / edited by Jyrki Kivinen, Csaba Szepesvári, Esko Ukkonen, Thomas Zeugmann. by Kivinen, Jyrki [editor.] | Szepesvári, Csaba [editor.] | Ukkonen, Esko [editor.] | Zeugmann, Thomas [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6925Source: 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): .
|
|
|
|
Language and Automata Theory and Applications [electronic resource] : 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings / edited by Adrian-Horia Dediu, Carlos Martín-Vide. by Dediu, Adrian-Horia [editor.] | Martín-Vide, Carlos [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7183Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
Foundations of Information and Knowledge Systems [electronic resource] : 7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings / edited by Thomas Lukasiewicz, Attila Sali. by Lukasiewicz, Thomas [editor.] | Sali, Attila [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7153Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
|
|
|
Graph Structures for Knowledge Representation and Reasoning [electronic resource] : Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers / edited by Madalina Croitoru, Sebastian Rudolph, Nic Wilson, John Howse, Olivier Corby. by Croitoru, Madalina [editor.] | Rudolph, Sebastian [editor.] | Wilson, Nic [editor.] | Howse, John [editor.] | Corby, Olivier [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7205Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|