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

résultats 1 2 3 4 5 next page
N'afficher que
Filtré par : sujet: Informatique supprimer
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Computer Science Logic : 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004. Proceedings
Material Type:
ebook
Ajouter au Panier

Computer Science Logic : 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004. Proceedings

Marcinkowski, Jerzy (Ed.) ; Tarlecki, Andrzej (1956-...) (Ed.)

Lecture Notes in Computer Science ; 3210

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

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
Computer Science Logic : 10th International Workshop, CSL '96 Annual Conference of the EACSL Utrecht, The Netherlands, September 21–27, 1996 Selected Papers
Material Type:
ebook
Ajouter au Panier

Computer Science Logic : 10th International Workshop, CSL '96 Annual Conference of the EACSL Utrecht, The Netherlands, September 21–27, 1996 Selected Papers

Dalen, Dirk van (1932-...) (Ed.) ; Bezem, Marc (Ed.)

Lecture Notes in Computer Science ; 1258

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

4
Computational Logic — CL 2000 : First International Conference London, UK, July 24–28, 2000 Proceedings
Material Type:
ebook
Ajouter au Panier

Computational Logic — CL 2000 : First International Conference London, UK, July 24–28, 2000 Proceedings

Furbach, Ulrich (Ed.) ; Sagiv, Yehoshua (Ed.) ; Palamidessi, Catuscia (Ed.) ; Lau, Kung-Kiu (Ed.) ; Lloyd, John (Ed.) ; Dahl, Veronica (1950-...) (Ed.) ; Kerber, Manfred (Ed.) ; Pereira, Luís Moniz (Ed.) ; Stuckey, Peter J (Ed.)

Lecture Notes in Computer Science ; 1861

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

5
Computer Science Logic : 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers
Material Type:
ebook
Ajouter au Panier

Computer Science Logic : 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers

Kleine Büning, Hans (1948-...) (Ed.)

Lecture Notes in Computer Science ; 1092

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

6
Computer Science Logic : 15th International Workshop, CSL 2001 10th Annual Conference of the EACSL Paris, France, September 10–13, 2001, Proceedings
Material Type:
ebook
Ajouter au Panier

Computer Science Logic : 15th International Workshop, CSL 2001 10th Annual Conference of the EACSL Paris, France, September 10–13, 2001, Proceedings

Fribourg, Laurent (Ed.)

Lecture Notes in Computer Science ; 2142

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

7
Computer Science Logic : 12th International Workshop, CSL’98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998. Proceedings
Material Type:
ebook
Ajouter au Panier

Computer Science Logic : 12th International Workshop, CSL’98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998. Proceedings

Grandjean, Etienne (Ed.) ; Grandjean, Etienne (mathématicien) (19..-...) (Ed.) ; Gottlob, Georg (Ed.) ; Seyr, Katrin (Ed.)

Lecture Notes in Computer Science ; 1584

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

8
Types for Proofs and Programs : International Workshop TYPES’96 Aussois, France, December 15–19, 1996 Selected Papers
Material Type:
ebook
Ajouter au Panier

Types for Proofs and Programs : International Workshop TYPES’96 Aussois, France, December 15–19, 1996 Selected Papers

Paulin-Mohring, Christine (1962-...) (Ed.) ; Giménez, Eduardo (1967-...) (Ed.)

Lecture Notes in Computer Science ; 1512

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

9
Computer Science Logic : 11th International Workshop, CSL '97 Annual Conference of the EACSL Aarhus, Denmark, August 23–29, 1997 Selected Papers
Material Type:
ebook
Ajouter au Panier

Computer Science Logic : 11th International Workshop, CSL '97 Annual Conference of the EACSL Aarhus, Denmark, August 23–29, 1997 Selected Papers

Thomas, Wolfgang (1947-...) (Ed.) ; Nielsen, Mogens Peter (1935-...) (Ed.) ; Nielsen, Mogens (1949-..) (Ed.)

Lecture Notes in Computer Science ; 1414

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

10
Computer Science Logic : 16th International Workshop, CSL 2002 11th Annual Conference of the EACSL Edinburgh, Scotland, UK, September 22–25, 2002 Proceedings
Material Type:
ebook
Ajouter au Panier

Computer Science Logic : 16th International Workshop, CSL 2002 11th Annual Conference of the EACSL Edinburgh, Scotland, UK, September 22–25, 2002 Proceedings

