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 21  pour Articles en ligne

résultats 1 2 3 next page
Filtré par : sujet: Machine theory supprimer
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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

2
Automata Logics, and Infinite Games : A Guide to Current Research
Material Type:
ebook
Ajouter au Panier

Automata Logics, and Infinite Games : A Guide to Current Research

Thomas, Wolfgang (1947-...) (Ed.) ; Grädel, Erich (1958-...) (Ed.) ; Wilke, Thomas (1975-...) (Ed.)

Lecture Notes in Computer Science ; 2500

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

3
Automata, Languages and Programming : 10th Colloquium Barcelona, Spain, July 18–22, 1983
Material Type:
ebook
Ajouter au Panier

Automata, Languages and Programming : 10th Colloquium Barcelona, Spain, July 18–22, 1983

Diaz, Josep (Ed.)

Lecture Notes in Computer Science ; 154

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

4
Automata, Languages and Programming : 13th International Colloquium Rennes, France, July 15–19, 1986 Proceedings
Material Type:
ebook
Ajouter au Panier

Automata, Languages and Programming : 13th International Colloquium Rennes, France, July 15–19, 1986 Proceedings

Kott, Laurent (Ed.)

Lecture Notes in Computer Science ; 226

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

5
Automata Implementation : First International Workshop on Implementing Automata, WIA '96 London, Ontario, Canada, August 29–31, 1996 Revised Papers
Material Type:
ebook
Ajouter au Panier

Automata Implementation : First International Workshop on Implementing Automata, WIA '96 London, Ontario, Canada, August 29–31, 1996 Revised Papers

Wood, Derick (Ed.) ; Raymond, Darrell (Ed.) ; Yu, Sheng (Ed.)

Lecture Notes in Computer Science ; 1260

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

6
Automata on Infinite Words : Ecole de Printemps d'Informatique Théorique Le Mont Dore, May 14–18, 1984
Material Type:
ebook
Ajouter au Panier

Automata on Infinite Words : Ecole de Printemps d'Informatique Théorique Le Mont Dore, May 14–18, 1984

Perrin, Dominique (1946-...) (Ed.) ; Nivat, Maurice (1937-2017) (Ed.)

Lecture Notes in Computer Science ; 192

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

7
Mathematical Foundations of Programming Language Semantics : 3rd Workshop Tulane University, New Orleans, Louisiana, USA April 8–10, 1987 Proceedings
Material Type:
ebook
Ajouter au Panier

Mathematical Foundations of Programming Language Semantics : 3rd Workshop Tulane University, New Orleans, Louisiana, USA April 8–10, 1987 Proceedings

Main, M (Ed.) ; Melton, A (Ed.) ; Mislove, M (Ed.) ; Schmidt, D (Ed.)

Lecture Notes in Computer Science ; 298

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

8
Mathematical Foundations of Computer Science 1980 : Proceedings of the 9th Symposium Held in Rydzyna, Poland, September 1–5, 1980
Material Type:
ebook
Ajouter au Panier

Mathematical Foundations of Computer Science 1980 : Proceedings of the 9th Symposium Held in Rydzyna, Poland, September 1–5, 1980

Dembiński, P (Ed.)

Lecture Notes in Computer Science ; 88

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

9
Automata, Languages and Programming : Seventh Colloquium Noordwijkerhout, the Netherlands July 14–18, 1980
Material Type:
ebook
Ajouter au Panier

Automata, Languages and Programming : Seventh Colloquium Noordwijkerhout, the Netherlands July 14–18, 1980

Bakker, Jacobus Willem de (1939-...) (Ed.) ; Leeuwen, Jan van (1946-...) (Ed.)

Lecture Notes in Computer Science ; 85

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

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 21  pour Articles en ligne

résultats 1 2 3 next page

Refine Search Results

Élargir mes résultats

  1.   

Affiner vos résultats

Sujet 

  1. Logique mathématique  (20)
  2. Mathematical Logic and Formal Languages  (18)
  3. Automates mathématiques, Théorie des  (13)
  4. Computation by Abstract Devices  (12)
  5. Logics and Meanings of Programs  (11)
  6. Logic design  (11)
  7. Langages formels  (9)
  8. Algorithm Analysis and Problem Complexity  (9)
  9. Computer software  (9)
  10. Algorithmes  (9)
  11. Ordinateurs. Programmation  (6)
  12. Langages de programmation  (4)
  13. Structures de données (informatique)  (4)
  14. Data structures (Computer science)  (4)
  15. Data Structures  (4)
  16. Analyse combinatoire  (3)
  17. Combinatorics  (3)
  18. Automates  (3)
  19. Complexité de calcul (informatique)  (3)
  20. Computer Science, general  (3)
  21. Informatique. Mathématiques  (3)
  22. Programming Techniques  (3)
  23. Intelligence artificielle  (2)
  24. Discrete Mathematics in Computer Science  (2)
  25. Programming languages (Electronic computers)  (2)
  26. Computational complexity  (2)
  27. Artificial intelligence  (2)
  28. Logique informatique  (2)
  29. Mélanges et hommages  (2)
  30. Computer graphics  (2)
  31. Artificial Intelligence (incl. Robotics)  (2)
  32. Logic, Symbolic and mathematical  (1)
  33. Microprocesseurs  (1)
  34. Numeric Computing  (1)
  35. Mathematical Logic and Foundations  (1)
  36. Petri nets  (1)
  37. Problèmes des mots (mathématiques)  (1)
  38. Grammaires de graphes  (1)
  39. Langages de programmation. Sémantique  (1)
  40. Processor Architectures  (1)
  41. Prise de décision  (1)
  42. Génie logiciel  (1)
  43. Software engineering  (1)
  44. Théorie des jeux  (1)
  45. Electronic data processing  (1)
  46. Programming Languages, Compilers, Interpreters  (1)
  47. Analyse numérique  (1)
  48. 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.