skip to main content
Langue :
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Recherche simple

Résultats 1 - 10 sur 33  pour Tout le catalogue

triés par : triés par : pertinenceOr hit Enter to replace sort method
résultats 1 2 3 4 next page
N'afficher que
Result Number Material Type Add to My Shelf Action Record Details and Options
1
An introduction to mathematical machine theory
Material Type:
Livre 		Ajouter au Panier

An introduction to mathematical machine theory

Ginsburg, Seymour (1927-2004)

Appartient à la collection : Addison-Wesley series in computer science and information processing

Reading (Mass.). Palo Alto. London. Addison-Wesley, copyright 1962

Disponible(->>)

2
Influence du réseau spatial sur le comportement d'un système dynamique : la fourmi de Langton
Material Type:
Thèse ou mémoire 		Ajouter au Panier

Influence du réseau spatial sur le comportement d'un système dynamique : la fourmi de Langton

Gajardo-Schulz, Anahi ; Goles Chacc, Éric (Dir. thèse) ; Mazoyer, Jacques (1947-...) (Dir. thèse) ; École normale supérieure (Lyon) (Organisme de soutenance)

[S.l.]. [s.n.], 2001

Disponible(->>)

3
Machines algoritmiques [sic] : notes sur le cours de matériel et d'architecture 1ère année année 87-88.
Material Type:
Livre 		Ajouter au Panier

Machines algoritmiques [sic] : notes sur le cours de matériel et d'architecture 1ère année année 87-88.

Amblard, Paul ; Université scientifique technologique et médicale (Grenoble). U.F.R. informatique et mathématiques appliquées (Ed.)

