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

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

résultats 1 2 3 4 5 next page
N'afficher que
Filtré par : sujet: Computational complexity supprimer
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Logic and complexity
Material Type:
Livre
Ajouter au Panier

Logic and complexity

Lassaigne, Richard ; Rougemont, Michel de

Appartient à la collection : Discrete mathematics and theoretical computer science (Series), ISSN 1439-9911

London. New York. Springer, cop. 2004

Disponible(->>)

2
Logic and computer science
Material Type:
Livre
Ajouter au Panier

Logic and computer science

Odifreddi, Piergiorgio (1950-...) (Ed.)

Appartient à la collection : A.P.I.C. studies in data processing, v. 31

London. San Diego, CA. Academic Press, c1990

Disponible(->>)

3
Computability, complexity, logic
Material Type:
Livre
Ajouter au Panier

Computability, complexity, logic

Börger, Egon (1946-...)

Appartient à la collection : Studies in logic and the foundations of mathematics, 128, ISSN 0049-237X

Amsterdam. New-York. Oxford. Tokyo. North-Holland, 1989

Disponible(->>)

4
Logical foundations of proof complexity
Material Type:
Livre
Ajouter au Panier

Logical foundations of proof complexity

Cook, Stephen Arthur (1939-...) ; Nguyen, Phuong (1977-...)

Appartient à la collection : Perspectives in logic

New York. Cambridge University Press. Ithaca, NY. Association for Symbolic Logic, cop. 2010

Disponible(->>)

5
Finite automata, formal logic, and circuit complexity
Material Type:
Livre
Ajouter au Panier

Finite automata, formal logic, and circuit complexity

Straubing, Howard (1952-...)

Appartient à la collection : Progress in theoretical computer science

Boston. Basel. Berlin. Birkhäuser, 1994

Disponible(->>)

6
Theory of computation
Material Type:
Livre
Ajouter au Panier

Theory of computation

Kozen, Dexter C (1951-...)

Appartient à la collection : Texts in computer science, ISSN 1868-0941

London. Springer, cop. 2006

Disponible(->>)

7
Elements of the theory of computation
Material Type:
Livre
Ajouter au Panier

Elements of the theory of computation

Lewis, Harry R ; Papadimitriou, Christos H (1949-...)

Appartient à la collection : Prentice-Hall software series, ISSN 0891-4516

Englewood Cliffs (N.J.). Prentice-Hall, cop. 1981

Disponible(->>)

8
Introduction to the theory of computation
Material Type:
Livre
Ajouter au Panier

Introduction to the theory of computation

Sipser, Michael

Boston (Mass.). London. Paris [etc.]. PWS Publ, cop. 1997

Disponible(->>)

9
Computational complexity and statistical physics
Material Type:
Livre
Ajouter au Panier

Computational complexity and statistical physics

Percus, Allon G (Ed.) ; Moore, Cristopher (1968-...) (Ed.) ; Istrate, Gabriel (Ed.)

Appartient à la collection : Santa Fe Institute studies in the sciences of complexity series

Oxford. Oxford University Press, 2006

Disponible(->>)

10
Conceptual Structures: Integration and Interfaces : 10th International Conference on Conceptual Structures, ICCS 2002 Borovets, Bulgaria, July 15–19, 2002 Proceedings
Material Type:
ebook
Ajouter au Panier

Conceptual Structures: Integration and Interfaces : 10th International Conference on Conceptual Structures, ICCS 2002 Borovets, Bulgaria, July 15–19, 2002 Proceedings

Angelova, Galia (1955-...) (Ed.) ; Priss, Uta (1967-...) (Ed.) ; Corbett, Dan (Ed.)

Lecture Notes in Computer Science ; 2393

Berlin [etc.]. Springer, 201. ?

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

résultats 1 2 3 4 5 next page

Refine Search Results

N'afficher que

  1. Ressources en ligne (33)

Affiner vos résultats

Type de ressource 

  1. ebooks  (33)
  2. Livres  (9)
  3. Autres open sub menu

