Your search returned 1115 results. Subscribe to this search

|
1. Congrès 0(LOG N) AND OPTIMAL PARALLEL BICONNECTIVITY ALGORITHMS. / {U. Vishkin}Publication :S.L. : [s.n.], 1983Description : 01 VOL.,28 P. : RF 14 ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI1816] (1).
2. Congrès A brief study in automating proofs based on a refined hoare-logic / {P. Muller, A. Poetzsch-heffter}Publication :Munich (DEU) : Technische Universität München, 1996Description : 14 p. ; 21 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-2313] (1).
3. Congrès A CALCULUS FOR ACCESS CONTROL IN DISTRIBUTED SYSTEMS. / {M. Abadi, B. Lampson, M. Burrows, G. Plotkin}Publication :s.l. : [s.n.], 1991Description : 01 VOL.,41 P. : 26 RF ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-218] (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. Articles A comparison of Presburger engines for EFSM reachability [[Texte imprimé]] / Thomas R. Shiple, James H. Kukula, Rajeev K. RanjanPublication :Berlin, Heidelberg : Springer, 1998Description : P. 280-292 : Ill. ; 24 cmAvailability: Copies available for loan: Centre de recherche en informatique[VAN 98] (1).
6.  Monographies, textes A compiler generator [] / [by] W. M. McKeeman, J. J. Horning [and] D. B. WortmanPublication :Englewood Cliffs, N.J. : Prentice-Hall, cop. 1970Description : 1 vol. (XI-527 p.) : ill. ; 25 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CA??] (2).
7.  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).
8.  Monographies, textes A computational logic [] / Robert S. Boyer and J Strother MoorePublication :New York : Academic Press, cop. 1979Description : 1 vol. (XIV-397 p.) ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3043] (1).
9. Congrès A definition of efficiency of parallel programs in multi-tasking environments / Thomas SchnekenburgerPublication :München : Technische Universität München, 1993Description : 10 p. : Ill. ; 21 cmAvailability: Copies available for reference: Centre de recherche en informatique[1993 BNI: 8911] (1).
10. 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).
11. 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).
12.  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).
13. Congrès A Logical view of composition / {M. Abadi, G. Plotkin}Publication :s.l. : [s.n.], 1992 Description : 01 VOL.,35 P. : 28 RF ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-872] (1).
14. Articles A LOWER BOUND TO FINDING CONVEX HULLS. [[Texte imprimé]] / {A. Yao}Publication :New York : ACM, 1981Description : P. 780 A 787 : RF 5 ; 26 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI5179] (1).
15. Congrès A model for hierarchical memory [[Texte imprimé]] / {A. Aggarwal, A. Chandra, B. Alpern, M. Snir}Publication :s.l. : S.N., 1989Description : 01 VOL.,24 P. : PR 3 ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6921] (1).
16. Congrès A New Timed Petri Net Model for Loop Scheduling with Resource Constraints / {J. Wang}Publication :S.L. : [s.n.], 1992Description : 25 P., PR 2 ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1111] (1).
17.  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).
18.  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).
19. Congrès A programming language supporting first-class parallel environments / by Suresh JagannathanPublication :Cambridge (MA) : MIT, 1989Description : 200 p. : Ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[1989 JAG] (1).
20. Thèses A propos de systèmes d'équations récurrentes [Microforme] / Yannick SaouterPublication :Grenoble : ANRT [diff.], 1992Description : 1 microficheAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1757] (1).
21. Articles A sieve algorithm for the shortest lattice vector problem / {M. Ajtai, D. Sivakumar, R. Kumar}Publication :New York : ACM, 2001Description : P. 601-610 ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[HER 01] (1).
22. Congrès A Software coherence scheme with the assistance of directories / {Y. Chen, A. Veidenbaum}Publication :S.L. : [s.n.], 1991Description : 01 VOL.,23 P. : 18 RF ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-822] (1).
23. Articles A SURVEY OF TECHNIQUES FOR SYNCHRONISATION AND RECOVERY IN DECENTRALIZED COMPUTER SYSTEMS. [[Texte imprimé]] / {W. Kohler}Publication :New York : ACM, 1981Description : P. 149 A 183 : RF 62 ; 27 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI5079] (1).
24.  Monographies, textes A uniform approach to type theory / Gérard HuetPublication :Le Chesnay, France : Institut National de Recherche en Informatique et en Automatique, 1988Description : 45 p. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3941] (1).
25. Congrès ABOARD AUTO. / {D. Vergamini, D. Simone r.}Publication :ROCQUENCOURT : INRIA, 1989Description : 01 VOL.,24 P. : PR 1 ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6443] (1).

Powered by Koha

//]]>