Your search returned 479 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. Congrès 2nd International workshop on automated program analysis, testing, and verification (WAPATV) : ICSE 2001 workshop 4 / Nigel Tracey, John Penix, Willem C. VisserPublication :1515, Broadway N.Y. 10036, New York : ACM, 2001Description : Pagination aléatoire : Ill. ; 28 cmAvailability: Copies available for loan: Centre de recherche en informatique[TOR 01] (1).
3. Congrès 9th International workshop on program comprehension (IWPC 2001) : proceedings : 12-13 may 2001, Toronto, CanadaPublication :Los Alamitos (CA) : IEEE Computer society, 2001Description : XI-325 p. : Ill. ; 28 cmAvailability: Copies available for loan: Centre de recherche en informatique[TOR 01] (1).
4.  Monographies, textes A calculus of communicating systems [] / Robin MilnerPublication :Berlin, New York : Springer-Verlag, cop. 1980Description : 1 vol. (VI-171 p.) : ill. ; 25 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI1163] (1).
5.  Monographies, textes A Complete machine-checked definition of a simple programming language using denotational semantics / Véronique Donzeau-Gouge, Gilles Kahn, Bernard LangPublication :Rocquencourt : Institut de recherche d'informatique et d'automatique, 1978Description : 31 p. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI2374] (1).
6. Congrès A denotational model for mobile many-to-many data-flow networks / {R. Grosu, K. St¢len}Publication :Munich (DEU) : Technische Universität München, 1996Description : 25 p. : Ill. ; 21 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-2305] (1).
7. Congrès A denotational model for mobile point-to-point dataflow networks / {R. Grosu, K. St¢len}Publication :München : [s.n.], 1995Description : 31 p. : Ill. ; 21 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1852] (1).
8.  Monographies, textes A discipline of programming [] / Edsger W. Dijkstra,...Publication :Englewood Cliffs N.J : Prentice-Hall, cop. 1976Description : 1 vol. (XVII-217 p.) ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI1798] (1).
9. Thèses A formal semantics for the C programming language [ [Texte imprimé]] / Nikolaos S. PapaspyrouPublication :Athens : National Technical university of Athens, 1998Description : 01 vol. (XII-253 p.) ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[98 PAP] (1).
10. Articles A fully-abstract model for the pi-calculus / M.P. Fiori, E. Moggi, D. Sangiorgi : extended abstract [ [Texte imprimé]]Publication :ENSMP, 300740, 1996Description : P. 43-54Availability: Copies available for loan: Bib. Paris[EMP 144.931 CCL.5679] (1).
11.  Monographies, textes A non-interleaving semantics for CCS based on proved transitions = Une sémantique de parallélisme dans CCS basée sur les transitions prouvées / Gérard Boudol & Ilaria CastellaniPublication :Le Chesnay, France : Institut National de Recherche en Informatique et en Automatique, 1988Description : 12, [1] p. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI4992] (1).
12. 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).
13.  Monographies, textes A programming approach to computability [] / A.J. Kfoury, Robert N. Moll, Michael A. ArbibPublication :New York, Berlin, Heidelberg : Springer-Verlag, cop.1982Description : 1 vol. (viii-251 p.) : fig., couv. ill. ; 25 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3363] (1).
14. Articles / Davide SangiorgiA theory of bisimulation for the pi-calculus [ [Texte imprimé]]Publication :ENSMP, 300740, 1996Description : P. 69-97 ; 24 cmAvailability: Copies available for loan: Bib. Paris[EMP 144.967 CCL.1456] (1).
15.  Monographies, textes A theory of objects [] / Martín Abadi, Luca CardelliPublication :New York, Berlin, Paris [etc.] : Springer, cop. 1996Description : 1 vol. (XIII-396 p.) : ill., couv. ill. en coul. ; 25 cmAvailability: Copies available for reference: Centre de Gestion Scientifique[BAH00131] (1).
16. Congrès ABSTRACT INTERPRETATION BY DYNAMIC PARTITIONING. / {F. Bourdoncle}Publication :S.L. : [s.n.], 1992Description : 01 VOL.,32 P. : 14 RF ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-830] (1).
17. Congrès Abstract interpretation frameworks / {P. Cousot}Publication :S.L. : [s.n.], 1992Description : 28 P., 38 RF ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-994] (2).
18. Congrès Abstract interpretation using domain theory / by Flemming NielsonPublication :Edinburgh : University of Edinburgh, 1984Description : 328 p. : Ill. ; 21 cmAvailability: Copies available for reference: Centre de recherche en informatique[84 NIE] (1).
19. Congrès Abstraction de traces en analyse statique et transformations de programmes = Traces abstraction in static analysis and program transformation / Xavier RivalPublication :Paris : Ecole normale supérieure, 2005Description : XII-300 p. : Ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[05 RIV] (1).
20. Congrès Abstracts semantics of synchronous languages : the example Esterel / {M. Broy}Publication :Munich (DEU) : Technische Universität München, 1997Description : 20 p. : Ill. ; 21 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-2316] (1).
21. Congrès ACM Sigplan 2005 : OOPSLA'05 conference proceedings. 20th Annual ACM conference on Object-oriented programming, systems, languages, and applications, OOPSLA'05 San Diego ; ed.: ACMPublication :New York : ACM SIGPLAN, 2005Description : 1 vol. ( XIII-546 p.) : Ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[SAN 05] (1).
22. Congrès ACM SIGPLAN ASIA-PEPM 2002 [Texte imprimé] : the ASIAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation : conference record : papers presented at the symposium, Aizu, Japan, September 12-14, 2002 / sponsored by ACM Special Interest Group on Programming Languages (SIGPLAN) ; supported by the University of AizuPublication :New York, N.Y. : ACM Press, cop. 2002Description : VI-150 p. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[AIZ 02] (1).
23.  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).
24. Articles Advances in Bit Width Selection methodology / {D. Cachera, T. Risset}Publication :Los Alamitos (CA) : IEEE Computer society, 2002Description : P. 381-390 : Ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[SAN 02] (1).
25. Articles AFFINE RELATIONSHIPS AMONG VARIABLES OF A PROGRAM. / {M. Karr}Publication :Berlin, Heidelberg : Springer, 1976Description : P. 133 A 151 : 6 RF ; 24 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI12498] (1).

Powered by Koha

//]]>