Sujet 

  1. Logique mathématique  (40)
  2. Computer science  (33)
  3. Discrete Mathematics in Computer Science  (33)
  4. Informatique  (33)
  5. Mathematical Logic and Formal Languages  (31)
  6. Algorithm Analysis and Problem Complexity  (18)
  7. Algorithmes  (18)
  8. Computer software  (18)
  9. Computation by Abstract Devices  (15)
  10. Logics and Meanings of Programs  (15)
  11. Logic design  (15)
  12. Artificial Intelligence (incl. Robotics)  (14)
  13. Complexité de calcul (informatique)  (14)
  14. Intelligence artificielle  (14)
  15. Artificial intelligence  (14)
  16. Génie logiciel  (9)
  17. Graphes, Théorie des  (8)
  18. Logic, Symbolic and mathematical  (8)
  19. Structures de données (informatique)  (7)
  20. Représentation des connaissances  (7)
  21. Data structures (Computer science)  (6)
  22. Data Structures  (6)
  23. Software engineering  (6)
  24. Conceptual structures (Information theory)  (5)
  25. Computer graphics  (5)
  26. Logigrammes  (5)
  27. Electronic data processing  (4)
  28. Machine theory  (4)
  29. Numeric Computing  (4)
  30. Traitement automatique du langage naturel  (4)
  31. Natural language processing (Computer science)  (4)
  32. Analyse numérique  (4)
  33. Langages formels  (4)
  34. Grammaires de graphes  (4)
  35. Analyse combinatoire  (3)
  36. Programming Languages, Compilers, Interpreters  (3)
  37. Informatique. Mathématiques  (3)
  38. Langages de programmation  (3)
  39. Théorèmes. Démonstration automatique  (3)
  40. Algebra. Data processing  (3)
  41. Information, Théorie de l'  (3)
  42. Symbolic and Algebraic Manipulation  (3)
  43. Mélanges et hommages  (3)
  44. Information systems  (2)
  45. Réseaux d'ordinateurs  (2)
  46. Pattern recognition  (2)
  47. Décidabilité (logique mathématique)  (2)
  48. Ordinateurs  (2)
  49. Petri nets  (2)
  50. Theory of Computation  (2)
  51. Réécriture, Systèmes de (informatique)  (2)
  52. Perception des structures  (2)
  53. Automates mathématiques, Théorie des  (2)
  54. Computer Communication Networks  (2)
  55. Fonctions calculables  (2)
  56. Information Systems Applications (incl.Internet)  (2)
  57. Optical pattern recognition  (2)
  58. Information theory  (2)
  59. Physique statistique  (1)
  60. Prédicat (logique)  (1)
  61. Arbres (théorie des graphes). Informatique  (1)
  62. Logiciels  (1)
  63. Programming (Mathematics)  (1)
  64. Phase transformations (Statistical physics)  (1)
  65. Programming languages (Electronic computers)  (1)
  66. Géométrie. Informatique  (1)
  67. Algèbres des relations  (1)
  68. Information storage and retrieval  (1)
  69. Ordinateurs. Programmation  (1)
  70. Programming Techniques  (1)
  71. Codage  (1)
  72. Théorie de la démonstration  (1)
  73. Information storage and retrieval systems  (1)
  74. Gestion des connaissances  (1)
  75. Modèles mathématiques  (1)
  76. Convex and Discrete Geometry  (1)
  77. Automata  (1)
  78. Computer science. Mathematics  (1)
  79. Logique algébrique  (1)
  80. Mathematical Logic and Foundations  (1)
  81. Autres open sub menu

Auteur 

  1. Rozenberg, Grzegorz  (3)
  2. Nagl, Manfred  (2)
  3. Delugach, Harry S  (2)
  4. Ehrig, Hartmut  (2)
  5. Karhumäki, Juhani  (2)
  6. Ganter, Bernhard  (2)
  7. Salomaa, Arto  (2)
  8. Ito, Masami  (1)
  9. Straubing, Howard  (1)
  10. Blundo, Carlo  (1)
  11. Wierzbicki, Tomasz  (1)
  12. Campbell, John Arthur  (1)
  13. Istrate, Gabriel  (1)
  14. Stumme, Gerd  (1)
  15. Börger, Egon  (1)
  16. Koutny, Maciej  (1)
  17. Dinneen, Michael J  (1)
  18. Habib, Michel. informaticien  (1)
  19. Benhamou, Belaïd  (1)
  20. Corbett, Dan  (1)
  21. Wang, Dongming  (1)
  22. Pfeiffer, Heather D  (1)
  23. Diekert, Volker  (1)
  24. Angelova, Galia  (1)
  25. Calmet, Jacques  (1)
  26. Struth, Georg  (1)
  27. Nilsson, Bengt J  (1)
  28. Berghammer, Rudolf  (1)
  29. Buchberger, Bruno  (1)
  30. Ésik, Zoltán  (1)
  31. Maurer, Hermann  (1)
  32. Priss, Uta  (1)
  33. Kozen, Dexter C  (1)
  34. Caprotti, Olga  (1)
  35. Eklund, Peter  (1)
  36. Campbell, John Kennedy  (1)
  37. Cook, Stephen Arthur  (1)
  38. Colom, José-Manuel  (1)
  39. Münch, Manfred  (1)
  40. Toyama, Masafumi  (1)
  41. Lingas, Andrzej  (1)
  42. Calude, Cristian S  (1)
  43. Laneve, Cosimo  (1)
  44. Rougemont, Michel de  (1)
  45. Lenski, Wolfgang  (1)
  46. Agrawal, Manindra  (1)
  47. Winkler, Franz  (1)
  48. Kuich, Werner  (1)
  49. Kirchner, Hélène  (1)
  50. Odifreddi, Piergiorgio  (1)
  51. Corradini, Andrea  (1)
  52. Radhakrishnan, Jaikumar  (1)
  53. Sipser, Michael  (1)
  54. Pandya, Paritosh K  (1)
  55. Mineau, Guy W  (1)
  56. Pfaltz, John L  (1)
  57. Richtert-Gebert, Jürgen  (1)
  58. Lassaigne, Richard  (1)
  59. Lex, Wilfried  (1)
  60. Vajnovszki, Vincent  (1)
  61. Papadimitriou, Christos H  (1)
  62. Percus, Allon G  (1)
  63. Fülöp, Zoltan  (1)
  64. Möller, Bernhard  (1)
  65. Henocque, Laurent  (1)
  66. Nguyen, Phuong  (1)
  67. Moore, Cristopher  (1)
  68. Wolff, Karl Erich  (1)
  69. Brauer, Wilfried  (1)
  70. Hariharan, Ramesh  (1)
  71. Schürr, Andreas  (1)
  72. Freivalds, Rūsiņš  (1)
  73. Kutyłowski, Mirosław  (1)
  74. Tepfenhart, William M  (1)
  75. Moor, Aldo de  (1)
  76. PĂun, Gheorghe  (1)
  77. Pacholski, Leszek  (1)
  78. Sorge, Volker  (1)
  79. Cyre, Walling  (1)
  80. Böhlen, Boris  (1)
  81. Autres open sub menu

Date de parution 

Affiner à partir de Affiner jusqu'à
  1. Avant 1989  (1)
  2. 1989 à 1989  (1)
  3. 1990 à 1993  (1)
  4. 1994 à 1997  (2)
  5. Après 1997  (37)
  6. Autres open sub menu

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.