Your search returned 62 results. Subscribe to this search

|
1. Articles A practical automatic polyhedral parallelizer and locality optimizer : PLDI'08. Proceedings of the 2008 SIGPLAN conference on Programming language design & implementation / by Uday Bondhugula, Albert Hartono, J. Ramanujam (et al.)Publication : New York : ACM, 2008Description : p. 101 à 113 : Ill. ; 28 cmAvailability: Copies available for loan: Centre de recherche en informatique[TUC 08] (1).
2. Congrès AAMAS 2004 [Ressource électronique] : the third International Joint Conference on Autonomous Agents and Multi Agent Systems, New York, New York, USAPublication : New York, NY : ACM Press, cop. 2004Description : 1 CD-ROM$d4 3/4 inAvailability: No copies available Checked out (1).
3. Thèses Algorithmique de la vérification des systèmes à compteurs [Texte imprimé] : approximation et accélération, implémentation de l'outil FAST / par Jérôme Leroux ; [sous la dir. de Alain Finkel]Publication : [S.l.] : [s.n.], 2003Description : 207 p. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[03 LER] (1).
4. Congrès Applications du Model-Checking à des problèmes de vérification de systèmes sur puce / par Manuel BacletPublication : Cachan : Ecole normale supérieure de Cachan, 2005Description : 1 vol. (161 p.) : Ill. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[05 BAC] (1).
5. Congrès ASE 2002 : 17th IEEE International conference on automated software engineering : proceedings : 23-27 september 2002, Edinburgh, UKPublication : Los Alamitos (CA) : IEEE Computer society, 2002Description : XIII-320 p. : Ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[EDI 02] (1).
6. 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).
7. Congrès Automated technology for verification and analysis [Texte imprimé] : Third international symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 : proceedings / Doron A. Peled, Yih-Kuen Tsay (Eds.)Publication : Berlin, New York, NY : Springer, cop. 2005Description : 1 vol. (XII-506 p.) : ill. ; 24 cmAvailability: Copies available for loan: Centre de recherche en informatique[TAI 05] (1).
8. 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).
9. Congrès CCS 2004 [Texte imprimé] : Proceedings of the 11th ACM Conference on Computer and Communications Security : Washington, DC, USA, Oct. 25-29, 2004 / Ed. by Birgit Pfitzmann & Peng Liu ; Sponsored by ACM SIGSAC, ...Publication : New York : Association for Computing Machinery, cop. 2004Description : X-366 p. : ill. ; 28 cmAvailability: Copies available for loan: Centre de recherche en informatique[WAS 04] (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é] : 21st international conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009 : proceedings / Ahmed Bouajjani, Oded Maler (eds.)Publication : Berlin, New York : Springer, cop. 2009Description : 1 vol. (XV-722 p.) : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[GRE 09] (1).
12. Congrès Computer aided verification [] : 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings / Gérard Berry, Hubert Comon, Alain Finkel (eds.)Publication : Berlin : Springer, cop. 2001Description : 1 vol. (XIII-520 p.) : ill. ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[PAR 01] (1).
13. Congrès Computer aided verification [ [Texte imprimé]] : 15th international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings ; Warren A. Hunt, Jr., Fabio Somenzi (eds.)Publication : Berlin, New York : Springer, cop. 2003Description : 1 vol. (XII-462 p.) ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[BOU 03] (1).
14. Congrès Computer aided verification [ [Texte imprimé]] : 16th international conference, CAV 2004, Boston, MA, USA, July 13-17, 2004proceedings ; Rajeev Alur, Doron A. Peled (eds.)Publication : Berlin, New York : Springer, cop. 2004Description : 1 vol. (XII-536 p.) : Ill. ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[BOS 04] (1).
15. Congrès Computer aided verification [ [Texte imprimé]] : 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings ; Kousha Etessami, Sriram Rajamani (Eds.)Publication : Berlin, New York, NY : Springer, 2005Description : 1 vol. (XV-564 p.) ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[EDI 05] (1).
16. 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).
17. 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).
18. 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).
19. 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).
20. Congrès Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, (CA), USA, July 18-24, 2015 : Proceedings, Part I ; Daniel Kroening, Corina S. Păsăreanu (eds.)Publication : Berlin, Heidelberg : Springer, cop. 2015Description : 1 vol. (XXIII-477 p.) : fig., graph., tabl. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[SAN FRA 15] (1).
21. Congrès Computer Aided Verification : 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014. Vienna, Austria, July 18-22, 2014 : Proceedings ; Armin Biere, Roderick Bloem (eds.)Publication : Berlin, Heidelberg : Springer, cop. 2014Description : 1 vol. (XVIII-877 p.) : fig., graph., tabl. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[VIE 14] (1).
22. Congrès Conference record of POPL 2002 [Texte imprimé] : the 29th ACM SIGPLAN-SIGACT symposium on principles of programming languages : papers presented at the Symposium, Portland, Oregon, 16-18 January 2002Set Level : , SIGPLAN notices, 37, no. 1Publication : New York, N.Y. : Association for computing machinery, 2002Description : VIII-343 p. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[POR 02] (1).
23. Congrès Conference record of POPL 2005 : the 32nd ACM SIGPLAN-SIGACT symposium on principles of programming languages (POPL'05) : january 12-14, 2005, Long Beach, California, USA : papers presented at the symposium / Martin Abadi, POPL'05 program chairPublication : New York : ACM Press, 2005Description : VIII-394 p. : Ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[LON 05] (2).
24. Congrès Design automation conference : proceedings / 37th DAC, Los Angeles, CA, June 5-9, 2000 ; sp. by ACM SIGDA, IEEE circuits and systems society, EDA consortiumPublication : Piscataway, NJ : IEEE, 2000Description : XXXII-819 p. ; 28 cm + 1 cédéromAvailability: Copies available for reference: Centre de recherche en informatique[LOS 00] (1).
25. Congrès Formal approaches to software testing : Third international workshop on formal approaches to testing of software, FATES 2003, Montreal, Quebec, Canada, october 2003 : revised papers / Alexandre Petrenko, Andreas Ulrich (Eds.)Publication : Berlin, Heidelberg : Springer, 2004Description : VIII-266 p. : Ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[MON 03] (1).

Powered by Koha