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 120  pour Tout le catalogue

triés par : triés par : pertinenceOr hit Enter to replace sort method
résultats 1 2 3 4 5 next page
N'afficher que
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Automatentheorie : eine Einführung in die Theorie endlicher Automaten
Automatentheorie : eine Einführung in die Theorie endlicher Automaten
Material Type:
Livre 		Ajouter au Panier

Automatentheorie : eine Einführung in die Theorie endlicher Automaten

Brauer, Wilfried

Appartient à la collection : Leitfäden und Monographien der Informatik

Stuttgart. Teubner, 1984

Indisponible     (->>)

2
Automata theory and its applications
Automata theory and its applications
Material Type:
Livre 		Ajouter au Panier

Automata theory and its applications

Khoussainov, Bakhadyr (1961-...) ; Nerode, Anil (1932-...)

Appartient à la collection : Progress in computer science and applied logic (Print), 21, ISSN 2297-0576

Boston. Basel. Berlin. Birkhäuser, cop. 2001

Indisponible     (->>)

3
Regular algebra and finite machines
Regular algebra and finite machines
Material Type:
Livre 		Ajouter au Panier

Regular algebra and finite machines

Conway, John Horton (1937-...)

Chapman and Hall mathematics series

Mineola, New York. Dover, 2012

Indisponible     (->>)

4
Formal languages and automata theory
Formal languages and automata theory
Material Type:
Livre 		Ajouter au Panier

Formal languages and automata theory

Drobot, Vladimir

Appartient à la collection : Principles of computer science series, ISSN 0888-2096

Rockville, Md.. Computer Science Press, 1989

Indisponible     (->>)

5
Theories of computability
Theories of computability
Material Type:
Livre 		Ajouter au Panier

Theories of computability

Pippenger, Nicholas

Cambridge, U.K.. New York, NY, USA. Cambridge University Press, 1997

Indisponible     (->>)

6
Algebraic automata theory
Algebraic automata theory
Material Type:
Livre 		Ajouter au Panier

Algebraic automata theory

Holcombe, William Michael Lloyd (1944-...)

Appartient à la collection : Cambridge studies in advanced mathematics, 1, ISSN 0950-6330

Cambridge. New York. Melbourne [etc.]. Cambridge University Press, 1982

Indisponible     (->>)

7
Automata theory
Automata theory
Material Type:
Livre 		Ajouter au Panier

Automata theory

Simon, Matthew

Singapore. World Scientific, cop. 1999

Indisponible     (->>)

8
Automata, languages, and machines
Automata, languages, and machines
Material Type:
Livre 		Ajouter au Panier

Automata, languages, and machines

Eilenberg, Samuel (1913-1998) ; Tilson, Bret ()

Appartient à la collection : Pure and applied mathematics (New York. 1949), 59, ISSN 0079-8169

New York : [San Francisco] : London : Academic press, 1974-1976

Disponible(->>)

9
Abstract computing machines : a lambda calculus perspective
Abstract computing machines : a lambda calculus perspective
Material Type:
Livre 		Ajouter au Panier

Abstract computing machines : a lambda calculus perspective

Kluge, Werner

Appartient à la collection : Texts in theoretical computer science (Print), ISSN 1862-4499

Berlin. New York. Springer, cop. 2005

Indisponible     (->>)

10
A basis for theoretical computer science
A basis for theoretical computer science
Material Type:
Livre 		Ajouter au Panier

A basis for theoretical computer science

Arbib, Michael Anthony (1940-...) ; Kfoury, A. J ; Moll, Robert N

Appartient à la collection : The AKM series in theoretical computer science Appartient à la collection : Texts and monographs in computer science, ISSN 0172-603X

New York, [etc.]. Springer-Verlag, copyright 1981

Indisponible     (->>)

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

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

Refine Search Results

N'afficher que

  1. Ressources en ligne (56)

Affiner vos résultats

Type de ressource 

  1. Livres  (64)
  2. ebooks  (56)
  3. Autres open sub menu

Localisation 

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

