|
|
|
|
|
|
|
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): .
|
|
|
|
Theory and Practice of Algorithms in (Computer) Systems [electronic resource] : First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011. Proceedings / edited by Alberto Marchetti-Spaccamela, Michael Segal. by Marchetti-Spaccamela, Alberto [editor.] | Segal, Michael [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6595Source: 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): .
|
|
|
|
Foundations of Software Science and Computational Structures [electronic resource] : 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings / edited by Martin Hofmann. by Hofmann, Martin [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6604Source: 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): .
|
|
|
|
Formal Methods: Foundations and Applications [electronic resource] : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers / edited by Jim Davies, Leila Silva, Adenilso Simao. by Davies, Jim [editor.] | Silva, Leila [editor.] | Simao, Adenilso [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6527Source: 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): .
|
|
|
|
Compiler Construction [electronic resource] : 20th International Conference, CC 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings / edited by Jens Knoop. by Knoop, Jens [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6601Source: 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): .
|
|
|
|
|
|
|
|
Formal Grammar [electronic resource] : 14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009, Revised Selected Papers / edited by Philippe Groote, Markus Egg, Laura Kallmeyer. by Groote, Philippe [editor.] | Egg, Markus [editor.] | Kallmeyer, Laura [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5591Source: 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): .
|
|
|
|
Formal Concept Analysis [electronic resource] : 9th International Conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011. Proceedings / edited by Petko Valtchev, Robert Jäschke. by Valtchev, Petko [editor.] | Jäschke, Robert [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6628Source: 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): .
|
|
|
|
Model Checking and Artificial Intelligence [electronic resource] : 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers / edited by Ron Meyden, Jan-Georg Smaus. by Meyden, Ron [editor.] | Smaus, Jan-Georg [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6572Source: 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): .
|
|
|
|
Computer Science – Theory and Applications [electronic resource] : 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011. Proceedings / edited by Alexander Kulikov, Nikolay Vereshchagin. by Kulikov, Alexander [editor.] | Vereshchagin, Nikolay [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6651Source: 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 Models of Computation [electronic resource] : 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings / edited by Mitsunori Ogihara, Jun Tarui. by Ogihara, Mitsunori [editor.] | Tarui, Jun [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6648Source: 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): .
|
|
|
|
Logic Programming and Nonmonotonic Reasoning [electronic resource] : 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings / edited by James P. Delgrande, Wolfgang Faber. by Delgrande, James P [editor.] | Faber, Wolfgang [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6645Source: 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): .
|
|
|
|
Logic, Language, Information and Computation [electronic resource] : 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings / edited by Lev D. Beklemishev, Ruy Queiroz. by Beklemishev, Lev D [editor.] | Queiroz, Ruy [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6642Source: 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): .
|
|
|
|
Automated Deduction in Geometry [electronic resource] : 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers / edited by Thomas Sturm, Christoph Zengler. by Sturm, Thomas [editor.] | Zengler, Christoph [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6301Source: 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] : 5th International Conference, LATA 2011, Tarragona, Spain, May 26-31, 2011. Proceedings / edited by Adrian-Horia Dediu, Shunsuke Inenaga, Carlos Martín-Vide. by Dediu, Adrian-Horia [editor.] | Inenaga, Shunsuke [editor.] | Martín-Vide, Carlos [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6638Source: 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): .
|
|
|
|
Inductive Logic Programming [electronic resource] : 20th International Conference, ILP 2010, Florence, Italy, June 27-30, 2010. Revised Papers / edited by Paolo Frasconi, Francesca A. Lisi. by Frasconi, Paolo [editor.] | Lisi, Francesca A [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6489Source: 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): .
|