skip to main content
Langue :
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters

Résultats 1 - 10 sur 122  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
Classical and quantum computation
Material Type:
Livre
Ajouter au Panier

Classical and quantum computation

Kitaev, Alexei Ju (1963-...) ; Shen, Alexander (1958-...) ; Vyalyi, Mikhail N (1961-...)

Appartient à la collection : Graduate studies in mathematics, 47, ISSN 1065-7339

Providence (R.I.). American mathematical society, copyright 2002

Disponible(->>)

2
Automata theory
Material Type:
Livre
Ajouter au Panier

Automata theory

Simon, Matthew

Singapore. World Scientific, cop. 1999

Indisponible     (->>)

3
Introduction to process algebra
Material Type:
Livre
Ajouter au Panier

Introduction to process algebra

Fokkink, Wan (19..-...)

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

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

Indisponible     (->>)

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

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

6
Mathématiques discrètes : cours et exercices corrigés
Material Type:
Livre
Ajouter au Panier

Mathématiques discrètes : cours et exercices corrigés

Marchand, Pierre (1945-...)

Appartient à la collection : Sciences sup, ISSN 1636-2217

Paris. Dunod, impr. 2003

Indisponible     (->>)

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

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

9
The universal Turing machine : a half-century survey
Material Type:
Livre
Ajouter au Panier

The universal Turing machine : a half-century survey

Herken, Rolf (Ed.)

Wien. New-York. Springer-verl, 1995

Indisponible     (->>)

10
Eléments de théorie des automates
Material Type:
Livre
Ajouter au Panier

Eléments de théorie des automates

Sakarovitch, Jacques

Appartient à la collection : Les Classiques de l'informatique, ISSN 1765-7229

Paris. Vuibert informatique, DL 2003

Disponible(->>)

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

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  (66)
  2. ebooks  (56)
  3. Thèses ou mémoires  (1)
  4. Autres open sub menu

Localisation 

  1. Descartes  (9)
  2. Descartes - CDR  (6)
  3. Monod  (59)
  4. Autres open sub menu

Sujet 

  1. Automates mathématiques, Théorie des  (115)
  2. Informatique  (57)
  3. Computer science  (56)
  4. Machine theory  (53)
  5. Langages formels  (48)
  6. Logique mathématique  (30)
  7. Mathematical Logic and Formal Languages  (27)
  8. Algorithmes  (26)
  9. Complexité de calcul (informatique)  (23)
  10. Computation by Abstract Devices  (22)
  11. Logic design  (22)
  12. Ordinateurs. Programmation  (22)
  13. Algorithm Analysis and Problem Complexity  (20)
  14. Logics and Meanings of Programs  (20)
  15. Computer software  (20)
  16. Langages de programmation  (14)
  17. Intelligence artificielle  (14)
  18. Formal languages  (12)
  19. Génie logiciel  (12)
  20. Data structures (Computer science)  (11)
  21. Réseaux d'ordinateurs  (11)
  22. Ordinateurs  (11)
  23. Software engineering  (11)
  24. Structures de données (informatique)  (10)
  25. Theory of Computation  (10)
  26. Computer Communication Networks  (10)
  27. Data Structures  (10)
  28. Artificial intelligence  (10)
  29. Information theory  (10)
  30. Artificial Intelligence (incl. Robotics)  (9)
  31. Computer Science, general  (9)
  32. Machines séquentielles, Théorie des  (9)
  33. Analyse combinatoire  (8)
  34. Turing, Machines de  (8)
  35. Informatique. Mathématiques  (8)
  36. Programming Languages, Compilers, Interpreters  (7)
  37. Computational complexity  (7)
  38. Fonctions récursives  (6)
  39. Software Engineering/Programming and Operating Systems  (6)
  40. Combinatorics  (6)
  41. Automates  (6)
  42. Décidabilité (logique mathématique)  (6)
  43. Programming Techniques  (6)
  44. Sequential machine theory  (6)
  45. Computer graphics  (6)
  46. Fonctions calculables  (6)
  47. Parallélisme (informatique)  (5)
  48. Mathematics of Computing  (5)
  49. Automates mathématiques, Théorie des. Actes de congrès  (4)
  50. Logique informatique  (4)
  51. Microprocesseurs  (4)
  52. Petri, Réseaux de  (4)
  53. Processor Architectures  (4)
  54. Programmation (mathématiques)  (4)
  55. Structure logique  (3)
  56. Réseaux neuronaux (informatique)  (3)
  57. Programming languages (Electronic computers)  (3)
  58. Systèmes d'exploitation (ordinateurs)  (3)
  59. Automates cellulaires  (3)
  60. Logic, Symbolic and mathematical  (3)
  61. Machine theory. Congresses  (3)
  62. Calcul formel  (3)
  63. Operating systems (Computers)  (3)
  64. Operating Systems  (3)
  65. Electronic data processing  (2)
  66. Ordinateurs neuronaux  (2)
  67. System Performance and Evaluation  (2)
  68. Architecture des ordinateurs  (2)
  69. Pattern recognition  (2)
  70. Bioinformatique  (2)
  71. Systèmes informatiques. Pannes  (2)
  72. Codage  (2)
  73. Petri nets  (2)
  74. Analyse numérique  (2)
  75. Ordinateurs. Programmation Actes de congrès  (2)
  76. Perception des structures  (2)
  77. Informatique. Modèles mathématiques  (2)
  78. Optical pattern recognition  (2)
  79. Discrete Mathematics in Computer Science  (2)
  80. Computer science. Mathematics  (2)
  81. Autres open sub menu