Bradfield, Julian (Ed.)

Lecture Notes in Computer Science ; 2471

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

Résultats 1 - 10 sur 690  pour Articles en ligne

résultats 1 2 3 4 5 next page

Refine Search Results

Élargir mes résultats

  1.   

N'afficher que

  1. Catalogue (688)

Affiner vos résultats

Sujet 

  1. Computer Science  (689)
  2. Logique mathématique  (687)
  3. Mathematical Logic and Formal Languages  (658)
  4. Artificial Intelligence (incl. Robotics)  (429)
  5. Intelligence artificielle  (429)
  6. Artificial intelligence  (429)
  7. Logic design  (349)
  8. Logics and Meanings of Programs  (345)
  9. Software engineering  (186)
  10. Génie logiciel  (184)
  11. Langages de programmation  (183)
  12. Ordinateurs. Programmation  (181)
  13. Programming Languages, Compilers, Interpreters  (176)
  14. Computation by Abstract Devices  (158)
  15. Algorithmes  (147)
  16. Programming Techniques  (140)
  17. Computer software  (126)
  18. Algorithm Analysis and Problem Complexity  (126)
  19. Logic, Symbolic and mathematical  (108)
  20. Mathematical Logic and Foundations  (108)
  21. Théorèmes. Démonstration automatique  (79)
  22. Programmation logique  (73)
  23. Database management  (60)
  24. Symbolic and Algebraic Manipulation  (42)
  25. Algebra. Data processing  (42)
  26. Analyse combinatoire  (41)
  27. Combinatorics  (40)
  28. Information storage and retrieval systems  (37)
  29. Information Storage and Retrieval  (37)
  30. Computational complexity  (33)
  31. Discrete Mathematics in Computer Science  (33)
  32. Information systems  (32)
  33. Apprentissage automatique  (31)
  34. Structures de données (informatique)  (29)
  35. Langages formels  (28)
  36. Automates mathématiques, Théorie des  (28)
  37. Programming languages (Electronic computers)  (28)
  38. Data structures (Computer science)  (25)
  39. Data Structures  (25)
  40. Réécriture, Systèmes de (informatique)  (24)
  41. Raisonnement  (24)
  42. Ordinateurs  (24)
  43. Structure logique  (24)
  44. Logique informatique  (23)
  45. Traitement automatique du langage naturel  (22)
  46. Information Systems Applications (incl Internet)  (22)
  47. Computer graphics  (22)
  48. Linguistique. Informatique  (21)
  49. Machine theory  (21)
  50. Optical pattern recognition  (20)
  51. Logiciels. Développement  (20)
  52. Complexité de calcul (informatique)  (20)
  53. Pattern recognition  (20)
  54. Perception des structures  (20)
  55. Business Information Systems  (19)
  56. Management information systems  (19)
  57. Computers, Special purpose  (18)
  58. Special Purpose and Application-Based Systems  (18)
  59. Logiciels  (18)
  60. Systèmes experts (informatique)  (17)
  61. Computer Science, general  (16)
  62. Natural language processing (Computer science)  (16)
  63. Text processing (Computer science)  (16)
  64. Réseaux d'ordinateurs  (15)
  65. Programmation par contraintes  (15)
  66. Computer Communication Networks  (14)
  67. Graphes, Théorie des  (13)
  68. Représentation des connaissances  (13)
  69. Méthodes formelles (informatique)  (13)
  70. Conception assistée par ordinateur  (13)
  71. Document Preparation and Text Processing  (13)
  72. Computer vision  (13)
  73. Circuits intégrés  (12)
  74. Translators (Computer programs)  (12)
  75. Traitement d'images  (12)
  76. Language Translation and Linguistics  (12)
  77. Image Processing and Computer Vision  (12)
  78. Models and Principles  (12)
  79. Computer hardware  (11)
  80. Integrated circuits. Verification  (11)
  81. Mathématiques   (6)
  82. Bases de Données  (3)
  83. Web Sémantique  (3)
  84. Programmation   (2)
  85. Sciences Numériques   (2)
  86. Education  (2)
  87. Modèle Relationnel  (1)
  88. Logiciel  (1)
  89. Programming Languages  (1)
  90. Langage de Programmation  (1)
  91. Multidisciplinary  (1)
  92. Logic in Computer Science  (1)
  93. 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.