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

résultats 1 2 3 4 5 next page
Filtré par : sujet: Algorithmes supprimer
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Rewriting Techniques and Applications : Dijon, France, May 20–22, 1985
Material Type:
ebook
Ajouter au Panier

Rewriting Techniques and Applications : Dijon, France, May 20–22, 1985

Jouannaud, Jean-Pierre (Ed.)

Lecture Notes in Computer Science ; 202

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

2
Rewriting Techniques and Applications : Bordeaux, France, May 25–27, 1987 Proceedings
Material Type:
ebook
Ajouter au Panier

Rewriting Techniques and Applications : Bordeaux, France, May 25–27, 1987 Proceedings

Lescanne, Pierre (Ed.)

Lecture Notes in Computer Science ; 256

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

3
Time Structures : Formal Description and Algorithmic Representation
Material Type:
ebook
Ajouter au Panier

Time Structures : Formal Description and Algorithmic Representation

Hajnicz, Elzbieta (Ed.)

Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1047

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

4
Artificial Intelligence and Symbolic Mathematical Computation : International Conference, AISMC-3 Steyr, Austria, September 23–25, 1996 Proceedings
Material Type:
ebook
Ajouter au Panier

Artificial Intelligence and Symbolic Mathematical Computation : International Conference, AISMC-3 Steyr, Austria, September 23–25, 1996 Proceedings

Campbell, John A (Ed.) ; Calmet, Jacques (1941-...) (Ed.) ; Pfalzgraf, Jochen (Ed.)

Lecture Notes in Computer Science ; 1138

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

5
Algorithmic Learning Theory : 7th International Workshop, ALT '96 Sydney, Australia, October 23–25, 1996 Proceedings
Material Type:
ebook
Ajouter au Panier

Algorithmic Learning Theory : 7th International Workshop, ALT '96 Sydney, Australia, October 23–25, 1996 Proceedings

Sharma, Arun K (Ed.) ; Arikawa, Setsuo (Ed.)

Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1160

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

6
Artificial Intelligence and Symbolic Computation : International Conference AISC’98 Plattsburg, New York, USA, September 16–18, 1998 Proceedings
Material Type:
ebook
Ajouter au Panier

Artificial Intelligence and Symbolic Computation : International Conference AISC’98 Plattsburg, New York, USA, September 16–18, 1998 Proceedings

Plaza, Jan (Ed.) ; Calmet, Jacques (1941-...) (Ed.)

Lecture Notes in Computer Science ; 1476

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

7
Artificial Intelligence and Symbolic Computation : International Conference AISC 2000 Madrid, Spain, July 17–19,2000 Revised Papers
Material Type:
ebook
Ajouter au Panier

Artificial Intelligence and Symbolic Computation : International Conference AISC 2000 Madrid, Spain, July 17–19,2000 Revised Papers

Roanes-Lozano, Eugenio (Ed.) ; Campbell, John Arthur (1940-...) (Ed.)

Lecture Notes in Computer Science ; 1930

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

8
Algorithmic Learning Theory : 8th International Workshop, ALT '97 Sendai, Japan, October 6–8, 1997 Proceedings
Material Type:
ebook
Ajouter au Panier

Algorithmic Learning Theory : 8th International Workshop, ALT '97 Sendai, Japan, October 6–8, 1997 Proceedings

Li, Ming (informaticien) (1955-...) (Ed.) ; Maruoka, Akira (Ed.)

Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1316

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

9
Rewriting Techniques and Applications : 13th International Conference, RTA 2002 Copenhagen, Denmark, July 22–24, 2002 Proceedings
Material Type:
ebook
Ajouter au Panier

Rewriting Techniques and Applications : 13th International Conference, RTA 2002 Copenhagen, Denmark, July 22–24, 2002 Proceedings

Vandaele, Sophie (1978-...) ; Tison, Sophie (Ed.)

Lecture Notes in Computer Science ; 2378

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

10
Conditional and Typed Rewriting Systems : 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13–15, 1994 Proceedings
Material Type:
ebook
Ajouter au Panier

