Your search returned 68 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 ABSTRACT INTERPRETATION AND THE PARALLEL EVALUATION OF FUNCTIONAL LANGUAGES. / {G. Burn}Publication :S.L. : [s.n.], 1987Description : 01 VOL.,138 P. : PR 5 ; MC CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6346] (1).
3. Congrès ABSTRACT INTERPRETATION BY DYNAMIC PARTITIONING. / {F. Bourdoncle}Publication :S.L. : [s.n.], 1992Description : 01 VOL.,32 P. : 14 RF ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-830] (1).
4. Congrès Abstract interpretation using domain theory / by Flemming NielsonPublication :Edinburgh : University of Edinburgh, 1984Description : 328 p. : Ill. ; 21 cmAvailability: Copies available for reference: Centre de recherche en informatique[84 NIE] (1).
5. Thèses Accélération abstraite pour l'amélioration de la précision en Analyse des Relations Linéaires [ [Texte imprimé]] / Laure Gonnord Danthony ; sous la direction de: Nicolas HalbwachsPublication :Grenoble : Université Joseph Fourier, 2007Description : 1 vol. (145 p.) : ill. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[07 GON] (1).
6. Congrès ACM Sigplan workshop on partial evaluation and semantic-based program manipulation (PEPM'92) : Fairmont hotel, San Francisco, CA, USA, june 19-20, 1992Publication :New Haven (CT) : Yale university, 1992Description : IV-121 p. : Ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[SAN 92] (1).
7. Thèses Analyse des systèmes mobiles par interprétation abstraite [Texte imprimé] / par Jérôme Feret ; sous la direction de [non précisé : le formulaire indique : sous la direction de "Jérôme Feret"]Publication :[S.l.] : [s.n.], 2005Description : 1 vol. (372 p.) ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[2005 FER] (1).
8. Thèses Analyse statique de programmes Java [et] application à la parallélisation [Texte imprimé] / par Romain Guider ; dir. Isabelle Attali [et] Denis CaromelPublication :[S.l.] : [s.n.], 2000Description : 186 p. ; 30cmAvailability: Copies available for reference: Centre de recherche en informatique[2000 GUI] (1).
9. Congrès Automated technology for verification and analysis [ [Texte imprimé]] ; edited by: Zhiming Liu, Anders P. Ravn : 7th International symposium, ATVA 2009 Macao, China, october 14-16, 2009. ProceedingsPublication :Berlin, Heidelberg : Springer, 2009Description : 1 vol. (XI-414 p.) : Ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[MAC 09] (1).
10. Congrès Computer aided verification [Texte imprimé] : 20th international conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008 : proceedings / Aarti Gupta, Sharad Malik (Eds.)Publication :Berlin, New York : Springer, cop. 2008Description : 1 vol. (XVII-558 p.) : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[PRI 08] (1).
11. Congrès Computer aided verification [ [Texte imprimé]] : 18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings ; Thomas Ball, Robert B. Jones (eds.)Publication :Berlin, New York : Springer, 2006Description : 1 vol. (XV-564 p.) : ill. ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[SEA 06] (1).
12. Congrès Computer aided verification [ [Texte imprimé]] : 22nd International conference, CAV 2010, Edinburgh, UK, July 15-19, 2010 : proceedings ; Tayssir Touili, Byron Cook, Paul Jackson (eds.)Publication :Berlin, New York : Springer, cop. 2010Description : 1 vol. (XVI-676 p.) : ill. ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[EDI 10] (1).
13. Livres Anciens Computer aided verification [] : 24th International conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 : proceedings / P. Madhusudan, Sanjit A. Seshia (eds.)Publication :Berlin, Heidelberg : Springer, cop. 2012Description : 1 vol. (XVI-789 p.) : fig., graph., tabl. ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[BER 12] (1).
14. Congrès DEPENDENCE-BASED REPRESENTATIONS FOR PRGRAMS WITH REFERENCE VARIABLES. / {P. Pfeiffer}Publication :S.L. : [s.n.], 1991Description : 01 VOL.,195 P. : PR 14 ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-740] (1).
15. Thèses Domaines numériques abstraits faiblement relationnels [Texte imprimé] / par Antoine Miné ; sous la direction de Patrick CousotPublication :[S.l.] : [s.n.], 2004Description : 1 vol. (322 p.) ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[04 MIN] (1).
16. Articles Dynamic partitioning in analyses of numerical properties [[Texte imprimé]] / Bertrand Jeannet, Nicolas Halbwachs, and Pascal RaymondPublication :Berlin, Heidelberg : Springer, 1999Description : P. 39-50 : Ill. ; 24 cmAvailability: Copies available for loan: Centre de recherche en informatique[VEN 99] (1).
17. Thèses Formal specification and analysis of security protocols / Kamel AdiPublication :Québec (CAN) : Université Laval, 2002Description : X-214 p. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[02 ADI] (1).
18. Congrès FUNCTIONAL PROGRAMMING. / {P. Harrison, A. Field}Publication :READING : Addison-Wesley, 1989Description : 01 VOL.,616 P. : PR 6 ; 25 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6196] (1).
19. Congrès ICFP '14 : Proceedings of the 2014 ACM SIGPLAN International Conference on Functional Programming : September 1-3, 2014, Gothenburg, Sweden ; sponsored by ACM SIGPLANPublication :New York : Association for Computing Machinery, 2014Description : 1 vol. (XII-469 p.) : ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[GOT 14] (1).
20. Congrès ICFP '16 : Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming : September 18-24, 2016, Nara, Japan ; edited by: Jacques Garrigue, Gabriele Keller, Eijiro Sumii ; sponsored by ACM SIGPLANPublication :New York : Association for Computing Machinery, 2016Description : 1 vol. (XII-502 p.) : ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[NAR 16] (1).
21. Articles Multiple counters automata, safety analysis and Presburger arithmetic [[Texte imprimé]] / Hubert Comon and Yan JurskiPublication :Berlin, Heidelberg : Springer, 1998Description : P. 268-279 : Ill. ; 24 cmAvailability: Copies available for loan: Centre de recherche en informatique[VAN 98] (1).
22. Congrès Partial evaluation and semantics-based program manipulationPublication :New York : ACM SIGPLAN, 1995Description : 263 P., X RF ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1700] (1).
23. Congrès PLDI'08 : proceedings of the 2008 ACM SIGPLAN conference on programming language design and implementation [ [Texte imprimé]]Publication :New York : Association for computing machinery, 2008Description : 1 vol. (XII-383 p.) : Ill. ; 28 cmAvailability: Copies available for loan: Centre de recherche en informatique[TUC 08] (1).
24. Congrès PLDI'09 : proceedings of the 2009 ACM SIGPLAN conference on programming language design and implementation [ [Texte imprimé]]Publication :New York : Association for computing machinery, 2009Description : 1 vol. (X-427 p.) : Ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[DUB 09] (2).
25. Congrès PLDI 2006 : proceedings of the 2006 ACM SIGPLAN conference on programming language design and implementationPublication :New York : ACM SIGPLAN, 2006Description : 1 vol. (X-427 p.) : Ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[OTT 06] (2).

Powered by Koha