Your search returned 5 results.

Not what you expected? Check for suggestions
BOOKS
Tree automata and languages (SCSAI - Vol. 10)

by Nivat, Maurice. Ed | Podelski, Andreas. Ed.

Series: Studies in computer science and artificial intelligence ; 10Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Netherlands ; Elsevier ; 1992Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 28 Call number: 681.3.02 NIV.

Place hold Log in to add tags
E-BOOKS
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings / edited by Kurt Jensen, Andreas Podelski.

by Jensen, Kurt [editor.] | Podelski, Andreas [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2988Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Constraint Programming: Basics and Trends [electronic resource] : 1994 Châtillon Spring School Châtillon-sur-Seine, France, May 16–20, 1994 Selected Papers / edited by Andreas Podelski.

by Podelski, Andreas [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 910Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings / edited by Byron Cook, Andreas Podelski.

by Cook, Byron [editor.] | Podelski, Andreas [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4349Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; 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): .

Place hold Log in to add tags
E-BOOKS
Verified Software: Theories, Tools, Experiments [electronic resource] : 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings / edited by Rajeev Joshi, Peter Müller, Andreas Podelski.

by Joshi, Rajeev [editor.] | Müller, Peter [editor.] | Podelski, Andreas [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7152Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; 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): .

Place hold Log in to add tags
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha