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

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
Logical Foundations of Computer Science : International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings
Material Type:
ebook
Ajouter au Panier

Logical Foundations of Computer Science : International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings

Artemov, Sergei (Ed.) ; Nerode, Anil (Ed.)

Appartient à la collection : Lecture notes in computer science, 9537, ISSN 0302-9743

Cham. Springer International Publishing. Imprint: Springer, 2016

2
Language, Logic, and Computation : 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers
Material Type:
ebook
Ajouter au Panier

Language, Logic, and Computation : 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers

Silva, Alexandra (Ed.) ; Staton, Sam (Ed.) ; Sutton, Peter (Ed.) ; Umbach, Carla (Ed.)

Appartient à la collection : Theoretical computer science and general issues (Online), 11456, ISSN 2512-2029 Appartient à la collection : Lecture notes in computer science (Internet), ISSN 1611-3349

Berlin, Heidelberg. Springer Berlin Heidelberg. Imprint: Springer, 2019

3
Categories and Types in Logic, Language, and Physics : Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday
Material Type:
ebook
Ajouter au Panier

Categories and Types in Logic, Language, and Physics : Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday

Casadio, Claudia ; Coecke, Bob (Ed.) ; Moortgat, Michael (Ed.) ; Scott, Philip (Ed.)

Appartient à la collection : Lecture notes in computer science, 8222, ISSN 0302-9743

Berlin, Heidelberg. Springer Berlin Heidelberg. Springer e-books. Imprint: Springer. Springer e-books, 2014

4
Coalgebraic Methods in Computer Science : 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018, Revised Selected Papers
Material Type:
ebook
Ajouter au Panier

Coalgebraic Methods in Computer Science : 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018, Revised Selected Papers

Cîrstea, Corina (Ed.)

Appartient à la collection : Theoretical Computer Science and General Issues, 11202

Cham. Springer International Publishing. Imprint: Springer, 2018

5
Logic and Computer Science : Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20–28, 1988
Material Type:
ebook
Ajouter au Panier

Logic and Computer Science : Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20–28, 1988

Homer, Steven ; Platek, Richard A (19..-...) ; Scedrov, Andre ; Nerode, Anil (1932-...) ; Sacks, Gerald Enoch (1933-...) ; Odifreddi, Piergiorgio (1950-...) (Ed.) ; Centro internazionale matematico estivo (Ed.)

Appartient à la collection : Lecture notes in mathematics (Internet), 1429, ISSN 1617-9692 Appartient à la collection : CIME foundation subseries

Berlin [etc.]. Springer, 201. ?

6
Reachability Problems : 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings
Material Type:
ebook
Ajouter au Panier

Reachability Problems : 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings

Bojańczyk, Mikołaj (Ed.) ; Lasota, Sławomir (Ed.) ; Potapov, Igor (Ed.)

Appartient à la collection : Lecture notes in computer science, 9328, ISSN 0302-9743

Cham. Springer International Publishing. Imprint: Springer, 2015

7
Abstract State Machines, Alloy, B, TLA, VDM, and Z : 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings
Material Type:
ebook
Ajouter au Panier

Abstract State Machines, Alloy, B, TLA, VDM, and Z : 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings

Aït-Ameur, Yamine (1966-...) (Ed.) ; Schewe, Klaus-Dieter (Ed.)

Appartient à la collection : Lecture notes in computer science, 8477, ISSN 0302-9743

Berlin, Heidelberg. Springer Berlin Heidelberg. Springer e-books. Imprint: Springer. Springer e-books, 2014

8
Artificial Intelligence and Symbolic Computation : 13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings
Material Type:
ebook
Ajouter au Panier

Artificial Intelligence and Symbolic Computation : 13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings

Fleuriot, Jacques (Ed.) ; Wang, Dongming (Ed.) ; Calmet, Jacques (Ed.)

Appartient à la collection : Lecture Notes in Artificial Intelligence, 11110

Cham. Springer International Publishing. Imprint: Springer, 2018

9
Formal Grammar : 19th International Conference, FG 2014, Tübingen, Germany, August 16-17, 2014. Proceedings
Material Type:
ebook
Ajouter au Panier

Formal Grammar : 19th International Conference, FG 2014, Tübingen, Germany, August 16-17, 2014. Proceedings

Morrill, Glyn V (Ed.) ; Muskens, Reinhard (1953-...) (Ed.) ; Osswald, Rainer (Ed.) ; Richter, Frank (Ed.)