Conditional and Typed Rewriting Systems : 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13–15, 1994 Proceedings

Dershowitz, Nachum (1951-...) (Ed.) ; Lindenstrauss, Naomi (Ed.)

Lecture Notes in Computer Science ; 968

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

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

résultats 1 2 3 4 5 next page

Refine Search Results

Élargir mes résultats

  1.   

Affiner vos résultats

Sujet 

  1. Mathematical Logic and Formal Languages  (146)
  2. Computer software  (126)
  3. Algorithm Analysis and Problem Complexity  (126)
  4. Logics and Meanings of Programs  (78)
  5. Logic design  (78)
  6. Computation by Abstract Devices  (73)
  7. Artificial Intelligence (incl. Robotics)  (67)
  8. Intelligence artificielle  (67)
  9. Artificial intelligence  (67)
  10. Ordinateurs. Programmation  (34)
  11. Analyse combinatoire  (28)
  12. Langages de programmation  (27)
  13. Combinatorics  (27)
  14. Programming Languages, Compilers, Interpreters  (25)
  15. Symbolic and Algebraic Manipulation  (22)
  16. Algebra. Data processing  (22)
  17. Génie logiciel  (20)
  18. Apprentissage automatique  (20)
  19. Computational complexity  (18)
  20. Discrete Mathematics in Computer Science  (18)
  21. Structures de données (informatique)  (18)
  22. Réécriture, Systèmes de (informatique)  (17)
  23. Data structures (Computer science)  (16)
  24. Data Structures  (16)
  25. Software engineering  (16)
  26. Programming Techniques  (16)
  27. Automates mathématiques, Théorie des  (14)
  28. Complexité de calcul (informatique)  (13)
  29. Computer graphics  (13)
  30. Informatique. Mathématiques  (13)
  31. Logic, Symbolic and mathematical  (12)
  32. Mathematical Logic and Foundations  (12)
  33. Langages formels  (9)
  34. Machine theory  (9)
  35. Graphes, Théorie des  (8)
  36. Logiciels  (6)
  37. Algorithms  (6)
  38. Représentation des connaissances  (5)
  39. Database management  (5)
  40. Optical pattern recognition  (5)
  41. Analyse numérique  (5)
  42. Systèmes experts (informatique)  (5)
  43. Pattern recognition  (5)
  44. Perception des structures  (5)
  45. Computer Communication Networks  (4)
  46. Théorèmes. Démonstration automatique  (4)
  47. Réseaux d'ordinateurs  (4)
  48. Document Preparation and Text Processing  (4)
  49. Applications industrielles  (4)
  50. Text processing (Computer science)  (4)
  51. Computer Science, general  (3)
  52. Computational learning theory  (3)
  53. Logigrammes  (3)
  54. Programmation logique  (3)
  55. Grammaires de graphes  (3)
  56. Microprogrammation  (3)
  57. Traitement automatique du langage naturel  (3)
  58. Ordinateurs  (3)
  59. Microprogramming  (3)
  60. Natural language processing (Computer science)  (3)
  61. Numerical analysis  (3)
  62. Arbres (théorie des graphes). Informatique  (3)
  63. Control Structures and Microprogramming  (3)
  64. Conceptual structures (Information theory)  (3)
  65. Models and Principles  (3)
  66. Operating systems (Computers)  (2)
  67. Information storage and retrieval  (2)
  68. Coding and Information Theory  (2)
  69. Traitement d'images  (2)
  70. Operating Systems  (2)
  71. Informatique documentaire  (2)
  72. Programming languages (Electronic computers)  (2)
  73. Induction (logique)  (2)
  74. Image Processing and Computer Vision  (2)
  75. Systems and Information Theory in Engineering  (2)
  76. Coding theory  (2)
  77. Parallélisme (informatique)  (2)
  78. Autres open sub menu

Elargir la recherche à tous les documents

Elargir la recherche à tous les documents

de cet auteur:

  1. Richter, Michael M
  2. Monien, Burkhard
  3. Rovan, Branislav
  4. Nagl, Manfred
  5. Kleine Büning, Hans

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.