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

Disponible(->>)

2
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

Disponible(->>)

3
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

Disponible(->>)

4
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

Disponible(->>)

5
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

Disponible(->>)

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

7
Informatik in der Sekundarstufe II : zur Grundlegung der Informatik als Unterrichtsfach
Informatik in der Sekundarstufe II : zur Grundlegung der Informatik als Unterrichtsfach
Material Type:
Livre 		Ajouter au Panier

Informatik in der Sekundarstufe II : zur Grundlegung der Informatik als Unterrichtsfach

Deller, Hellmut

Frankfurt am Main. M. Diesterweg, cop. 1980

Disponible(->>)

8
Information-theoretic incompleteness
Information-theoretic incompleteness
Material Type:
Livre 		Ajouter au Panier

Information-theoretic incompleteness

Chaitin, Gregory J

Appartient à la collection : Series in computer science, vol. 35, ISSN 0218-0200

Singapore. River Edge, NJ. World Scientific, c1992

Disponible(->>)

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

10
Formal languages and their relation to automata
Formal languages and their relation to automata
Material Type:
Livre 		Ajouter au Panier

Formal languages and their relation to automata

Hopcroft, John Edward (1939-...) ; Ullman, Jeffrey David

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

Reading (Mass.). Menlo Park (Calif.). London [etc.]. Addison-Wesley, cop. 1969

Disponible(->>)

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

Affiner vos résultats

Type de ressource 

  1. Livres  (65)
  2. ebooks  (55)
  3. Autres open sub menu

Localisation 

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

Sujet 

  1. Machine theory  (93)
  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. Logic, Symbolic and mathematical  (4)
  47. Processor Architectures  (4)
  48. Artificial intelligence  (4)
  49. Special Purpose and Application-Based Systems  (3)
  50. Artificial Intelligence (incl. Robotics)  (3)
  51. Group theory  (3)
  52. Décidabilité (logique mathématique)  (3)
  53. Mathematics of Computing  (3)
  54. Computers, Special purpose  (3)
  55. Computer graphics  (3)
  56. Petri, Réseaux de  (3)
  57. Fonctions calculables  (3)
  58. Groupes, Théorie des  (3)
  59. Discrete Mathematics in Computer Science  (3)
  60. Automates mathématiques, Théorie des. Actes de congrès  (2)
  61. Computable functions  (2)
  62. Numeric Computing  (2)
  63. Simulation par ordinateur  (2)
  64. Commande, Théorie de la  (2)
  65. Trees (Graph theory)  (2)
  66. Calcul des prédicats  (2)
  67. Stochastic processes  (2)
  68. Méthodes formelles (informatique)  (2)
  69. Machine theory. Congresses  (2)
  70. Calcul formel  (2)
  71. Robots  (2)
  72. Théorie des jeux  (2)
  73. Operating systems (Computers)  (2)
  74. Information, Théorie de l'  (2)
  75. Operating Systems  (2)
  76. Réseaux (mathématiques)  (2)
  77. Programmation (mathématiques)  (2)
  78. Computer science. Mathematics  (2)
  79. Mathematical Logic and Foundations  (2)
  80. Mélanges et hommages  (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. Milner, Robin  (3)
  9. Siefkes, Dirk  (3)
  10. Karhumäki, Juhani  (3)
  11. Salomaa, Arto  (3)
  12. Chaitin, Gregory J  (3)
  13. Nielsen, Mogens  (2)
  14. Leeuwen, Jan van  (2)
  15. Wood, Derick  (2)
  16. Wiedermann, Juraj  (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. Holcombe, William Michael Lloyd  (1)
  25. Lenstra, Jan Karel  (1)
  26. Khoussainov, Bakhadyr  (1)
  27. Rödding, D  (1)
  28. Meyrowitz, Norman  (1)
  29. Simon, Matthew  (1)
  30. Moll, Robert N  (1)
  31. Diaz, Josep  (1)
  32. Gorrieri, Roberto  (1)
  33. Mislove, M  (1)
  34. Parrow, Joachim  (1)
  35. Berstel, Jean  (1)
  36. Podelski, Andreas  (1)
  37. Eilenberg, Samuel  (1)
  38. Dang, Zhe  (1)
  39. Carlsson, Svante  (1)
  40. Nguyen, Kim  (1)
  41. Rolim, José D. P  (1)
  42. Kozen, Dexter C  (1)
  43. Emde Boas, Peter van  (1)
  44. Floyd, Robert W  (1)
  45. Chytil, Michal  (1)
  46. Welzl, Emo  (1)
  47. Falb, Peter L  (1)
  48. Ehrig, Hartmut  (1)
  49. Doche, Christophe  (1)
  50. Lingas, Andrzej  (1)
  51. Association for computing machinery.Special interest group on programming languages.Etats Unis  (1)
  52. Yu, Sheng  (1)
  53. Karlsson, Rolf  (1)
  54. Minsky, Marvin  (1)
  55. Oopsla '88.San Diego, California).object-oriented programming systems, languages and applications  (1)
  56. Perrin, Dominique  (1)
  57. Sannella, Donald  (1)
  58. Lepistö, Arto  (1)
  59. Monien, Burkhard  (1)
  60. Reisig, Wolfgang  (1)
  61. Beigel, Richard  (1)
  62. D'Souza, Deepak  (1)
  63. European Association for Theoretical Computer Science  (1)
  64. Gargantini, Angelo  (1)
  65. Deller, Hellmut  (1)
  66. Pippenger, Nicholas  (1)
  67. Cohen, Henri  (1)
  68. Montanari, Ugo  (1)
  69. Gonzalez, Rafael C  (1)
  70. Devaux, Pierre  (1)
  71. Degano, Pierpaolo  (1)
  72. Ottmann, Thomas  (1)
  73. Gössel, Michael  (1)
  74. Conway, John Horton  (1)
  75. Neirynck, Jacques  (1)
  76. Dezani-Ciancaglini, Mariangiola  (1)
  77. Sun, Ron  (1)
  78. Karpinski, Marek  (1)
  79. Semmes, Stephen  (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. Nonlinear science  (1)
  22. Oxford mathematical monographs  (1)
  23. Prentice Hall international series in computer science  (1)
  24. Prentice Hall software series  (1)
  25. Prentice-Hall series in automatic computation  (1)
  26. Principles of computer science series  (1)
  27. Progress in computer science and applied logic  (1)
  28. Pure and applied mathematics  (2)
  29. Que sais-je ?  (1)
  30. Series in computer science  (1)
  31. Springer series in discrete mathematics and theoretical computer science  (1)
  32. Studies in computer science and artificial intelligence  (1)
  33. STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS  (1)
  34. Symbolic computation  (1)
  35. Texts and monographs in computer science  (1)
  36. Texts in theoretical computer science  (1)
  37. The AKM series in theoretical computer science  (1)
  38. Traité d'électricité de l'École polytechnique fédérale de Lausanne  (1)
  39. Undergraduate texts in computer science  (1)
  40. Universitext  (1)
  41. Wiley-interscience series in discrete mathematics and optimization  (1)
  42. World Scientific series in computer science  (1)
  43. 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.