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

résultats 1 2 3 4 5 next page
N'afficher que
Filtré par : sujet: Computer science. Mathematics supprimer
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Artificial Intelligence and Symbolic Computation : 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings
Material Type:
ebook
Ajouter au Panier

Artificial Intelligence and Symbolic Computation : 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings

Aranda-Corral, Gonzalo A ; Calmet, Jacques (Ed.) ; Martín-Mateos, Francisco J (Ed.)

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

Cham. Springer International Publishing. Imprint: Springer, 2014

2
Integration of Constraint Programming, Artificial Intelligence, and Operations Research : 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26–29, 2018, Proceedings
Material Type:
ebook
Ajouter au Panier

Integration of Constraint Programming, Artificial Intelligence, and Operations Research : 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26–29, 2018, Proceedings

van Hoeve, Willem-Jan (Ed.)

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

Cham. Springer International Publishing. Imprint: Springer, 2018

3
Graph Structures for Knowledge Representation and Reasoning : Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers
Material Type:
ebook
Ajouter au Panier

Graph Structures for Knowledge Representation and Reasoning : Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers

Croitoru, Madalina ; Rudolph, Sebastian (Ed.) ; Woltran, Stefan (Ed.) ; Gonzales, Christophe (Ed.)

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

Cham. Springer International Publishing. Imprint: Springer, 2014

4
Scalable Uncertainty Management : 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings
Material Type:
ebook
Ajouter au Panier

Scalable Uncertainty Management : 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings

Moral, Serafín (Ed.) ; Pivert, Olivier (Ed.) ; Sánchez, Daniel (Ed.) ; Marín, Nicolás (Ed.)

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

Cham. Springer International Publishing. Imprint: Springer, 2017

5
Declarative Programming and Knowledge Management : Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers
Material Type:
ebook
Ajouter au Panier

Declarative Programming and Knowledge Management : Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers

Hanus, Michael ; Rocha, Ricardo (Ed.)

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

Cham. Springer International Publishing. Imprint: Springer, 2014

6
Graph-Based Representation and Reasoning : 21st International Conference on Conceptual Structures, ICCS 2014, Iaşi, Romania, July 27-30, 2014, Proceedings
Material Type:
ebook
Ajouter au Panier

Graph-Based Representation and Reasoning : 21st International Conference on Conceptual Structures, ICCS 2014, Iaşi, Romania, July 27-30, 2014, Proceedings

Hernandez, Nathalie ; Jäschke, Robert (Ed.) ; Croitoru, Madalina (Ed.)

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

Cham. Springer International Publishing. Imprint: Springer, 2014

7
Deontic Logic and Normative Systems : 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings
Material Type:
ebook
Ajouter au Panier

Deontic Logic and Normative Systems : 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings

Cariani, Fabrizio ; Grossi, Davide (Ed.) ; Meheus, Joke (Ed.) ; Parent, Xavier (Ed.)

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

Cham. Springer International Publishing. Imprint: Springer, 2014

8
Diagrammatic Representation and Inference : 8th International Conference, Diagrams 2014, Melbourne, VIC, Australia, July 28 – August 1, 2014. Proceedings
Material Type:
ebook
Ajouter au Panier

Diagrammatic Representation and Inference : 8th International Conference, Diagrams 2014, Melbourne, VIC, Australia, July 28 – August 1, 2014. Proceedings

Dwyer, Tim ; Purchase, Helen (Ed.) ; Delaney, Aidan (Ed.)

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

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

9
Diagrammatic Representation and Inference : 9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016, Proceedings
Material Type:
ebook
Ajouter au Panier

Diagrammatic Representation and Inference : 9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016, Proceedings

Jamnik, Mateja (Ed.) ; Uesaka, Yuri (Ed.) ; Elzer Schwartz, Stephanie (Ed.)

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

Cham. Springer International Publishing. Imprint: Springer, 2016

10
Probabilistic Graphical Models : 7th European Workshop, PGM 2014, Utrecht, The Netherlands, September 17-19, 2014. Proceedings
Material Type:
ebook
Ajouter au Panier

