Your search returned 74 results. Subscribe to this search

|
26. 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).
27. 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).
28. 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).
29. 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).
30. Congrès Computer Aided Verification [ [Texte imprimé]] : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings ; Werner Damm, Holger Hermanns (eds.)Publication : Berlin, Heidelberg, New York [etc.] : Springer, 2007Description : 1 vol. (XV-562 p.) ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[BER 07] (1).
31. 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).
32. 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).
33. 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).
34. Congrès Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, (CA), USA, July 18-24, 2015 : Proceedings, Part II ; Daniel Kroening, Corina S. Păsăreanu (eds.)Publication : Berlin, Heidelberg : Springer, cop. 2015Description : 1 vol. (XVIII-469 p.) : fig., graph., tabl. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[SAN FRA 15] (1).
35. 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).
36. 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).
37. Congrès Intelligent agents [Texte imprimé] : ECAI-94 Workshop on Agent Theories, Architectures, and Languages, Amsterdam, the Netherlands, August 8-9, 1994 : proceedings / Michael J. Wooldridge, Nicholas R. JenningsPublication : Berlin, New York : Springer-Verlag, cop. 1995Description : 1 vol. (VIII-407 p.) ; 24 cmAvailability: Copies available for loan: Sophia Antipolis[EMS 110-E/N 3743] (1).
38.  Monographies, textes Interacting code motion transformations : their impact and their complexity / Oliver RüthingPublication : Berlin, New York : Springer, c1998Description : p. cm.Availability: Copies available for reference: Centre de recherche en informatique[RUT] (1).
39. Congrès Language, compilers, and run-time systems for scalable computers : 4th International Workshop, LCR'98, Pittsburgh, PA, USA, May 1998 : selected papers / David O'Hallaron, (ed.)Publication : New York : Springer, 1998Description : p. cm.Availability: Copies available for reference: Centre de recherche en informatique[PIT 98] (1).
40. Congrès Languages and compilers for parallel computing : 5th international workshop, New Haven, Connecticut, USA, August 3-5, 1992 : proceedings / U. Banerjee ... [et al.], (eds)Publication : Berlin, New York : Springer-Ver;ag, 1993Description : x, 576 p. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1430] (1).
41. Congrès Languages and compilers for parallel computing : 8th international workshop, LCPC ʹ95, Columbus, Ohio, USA, August 1995 : proceedings / C.- H. Huang ... [et al.] (eds.)Publication : Berlin, New York : Springer, c1996Description : p. cm.Availability: Copies available for reference: Centre de recherche en informatique[COL 95] (2).
42. Congrès Languages and compilers for parallel computing : 9th international workshop, LCPC'96, San Jose, California, USA, August 1996 : proceedings / David Sehr... [et al.] (eds.)Publication : Berlin, New York : Springer, 1997Description : xiii, 612 p. : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI 200-2169] (2).
43. Congrès Languages and compilers for parallel computing : 10th international workshop, LCPC'97, Minneapolis, Minnesota, USA, August 7-9, 1997 : proceedings / Zhiyuan Li ... [et al.], (eds.)Publication : Berlin, Paris, Heidelberg : Springer, c1998Description : xii, 428 p. : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[MIN-97] (1).
44. Congrès Languages and compilers for parallel computing : 12th International Workshop, LCPC '99, La Jolla, CA, USA, August 4-6, 1999proceedings / Larry Carter, Jeanne Ferrante (eds.)Publication : Berlin, London : Springer, c2000Description : xii, 500 p. : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[SAN 99] (1).
45. Congrès Languages and compilers for parallel computing [Texte imprimé] : 13th international workshop, LCPC 2000, Yorktown Heights, NY, USA, August 10-12, 2000 : revised papers / S.P. Midkiff ... [et al.] (eds.)Publication : Berlin : Springer, cop. 2001Description : IX-381 p. ; 24cmAvailability: Copies available for loan: Centre de recherche en informatique[YOR 00] (1).
46. Congrès Languages and compilers for parallel computing [Texte imprimé] : 16th international workshop, LCPC 2003, College Station, TX, USA, October 2-4, 2003 : revised papers / Lawrence Rauchwerger (ed.)Publication : Berlin : Springer, cop. 2004Description : XI-556 p. : ill., fig., tab. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[COL 03] (1).
47.  Monographies, textes Languages and compilers for parallel computing [Texte imprimé] : 23rd international workshop, LCPC 2010, Houston, TX, USA, October 7-9, 2010 : revised selected papers / Keith Cooper, John Mellor-Crummey, Vivek Sarkar (eds.)Publication : Berlin : Springer, cop. 2011Description : 1 vol. (X-278 p.) ; 24 cmAvailability: Copies available for loan: Centre de recherche en informatique[HOU 10] (1).
48. Congrès Languages and compilers for parallel computing [ [Texte imprimé]] : 24rd international workshop, LCPC 2011, Fort Collins, CO, USA, Septmber 8-10, 2011 : revised selected papers ; Sanjay Rajopadhye, Michelle Mills Strout (eds.)Publication : Berlin : Springer, cop. 2013Description : 1 vol. (X-298 p.) ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[FOR 11] (1).
49. Livres Anciens Languages and compilers for parallel computing [] : 25th International workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012 : revised selected papers / Hironori Kasahara / Keiji Kimura (eds.)Publication : Berlin : Springer, cop. 2013Description : 1 vol. (XI-276 p.) : ill. ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[TOK 12] (1).
50. Congrès Languages and Compilers for Parallel Computing : 27th International Workshop, LCPC 2014, Hillsboro, OR,USA, September 15-17, 2014 : Revised Selected Papers / James Brodman, Peng Tu (eds.)Publication : Berlin : Springer, cop. 2015Description : 1 vol. (IX-398 p.) : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[HIL 14] (1).

Powered by Koha