[Saint-Martin-d'Hères]. Université scientifique technologique et médicale de Grenoble U.F.R. d'informatique et mathématiques appliquées, 1988

Disponible(->>)

4
Introduction to the theory of finite automata
Material Type:
Livre 		Ajouter au Panier

Introduction to the theory of finite automata

Kobrinskij, Natan Efimovič (1910-1985) ; Trakhtenbrot, Boris Avraamovich (1921-2016) ; Shepherdson, John Cedric (1926-2015) (Ed.)

Appartient à la collection : Studies in logic and the foundations of mathematics, ISSN 0049-237X

Amsterdam. North-Holland, 1965, cop. 1965

Disponible(->>)

5
Computation : finite and infinite machines
Material Type:
Livre 		Ajouter au Panier

Computation : finite and infinite machines

Minsky, Marvin (1927-2016)

Appartient à la collection : Prentice-Hall series in automatic computation, ISSN 2577-9435

Englewood Cliffs (N.J.). Prentice-Hall, cop. 1967

Disponible - la bibliothèque possède plusieurs exemplaires de ce document(->>)

6
Mathematical Foundations of Computer Science 1979 : Proceedings, 8th Symposium, Olomouc, Czechoslovakia, September 3–7, 1979
Mathematical Foundations of Computer Science 1979 : Proceedings, 8th Symposium, Olomouc, Czechoslovakia, September 3–7, 1979
Material Type:
ebook 		Ajouter au Panier

Mathematical Foundations of Computer Science 1979 : Proceedings, 8th Symposium, Olomouc, Czechoslovakia, September 3–7, 1979

Bečvář, Jiří (Ed.)

Lecture Notes in Computer Science ; 74

Berlin [etc.]. Springer, 201. ?
7
Automatic sequences : theory, applications, generalizations
Automatic sequences : theory, applications, generalizations
Material Type:
Livre 		Ajouter au Panier

Automatic sequences : theory, applications, generalizations

Allouche, Jean-Paul (1953-...) ; Shallit, Jeffrey Outlaw

Cambridge. New-York. Melbourne [etc.]. Cambridge University press, 2003

Disponible(->>)

8
Theory of finite automata : with an introduction to formal languages
Theory of finite automata : with an introduction to formal languages
Material Type:
Livre 		Ajouter au Panier

Theory of finite automata : with an introduction to formal languages

Carroll, John (1951-) ; Long, Darrell (1962-...)

Englewood Cliffs, N.J.. Prentice Hall, c1989

Disponible(->>)

9
Logique et automates : option informatique en MPSI, MP et MP*, premier et deuxième cycles universitaires écoles d'ingénieurs
Logique et automates : option informatique en MPSI, MP et MP*, premier et deuxième cycles universitaires écoles d'ingénieurs
Material Type:
Livre 		Ajouter au Panier

Logique et automates : option informatique en MPSI, MP et MP*, premier et deuxième cycles universitaires écoles d'ingénieurs

Bellot, Patrick (1968-...) ; Sakarovitch, Jacques ; Robinet, Bernard (1941-2009) (Préf.)

Fait partie de l'ensemble : Manuel d'informatique

Paris. Ellipse, impr. 1998, cop. 1998

Disponible(->>)

10
Finite automata
Finite automata
Material Type:
Livre 		Ajouter au Panier

Finite automata

Lawson, Mark V

Boca Raton (Fla.). London. New York (N.Y.) [etc.]. Chapman & Hall/CRC, cop. 2004

Disponible(->>)

Résultats 1 - 10 sur 33  pour Tout le catalogue

triés par : triés par : pertinenceOr hit Enter to replace sort method
résultats 1 2 3 4 next page

Refine Search Results

N'afficher que

  1. Ressources en ligne (8)

Affiner vos résultats

Type de ressource 

  1. Livres  (24)
  2. ebooks  (8)
  3. Thèses ou mémoires  (1)
  4. Autres open sub menu

Localisation 

  1. Descartes  (1)
  2. Descartes - CDR  (4)
  3. Monod  (23)
  4. Autres open sub menu

Sujet 

  1. Machines séquentielles, Théorie des  (31)
  2. Sequential machine theory  (14)
  3. Langages formels  (12)
  4. Automates mathématiques, Théorie des  (9)
  5. Informatique  (7)
  6. Computer science  (6)
  7. Logique mathématique  (5)
  8. Complexité de calcul (informatique)  (5)
  9. Machine theory  (4)
  10. Langages de programmation  (4)
  11. Algorithmes  (4)
  12. Formal languages  (4)
  13. Computation by Abstract Devices  (3)
  14. Fonctions récursives  (3)
  15. Automatismes séquentiels  (3)
  16. Mathematical Logic and Formal Languages  (3)
  17. Fonctions calculables  (3)
  18. Analyse combinatoire  (2)
  19. Computable functions  (2)
  20. Turing, Machines de  (2)
  21. Structures de données (informatique)  (2)
  22. Mathématiques  (2)
  23. Combinatorics  (2)
  24. Algorithm Analysis and Problem Complexity  (2)
  25. Logics and Meanings of Programs  (2)
  26. Logic design  (2)
  27. Automates  (2)
  28. Décidabilité (logique mathématique)  (2)
  29. Ordinateurs. Programmation  (2)
  30. Calcul des prédicats  (2)
  31. Computer software  (2)
  32. Mathematics  (2)
  33. Intelligence artificielle  (2)
  34. Predicate calculus  (2)
  35. Optimisation combinatoire  (1)
  36. Parallélisme (informatique)  (1)
  37. Circuits logiques. Manuels d'enseignement supérieur  (1)
  38. Files d'attente, Théorie des  (1)
  39. Séries de puissances  (1)
  40. Programming Languages, Compilers, Interpreters  (1)
  41. Systèmes dynamiques. Thèses et écrits académiques  (1)
  42. Artificial Intelligence (incl. Robotics)  (1)
  43. Informatique. Manuels d'enseignement supérieur  (1)
  44. GRAFCET  (1)
  45. Proposition (logique). Manuels d'enseignement supérieur  (1)
  46. Automates. Manuels d'enseignement supérieur  (1)
  47. Group theory  (1)
  48. Électronique numérique  (1)
  49. Circuits intégrés  (1)
  50. Machines séquentielles, Théorie des. Manuels d'enseignement supérieur  (1)
  51. Récursivité, Théorie de la  (1)
  52. Sequences (Mathematics)  (1)
  53. Programming Techniques  (1)
  54. Computer Science, general  (1)
  55. Algebra, Boolean  (1)
  56. Logic, Symbolic and mathematical  (1)
  57. Apprentissage automatique  (1)
  58. Fonctions calculables. Manuels d'enseignement supérieur  (1)
  59. Switching theory  (1)
  60. Circuits logiques  (1)
  61. Power series  (1)
  62. Fonctions calculables. Problèmes et exercices  (1)
  63. Cryptographie. Informatique  (1)
  64. Calcul formel  (1)
  65. Machines logiques  (1)
  66. Mathematics, general  (1)
  67. Chiffrement (informatique)  (1)
  68. Suites (mathématiques)  (1)
  69. Groupes, Théorie des  (1)
  70. Boole, Algèbre de  (1)
  71. Machines séquentielles, Théorie des. Thèses et écrits académiques  (1)
  72. Graph theory  (1)
  73. Commutation, Théorie de la  (1)
  74. Logique informatique. Manuels d'enseignement supérieur  (1)
  75. Programmation (mathématiques)  (1)
  76. Algorithms  (1)
  77. Fichiers (informatique). Organisation  (1)
  78. Recursive functions  (1)
  79. Artificial intelligence  (1)
  80. Mathematical Logic and Foundations  (1)
  81. Autres open sub menu

Auteur 

  1. Siefkes, Dirk  (3)
  2. Berstel, Jean  (2)
  3. Floyd, Robert W  (2)
  4. Müller, Gert Heinz. mathématicien  (2)
  5. Beigel, Richard  (2)
  6. Mazoyer, Jacques  (1)
  7. Scholl, Pierre-Claude  (1)
  8. Amblard, Paul  (1)
  9. Long, Darrell  (1)
  10. Büchi, Julius Richard  (1)
  11. Goles Chacc, Éric  (1)
  12. Cannon, James W  (1)
  13. Bellot, Patrick  (1)
  14. Even, Shimon  (1)
  15. Diekert, Volker  (1)
  16. École normale supérieure.Lyon  (1)
  17. Chrétienne, Philippe  (1)
  18. Müller, G. H  (1)
  19. Gindre, Marcel  (1)
  20. Kozen, Dexter C  (1)
  21. Epstein, David Bernard Alper  (1)
  22. Roux, Denis  (1)
  23. Deruyver, Aline  (1)
  24. Giles, C. Lee  (1)
  25. Gajardo-Schulz, Anahi  (1)
  26. Krob, Daniel  (1)
  27. Trakhtenbrot, Boris Avraamovich  (1)
  28. Kariv, Oded  (1)
  29. Ginsburg, Seymour  (1)
  30. Pin, Jean-Éric  (1)
  31. Minsky, Marvin  (1)
  32. Naslin, Pierre  (1)
  33. Wolper, Pierre  (1)
  34. Zahnd, Jacques  (1)
  35. Shallit, Jeffrey Outlaw  (1)
  36. Reutenauer, Christophe  (1)
  37. Kobrinskij, Natan Efimovič  (1)
  38. Sakarovitch, Jacques  (1)
  39. Lawson, Mark V  (1)
  40. Allouche, Jean-Paul  (1)
  41. Maurer, Hermann A  (1)
  42. Beauquier, Danièle  (1)
  43. Shepherdson, John Cedric  (1)
  44. Bečvář, Jíří  (1)
  45. Lucas, Michel  (1)
  46. Gécseg, Ferenc  (1)
  47. Robinet, Bernard  (1)
  48. Ecole polytechnique fédérale. Lausanne, Suisse  (1)
  49. Bečvář, Jiří  (1)
  50. Université scientifique technologique et médicale.U.F.R. informatique et mathématiques appliquées.Grenoble  (1)
  51. Kuntzmann, Jean  (1)
  52. Neirynck, Jacques  (1)
  53. Arnold, André  (1)
  54. Sun, Ron  (1)
  55. Salomaa, Arto  (1)
  56. Carroll, John  (1)
  57. Peyrin, Jean-Pierre  (1)
  58. Autres open sub menu

Date de parution 

Affiner à partir de Affiner jusqu'à
Affiner
  1. Avant 1980  (5)
  2. 1980 à 1987  (4)
  3. 1988 à 1994  (9)
  4. 1995 à 2003  (6)
  5. Après 2003  (9)
  6. Autres open sub menu

Langue 

  1. Anglais  (22)
  2. Français  (12)
  3. Autres open sub menu

Vous n'avez pas trouvé ce que vous cherchiez ?

Vous pouvez relancer votre recherche :
  • dans le SUDOC (catalogue français des bibliothèques de l'enseignement supérieur et de la recherche)
  • dans WorldCat (catalogue international)
  • dans Google Scholar
  • dans Isidore (moteur de recherche du CNRS)
  • dans BASE (Bielefeld Academic Search Engine)

Vous pouvez aussi :
  • Bibliothèque Diderot de Lyon 5, parvis René Descartes BP 7000 69342 Lyon cedex 07 FRANCE

Recherche dans les bases de données distantes en cours. Merci de patienter.