Probabilistic Graphical Models : 7th European Workshop, PGM 2014, Utrecht, The Netherlands, September 17-19, 2014. Proceedings

Gaag, Linda C ; Feelders, Ad J (Ed.)

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

Cham. Springer International Publishing. Imprint: Springer, 2014

Résultats 1 - 10 sur 136  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 (135)

Affiner vos résultats

Sujet 

  1. Artificial intelligence  (134)
  2. Artificial Intelligence (incl. Robotics)  (132)
  3. Discrete Mathematics in Computer Science  (84)
  4. Computational complexity  (83)
  5. Computer software  (78)
  6. Algorithm Analysis and Problem Complexity  (78)
  7. Algorithms  (78)
  8. Mathematical Logic and Formal Languages  (44)
  9. Mathematical Logic  (44)
  10. Mathematics of Computing  (38)
  11. Computers  (38)
  12. Software engineering  (30)
  13. Electronic data processing  (28)
  14. Numerical analysis  (27)
  15. Numeric Computing  (27)
  16. Computation by Abstract Devices  (26)
  17. Data structures (Computer science)  (25)
  18. Data structures (Computer scienc  (25)
  19. Computer logic  (24)
  20. Logics and Meanings of Programs  (24)
  21. Logic design  (24)
  22. Data Structures  (22)
  23. Computer Communication Networks  (16)
  24. Computer communication systems  (16)
  25. Symbolic and Algebraic Manipulation  (15)
  26. Optical pattern recognition  (14)
  27. Algebra. Data processing  (14)
  28. Pattern recognition  (14)
  29. Math Applications in Computer Science  (13)
  30. Computer graphics  (13)
  31. Data mining  (12)
  32. Data Mining and Knowledge Discovery  (12)
  33. Information Systems Applications (incl. Internet)  (11)
  34. Computer network architectures  (11)
  35. Computer vision  (11)
  36. Computer security  (10)
  37. Computer organization  (10)
  38. Systems and Data Security  (10)
  39. Computer Systems Organization and Communication Networks  (10)
  40. Application software  (9)
  41. Image processing  (9)
  42. Image Processing and Computer Vision  (9)
  43. Information Storage and Retrieval  (8)
  44. Theory of Computation  (8)
  45. Software Engineering/Programming and Operating Systems  (8)
  46. Information theory  (7)
  47. Computer programming  (7)
  48. Database management  (7)
  49. Information storage and retrieva  (7)
  50. Programming Techniques  (7)
  51. Information systems  (7)
  52. Information storage and retrieval systems  (5)
  53. Bioinformatics  (5)
  54. Computational Biology/Bioinformatics  (5)
  55. Computer Applications  (4)
  56. Mathematical Logic and Foundations  (4)
  57. Computational Mathematics and Numerical Analysis  (3)
  58. Energy industries  (3)
  59. Data Structures and Information Theory  (3)
  60. Logic, Symbolic And Mathematical  (3)
  61. e-Commerce/e-business  (3)
  62. Alternate energy sources  (3)
  63. Computer simulation  (3)
  64. Data Structures, Cryptology and Information Theory  (3)
  65. Operations Research, Management Science  (3)
  66. Operations research  (3)
  67. Renewable energy resources  (3)
  68. Neural networks (Computer science)  (3)
  69. Mathematical Models of Cognitive Processes and Neural Networks  (3)
  70. Renewable and Green Energy  (3)
  71. Renewable energy sources  (3)
  72. Natural language processing (Computer science)  (3)
  73. Natural Language Processing (NLP)  (3)
  74. E-commerce  (3)
  75. Document Preparation and Text Processing  (3)
  76. Simulation and Modeling  (3)
  77. energy economics  (3)
  78. User interfaces (Computer systems)  (3)
  79. Text processing (Computer science)  (3)
  80. Green energy industries  (3)
  81. Mathematics  (1)
  82. Philosophy of Technology  (1)
  83. Philosophy  (1)
  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.