|
|
|
Machines, Computations, and Universality [electronic resource] : 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007. Proceedings / edited by Jérôme Durand-Lose, Maurice Margenstern. by Durand-Lose, Jérôme [editor.] | Margenstern, Maurice [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4664Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Implementation and Application of Automata [electronic resource] : 12th International Conference, CIAA 2007, Praque, Czech Republic, July 16-18, 2007, Revised Selected Papers / edited by Jan Holub, Jan Žďárek. by Holub, Jan [editor.] | Žďárek, Jan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4783Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
Theoretical Aspects of Computing - ICTAC 2008 [electronic resource] : 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings / edited by John S. Fitzgerald, Anne E. Haxthausen, Husnu Yenigun. by Fitzgerald, John S [editor.] | Haxthausen, Anne E [editor.] | Yenigun, Husnu [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5160Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Developments in Language Theory [electronic resource] : 12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008. Proceedings / edited by Masami Ito, Masafumi Toyama. by Ito, Masami [editor.] | Toyama, Masafumi [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5257Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Developments in Language Theory [electronic resource] : 13th International Conference, DLT 2009, Stuttgart, Germany, June 30-July 3, 2009. Proceedings / edited by Volker Diekert, Dirk Nowotka. by Diekert, Volker [editor.] | Nowotka, Dirk [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5583Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Fundamentals of Computation Theory [electronic resource] : 17th International Symposium, FCT 2009, Wrocław, Poland, September 2-4, 2009. Proceedings / edited by Mirosław Kutyłowski, Witold Charatonik, Maciej Gębala. by Kutyłowski, Mirosław [editor.] | Charatonik, Witold [editor.] | Gębala, Maciej [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5699Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Mathematical Foundations of Computer Science 2009 [electronic resource] : 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009. Proceedings / edited by Rastislav Královič, Damian Niwiński. by Královič, Rastislav [editor.] | Niwiński, Damian [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5734Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Reachability Problems [electronic resource] : 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings / edited by Olivier Bournez, Igor Potapov. by Bournez, Olivier [editor.] | Potapov, Igor [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5797Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Agents for Games and Simulations [electronic resource] : Trends in Techniques, Concepts and Design / edited by Frank Dignum, Jeff Bradshaw, Barry Silverman, Willem Doesburg. by Dignum, Frank [editor.] | Bradshaw, Jeff [editor.] | Silverman, Barry [editor.] | Doesburg, Willem [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5920Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Abstract State Machines, Alloy, B and Z [electronic resource] : Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings / edited by Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves. by Frappier, Marc [editor.] | Glässer, Uwe [editor.] | Khurshid, Sarfraz [editor.] | Laleau, Régine [editor.] | Reeves, Steve [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5977Source: 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): .
|
|
|
|
|
|
|
|
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): .
|
|
|
|
Computer Science – Theory and Applications [electronic resource] : 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings / edited by Farid Ablayev, Ernst W. Mayr. by Ablayev, Farid [editor.] | Mayr, Ernst W [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6072Source: 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): .
|