Auteur 

  1. Rozenberg, Grzegorz  (5)
  2. Gécseg, Ferenc  (4)
  3. Wood, Derick  (3)
  4. Hopcroft, John Edward  (3)
  5. Ullman, Jeffrey David  (3)
  6. Yu, Sheng  (3)
  7. Von Neumann, John  (3)
  8. Börger, Egon  (2)
  9. Gruska, Jozef  (2)
  10. Leeuwen, Jan van  (2)
  11. Gorrieri, Roberto  (2)
  12. Maurel, Denis  (2)
  13. Kozen, Dexter C  (2)
  14. Floyd, Robert W  (2)
  15. Motwani, Rajeev  (2)
  16. Thomas, Wolfgang  (2)
  17. Perrin, Dominique  (2)
  18. Grädel, Erich  (2)
  19. Autebert, Jean-Michel  (2)
  20. Kuich, Werner  (2)
  21. Von Neumann, Klara Dan  (2)
  22. Monien, Burkhard  (2)
  23. Beigel, Richard  (2)
  24. Ausiello, Giorgio  (2)
  25. Sipser, Michael  (2)
  26. Tchuenté, Maurice  (2)
  27. Marchetti-Spaccamela, Alberto  (2)
  28. Karhumäki, Juhani  (2)
  29. Engel, Pascal  (2)
  30. Degano, Pierpaolo  (2)
  31. Champarnaud, Jean-Marc  (2)
  32. Pignon, Dominique  (2)
  33. Salomaa, Arto  (2)
  34. Wilke, Thomas  (2)
  35. Hillis, W. Daniel  (2)
  36. Aarts, Emile H. L  (1)
  37. Marchand, Pierre  (1)
  38. Lallement, Gérard  (1)
  39. Paun, Gheorghe  (1)
  40. Girard, Jean-Yves  (1)
  41. Forget, Hugo  (1)
  42. Nielsen, Mogens  (1)
  43. Nivat, Maurice  (1)
  44. Lustman, Francis  (1)
  45. Albert, Javier Leach  (1)
  46. Moll, Robert N  (1)
  47. Carlsson, Svante  (1)
  48. Kalmár, László  (1)
  49. Maurer, Hermann  (1)
  50. NATO Public Diplomacy Division  (1)
  51. Margenstern, Maurice  (1)
  52. Krob, Daniel  (1)
  53. Goldstein, Martin  (1)
  54. Lepistö, Arto  (1)
  55. Vyalyi, Mikhail N  (1)
  56. Hartmanis, J  (1)
  57. Kitaev, Alexei Ju  (1)
  58. Sakakibara, Yasubumi  (1)
  59. Anderson, James Andrew. informaticien  (1)
  60. Conejo, Ricardo  (1)
  61. Spirakis, Paul G  (1)
  62. Fokkink, Wan  (1)
  63. Segala, Roberto  (1)
  64. Thomason, Michael G  (1)
  65. Sigal, Ron  (1)
  66. Siefkes, Dirk  (1)
  67. Paterson, Michael S  (1)
  68. Béal, Marie-Pierre  (1)
  69. Gonzalez, Rafael C  (1)
  70. Gopalakrishnan, Ganesh  (1)
  71. Ecole polytechnique fédérale. Lausanne, Suisse  (1)
  72. Chiswell, Ian  (1)
  73. Brauer, Wilfried  (1)
  74. Mansuy, Roger  (1)
  75. Thiele, Lothar  (1)
  76. Dezani-Ciancaglini, Mariangiola  (1)
  77. Weisbuch, Gérard  (1)
  78. Karpinski, Marek  (1)
  79. Turing, Alan Mathison  (1)
  80. Steinby, Magnus  (1)
  81. Autres open sub menu

