Your search returned 10 results. Subscribe to this search

|
1. 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).
2. 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).
3.  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).
4.  Monographies, textes Compilers [] : principles, techniques, and tools / Alfred V. Aho,... Monica S. Lam,... Ravi Sethi,... [et al.]Publication : Boston (Mass.), San Francisco (Calif.), New York [etc.] : Pearson : Addison Wesley, cop. 2007Description : 1 vol. (XXIV-1009 p.) : ill. ; 23 cmAvailability: No copies available Checked out (1).
5.  Monographies, textes Compilers : Principles, Techniques and Tools / Alfred V. Aho, Monica S. Lam, Ravi Sethi,... [et al.]Publication : Edinburg Gate (Harlow, Essex) : Pearson Education Ltd., 2014Description : 1 vol. (942 p.) : ill., fig., couv. ill. en coul. ; 28 cmAvailability: No copies available Checked out (1).
6. 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).
7. Congrès LCTES '16 [] : Proceedings of the 17th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems : Santa Barbara, CA, USA, June 13-14, 2016 / edited by: Tei-Wei Kuo, David B. Whalley ; sponsored by, ACM SIGPLAN & SIGBED, Co-located with: PLDI'16Publication : New York, N.Y. : Association for Computing Machinery, cop. 2016Description : 1 vol. (VI-123 p.) : ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[Sta. BAR 16] (1).
8. Congrès Second International Workshop on Numerical and Symbolic Abstract Domains, NSAD 2010, Perpignan, France, September 13, 2010 [ [Texte imprimé]]Publication : 2010, S.L. : S.N.Description : 1 vol. (V-163 p.) : Ill. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[PER 10] (1). Checked out (1).
9. Congrès Static Analysis, 17th International Symposium, SAS 2010, Perpignan, France, September 2010 [ [Texte imprimé]] ; Eds.: Radhia Cousot, Matthieu MartelPublication : 2010, Berlin : SpringerDescription : 1 vol. (XI-471 p.) ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[PER 10] (1).
10. Congrès Verification, model checking, and abstract interpretation [ [Texte imprimé]] : 15th international conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014 : proceedings ; Kenneth L. McMillan, Xavier Rival (eds.)Publication : Berlin : Springer, cop. 2014Description : 1 vol. (XVII-491 p.) : ill. ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[DIE 14] (1).

Powered by Koha