Appartient à la collection : Lecture notes in computer science, 8612, ISSN 0302-9743

Berlin, Heidelberg. Springer Berlin Heidelberg. Imprint: Springer, 2014

10
Reachability Problems : 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings
Material Type:
ebook
Ajouter au Panier

Reachability Problems : 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings

Larsen, Kim Guldstrand (Ed.) ; Potapov, Igor (Ed.) ; Srba, Jiří (Ed.)

Appartient à la collection : Lecture notes in computer science, 9899, ISSN 0302-9743

Cham. Springer International Publishing. Springer e-books. Imprint: Springer. Springer e-books, 2016

Résultats 1 - 10 sur 2 958  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. Evalués par les pairs (109)
  2. Catalogue (1 117)

Affiner vos résultats

Sujet 

  1. Computer Science  (2 712)
  2. Mathematical Logic and Formal Languages  (2 588)
  3. Artificial Intelligence (Incl. Robotics)  (1 421)
  4. Logics and Meanings of Programs  (1 308)
  5. Artificial Intelligence  (1 071)
  6. Mathematical Logic  (980)
  7. Software Engineering  (871)
  8. Programming Languages, Compilers, Interpreters  (813)
  9. Informatique  (660)
  10. Logique mathématique  (658)
  11. Logic design  (567)
  12. Programming Techniques  (554)
  13. Computer Logic  (537)
  14. Computation By Abstract Devices  (487)
  15. Algorithm Analysis and Problem Complexity  (473)
  16. Intelligence artificielle  (413)
  17. Mathematical Logic and Foundations  (363)
  18. Mathematics  (361)
  19. Programming languages (Electronic computers)  (353)
  20. Computers  (339)
  21. Computer software  (228)
  22. Engineering  (223)
  23. Algorithms  (220)
  24. Computer programming  (208)
  25. Database management  (186)
  26. Information Storage and Retrieval  (183)
  27. Langages de programmation  (182)
  28. Information Systems Applications (Incl. Internet)  (181)
  29. Génie logiciel  (181)
  30. Discrete Mathematics in Computer Science  (180)
  31. Ordinateurs. Programmation  (177)
  32. Software Engineering/Programming and Operating Systems  (157)
  33. Algorithmes  (146)
  34. Logic, Symbolic and mathematical  (130)
  35. Symbolic and Algebraic Manipulation  (116)
  36. Data Mining and Knowledge Discovery  (113)
  37. Computer Communication Networks  (107)
  38. Computational complexity  (86)
  39. Simulation and Modeling  (82)
  40. Language Translation and Linguistics  (82)
  41. Data structures (Computer science)  (81)
  42. Data Structures  (81)
  43. Logic  (81)
  44. Computer science. Mathematics  (80)
  45. Théorèmes. Démonstration automatique  (78)
  46. Pattern recognition  (78)
  47. Special Purpose and Application-Based Systems  (76)
  48. Programmation logique  (72)
  49. Computational linguistics  (71)
  50. Data mining  (69)
  51. Combinatorics  (69)
  52. Information systems  (65)
  53. Natural language processing (Computer science)  (64)
  54. Algebra. Data processing  (59)
  55. Information storage and retrieval systems  (58)
  56. Computer simulation  (57)
  57. Mathematics of Computing  (56)
  58. Information storage and retrieva  (52)
  59. Probability and Statistics in Computer Science  (48)
  60. Computer Appl. in Administrative Data Processing  (48)
  61. Computer communication systems  (46)
  62. Document Preparation and Text Processing  (46)
  63. Image Processing and Computer Vision  (39)
  64. Text processing (Computer science)  (39)
  65. Computer Science, general  (38)
  66. Natural Language Processing (NLP)  (38)
  67. Analyse combinatoire  (38)
  68. Informatique documentaire  (37)
  69. Application software  (32)
  70. Optical pattern recognition  (32)
  71. Management information systems  (32)
  72. Apprentissage automatique  (31)
  73. Langages formels  (27)
  74. Automates mathématiques, Théorie des  (27)
  75. Bioinformatics  (26)
  76. Réécriture, Systèmes de (informatique)  (24)
  77. Structure logique  (24)
  78. Computer vision  (23)
  79. Information Systems Applications (incl Internet)  (22)
  80. Logique informatique  (21)
  81. Linguistique. Informatique  (21)
  82. Raisonnement  (21)
  83. Translators (Computer programs)  (20)
  84. 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.