Your search returned 4 results.

Not what you expected? Check for suggestions
E-BOOKS
Formal Methods for Hardware Verification [electronic resource] : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures / edited by Marco Bernardo, Alessandro Cimatti.

by Bernardo, Marco [editor.] | Cimatti, Alessandro [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3965Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online 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
Theory and Applications of Satisfiability Testing – SAT 2012 [electronic resource] : 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings / edited by Alessandro Cimatti, Roberto Sebastiani.

by Cimatti, Alessandro [editor.] | Sebastiani, Roberto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7317Source: 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
E-BOOKS
Software Engineering and Formal Methods [electronic resource] : 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings / edited by Alessandro Cimatti, Marjan Sirjani.

by Cimatti, Alessandro [editor.] | Sirjani, Marjan [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10469 | Lecture Notes in Computer Science ; 10469Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
BOOKS
Theory an Applications of satisfiability testing - SAT 2012: 15th international conference. Trento, Italy, June 2012. Proceedings

by Cimatti, Alessandro Ed | Sebastiani, Roberto Ed.

Series: Lecture Notes in Computer Science ; 7317Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: New york Springer 2012Online access: Click here to access online Availability: Items available for reference: IMSc Library Not for loan_1 (1). : Location(s): Second Floor, Rack No:48 Shelf No:32 Call number: 681 LNCS.

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

Powered by Koha