|
|
|
|
Logic, Language, and Computation [electronic resource] : 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers / edited by Guram Bezhanishvili, Sebastian Löbner, Vincenzo Marra, Frank Richter. by Bezhanishvili, Guram [editor.] | Löbner, Sebastian [editor.] | Marra, Vincenzo [editor.] | Richter, Frank [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7758Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Language and Automata Theory and Applications [electronic resource] : 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings / edited by Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe. by Dediu, Adrian-Horia [editor.] | Martín-Vide, Carlos [editor.] | Truthe, Bianca [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7810Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Foundations of Software Science and Computation Structures [electronic resource] : 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / edited by Frank Pfenning. by Pfenning, Frank [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7794Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Recent Trends in Algebraic Development Techniques [electronic resource] : 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers / edited by Narciso Martí-Oliet, Miguel Palomino. by Martí-Oliet, Narciso [editor.] | Palomino, Miguel [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7841Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky [electronic resource] : Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday / edited by Bob Coecke, Luke Ong, Prakash Panangaden. by Coecke, Bob [editor.] | Ong, Luke [editor.] | Panangaden, Prakash [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7860Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Theory and Applications of Models of Computation [electronic resource] : 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings / edited by T-H. Hubert Chan, Lap Chi Lau, Luca Trevisan. by Chan, T-H. Hubert [editor.] | Lau, Lap Chi [editor.] | Trevisan, Luca [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7876Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Formal Concept Analysis [electronic resource] : 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings / edited by Peggy Cellier, Felix Distel, Bernhard Ganter. by Cellier, Peggy [editor.] | Distel, Felix [editor.] | Ganter, Bernhard [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7880Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Computer Science – Theory and Applications [electronic resource] : 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings / edited by Andrei A. Bulatov, Arseny M. Shur. by Bulatov, Andrei A [editor.] | Shur, Arseny M [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7913Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Formal Techniques for Distributed Systems [electronic resource] : Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings / edited by Dirk Beyer, Michele Boreale. by Beyer, Dirk [editor.] | Boreale, Michele [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7892Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Integrated Formal Methods [electronic resource] : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings / edited by Einar Broch Johnsen, Luigia Petre. by Johnsen, Einar Broch [editor.] | Petre, Luigia [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7940Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Developments in Language Theory [electronic resource] : 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedings / edited by Marie-Pierre Béal, Olivier Carton. by Béal, Marie-Pierre [editor.] | Carton, Olivier [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7907Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Inductive Logic Programming [electronic resource] : 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers / edited by Fabrizio Riguzzi, Filip Železný. by Riguzzi, Fabrizio [editor.] | Železný, Filip [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7842Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Static Analysis [electronic resource] : 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings / edited by Francesco Logozzo, Manuel Fähndrich. by Logozzo, Francesco [editor.] | Fähndrich, Manuel [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7935Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Tests and Proofs [electronic resource] : 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings / edited by Margus Veanes, Luca Viganò. by Veanes, Margus [editor.] | Viganò, Luca [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7942Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
