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

Indisponible     (->>)

2
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

Indisponible     (->>)

3
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 ; Mazoyer, Jacques (mathématicien) (1947-...). École normale supérieure (Lyon)

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

Indisponible     (->>)

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

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

6
Machines séquentielles
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
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
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
Systèmes de transitions finis et sémantique des processus communicants
Systèmes de transitions finis et sémantique des processus communicants
Material Type:
Livre 		Ajouter au Panier

Systèmes de transitions finis et sémantique des processus communicants

Arnold, André (1945-...)

Appartient à la collection : E.R.I. Etudes et recherches en informatique, ISSN 0763-2770

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

Indisponible     (->>)

10
Eléments d'algorithmique
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(->>)

Résultats 1 - 10 sur 32  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 (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  (31)
  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. Systèmes dynamiques  (1)
  39. Circuits logiques. Manuels d'enseignement supérieur  (1)
  40. Files d'attente, Théorie des  (1)
  41. Séries de puissances  (1)
  42. Programming Languages, Compilers, Interpreters  (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. Sequences (Mathematics)  (1)
  52. Programming Techniques  (1)
  53. Computer Science, general  (1)
  54. Algebra, Boolean  (1)
  55. Logic, Symbolic and mathematical  (1)
  56. Apprentissage automatique  (1)
  57. Fonctions calculables. Manuels d'enseignement supérieur  (1)
  58. Switching theory  (1)
  59. Theory of Computation  (1)
  60. Circuits logiques  (1)
  61. Power series  (1)
  62. Fonctions calculables. Problèmes et exercices  (1)
  63. Calcul formel  (1)
  64. Machines logiques  (1)
  65. Discrete mathematics  (1)
  66. Mathematics, general  (1)
  67. Suites (mathématiques)  (1)
  68. Groupes, Théorie des  (1)
  69. Boole, Algèbre de  (1)
  70. Graph theory  (1)
  71. Commutation, Théorie de la  (1)
  72. Logique informatique. Manuels d'enseignement supérieur  (1)
  73. Programmation (mathématiques)  (1)
  74. Algorithms  (1)
  75. Fichiers (informatique). Organisation  (1)
  76. Recursive functions  (1)
  77. Artificial intelligence  (1)
  78. Mathematical Logic and Foundations  (1)
  79. Information theory  (1)
  80. Autres open sub menu

Date de parution 

Affiner à partir de Affiner jusqu'à
Affiner
  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 :
  • 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.