Your search returned 26 results. Subscribe to this search

|
1.  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).
2. 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).
3. Congrès ANALYSIS (THE) OF ALGORITHMS. / {C. Brown, P. Purdom}Publication :NEW-YORK : HOLT RINEHART AND WINSTON, 1985Description : 01 VOL.,555 P. : 141 RF ; 24 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6223] (1).
4.  Monographies, textes Calculabilité et décidabilité [] : une introduction / J.-M. Autebert,...Publication :Paris, Milan, Barcelone [etc] : Masson, DL 1992, 58-Clamecy : Impr. LaballeryDescription : 1 vol. (118 p.) : ill. ; 24 cmAvailability: Copies available for loan: Bib. Paris[003.3 AUT c] (1).
5. Cinq conférences sur l'indécidabilité [Texte imprimé] / Nicolas Bouleau, Jean-Yves Girard, Alain LouveauPublication :Paris : Presses de l'École nationale des Ponts et chaussées, impr. 1983Description : 1 vol. (77 p.) ; 24 cmAvailability: Copies available for loan: Bib. Paris[EMP STS 3314] (1). Copies available for reference: Bib. Evry[EMC 2889] (1), Centre de Gestion Scientifique[BAH00365] (1).
6. 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).
7. Congrès DECIDABILITY AND EXPRESSIVENESS FOR FIRST-ORDER LOGICS OF PROBABILITY / {M. Abadi, J. Halpern}Publication :s.l. : [s.n.], 1991Description : 01 VOL.,39 P. : PR 3 ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-412] (1).
8. Congrès ENUMERABILITY.DECIDABILITY COMPUTABILITY AN INTRODUCTION TO THE THEORY OF RECURSIVE FUNCTIONS. / {H. Hermes}Publication :Berlin, Heidelberg : Springer, 1965Description : 01 VOL.,255 P. : RF X ; 24 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CC0016] (1).
9. Articles EQUATION (UNE) DIFFICILE. [[Texte imprimé]] / {J. Delahaye}Publication :s.l. : [s.n.], 1988Description : 1 VOL. (12 P.) ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6177] (1).
10.  Monographies, textes Fonctions récursives [] / par Andrzej Grzegorczyk,...Translation of : Zagadnienia rozstrygalnościPublication :Paris : Gauthier-Villars, Louvain : E. Nauwelaerts, 1961Description : 1 vol. (100 p.) ; 25 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CC0598] (1).
11.  Monographies, textes Gems of theoretical computer science / Uwe Schöning, Randall Pruim ; [translated from the German by Randall Pruim]Publication :Berlin, New York : Springer, c1998Description : x, 320 p. : ill. ; 25 cmAvailability: Copies available for loan: Centre de recherche en informatique[SCH] (1).
12.  Monographies, textes Hilbert's tenth problem [] / Yuri V. Matiyasevich ; with a foreword by Martin DavisTranslation of : Desyataya problema GilʹbertaPublication :Cambridge (Mass.), London : MIT Press, cop.1993Description : 1 vol. (XXII-264 p.) ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1478] (1).
13.  Monographies, textes Intelligence artificielle [ [Texte imprimé]] : résolution de problèmes par l'homme et la machine / {J. Lauriere}Publication :Paris : Eyrolles, 1986Description : 473 p. ; 24 cmAvailability: Copies available for loan: Bib. Paris[EMP 107.686] (1). Copies available for reference: Centre de Morphologie Mathématique[L-876] (1), Centre de recherche en informatique[EM AI CI3590] (2).
14.  Monographies, textes Introduction à la calculabilité [] / Pierre Wolper,...Publication :Paris : InterÉditions, cop.1991, Impr. en BelgiqueDescription : 1 vol. (268 p.) : ill., couv. ill. en cou. ; 23 cmAvailability: Copies available for loan: Bib. Paris[EMP 109.996] (1). Copies available for reference: Centre de recherche en informatique[EM AI CI200-504] (1).
15.  Monographies, textes Introduction to automata theory, languages, and computation [] / John E. Hopcroft, ... Jeffrey D. Ullman, ...Publication :Reading, Mass., London, Amsterdam [etc.] : Addison-Wesley, cop. 1979Description : 1 vol. (X-418 p.) : fig. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI1231] (1).
16.  Monographies, textes Introduction to the theory of computation [] / Michael Sipser,...Publication :Boston (Mass.), London, Paris [etc.] : PWS Publ., cop. 1997Description : 1 vol. (XV-396 p.) : ill. ; 25 cmAvailability: Copies available for loan: Centre de recherche en informatique[SIP] (1).
17.  Monographies, textes Languages and machines : an introduction to the theory of computer science / Thomas A. SudkampPublication :Reading, Mass. : Addison-Wesley, 1994, c1988Description : xv, 444 p. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6641] (1).
18. Congrès LOGIQUE ET INFORMATIQUE : UNE INTRODUCTION.Publication :ROCQUENCOURT : INRIA, 1991Description : 01 VOL.,262 P. : X RF ; 24 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-306] (1).
19.  Monographies, textes Logique, réduction, résolution [] / René Lalement,... ; préf. de Michel DemazurePublication :Paris, Milan, Barcelone [etc.] : Masson, 1990, 61-Alençon : Normandie impr.Description : 1 vol. (xii-370 p.) : ill., couv. ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-062] (1), Sophia Antipolis[EMS 110-C/N 2843] (1).
20. Thèses Logiques du temps arborescent pour la spécification et la preuve de programmes / Susanne GrafPublication :[S.l.], [1984]Description : pagination multiple [131] p ; 21 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI3019] (1).
21. Congrès MONADIC (THE) 2ND-ORDER LOGIC OF GRAPHS,IV : EVERY EQUATIONAL GRAPH IS DEFINABLE. / {B. Courcelle}Publication :S.L. : [s.n.], 1988Description : 01 VOL.,84 P. : 17 RF ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6314] (1).
22. Congrès ON SOME SETS OF COUNTABLE GRAPHS HAVING A DECIDABLE MONADIC SECOND-ORDER THEORY. / {B. Courcelle}Publication :S.L. : [s.n.], 1987Description : 01 VOL.,43 P. : 19 RF ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6315] (1).
23.  Monographies, textes Recursive function theory and logic [] / Ann Yasuhara,...Publication :New York, London : Academic Press, cop. 1971Description : 1 vol. (XV-338 p.) ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI0942] (1).
24. Congrès SENTENCES UNDECIDABLE IN FORMALIZED ARITHMETIC. AN EXPOSITION OF THE THEORY OF KURT GOEDEL. / {A. Mostowski}Publication :AMSTERDAM : NORTH-HOLLAND, 1964Description : 01 VOL.,125 P. : RF 25 ; 22 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CC0216] (1).
25.  Monographies, textes Les séries rationnelles et leurs langages [] / J. Berstel,...C. Reutenauer,...Publication :Paris, New York, Barcelone [etc.] : Masson, cop. 1984, 05-Gap : Impr. Louis-JeanDescription : 1 vol. (132 p.) : couv. ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI2829] (1).

Powered by Koha

//]]>