|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Implementation and Applications of Automata [electronic resource] : 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings / edited by Oscar H. Ibarra, Bala Ravikumar. by Ibarra, Oscar H [editor.] | Ravikumar, Bala [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5148Source: 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): .
|
|
|
|
|
|
|
|
Theorem Proving in Higher Order Logics [electronic resource] : 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings / edited by Otmane Ait Mohamed, César Muñoz, Sofiène Tahar. by Mohamed, Otmane Ait [editor.] | Muñoz, César [editor.] | Tahar, Sofiène [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5170Source: 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): .
|
|
|
|
Automated Reasoning [electronic resource] : 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings / edited by Alessandro Armando, Peter Baumgartner, Gilles Dowek. by Armando, Alessandro [editor.] | Baumgartner, Peter [editor.] | Dowek, Gilles [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5195Source: 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): .
|
|
|
|
Compiler Construction [electronic resource] : 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings / edited by Shriram Krishnamurthi, Martin Odersky. by Krishnamurthi, Shriram [editor.] | Odersky, Martin [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4420Source: 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): .
|
|
|
|
|
|
|
|
Foundations of Software Science and Computational Structures [electronic resource] : 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007. Proceedings / edited by Helmut Seidl. by Seidl, Helmut [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4423Source: 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): .
|
|
|
|
|
|
|
|
Recent Trends in Algebraic Development Techniques [electronic resource] : 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers / edited by José Luiz Fiadeiro, Pierre-Yves Schobbens. by Fiadeiro, José Luiz [editor.] | Schobbens, Pierre-Yves [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4409Source: 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): .
|
|
|
|
Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings / edited by Sergei N. Artemov, Anil Nerode. by Artemov, Sergei N [editor.] | Nerode, Anil [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4514Source: 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): .
|
|
|
|
|
|
|
|
Developments in Language Theory [electronic resource] : 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007. Proceedings / edited by Tero Harju, Juhani Karhumäki, Arto Lepistö. by Harju, Tero [editor.] | Karhumäki, Juhani [editor.] | Lepistö, Arto [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4588Source: 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): .
|
|
|
|
|
|
|
|
Natural Language Processing and Information Systems [electronic resource] : 12th International Conference on Applications of Natural Language to Information Systems, NLDB 2007, Paris, France, June 27-29, 2007. Proceedings / edited by Zoubida Kedad, Nadira Lammari, Elisabeth Métais, Farid Meziane, Yacine Rezgui. by Kedad, Zoubida [editor.] | Lammari, Nadira [editor.] | Métais, Elisabeth [editor.] | Meziane, Farid [editor.] | Rezgui, Yacine [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4592Source: 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): .
|
|
|
|
Computer Aided Verification [electronic resource] : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings / edited by Werner Damm, Holger Hermanns. by Damm, Werner [editor.] | Hermanns, Holger [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4590Source: 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): .
|
|
|
|
Algebraic Biology [electronic resource] : Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007. Proceedings / edited by Hirokazu Anai, Katsuhisa Horimoto, Temur Kutsia. by Anai, Hirokazu [editor.] | Horimoto, Katsuhisa [editor.] | Kutsia, Temur [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4545Source: 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): .
|
|
|
|
|