Sujet 

  1. Machine theory  (92)
  2. Automates mathématiques, Théorie des  (60)
  3. Informatique  (54)
  4. Computer science  (53)
  5. Langages formels  (46)
  6. Logique mathématique  (26)
  7. Sequential machine theory  (22)
  8. Mathematical Logic and Formal Languages  (20)
  9. Complexité de calcul (informatique)  (20)
  10. Computation by Abstract Devices  (19)
  11. Formal languages  (19)
  12. Ordinateurs. Programmation  (18)
  13. Machines séquentielles, Théorie des  (18)
  14. Automates  (17)
  15. Logics and Meanings of Programs  (16)
  16. Logic design  (16)
  17. Algorithmes  (16)
  18. Algorithm Analysis and Problem Complexity  (15)
  19. Computer software  (15)
  20. Computational complexity  (14)
  21. Computer Science, general  (13)
  22. Langages de programmation  (11)
  23. Informatique. Mathématiques  (10)
  24. Génie logiciel  (10)
  25. Réseaux d'ordinateurs  (9)
  26. Software engineering  (9)
  27. Analyse combinatoire  (8)
  28. Data structures (Computer science)  (8)
  29. Programming languages (Electronic computers)  (8)
  30. Computer Communication Networks  (8)
  31. Information theory  (8)
  32. Structures de données (informatique)  (7)
  33. Data Structures  (7)
  34. Combinatorics  (6)
  35. Ordinateurs  (6)
  36. Petri nets  (6)
  37. Theory of Computation  (6)
  38. Software Engineering/Programming and Operating Systems  (5)
  39. Programming Techniques  (5)
  40. Intelligence artificielle  (5)
  41. Electronic data processing  (4)
  42. Turing, Machines de  (4)
  43. Programming Languages, Compilers, Interpreters  (4)
  44. Logique informatique  (4)
  45. Microprocesseurs  (4)
  46. Group theory  (4)
  47. Logic, Symbolic and mathematical  (4)
  48. Processor Architectures  (4)
  49. Artificial intelligence  (4)
  50. Special Purpose and Application-Based Systems  (3)
  51. Artificial Intelligence (incl. Robotics)  (3)
  52. Décidabilité (logique mathématique)  (3)
  53. Mathematics of Computing  (3)
  54. Machine theory. Congresses  (3)
  55. Computers, Special purpose  (3)
  56. Computer graphics  (3)
  57. Petri, Réseaux de  (3)
  58. Fonctions calculables  (3)
  59. Groupes, Théorie des  (3)
  60. Discrete Mathematics in Computer Science  (3)
  61. Automates mathématiques, Théorie des. Actes de congrès  (2)
  62. Computable functions  (2)
  63. Algebra  (2)
  64. Numeric Computing  (2)
  65. Simulation par ordinateur  (2)
  66. Commande, Théorie de la  (2)
  67. Trees (Graph theory)  (2)
  68. Calcul des prédicats  (2)
  69. Stochastic processes  (2)
  70. Méthodes formelles (informatique)  (2)
  71. Mathematics  (2)
  72. Calcul formel  (2)
  73. Robots  (2)
  74. Théorie des jeux  (2)
  75. Operating systems (Computers)  (2)
  76. Information, Théorie de l'  (2)
  77. Operating Systems  (2)
  78. Programmation (mathématiques)  (2)
  79. Computer science. Mathematics  (2)
  80. Mathematical Logic and Foundations  (2)
  81. Autres open sub menu

Auteur 

  1. Rozenberg, Grzegorz  (5)
  2. Börger, Egon  (4)
  3. Gruska, Jozef  (4)
  4. Gécseg, Ferenc  (4)
  5. Brauer, Wilfried  (4)
  6. Hopcroft, John Edward  (3)
  7. Ullman, Jeffrey David  (3)
  8. Siefkes, Dirk  (3)
  9. Karhumäki, Juhani  (3)
  10. Salomaa, Arto  (3)
  11. Chaitin, Gregory J  (3)
  12. Nielsen, Mogens  (2)
  13. Leeuwen, Jan van  (2)
  14. Wood, Derick  (2)
  15. Wiedermann, Juraj  (2)
  16. Milner, Robin  (2)
  17. Müller, Gert Heinz. mathématicien  (2)
  18. Thomas, Wolfgang  (2)
  19. Grädel, Erich  (2)
  20. Ausiello, Giorgio  (2)
  21. Arbib, Michael Anthony  (2)
  22. Wilke, Thomas  (2)
  23. Steinby, Magnus  (2)
  24. Ito, Masami  (1)
  25. Aarts, Emile H. L  (1)
  26. Woeginger, Gerhard J  (1)
  27. Hasenjaeger, Gisbert  (1)
  28. Riccobene, Elvinia  (1)
  29. Loeckx, Jacques  (1)
  30. Gomez, Rodolfo  (1)
  31. Long, Darrell  (1)
  32. Kaufmann, Arnold  (1)
  33. Hausser, Roland  (1)
  34. Stärk, Robert F  (1)
  35. Cannon, James W  (1)
  36. Brinch Hansen, P  (1)
  37. Diekert, Volker  (1)
  38. Podelski, Andreas  (1)
  39. Kudryavtsev, Valery B  (1)
  40. Buchberger, Bruno  (1)
  41. Carlsson, Svante  (1)
  42. Davis, Martin  (1)
  43. Rodriguez Artalejo, Mario  (1)
  44. Maurer, Hermann  (1)
  45. Wirth, N  (1)
  46. Shankar, Priti  (1)
  47. Giles, C. Lee  (1)
  48. Dembiński, P  (1)
  49. Seegmüller, G  (1)
  50. Carbone, Alessandra  (1)
  51. Motwani, Rajeev  (1)
  52. Doche, Christophe  (1)
  53. Association for computing machinery.Special interest group on programming languages.Etats Unis  (1)
  54. Orejas, Fernando  (1)
  55. Oopsla '88.San Diego, California).object-oriented programming systems, languages and applications  (1)
  56. Sannella, Donald  (1)
  57. Moler, C  (1)
  58. Kuich, Werner  (1)
  59. D'Souza, Deepak  (1)
  60. Sipser, Michael  (1)
  61. Zahnd, Jacques  (1)
  62. Shallit, Jeffrey Outlaw  (1)
  63. Kobrinskij, Natan Efimovič  (1)
  64. Tchuenté, Maurice  (1)
  65. Nivat, M  (1)
  66. Pippenger, Nicholas  (1)
  67. Cohen, Henri  (1)
  68. Allouche, Jean-Paul  (1)
  69. Gonzalez, Rafael C  (1)
  70. Gopalakrishnan, Ganesh  (1)
  71. Avanzi, Roberto  (1)
  72. Soulié, Françoise Fogelman  (1)
  73. Ecole polytechnique fédérale. Lausanne, Suisse  (1)
  74. Chiswell, Ian  (1)
  75. Yovine, Sergio  (1)
  76. Bienenstock, Elie  (1)
  77. Robert, Yves. professeur d'informatique  (1)
  78. Neirynck, Jacques  (1)
  79. Kudri︠a︡vt︠s︡ev, V. B  (1)
  80. Frey, Gerhard  (1)
  81. Autres open sub menu

