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

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

résultats 1 2 next page
N'afficher que
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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(->>)

2
Computation Theory and Logic
Material Type:
ebook
Ajouter au Panier

Computation Theory and Logic

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

Lecture Notes in Computer Science ; 270

Berlin, Heidelberg. Springer-Verlag. Springer e-books, 2005

3
Architecture design and validation methods
Material Type:
Livre
Ajouter au Panier

Architecture design and validation methods

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

Berlin. Paris [etc.]. Springer, cop. 2000

Disponible(->>)

4
Trends in theoretical computer science
Material Type:
Livre
Ajouter au Panier

Trends in theoretical computer science

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

Appartient à la collection : Principles of computer science series, 12, ISSN 0888-2096

Rockville, MD.. Computer Science Press, c1988

Disponible(->>)

5
Abstract State Machines 2003 : Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3–7, 2003 Proceedings
Material Type:
ebook
Ajouter au Panier

Abstract State Machines 2003 : Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3–7, 2003 Proceedings

Gargantini, Angelo (Ed.) ; Börger, Egon (1946-...) (Ed.) ; Riccobene, Elvinia (Ed.)

Lecture Notes in Computer Science ; 2589

Berlin, Heidelberg. Springer-Verlag Berlin Heidelberg. Springer e-books, 2003

6
Computer Science Logic : 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers
Material Type:
ebook
Ajouter au Panier

Computer Science Logic : 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers

Meinke, Karl (Ed.) ; Börger, Egon (1946-...) (Ed.) ; Gurevich, Yuri (Ed.)

Lecture Notes in Computer Science ; 832

Berlin, Heidelberg. Springer-Verlag. Springer e-books, 2006

7
The classical decision problem
Material Type:
Livre
Ajouter au Panier

The classical decision problem

Börger, Egon (1946-...) ; Grädel, Erich (1958-...) ; Gurevich, Yuri ()

Appartient à la collection : Perspectives in mathematical logic, ISSN 0172-6641

Berlin. Heidelberg. New York. Springer, cop. 1997

Disponible(->>)

8
Abstract state machines : a method for high-level system design and analysis
Material Type:
Livre
Ajouter au Panier

Abstract state machines : a method for high-level system design and analysis

Börger, Egon (1946-...) ; Stärk, Robert F (1963-...)

Berlin. Heidelberg. New York. Springer, cop. 2003

Disponible(->>)

9
Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part II
Material Type:
Livre
Ajouter au Panier

Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part II

Richter, Michael M (1938-...) (Ed.) ; Börger, Egon (1946-...) (Ed.) ; Oberschelp, Walter (1933-...) (Ed.)

Appartient à la collection : Lecture notes in mathematics, 1104, ISSN 0075-8434

Berlin. Heidelberg. New York [etc.]. Springer-Verlag, 1984, cop. 1984

Disponible(->>)

10
Logic and Machines: Decision Problems and Complexity : Proceedings of the Symposium “Rekursive Kombinatorik” held from May 23 – 28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen
Material Type:
ebook
Ajouter au Panier

Logic and Machines: Decision Problems and Complexity : Proceedings of the Symposium “Rekursive Kombinatorik” held from May 23 – 28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen

Börger, Egon (1946-...) (Ed.) ; Rödding, D (Ed.) ; Hasenjaeger, Gisbert (1919-2006) (Ed.)

Lecture Notes in Computer Science ; 171

Berlin, Heidelberg. Springer-Verlag. Springer e-books, 2005

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

résultats 1 2 next page

Refine Search Results

N'afficher que

  1. Ressources en ligne (12)

Affiner vos résultats

Type de ressource 

  1. ebooks  (12)
  2. Livres  (6)
  3. Autres open sub menu

Sujet 

  1. Logique mathématique  (11)
  2. Computer science  (11)
  3. Informatique  (11)
  4. Logics and Meanings of Programs  (9)
  5. Logic design  (9)
  6. Mathematical Logic and Formal Languages  (8)
  7. Computation by Abstract Devices  (6)
  8. Artificial Intelligence (incl. Robotics)  (6)
  9. Intelligence artificielle  (6)
  10. Artificial intelligence  (6)
  11. Machine theory  (4)
  12. Logic, Symbolic and mathematical  (4)
  13. Complexité de calcul (informatique)  (4)
  14. Programming Languages, Compilers, Interpreters  (3)
  15. Algorithm Analysis and Problem Complexity  (3)
  16. Informatique. Mathématiques  (3)
  17. Langages de programmation  (3)
  18. Algorithmes  (3)
  19. Computer software  (3)
  20. Génie logiciel  (3)
  21. Mathematical Logic and Foundations  (3)
  22. Analyse combinatoire  (2)
  23. Combinatorics  (2)
  24. Algebra. Data processing  (2)
  25. Prise de décision  (2)
  26. Automates mathématiques, Théorie des  (2)
  27. Symbolic and Algebraic Manipulation  (2)
  28. Software engineering  (2)
  29. Computable functions  (1)
  30. Théorie de la démonstration. Actes de congrès  (1)
  31. Réseaux d'ordinateurs  (1)
  32. Logique informatique  (1)
  33. Computable functions. Congresses  (1)
  34. Mathématiques  (1)
  35. Architecture des ordinateurs  (1)
  36. Automates  (1)
  37. Decidability (Mathematical logic)  (1)
  38. Computational complexity  (1)
  39. Décidabilité (logique mathématique)  (1)
  40. Ordinateurs  (1)
  41. Ordinateurs. Programmation  (1)
  42. Programming Techniques  (1)
  43. Fonctions calculables. Informatique  (1)
  44. Computer Science, general  (1)
  45. Chaudières à vapeur  (1)
  46. Commande automatique  (1)
  47. Théorie de la démonstration  (1)
  48. Mathematics  (1)
  49. Fonctions calculables. Informatique Actes de congrès  (1)
  50. PROGRAMMATION  (1)
  51. Spécifications  (1)
  52. Computer Communication Networks  (1)
  53. Systems and Information Theory in Engineering  (1)
  54. Fonctions calculables  (1)
  55. Database management  (1)
  56. Traitement réparti  (1)
  57. Autres open sub menu

Date de parution 

Affiner à partir de Affiner jusqu'à
  1. Avant 1988  (1)
  2. 1988 à 1988  (1)
  3. 1989 à 1996  (1)
  4. 1997 à 2000  (2)
  5. Après 2000  (13)
  6. Autres open sub menu

Discipline 

  1. Informatique  (5)
  2. Mathématiques  (1)
  3. Autres open sub menu

Elargir la recherche à tous les documents

Elargir la recherche à tous les documents

de cet auteur:

  1. Börger, Egon
  2. Richter, Michael M
  3. Kleine Büning, Hans
  4. Oberschelp, Walter
  5. Gurevich, Yuri

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.