Résultats de "Recursion"

Résultats de "Recursion" Résultat(s) 1 - 50 résultats de 109 Laminas_Feed_Writer 2 (https://getlaminas.org) https://catalogue.univ-orleans.fr/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22Recursion%22&type=Subject&lng=fr 109 0 50 Mathematical foundations of programming Thu, 19 Feb 2026 08:59:00 +0000 https://catalogue.univ-orleans.fr/Record/414857 https://catalogue.univ-orleans.fr/Record/414857 Beckman, Frank S., 1921-2009 Livre papier 1980 Beckman, Frank S., 1921-2009 0 Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus Thu, 19 Feb 2026 08:56:51 +0000 https://catalogue.univ-orleans.fr/Record/381803 https://catalogue.univ-orleans.fr/Record/381803 Goodstein, Reuben Louis, 1912-1985 Livre papier 1964 Goodstein, Reuben Louis, 1912-1985 0 Logique mathématique. Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices corrigés Thu, 19 Feb 2026 08:56:51 +0000 https://catalogue.univ-orleans.fr/Record/381798 https://catalogue.univ-orleans.fr/Record/381798 Cori, René, 1949-...., mathématicien Livre papier 2003 Cori, René, 1949-...., mathématicien 0 Degrees of unsolvability Thu, 19 Feb 2026 08:56:45 +0000 https://catalogue.univ-orleans.fr/Record/380751 https://catalogue.univ-orleans.fr/Record/380751 Sacks, Gerald, 1933-2019 Livre papier 1966 Sacks, Gerald, 1933-2019 0 Fibonacci and related number theoretic tables Thu, 19 Feb 2026 08:56:44 +0000 https://catalogue.univ-orleans.fr/Record/380368 https://catalogue.univ-orleans.fr/Record/380368 Livre papier 1972 0 Computability Thu, 19 Feb 2026 08:56:40 +0000 https://catalogue.univ-orleans.fr/Record/379579 https://catalogue.univ-orleans.fr/Record/379579 Weihrauch, Klaus, 1943- Livre papier 1987 Weihrauch, Klaus, 1943- 0 Recursive function theory and logic Thu, 19 Feb 2026 08:56:40 +0000 https://catalogue.univ-orleans.fr/Record/379589 https://catalogue.univ-orleans.fr/Record/379589 Yasuhara, Ann Harris, 1932-2014 Livre papier 1971 Yasuhara, Ann Harris, 1932-2014 0 Subrecursion : functions and hierarchies Thu, 19 Feb 2026 08:56:39 +0000 https://catalogue.univ-orleans.fr/Record/379171 https://catalogue.univ-orleans.fr/Record/379171 Rose, Harvey Ernest, 1936- Livre papier 1984 Rose, Harvey Ernest, 1936- 0 Degrees of unsolvability Thu, 19 Feb 2026 08:56:39 +0000 https://catalogue.univ-orleans.fr/Record/379288 https://catalogue.univ-orleans.fr/Record/379288 Shoenfield, Joseph Robert, 1927-2000 Livre papier 1971 Shoenfield, Joseph Robert, 1927-2000 0 Leçons sur les fonctions calculables Thu, 19 Feb 2026 08:56:38 +0000 https://catalogue.univ-orleans.fr/Record/378932 https://catalogue.univ-orleans.fr/Record/378932 Uspenskij, Vladimir Andreevič, 1930-2018 Livre papier 1966 Uspenskij, Vladimir Andreevič, 1930-2018 0 Theory of recursive functions and effective computability Thu, 19 Feb 2026 08:56:38 +0000 https://catalogue.univ-orleans.fr/Record/379158 https://catalogue.univ-orleans.fr/Record/379158 Rogers, Hartley, 1926-2015 Livre papier 1967 Rogers, Hartley, 1926-2015 0 Computability and unsolvability Thu, 19 Feb 2026 08:56:32 +0000 https://catalogue.univ-orleans.fr/Record/377561 https://catalogue.univ-orleans.fr/Record/377561 Davis, Martin, 1928-2023 Livre papier 1958 Davis, Martin, 1928-2023 0 Computability and logic Thu, 19 Feb 2026 08:56:29 +0000 https://catalogue.univ-orleans.fr/Record/376896 https://catalogue.univ-orleans.fr/Record/376896 Boolos, George, 1940-1996 Livre papier 1974 Boolos, George, 1940-1996 0 Formal systems and recursive functions : proceedings of the eighth Logic Colloquium, Oxford, July 1963 Thu, 19 Feb 2026 08:56:27 +0000 https://catalogue.univ-orleans.fr/Record/376682 https://catalogue.univ-orleans.fr/Record/376682 Livre papier 1965 0 Complex analytic geometry Thu, 19 Feb 2026 08:56:25 +0000 https://catalogue.univ-orleans.fr/Record/376354 https://catalogue.univ-orleans.fr/Record/376354 Fischer, Gerd, 1939- Livre papier 1976 Fischer, Gerd, 1939- 0 Computations in higher types Thu, 19 Feb 2026 08:56:25 +0000 https://catalogue.univ-orleans.fr/Record/376372 https://catalogue.univ-orleans.fr/Record/376372 Moldestad, Johan, 1946- Livre papier 1977 Moldestad, Johan, 1946- 0 Set theory and hierarchy theory : a memorial tribute to Andrzej Mostowski : Bierutowice, Poland 1975 Thu, 19 Feb 2026 08:56:24 +0000 https://catalogue.univ-orleans.fr/Record/376019 https://catalogue.univ-orleans.fr/Record/376019 Livre papier 1976 0 The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions Thu, 19 Feb 2026 08:56:23 +0000 https://catalogue.univ-orleans.fr/Record/375823 https://catalogue.univ-orleans.fr/Record/375823 Davis, Martin, 1928-2023 Livre papier 1965 Davis, Martin, 1928-2023 0 Random iterative models Thu, 19 Feb 2026 08:50:10 +0000 https://catalogue.univ-orleans.fr/Record/240747 https://catalogue.univ-orleans.fr/Record/240747 Duflo, Marie, 1940-2019, mathématicienne Livre papier 1997 Duflo, Marie, 1940-2019, mathématicienne 0 Complexité et décidabilité Thu, 19 Feb 2026 08:46:12 +0000 https://catalogue.univ-orleans.fr/Record/177626 https://catalogue.univ-orleans.fr/Record/177626 Dehornoy, Patrick, 1952-2019, mathématicien Livre papier 1993 Dehornoy, Patrick, 1952-2019, mathématicien 0 Recursive methods in economic dynamics Thu, 19 Feb 2026 08:46:04 +0000 https://catalogue.univ-orleans.fr/Record/172780 https://catalogue.univ-orleans.fr/Record/172780 Stokey, Nancy L. Livre papier 1989 Stokey, Nancy L. 0 Computability Thu, 19 Feb 2026 08:42:54 +0000 https://catalogue.univ-orleans.fr/Record/107284 https://catalogue.univ-orleans.fr/Record/107284 Tourlakis, George J., 1946- Livre papier 1984 Tourlakis, George J., 1946- 0 La machine de Turing Thu, 19 Feb 2026 08:42:40 +0000 https://catalogue.univ-orleans.fr/Record/102423 https://catalogue.univ-orleans.fr/Record/102423 Turing, Alan Mathison, 1912-1954 Livre papier 1999 Turing, Alan Mathison, 1912-1954 0 Logique mathématique. Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices Thu, 19 Feb 2026 08:40:03 +0000 https://catalogue.univ-orleans.fr/Record/51567 https://catalogue.univ-orleans.fr/Record/51567 Cori, René Livre papier 1993 Cori, René 0 Introduction à la calculabilité Thu, 19 Feb 2026 08:39:48 +0000 https://catalogue.univ-orleans.fr/Record/48093 https://catalogue.univ-orleans.fr/Record/48093 Wolper, Pierre, 1955- Livre papier 1991 Wolper, Pierre, 1955- 0 Informatique-programmation. La spécification récursive et l'analyse des algorithmes Thu, 19 Feb 2026 08:39:39 +0000 https://catalogue.univ-orleans.fr/Record/45786 https://catalogue.univ-orleans.fr/Record/45786 Grégoire, Paris Livre papier 1988 Grégoire, Paris 0 Calculabilité effective et algorithmique théorique Thu, 19 Feb 2026 08:39:17 +0000 https://catalogue.univ-orleans.fr/Record/40197 https://catalogue.univ-orleans.fr/Record/40197 Vollat, Patrick Livre papier 1989 Vollat, Patrick 0 Méthodes récursives aléatoires Wed, 11 Feb 2026 12:05:06 +0000 https://catalogue.univ-orleans.fr/Record/92251 https://catalogue.univ-orleans.fr/Record/92251 Duflo, Marie, 1940-2019, mathématicienne Livre papier 1990 Duflo, Marie, 1940-2019, mathématicienne 0 Computations in higher types Tue, 06 Jan 2026 06:12:44 +0000 https://catalogue.univ-orleans.fr/Record/971861 https://catalogue.univ-orleans.fr/Record/971861 Moldestad, Johan, 1946- Livre numérique Moldestad, Johan, 1946- 0 Set Theory and Hierarchy Theory A Memorial Tribute to Andrzej Mostowski : Bierutowice, Poland 1975 Tue, 06 Jan 2026 06:12:34 +0000 https://catalogue.univ-orleans.fr/Record/970247 https://catalogue.univ-orleans.fr/Record/970247 Livre numérique 0 Techniques of Admissible Recursion Theory Tue, 06 Jan 2026 06:12:33 +0000 https://catalogue.univ-orleans.fr/Record/970000 https://catalogue.univ-orleans.fr/Record/970000 Chong, Chi-Tat, 1949-...., mathématicien Livre numérique Chong, Chi-Tat, 1949-...., mathématicien 0 Complex analytic geometry Tue, 06 Jan 2026 06:12:31 +0000 https://catalogue.univ-orleans.fr/Record/969838 https://catalogue.univ-orleans.fr/Record/969838 Fischer, Gerd, 1939- Livre numérique Fischer, Gerd, 1939- 0 Singularly perturbed and weakly coupled linear control systems : a recursive approach Wed, 26 Nov 2025 06:14:48 +0000 https://catalogue.univ-orleans.fr/Record/969331 https://catalogue.univ-orleans.fr/Record/969331 Gajic, Zoran, 1949- Livre numérique Gajic, Zoran, 1949- 0 Fonctions récursives Mon, 24 Nov 2025 06:09:30 +0000 https://catalogue.univ-orleans.fr/Record/378057 https://catalogue.univ-orleans.fr/Record/378057 Grzegorczyk, Andrzej, 1922-...., philosophe Livre papier 1961 Grzegorczyk, Andrzej, 1922-...., philosophe 0 Récursivité Mon, 24 Nov 2025 06:09:25 +0000 https://catalogue.univ-orleans.fr/Record/15449 https://catalogue.univ-orleans.fr/Record/15449 Azra, Jean-Pierre Livre papier 1973 Azra, Jean-Pierre 0 Enumerability, decidability, computability : an introduction to the theory of recursive functions Thu, 13 Nov 2025 06:08:44 +0000 https://catalogue.univ-orleans.fr/Record/378193 https://catalogue.univ-orleans.fr/Record/378193 Hermes, Hans, 1912-2003 Livre papier 1965 Hermes, Hans, 1912-2003 0 Programmation linéaire par l'exemple Thu, 13 Nov 2025 06:08:39 +0000 https://catalogue.univ-orleans.fr/Record/4367 https://catalogue.univ-orleans.fr/Record/4367 Droesbeke, F. Livre papier 1986 Droesbeke, F. 0 Theory of program structures : schemes, semantics, verification Fri, 19 Sep 2025 05:04:52 +0000 https://catalogue.univ-orleans.fr/Record/944891 https://catalogue.univ-orleans.fr/Record/944891 Greibach, Sheila, 1939- Livre numérique 2005 Greibach, Sheila, 1939- 0 New Trends in Robotics and Automation Wed, 01 Jan 2025 07:58:40 +0100 https://catalogue.univ-orleans.fr/Record/doab-20.500.12854_152728 https://catalogue.univ-orleans.fr/Record/doab-20.500.12854_152728 Livre numérique 2025 0 Hyperspectral Imaging and Applications Sat, 01 Jan 2022 07:58:40 +0100 https://catalogue.univ-orleans.fr/Record/doab-20.500.12854_91137 https://catalogue.univ-orleans.fr/Record/doab-20.500.12854_91137 Livre numérique 2022 0 Information Theory in Neuroscience Fri, 01 Jan 2021 07:58:40 +0100 https://catalogue.univ-orleans.fr/Record/doab-20.500.12854_50225 https://catalogue.univ-orleans.fr/Record/doab-20.500.12854_50225 Piasini, Eugenio Livre numérique 2021 Piasini, Eugenio 0 Number Theory and Symmetry Fri, 01 Jan 2021 07:58:40 +0100 https://catalogue.univ-orleans.fr/Record/doab-20.500.12854_68949 https://catalogue.univ-orleans.fr/Record/doab-20.500.12854_68949 Livre numérique 2021 0 Ein Beitrag zur Verbesserung und Erweiterung der Lidar-Signalverarbeitung für Fahrzeuge Fri, 01 Jan 2021 07:58:40 +0100 https://catalogue.univ-orleans.fr/Record/doab-20.500.12854_45946 https://catalogue.univ-orleans.fr/Record/doab-20.500.12854_45946 Kapp, Andreas Livre numérique 2021 Kapp, Andreas 0 In Memoriam, Solomon Marcus Sat, 01 Jan 2022 07:58:40 +0100 https://catalogue.univ-orleans.fr/Record/doab-20.500.12854_81158 https://catalogue.univ-orleans.fr/Record/doab-20.500.12854_81158 Livre numérique 2022 0 Robust and Regularized Algorithms for Vehicle Tractive Force Prediction and Mass Estimation Fri, 01 Jan 2021 07:58:40 +0100 https://catalogue.univ-orleans.fr/Record/doab-20.500.12854_58556 https://catalogue.univ-orleans.fr/Record/doab-20.500.12854_58556 Rhode, Stephan Livre numérique 2021 Rhode, Stephan 0 Numerical Simulation and Computational Methods in Engineering and Sciences Mon, 01 Jan 2024 07:58:40 +0100 https://catalogue.univ-orleans.fr/Record/doab-20.500.12854_139385 https://catalogue.univ-orleans.fr/Record/doab-20.500.12854_139385 Livre numérique 2024 0 IMPLEMENTATION OF MODERN TECHNOLOGIES IN LANGUAGE LEARNING AS A BASIS FOR THE FORMATION OF COMMUNICATIVE COMPETENCES Wed, 01 Jan 2025 07:58:40 +0100 https://catalogue.univ-orleans.fr/Record/doab-20.500.12854_159107.2 https://catalogue.univ-orleans.fr/Record/doab-20.500.12854_159107.2 Morhunova, Nadiia Livre numérique 2025 Morhunova, Nadiia 0 Artificial Neural Networks in Agriculture Sat, 01 Jan 2022 07:58:40 +0100 https://catalogue.univ-orleans.fr/Record/doab-20.500.12854_76601 https://catalogue.univ-orleans.fr/Record/doab-20.500.12854_76601 Livre numérique 2022 0 Dynamic Modeling and Simulation for Control Systems, 2nd Edition Wed, 01 Jan 2025 07:58:40 +0100 https://catalogue.univ-orleans.fr/Record/doab-20.500.12854_152667 https://catalogue.univ-orleans.fr/Record/doab-20.500.12854_152667 Livre numérique 2025 0 Energy Storage and Management for Electric Vehicles Fri, 01 Jan 2021 07:58:40 +0100 https://catalogue.univ-orleans.fr/Record/doab-20.500.12854_46388 https://catalogue.univ-orleans.fr/Record/doab-20.500.12854_46388 Marco, James Livre numérique 2021 Marco, James 0