skip to main content
Langue :
COVID-19 : bibliothèque fermée. 

Nouveau service Retrait de documents sur rendez-vous
COVID-19 : bibliothèque fermée. 

Nouveau service Retrait de documents sur rendez-vous
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

Indisponible     (->>)

2
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
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
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
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
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
Material Type:
Livre
Ajouter au Panier

Automata theory

Simon, Matthew

Singapore. World Scientific, cop. 1999

Indisponible     (->>)

8
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
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
Conference proceedings : OOPSLA '88, San Diego, California, September 25-30, 1988
Material Type:
Livre
Ajouter au Panier

Conference proceedings : OOPSLA '88, San Diego, California, September 25-30, 1988

Meyrowitz, Norman ; Oopsla '88 (San Diego, California)). object-oriented programming systems, languages and applications () ; Association for Computing Machinery (États-Unis) (Ed.) ; Association for computing machinery (Etats Unis). Special interest group on programming languages (Ed.)

New York. The Association for Computing Machinery, 1988

Indisponible     (->>)

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  (4)
  3. Monod  (55)
  4. Autres open sub menu

Sujet 

  1. Machine theory  (92)
  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  (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. Automatismes séquentiels  (2)
  63. Numeric Computing  (2)
  64. Systèmes d'exploitation (ordinateurs)  (2)
  65. Commande, Théorie de la  (2)
  66. Trees (Graph theory)  (2)
  67. Calcul des prédicats  (2)
  68. Stochastic processes  (2)
  69. Analyse numérique  (2)
  70. Méthodes formelles (informatique)  (2)
  71. Calcul formel  (2)
  72. Robots  (2)
  73. Operating systems (Computers)  (2)
  74. Temporal automata  (2)
  75. Predicate calculus  (2)
  76. Operating Systems  (2)
  77. Programmation (mathématiques)  (2)
  78. Computer science. Mathematics  (2)
  79. Mélanges et hommages  (2)
  80. Combinatorial analysis  (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. 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'à
  1. Avant 1974  (9)
  2. 1974 à 1983  (11)
  3. 1984 à 1992  (18)
  4. 1993 à 2003  (21)
  5. Après 2003  (60)
  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  (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

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.