Date de parution 

Affiner à partir de Affiner jusqu'à
Affiner
  1. Avant 1974  (9)
  2. 1974 à 1983  (11)
  3. 1984 à 1992  (18)
  4. 1993 à 2003  (21)
  5. Après 2003  (61)
  6. Autres open sub menu

Langue 

  1. Anglais  (114)
  2. Français  (4)
  3. Allemand  (2)
  4. Autres open sub menu

Collection 

  1. ADDISON-WESLEY SERIES IN COMPUTER SCIENCE  (1)
  2. Addison-Wesley series in computer science and information processing  (2)
  3. Annals of mathematics studies  (1)
  4. Applied mathematics and computation  (1)
  5. Bibliothèque de l'automaticien  (1)
  6. Cambridge studies in advanced mathematics  (1)
  7. Chapman and Hall mathematics series  (1)
  8. Computer science and scientific computing  (1)
  9. Computing  (1)
  10. Decidable theories  (2)
  11. Discrete mathematics and its applications  (1)
  12. EATCS monographs on theoretical computer science  (3)
  13. Encyclopedia of mathematics and its applications  (1)
  14. IISc Research Monographs Series  (1)
  15. International series in pure and applied mathematics  (1)
  16. Lecture Notes in Computer Science  (55)
  17. Lecture notes in control and information sciences  (1)
  18. Lecture Notes in Mathematics  (2)
  19. Leitfäden und Monographien der Informatik  (1)
  20. NATO ASI series  (1)
  21. Nato Science Series  (1)
  22. NATO Science Series II: Mathematics, Physics and Chemistry  (1)
  23. Nonlinear science  (1)
  24. Oxford mathematical monographs  (1)
  25. Prentice-Hall international series in computer science  (1)
  26. Prentice-Hall series in automatic computation  (1)
  27. Prentice-Hall software series  (1)
  28. Principles of computer science series  (1)
  29. Progress in computer science and applied logic  (1)
  30. Pure and applied mathematics  (2)
  31. Que sais-je ?  (1)
  32. Series in computer science  (1)
  33. Springer series in discrete mathematics and theoretical computer science  (1)
  34. Studies in computer science and artificial intelligence  (1)
  35. Studies in logic and the foundations of mathematics  (1)
  36. Symbolic computation  (1)
  37. Texts and monographs in computer science  (1)
  38. Texts in theoretical computer science  (1)
  39. The AKM series in theoretical computer science  (1)
  40. Traité d'électricité de l'École polytechnique fédérale de Lausanne  (1)
  41. Undergraduate texts in computer science  (1)
  42. Universitext  (1)
  43. Wiley-Interscience Series in Discrete Mathematics and Optimization  (1)
  44. World Scientific series in computer science  (1)
  45. Autres open sub menu

Elargir la recherche à tous les documents

Elargir la recherche à tous les documents

de cet auteur:

  1. Rozenberg, Grzegorz
  2. Börger, Egon
  3. Gruska, Jozef
  4. Gécseg, Ferenc
  5. Brauer, Wilfried

sur ce sujet:

  1. Machine theory
  2. Automates mathématiques, Théorie des
  3. Informatique
  4. Computer science
  5. Langages formels

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.