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

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

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
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

Indisponible     (->>)

2
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

Indisponible     (->>)

3
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(->>)

4
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

Indisponible     (->>)

5
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(->>)

6
Machines séquentielles
Material Type:
Livre
Ajouter au Panier

Machines séquentielles

Zahnd, Jacques (1939-...). Ecole polytechnique fédérale (Lausanne, Suisse) ; Neirynck, Jacques (1931-...) (Dir.)

Fait partie de l'ensemble : Traité d'électricité de l'École polytechnique fédérale de Lausanne

St-Saphorin. Editions Georgi, cop. 1980

Indisponible     (->>)

7
Finite automata, their algebras and grammars : towards a theory of formal expressions
Material Type:
Livre
Ajouter au Panier

Finite automata, their algebras and grammars : towards a theory of formal expressions

Büchi, Julius Richard (1924-1984) ; Siefkes, Dirk

New York. Springer-Verlag, c1989

Indisponible     (->>)

8
Products of automata
Material Type:
Livre
Ajouter au Panier

Products of automata

Gécseg, Ferenc

Appartient à la collection : EATCS monographs on theoretical computer science, 7, ISSN 1431-2646

Berlin. Heidelberg. New York [etc.]. Springer, cop. 1986

Indisponible     (->>)

9
Eléments d'algorithmique
Material Type:
Livre
Ajouter au Panier

Eléments d'algorithmique

Beauquier, Danièle (1948-...) ; Berstel, Jean (1941-...) ; Chrétienne, Philippe (1947-...)

Appartient à la collection : Manuels informatiques Masson, ISSN 0249-6992

Paris. Milan. Barcelone [etc.]. Masson, 1992

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

10
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(->>)

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

résultats 1 2 3 4 next page

Refine Search Results

N'afficher que

  1. Ressources en ligne (9)

Affiner vos résultats

Type de ressource 

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

Localisation 

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

Sujet 

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

Date de parution 

Affiner à partir de Affiner jusqu'à
  1. Avant 1980  (5)
  2. 1980 à 1988  (5)
  3. 1989 à 1996  (7)
  4. 1997 à 2004  (6)
  5. Après 2004  (9)
  6. Autres open sub menu

Langue 

  1. Anglais  (22)
  2. Français  (10)
  3. Italien  (1)
  4. 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 :

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