Your search returned 72 results. Subscribe to this search

|
1.  Monographies, textes Advanced symbolic analysis for compilers [] : new techniques and algorithms for symbolic program analysis and optimization / Thomas Fahringer, Bernhard ScholzPublication : Berlin, New York : Springer, cop. 2003Description : XII-129 p. ; 24 cmAvailability: No copies available Checked out (1).
2. Congrès Compiler construction [Texte imprimé] : 5th International Conference, CC '94, Edinburgh, U.K., April 7-9, 1994 : proceedings / Peter A. Fritzson, edPublication : Berlin, New York : Springer-Verlag, cop.1994Description : 1 vol. (xi, 449 p.) ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1552] (1).
3. Congrès Compiler construction : 6th International Conference, CC'96, Linköping, Sweden, April, 1996 : proceedings / Tibor Gyimóthy, edPublication : Berlin, New York : Springer, c1996Description : X-355 p. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1801] (1).
4. Congrès Compiler construction : 7th International Conference, CC '98, held as part of the European Joint Conferences on the Theory and Practice of Software, ETAPS '98, Lisboa, Portugal, March 28-April 4, 1998 : proceedings / Kai Koskimies, edPublication : New York : Springer, 1998Description : p. cm.Availability: Copies available for reference: Centre de recherche en informatique[LIS-98] (1).
5. Congrès Compiler construction : 8th International Conference, CC'99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings / Stefan Jähnichen, edPublication : New York : Springer-Verlag, 1999Description : x, 299 p. : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[AMS 99] (1).
6. Congrès Compiler construction : 10th International Conference, CC 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy,April 2-6, 2001 : proceedings / Reinhard Wilhelm (ed.)Publication : New York : Springer, 2001Description : xi, 370 p. : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[GEN 01] (1).
7. Congrès Compiler construction [Texte imprimé] : 11th International Conference, CC 2002 held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : Proceedings / R. Nigel Horspool (ed.)Publication : Berlin, New York : Springer, cop. 2002Description : XI-341 p. : fig. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[GRE 02] (1).
8. Congrès Compiler construction [Texte imprimé] : 12th international conference, CC 2003 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings / Görel Hedin (ed.)Publication : Berlin, New York : Springer, cop. 2003Description : XII-334 p. ; 24 cmAvailability: Copies available for loan: Centre de recherche en informatique[WAR 03] (1).
9. Congrès Compiler construction [Texte imprimé] : 15th international conference, CC 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006 : proceedings / Alan Mycroft, Andreas Zeller (eds.)Publication : Berlin, New York : Springer, cop. 2006Description : 1 vol. (XIII-276 p.) : ill. ; 24 cmAvailability: Copies available for loan: Centre de recherche en informatique[VIE 06] (1).
10. Congrès Compiler Construction [] : 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2009, York, Uk, March 22-29, 2009 : Proceedings / Oege de Moor, Michael I. Schwartzbach (Eds.)Publication : Berlin : Springer, cop. 2009Description : 1 vol. (XII-280 p.) : ill. ; 24 cmAvailability: Copies available for loan: Centre de recherche en informatique[YOR 09] (1).
11. Congrès Compiler construction [ [Texte imprimé]] : 13th international conference, CC 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings / Evelyn Duesterwald (ed.)Publication : Berlin, New York : Springer, cop. 2004Description : 1 vol. (X-313 p.) ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[BAR 04] (1).
12. Congrès Compiler construction [ [Texte imprimé]] : 17th international conference, CC 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings ; Laurie Hendren (Ed.)Publication : Berlin, New York : Springer, 2008Description : 1 vol. (XII-306 p.) : ill. ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[BUD 08] (1).
13. Congrès Compiler construction [ [Texte imprimé]] : 19th international conference, CC 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings ; Rajiv Gupta (ed.)Publication : Berlin : Springer, 2010Description : 1 vol. (XII-323 p.) : ill. ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[PAP 10] (1).
14. Congrès Compiler construction [ [Texte imprimé]] : 20th international conference, CC 2011, held as part of the joint european conferences on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011 : proceedings ; Jens Knoop (ed.) Publication : Berlin : Springer, cop. 2011Description : 1 vol. (XII-305 p.) : fig., graph., tabl. ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[SAR 11] (1).
15. Congrès Compiler construction [ [Texte imprimé]] : 21th international conference, CC 2012, held as part of the joint european conferences on Theory and practice of software, ETAPS 2012, Tallin, Estonia, March 24-April 1, 2012 : proceedings ; Michael O'Boyle (ed.)Publication : Berlin : Springer, cop. 2012Description : 1 vol. (XVI-243 p.) : fig., graph., tabl. ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[TAL 12] (1).
16.  Monographies, textes Compiler construction [] : 22th international conference, CC 2013, held as part of the joint european conferences on Theory and practice of software, ETAPS 2013, Rome, Italy March 16-24, 2013 : proceedings / Ranjit Jhala, Koen De Bosschere (ed.)Publication : Berlin : Springer, cop. 2012Description : 1 vol. (XVI-243 p.) : fig., graph., tabl. ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[ROM 13] (1).
17. Congrès Compiler construction [] : 23th international conference, CC 2014, held as part of the joint european conferences on Theory and practice of software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : proceedings / Albert Cohen (ed.)Publication : Berlin : Springer, cop. 2014Description : 1 vol. (XII-249 p.) : fig., graph., tabl. ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[GRE 14] (1).
18. Congrès Compiler construction : 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015 : Proceedings / Björn Franke (ed.)Publication : Berlin : Springer, cop. 2015Description : 1 vol. (XII-253 p.) : fig., graph., tabl. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[LON 15] (1).
19. 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).
20. 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).
21. 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).
22. 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).
23. Congrès Computer aided verification : 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000proceedings [ [Texte imprimé]] ; E. Allen Emerson, A. Prasad Sistla (eds.)Publication : Berlin, London : Springer, c2000Description : 1 vol. (X, 582 p.) : ill. ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[CHI 00] (1).
24. 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).
25. 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).

Powered by Koha