skip to main content
Langue :
Afficher les résultats avec :

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

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

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

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

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

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

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

10
Automata and languages : theory and applications
Material Type:
Livre
Ajouter au Panier

Automata and languages : theory and applications

Meduna, Alexander (1957-...)

London. Berlin. New York [etc.]. Springer, cop. 2000

Disponible(->>)

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

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  (64)
  2. ebooks  (55)
  3. Autres open sub menu

Localisation 

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

Sujet 

  1. Machine theory  (93)
  2. Automates mathématiques, Théorie des  (59)
  3. Informatique  (54)
  4. Computer science  (53)
  5. Langages formels  (46)
  6. Logique mathématique  (26)
  7. Sequential machine theory  (21)
  8. Mathematical Logic and Formal Languages  (20)
  9. Complexité de calcul (informatique)  (20)
  10. Computation by Abstract Devices  (19)
  11. Ordinateurs. Programmation  (18)
  12. Machines séquentielles, Théorie des  (18)
  13. Formal languages  (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. Melton, A  (1)
  25. Loeckx, Jacques  (1)
  26. Lenstra, Jan Karel  (1)
  27. Long, Darrell  (1)
  28. Büchi, Julius Richard  (1)
  29. Khoussainov, Bakhadyr  (1)
  30. Rödding, D  (1)
  31. Hausser, Roland  (1)
  32. Stärk, Robert F  (1)
  33. Moll, Robert N  (1)
  34. Mislove, M  (1)
  35. Diekert, Volker  (1)
  36. Berstel, Jean  (1)
  37. Kluge, Werner  (1)
  38. Buchberger, Bruno  (1)
  39. Maurer, Hermann  (1)
  40. Shankar, Priti  (1)
  41. Kozen, Dexter C  (1)
  42. Epstein, David Bernard Alper  (1)
  43. Giles, C. Lee  (1)
  44. Dembiński, P  (1)
  45. Trakhtenbrot, Boris Avraamovich  (1)
  46. Carbone, Alessandra  (1)
  47. Brakhage, Helmut  (1)
  48. Böhm, C  (1)
  49. Pin, Jean-Éric  (1)
  50. Karlsson, Rolf  (1)
  51. Oopsla '88.San Diego, California).object-oriented programming systems, languages and applications  (1)
  52. Lange, Tanja  (1)
  53. Baeten, J. C. M  (1)
  54. Mazurkiewicz, Antoni  (1)
  55. Kuich, Werner  (1)
  56. Watson, Bruce W  (1)
  57. Reisig, Wolfgang  (1)
  58. Beigel, Richard  (1)
  59. D'Souza, Deepak  (1)
  60. Fogelman-Soulié, Françoise  (1)
  61. Sipser, Michael  (1)
  62. Hartmanis, J  (1)
  63. Zahnd, Jacques  (1)
  64. Shallit, Jeffrey Outlaw  (1)
  65. Reutenauer, Christophe  (1)
  66. Spirakis, Paul G  (1)
  67. Gargantini, Angelo  (1)
  68. Weyuker, Elaine J  (1)
  69. Raymond, Darrell  (1)
  70. Fülöp, Zoltan  (1)
  71. Berthé, Valérie  (1)
  72. Shepherdson, John Cedric  (1)
  73. Gopalakrishnan, Ganesh  (1)
  74. Soulié, Françoise Fogelman  (1)
  75. Kalman, Rudolf Emil  (1)
  76. Yovine, Sergio  (1)
  77. Goos, G  (1)
  78. Weisbuch, Gérard  (1)
  79. Karpinski, Marek  (1)
  80. Frey, Gerhard  (1)
  81. Autres open sub menu

Date de parution 

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

Langue 

  1. Anglais  (113)
  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 software series  (1)
  24. Prentice-Hall International series in computer science  (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  (1)
  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

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.