Date de parution 

Affiner à partir de Affiner jusqu'à
  1. Avant 1981  (8)
  2. 1981 à 1988  (11)
  3. 1989 à 1996  (18)
  4. 1997 à 2005  (65)
  5. Après 2005  (20)
  6. Autres open sub menu

Langue 

  1. Anglais  (103)
  2. Français  (18)
  3. Russe  (1)
  4. Allemand  (1)
  5. Autres open sub menu

Collection 

  1. ACM Distinguished Dissertations  (1)
  2. ADDISON-WESLEY SERIES IN COMPUTER SCIENCE  (1)
  3. Annals of mathematics studies  (1)
  4. Applied mathematics and computation  (1)
  5. Cambridge studies in advanced mathematics  (1)
  6. Cambridge tracts in theoretical computer science  (1)
  7. Champs  (1)
  8. Collection de logique mathématique  (1)
  9. Collection Milieux  (1)
  10. Computer science and scientific computing  (1)
  11. Discrete mathematics and its applications  (1)
  12. EATCS monographs on theoretical computer science  (2)
  13. Encyclopedia of mathematics and its applications  (1)
  14. ERI, études et recherches en informatique  (1)
  15. Etudes et recherches en informatique  (1)
  16. Graduate studies in mathematics  (1)
  17. IIA, Informatique intelligence artificielle  (1)
  18. IISc Research Monographs Series  (1)
  19. Lecture Notes in Computer Science  (57)
  20. Les classiques de l'informatique  (1)
  21. Manuels informatiques Masson  (2)
  22. Mathématiques et applications  (1)
  23. NATO ASI series  (1)
  24. NATO science series  (1)
  25. NATO Science Series II, Mathematics, Physics and Chemistry  (1)
  26. Nonlinear science  (1)
  27. Nouvelle bibliothèque scientifique  (1)
  28. Prentice-Hall international series in computer science  (1)
  29. Prentice-Hall series in automatic computation  (1)
  30. Pure and applied mathematics  (3)
  31. Sciences Sup  (1)
  32. Sources du savoir  (1)
  33. Textes à l'appui  (1)
  34. Texts and monographs in computer science  (1)
  35. Texts in computer science  (1)
  36. Texts in theoretical computer science  (1)
  37. Texts in theoretical computer science : an EATCS series  (1)
  38. The AKM series in theoretical computer science  (1)
  39. The MIT Press series in artificial intelligence  (1)
  40. Topics in computer mathematics  (1)
  41. Traité d'électricité de l'École polytechnique fédérale de Lausanne  (1)
  42. Undergraduate texts in computer science  (1)
  43. Universitext  (1)
  44. Wiley-Interscience series in discrete mathematics and optimization  (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. Gécseg, Ferenc
  3. Wood, Derick
  4. Hopcroft, John Edward
  5. Ullman, Jeffrey David

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.