Your search returned 66 results. Subscribe to this search

|
1. Congrès 20 Years of the ACM SIGPLAN conference on programming language design and implementation : 1979-1999 : a selection / ed. by Kathryn S. McKinleyPublication :New York : ACM Press, 2004Description : XI-672 p. : Ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI21452] (2).
2. Articles A callgraph-based search strategy for automated performance diagnosis / {B. Miller, H. Cain, B. Wylie}Publication :Berlin, Heidelberg : Springer, 2000Description : P. 108-122 : Ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[MUN 00] (1).
3. Thèses ANALYSE SEMANTIQUE DE STRUCTURES DE DONNEES DYNAMIQUES AVEC APPLICATION AU CAS PARTICULIER DE LANGAGES LISPIENS / JAN STRANSKY ; SOUS LA DIRECTION DE PATRICK COUSOTPublication :[S.l.] : [s.n.], 1988Description : 127 P. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-690] (2).
4. Congrès ANALYSIS OF C PROGRAMS FOR PARALLELIZATION IN THE PRESENCE OF POINTERS. / {V. Guarna}Publication :S.L. : [s.n.], 1987Description : 01 VOL.,92 P. : PR 3 ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6949] (1).
5. Congrès ANALYSIS OF POINTERS AND STRUCTURES. / {D. Chase, F. Zadeck, M. Wegman}Publication :S.L. : [s.n.], 1990Description : 01 VOL.,16 P. : 33 RF ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-009] (1).
6. 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).
7. 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).
8. 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).
9. 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).
10. 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).
11. 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).
12.  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).
13.  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).
14. 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).
15. 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).
16. 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).
17. 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).
18. 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).
19. Congrès Conference proceedings of the 2002 International Conference on Supercomputing [Texte imprimé] : June 22-26, 2002, Columbia University, New York, New York, USA / sponsored by the Association for Computing Machinery, Special Interest Group on Computer Architecure (SIGARCH)Publication :New York, NY : Association for Computing Machinery, cop. 2002Description : X-328 p. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[NEW 02] (2).
20. 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).
21. Congrès Conference record of POPL 2006 : the 33rd ACM SIGPLAN-SIGACT symposium on principles of programming languages. Papers presented at the symposium ; foreword: Simon Peyton jonesPublication :New York : ACM Press, 2006Description : 1 vol. (X-422 p.) : Ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[CHA 06] (1).
22. Congrès CPC'98,seventh international workshop on compilers for parallel computers : Linköping, Sweden, June 29-July 1 1998 : proceedings / of an International Workshop ; ed. by Peter FritzsonPublication :Linkoping (SWE) : UniTryck, 1998Description : 295 p. : Ill. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-2443] (1).
23. Articles Demand-driven pointer analysis [[Texte imprimé]] / Nevin Heintze, Olivier TardieuPublication :New York : ACM Press, 2001Description : P. 24-34 : Ill. ; 28 cmAvailability: Copies available for loan: Centre de recherche en informatique[SNO 01] (1).
24. Articles Dimensions of precision in reference analysis of object-oriented programming languages [[Texte imprimé]] / {B. Ryder}Publication :Berlin, Heidelberg : Springer, 2003Description : P. 126-137 : Ill. ; 24 cmAvailability: Copies available for loan: Centre de recherche en informatique[WAR 03] (1).
25. Congrès Efficient, context-sensitive pointer analysis for C programs / {R. Wilson}Publication :Stanford (CA) : STANFORD UNIVERSITY, 1997Description : XVIII-196 p. : Ill. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[97-WIL] (1).

Powered by Koha