Machines de Turing : :: SCD d'Orléans

Machines de Turing : introduction à la caractérisation de la complexité d'un problème : code compatible avec les versions 5, 6 et 7 de Mathematica

Machines de Turing : introduction à la caractérisation de la complexité d'un problème : code compatible avec les versions 5, 6 et 7 de Mathematica

Kaydedildi:

Detaylı Bibliyografya
Yazar:	Jacopin, Éric, 19..-
Materyal Türü:	Livre papier
Dil:	Français
Baskı/Yayın Bilgisi:	Toulouse : Cépaduès-éditions DL 2009.
Konular:	Mathematica > logiciel Turing, Machines de Problèmes et exercices
Autres localisations:	Voir dans le Sudoc

Benzer Materyaller

La machine de Turing
Yazar:: Turing, Alan Mathison, 1912-1954, ve diğerleri
Baskı/Yayın Bilgisi: (1999)

Turing machines with sublogarithmic space
Yazar:: Szepietowski, Andrzej, 19..-

Machines de Turing et automates cellulaires : du trait gravé au très animé
Yazar:: Corge, Charles
Baskı/Yayın Bilgisi: (2008)

Le modèle Turing
Yazar:: Bernstein, Catherine, 1964-...., réalisatrice
Baskı/Yayın Bilgisi: (2012)

Alan Turing, le code de la vie
Yazar:: Bernstein, Catherine, 1964-...., réalisatrice, ve diğerleri
Baskı/Yayın Bilgisi: (2013)

Alan Turing : ou L'énigme de l'intelligence
Yazar:: Hodges, Andrew, 1949-
Baskı/Yayın Bilgisi: (1988)

Alan Turing : the enigma : the book that inspired the film The imitation game
Yazar:: Hodges, Andrew, 1949-
Baskı/Yayın Bilgisi: (2017)

Turing
Yazar:: Lassègue, Jean, 1962-
Baskı/Yayın Bilgisi: (2017)

Alan Turing
Yazar:: Sánchez Vegara, Maria Isabel, 19..-
Baskı/Yayın Bilgisi: (2023)

Lettres à Alan Turing
Yazar:: Lévy-Leblond, Jean-Marc, 1940-
Baskı/Yayın Bilgisi: (2016)

Alan Turing : his work and impact
Yazar:: Cooper, S. Barry, 1943-2015
Baskı/Yayın Bilgisi: (2013)

Turing
Yazar:: Lassègue, Jean, 1962-
Baskı/Yayın Bilgisi: (1998)

Lettres à Alan Turing
Yazar:: Lévy-Leblond, Jean-Marc, 1940-, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

La pomme d'Alan Turing : roman
Yazar:: Langenieux-Villard, Philippe, 1955-
Baskı/Yayın Bilgisi: (2013)

Le cas Alan Turing : histoire extraordinaire et tragique d'un génie
Yazar:: Delalande, Arnaud, 1971-
Baskı/Yayın Bilgisi: (2015)

Alan Turing : l'homme qui a croqué la pomme
Yazar:: Lemire, Laurent, 1961-
Baskı/Yayın Bilgisi: (2004)

Alan Turing : le génie qui a décrypté les codes secrets nazis et inventé l'ordinateur : le livre qui a inspiré le film The imitation game
Yazar:: Hodges, Andrew, 1949-
Baskı/Yayın Bilgisi: (2015)

Turing à la plage : l'intelligence artificielle dans un transat
Yazar:: Guerraoui, Rachid, 1967-, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Alan Turing
Yazar:: Collin, Maxence, 19..-, ve diğerleri
Baskı/Yayın Bilgisi: (2024)

Calculabilité effective et algorithmique théorique
Yazar:: Vollat, Patrick
Baskı/Yayın Bilgisi: (1989)

What if Alan Turing, Masahiro Mori, and John Searle employed a humanoid robot in a Gedankenexperiment?
Yazar:: Francisco, Augusto
Baskı/Yayın Bilgisi: (2026)

Alan Turing : l'homme qui inventa l'informatique
Yazar:: Leavitt, David, 1961-
Baskı/Yayın Bilgisi: (2007)

Le cas Alan Turing : histoire extraordinaire et tragique d'un génie
Yazar:: Liberge, Éric, 1965-, ve diğerleri
Baskı/Yayın Bilgisi: (2023)

La machine comme « prothèse d’origine » : réflexion philosophique sur le sujet humain dans Battlestar Galactica de Ronald D. Moore
Yazar:: Lemieux, René
Baskı/Yayın Bilgisi: (2017)

La méthode TMTA d'analyse écologique de la tâche et son application à une tâche praxique
Yazar:: Morineau, T.
Baskı/Yayın Bilgisi: (2010)

Problèmes de mathématiques résolus avec Maple et Mathematica
Yazar:: Durand, Robert, 1940-
Baskı/Yayın Bilgisi: (1998)

Automata studies
Yazar:: Shannon, Claude Elwood, 1916-2001
Baskı/Yayın Bilgisi: (1956)

Automata and computability
Yazar:: Kozen, Dexter C., 1951-
Baskı/Yayın Bilgisi: (1997)

Complexité et décidabilité
Yazar:: Dehornoy, Patrick, 1952-2019, mathématicien
Baskı/Yayın Bilgisi: (1993)

Nouvelles orientations des mathématiques
Yazar:: Âglom, Isaak Moiseevič, 1921-1988, ve diğerleri
Baskı/Yayın Bilgisi: (1975)

Komplexität von Entscheidungsproblemen : ein seminar
Yazar:: Specker, Ernst, 1920-2011
Baskı/Yayın Bilgisi: (2005)

The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions
Yazar:: Davis, Martin, 1928-2023, ve diğerleri
Baskı/Yayın Bilgisi: (1965)

Mathematica théorie et pratique : applications en géométrie
Yazar:: Xémard, Jean-Pierre, 19..-
Baskı/Yayın Bilgisi: (2007)

Exercices de mathématiques résolus à l'aide de Maple et Mathematica : prépas scientifiques
Yazar:: Jeanneau, Xavier, ve diğerleri
Baskı/Yayın Bilgisi: (1999)

Introduction à la calculabilité : cours et exercices corrigés
Yazar:: Wolper, Pierre, 1955-
Baskı/Yayın Bilgisi: (2001)

Introduction to the theory of computation
Yazar:: Sipser, Michael
Baskı/Yayın Bilgisi: (2006)

Machines électriques tournantes : exercices et problèmes corrigés
Yazar:: Zaïm, Mohammed El-Hadi, 19..-...., auteur en génie électrique, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

Machines électriques tournantes : exercices et problèmes corrigés
Yazar:: Zaïm, Mohammed El-Hadi, 19..-...., auteur en génie électrique, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

Mathematica théorie et pratique : applications en analyse
Yazar:: Xémard, Jean-Pierre, 19..-
Baskı/Yayın Bilgisi: (2008)

Mathematica théorie et pratique : applications en algèbre
Yazar:: Xémard, Jean-Pierre, 19..-
Baskı/Yayın Bilgisi: (2006)

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales