Your search returned 62 results. Subscribe to this search

|
1. Articles A comparison of Presburger engines for EFSM reachability [[Texte imprimé]] / Thomas R. Shiple, James H. Kukula, Rajeev K. RanjanPublication : Berlin, Heidelberg : Springer, 1998Description : P. 280-292 : Ill. ; 24 cmAvailability: Copies available for loan: Centre de recherche en informatique[VAN 98] (1).
2. Congrès ACM Transactions on design automation of electronic systems : Volume 1, number 1-4, 1996, Volume 2, number 1-4, 1997, volume 3, numbers 1-4, 1998 / Jason Cong and Bryan Preas, directorsPublication : ACM, New York, 1515, Broadway N.Y. 10036, 1999Description : CD-ROM ; 18 cmAvailability: Copies available for reference: Centre de recherche en informatique[CD BNI:8370] (1).
3. Congrès ACM Transactions on design automation of electronic systems : Volume 1-4, 1996-1999 / editor in chief, Mary Jane IrwinPublication : 1515, Broadway N.Y. 10036 : ACM, New York, 2000Description : CD-ROM ; 18 cmAvailability: Copies available for reference: Centre de recherche en informatique[CD BNI: 9085] (1).
4. Congrès ACM Transactions on design automation of electronic systems : Volume 1-5, 1996-2000 / editor in chief, Mary Jane IrwinPublication : 1515, Broadway N.Y. 10036 : ACM, New York, 2001Description : CD-ROM ; 18 cmAvailability: Copies available for reference: Centre de recherche en informatique[CD BNI: 9086] (1).
5. Ressources électroniques ACM Transactions on design automation of electronic systems : Volumes 1-6: 1996-2001 / editor in chief: Mary Jane IrwinPublication : 1515, Broadway N.Y. 10036 : ACM, New York, 2002Description : 1 CD-ROMAvailability: Copies available for reference: Centre de recherche en informatique[CD BNI: 9919] (1).
6. Articles An experiment in parallelizing an application using formal methods [[Texte imprimé]] : computer aided parallelisation / Raphaël Couturier and Dominique MéryPublication : Berlin, Heidelberg : Springer, 1998Description : P. 345-356 : Ill. ; 24 cmAvailability: Copies available for loan: Centre de recherche en informatique[VAN 98] (1).
7. Ressources électroniques Analyzing automata with presburger arithmetic and uninterpreted function symbols [Ressource électronique] / Vlad RusuPublication : Rennes : Institut de Recherche en Informatique et Systèmes Aléatoires, 2002Availability: Copies available for reference: Centre de recherche en informatique[2001 BNI:8824] (1).
8.  Monographies, textes Applied proof theory [] : proof interpretations and their use in mathematics / U. KohlenbachPublication : Berlin, Heidelberg : Springer, cop. 2008Description : 1 vol. (XIX-532 p.) ; 24 cmAvailability: No copies available Checked out (1).
9. Congrès Automated proofs of object code for a widely used microprocessor / Yuan YuPublication : Palo Alto (CA) : DIGITAL, 1993Description : 122 p. : Ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[1993 BNI: 9287] (1).
10. Congrès Automated reasoning with analytic tableaux and related methods [ [Texte imprimé]] : 22th International conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013 : proceedings ; Didier Galmiche, Dominique Larchey-Wendling (eds.)Publication : Berlin, Heidelberg : Springer, 2013Description : 1 vol. (X-288 p.) : fig., graph., tabl. ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[NAN 13] (1).
11.  Monographies, textes Automated theorem proving in software engineering [] / Johann M. Schumann ; foreword by Donald LovelandPublication : Berlin, Heidelberg, Paris [etc.] : Springer, cop. 2001Description : 1 vol. (XIV-228 p.) ; 24 cmAvailability: Copies available for loan: Centre de recherche en informatique[SCH] (1).
12. Congrès Un calcul de substitution pour la représentation de preuves partielles en théorie de types / César Augusto Muñoz HurtadoPublication : Paris : Université Paris VII, 1997Description : 163 p. : Ill. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-2337] (1).
13.  Monographies, textes Certified Programming with Dependent Types [ [Texte imprimé]] : a Pragmatic Introduction to the Coq Proof Assistant / Adam ChlipalaPublication : Cambridge (Mass.), London : The MIT Press, cop. 2013Description : 1 vol. (XII-424 p.) : couv. ill. en coul. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[CHL] (1).
14. Congrès Compiling and verifying security protocols : tmeme 2, Génie logiciel et calcul symbolique, projet Protheo / Florent Jacquemard, Michaël Rusinowitch, Laurent VigneronPublication : Rocquencourt : INRIA, 2000Description : 25 p. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[2000 BNI:8418] (1).
15. Congrès Computer aided verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28 - July 2, 1998 : proceedings / Alan J. Hu, Moshe Y. Vardi (eds.)Publication : Berlin, London : Springer, c1998Description : ix, 552 p. : ill. ; 24 cmAvailability: Copies available for loan: Centre de recherche en informatique[VAN 98] (1).
16. Congrès Computer aided verification : 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999proceedings / Nicolas Halbwachs, Doron Peled (Eds.)Publication : Berlin, London : Springer, c1999Description : xii, 506 p. : ill. ; 24 cmAvailability: Copies available for loan: Centre de recherche en informatique[TRE 99] (1).
17. Livres Anciens Computer aided verification [] : 25th International conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013 : proceedings / Natasha Sharygina, Helmut Veith (eds.)Publication : Berlin, Heidelberg : Springer, cop. 2013Description : 1 vol. (XXI-1015 p.) : fig., graph., tabl. ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[SAI 13] (1).
18. Articles Computing abstractions of infinite state systems compositionally and automatically [[Texte imprimé]] / S. Bensalem, Y. Lakhnech and S. OwrePublication : Berlin, Heidelberg : Springer, 1998Description : P. 319-331 : Ill. ; 24 cmAvailability: Copies available for loan: Centre de recherche en informatique[VAN 98] (1).
19. Congrès Conception d'un langage de haut niveau de représentation de preuves : récurrence par filtrage de motifs, unification en présence de types inductifs primitifs, synthèse de lemmes d'inversion / Cristina CornesPublication : Paris : Université Paris VII, 1997Description : 269 p. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-2338] (1).
20. Congrès Conference record of POPL 2001 : the 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the Symposium, the Royal Society, London, 17-19 January 2001 / sponsored by the Association for Computing Machinery, Special Interest Group on Algorithms and Computational Theory (SIGACT) [and] Special Interest Group on Programming Languages (SIGPLAN)Publication : New York, N.Y. : The Association, c2001Description : viii, 304 p. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[LON 01] (2).
21. Thèses Construction de modèles réduits et vérification symbolique de circuits industriels décrits au niveau RTL [Texte imprimé] / Emil DumitrescuPublication : [S.l.], [s.n.], 2003Description : 1 vol. (150 p.) : ill. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[03 DUM] (1).
22. Congrès Cooperative parallel automated theorem proving / {A. Wolf, M. Fuchs}Publication : Munich (DEU) : Technische Universität München, 1997Description : 23 p. : Ill. ; 21 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-2323] (1).
23.  Monographies, textes Démonstration automatique [] : techniques de réécriture / Michaël RusinowitchPublication : Paris : InterEditions, 1989, 95-Sarcelles : Impr. des sourcesDescription : 1 vol. (150 p.) : ill. ; 23 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6217] (1).
24. Congrès DEMONSTRATION AUTOMATIQUE DANS LE CALCUL DES CONSTRUCTIONS. / {G. Dowek}Publication : ROCQUENCOURT : INRIA, 1991Description : 01 VOL.,128 P. : 65 RF ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1262] (1).
25. Congrès Démonstration automatique: réfutation par superposition de clauses équationnelles / {L. Fribourg}Publication : Paris : Université Paris VI Pierre & Marie-Curie, 1982Description : 141 p. ; 21 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-2238] (1).

Powered by Koha