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 1 269  pour Tout le catalogue

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
Natural and artificial intelligence : processor systems compared to the human brain
Material Type:
Livre
Ajouter au Panier

Natural and artificial intelligence : processor systems compared to the human brain

Callataÿ, Armand M. de (1935-...)

Amsterdam. New York. North-Holland. New York, N.Y., U.S.A.. Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co, 1986

Indisponible     (->>)

2
Logical Aspects of Computational Linguistics : 4th International Conference, LACL 2001 Le Croisic, France, June 27–29, 2001 Proceedings
Material Type:
ebook
Ajouter au Panier

Logical Aspects of Computational Linguistics : 4th International Conference, LACL 2001 Le Croisic, France, June 27–29, 2001 Proceedings

Retoré, Christian (1964-...) (Ed.) ; Morrill, Glyn V (Ed.) ; Groote, Philippe de (Ed.)

Lecture Notes in Computer Science ; 2099

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

3
Logic : a foundation for computer science
Material Type:
Livre
Ajouter au Panier

Logic : a foundation for computer science

Sperschneider, V ; Antoniou, Grigoris

Appartient à la collection : International computer science series

Wokingham, England. Reading, Mass.. Addison-Wesley, cop. 1991

Indisponible     (->>)

4
Advances in Artificial Intelligence : International Joint Conference 7th Ibero-American Conference on AI 15th Brazilian Symposium on AI IBERAMIA-SBIA 2000 Atibaia, SP, Brazil, November 19–22, 2000 Proceedings
Material Type:
ebook
Ajouter au Panier

Advances in Artificial Intelligence : International Joint Conference 7th Ibero-American Conference on AI 15th Brazilian Symposium on AI IBERAMIA-SBIA 2000 Atibaia, SP, Brazil, November 19–22, 2000 Proceedings

Monard, Maria Carolina (Ed.) ; Sichman, Jaime Simao (Ed.)

Lecture Notes in Computer Science ; 1952

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

5
AI*IA 2001: Advances in Artificial Intelligence : 7th Congress of the Italian Association for Artificial Intelligence Bari, Italy, September 25–28, 2001 Proceedings
Material Type:
ebook
Ajouter au Panier

AI*IA 2001: Advances in Artificial Intelligence : 7th Congress of the Italian Association for Artificial Intelligence Bari, Italy, September 25–28, 2001 Proceedings

Esposito, Floriana (1947-...) (Ed.)

Lecture Notes in Computer Science ; 2175

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

6
Advanced Topics in Artificial Intelligence : International Summer School Prague, Czechoslovakia, July 6–17, 1992 Proceedings
Material Type:
ebook
Ajouter au Panier

Advanced Topics in Artificial Intelligence : International Summer School Prague, Czechoslovakia, July 6–17, 1992 Proceedings

Trappl, Robert (Ed.) ; Stepankova, Olga (Ed.) ; Mřrík, Vladimír (Ed.)

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

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

7
Evolutionary Robotics : First European Workshop, EvoRobot98 Paris, France, April 16–17, 1998 Proceedings
Material Type:
ebook
Ajouter au Panier

Evolutionary Robotics : First European Workshop, EvoRobot98 Paris, France, April 16–17, 1998 Proceedings

Meyer, Jean-Arcady (1941-...) (Ed.) ; Husbands, Philip (Ed.)

Lecture Notes in Computer Science ; 1468

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

8
Advances in Artificial Intelligence : 16th Conference of the Canadian Society for Computational Studies of Intelligence, AI 2003, Halifax, Canada, June 11–13, 2003, Proceedings
Material Type:
ebook
Ajouter au Panier

Advances in Artificial Intelligence : 16th Conference of the Canadian Society for Computational Studies of Intelligence, AI 2003, Halifax, Canada, June 11–13, 2003, Proceedings

Xiang, Yang (1954-..) (Ed.) ; Chaib-Draa, Brahim (1951-..) (Ed.)

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

Berlin, Heidelberg. Springer-Verlag Berlin Heidelberg NewYork. Springer e-books, 2003

9
KI 2003: Advances in Artificial Intelligence : 26th Annual German Conference on AI, KI 2003, Hamburg, Germany, September 15-18, 2003. Proceedings
Material Type:
ebook
Ajouter au Panier

KI 2003: Advances in Artificial Intelligence : 26th Annual German Conference on AI, KI 2003, Hamburg, Germany, September 15-18, 2003. Proceedings

Kruse, Rudolf (1952-...) (Ed.) ; Günter, Andreas (Ed.) ; Neumann, Bernd (1943-...) (Ed.)

Lecture Notes in Computer Science ; 2821

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

10
Topics in Artificial Intelligence : 4th Congress of the Italian Association for Artificial Intelligence AI*IA '95 Florence, Italy, October 11–13, 1995 Proceedings
Material Type:
ebook
Ajouter au Panier

Topics in Artificial Intelligence : 4th Congress of the Italian Association for Artificial Intelligence AI*IA '95 Florence, Italy, October 11–13, 1995 Proceedings

Gori, Marco ; Soda, Giovanni (Ed.) ; Gori, Marco (Ed.)

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

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

Résultats 1 - 10 sur 1 269  pour Tout le catalogue

résultats 1 2 3 4 5 next page

Refine Search Results

N'afficher que

  1. Ressources en ligne (1 267)

Affiner vos résultats

Type de ressource 

  1. ebooks  (1 267)
  2. Livres  (2)
  3. Autres open sub menu

Sujet 

  1. Artificial intelligence  (1 268)
  2. Computer science  (1 267)
  3. Intelligence artificielle  (1 264)
  4. Artificial Intelligence (incl. Robotics)  (1 259)
  5. Logique mathématique  (431)
  6. Mathematical Logic and Formal Languages  (415)
  7. Information systems  (250)
  8. Software engineering  (246)
  9. Génie logiciel  (231)
  10. Logic design  (225)
  11. Information storage and retrieval systems  (217)
  12. Information storage and retrieval  (216)
  13. Logics and Meanings of Programs  (214)
  14. Ordinateurs. Programmation  (206)
  15. Information Systems Applications (incl Internet)  (200)
  16. Database management  (199)
  17. Algorithmes  (190)
  18. Réseaux d'ordinateurs  (189)
  19. Computer Communication Networks  (188)
  20. Computation by Abstract Devices  (175)
  21. Programming Techniques  (172)
  22. Perception des structures  (171)
  23. Optical pattern recognition  (171)
  24. Pattern recognition  (170)
  25. Algorithm Analysis and Problem Complexity  (167)
  26. Computer software  (167)
  27. Computer vision  (148)
  28. Traitement d'images  (146)
  29. Image Processing and Computer Vision  (145)
  30. Management information systems  (130)
  31. Langages de programmation  (129)
  32. Business Information Systems  (128)
  33. Programming Languages, Compilers, Interpreters  (126)
  34. Computer graphics  (118)
  35. Agents intelligents (logiciels)  (105)
  36. Interfaces utilisateur (informatique)  (95)
  37. User Interfaces and Human Computer Interaction  (94)
  38. Programmation logique  (91)
  39. Systèmes experts (informatique)  (82)
  40. Théorèmes. Démonstration automatique  (77)
  41. Apprentissage automatique  (71)
  42. Logic, Symbolic and mathematical  (69)
  43. Simulation par ordinateur  (68)
  44. Mathematical Logic and Foundations  (68)
  45. Multimédias  (61)
  46. Multimedia systems  (60)
  47. Multimedia information systems  (60)
  48. Ordinateurs et civilisation  (59)
  49. Computers and Society  (58)
  50. Intelligent agents (Computer software)  (57)
  51. Computer simulation  (49)
  52. Simulation and Modeling  (48)
  53. Réseaux neuronaux (informatique)  (45)
  54. Vision par ordinateur  (45)
  55. Discrete Mathematics in Computer Science  (44)
  56. Text processing (Computer science)  (41)
  57. Exploration de données  (41)
  58. Traitement automatique du langage naturel  (40)
  59. Algebra. Data processing  (40)
  60. Représentation des connaissances  (40)
  61. Symbolic and Algebraic Manipulation  (40)
  62. Document Preparation and Text Processing  (35)
  63. Linguistique. Informatique  (35)
  64. Raisonnement  (33)
  65. Intelligence artificielle répartie  (33)
  66. Computer Appl. in Life Sciences  (32)
  67. Microprocesseurs  (32)
  68. Biology. Data processing  (32)
  69. Biologie. Informatique  (31)
  70. Processor Architectures  (30)
  71. Médecine. Informatique  (30)
  72. Structure logique  (29)
  73. Computer Appl. in Administrative Data Processing  (29)
  74. Health informatics  (29)
  75. Medical records. Data processing  (29)
  76. Natural language processing (Computer science)  (27)
  77. Systems and Information Theory in Engineering  (26)
  78. Analyse combinatoire  (22)
  79. Combinatorics  (22)
  80. Translators (Computer programs)  (19)
  81. Autres open sub menu

Auteur 

  1. Jantke, Klaus Peter  (12)
  2. Mira, José  (11)
  3. Voronkov, Andrei  (10)
  4. Klusch, Matthias  (10)
  5. Zhang, Chengqi  (10)
  6. Richter, Michael M  (9)
  7. Ali, Moonis  (8)
  8. Moreno-Diaz, Roberto  (8)
  9. Ras, Zbigniew W  (8)
  10. Arikawa, Setsuo  (7)
  11. Müller, Jörg P  (7)
  12. Marik, Vladimir  (7)
  13. Schoenauer, Marc. mathématicien  (7)
  14. Lutton, Évelyne  (7)
  15. Schwefel, Hans-Paul  (7)
  16. Perner, Petra  (7)
  17. Wooldridge, Michael J  (7)
  18. Skowron, Andrzej  (7)
  19. Börger, Egon  (6)
  20. Gottlob, Georg  (6)
  21. Miller, Julian  (6)
  22. Pereira, Luís Moniz  (6)
  23. Calmet, Jacques  (6)
  24. Dix, Jürgen  (6)
  25. Lanzi, Pier Luca  (6)
  26. Kleine Büning, Hans  (6)
  27. Rodriguez Artalejo, Mario  (5)
  28. Barahona, Pedro  (5)
  29. Kruse, Rudolf  (5)
  30. Fogarty, Terence C  (5)
  31. Ohlbach, Hans Jürgen  (5)
  32. Thalheim, Bernhard  (5)
  33. Yao, Xin  (5)
  34. Yager, Ronald R  (5)
  35. Bouchon-Meunier, Bernadette  (5)
  36. Althoff, Klaus-Dieter  (5)
  37. Ishida, Toru  (5)
  38. Zhong, Ning  (5)
  39. Freksa, Christian  (5)
  40. Fensel, Dieter  (5)
  41. Stolzmann, Wolfgang  (4)
  42. Schroeder-Heister, Peter  (4)
  43. Ralescu, Anca  (4)
  44. Campbell, John Arthur  (4)
  45. Lavrač, Nada  (4)
  46. Rozenberg, Grzegorz  (4)
  47. Furuhashi, Takeshi  (4)
  48. Sojka, Petr  (4)
  49. Sowa, John F  (4)
  50. Brewka, Gerhard  (4)
  51. Alferes, José Júlio  (4)
  52. Karagiannis, Dimitris  (4)
  53. Rossi, Francesca  (4)
  54. Wilson, Stewart W  (4)
  55. Heyden, Anders  (4)
  56. Cipolla, Roberto  (4)
  57. Siekmann, Jörg H  (4)
  58. Johansen, Peter  (4)
  59. Furukawa, Kōichi  (4)
  60. Komorowski, Jan  (4)
  61. Lukose, Dickson  (4)
  62. Giunchiglia, Fausto  (4)
  63. Antoniou, Grigoris  (4)
  64. Habel, Christopher  (4)
  65. Pajdla, Tomas  (4)
  66. Matas, Jiri  (4)
  67. Sparr, Gunnar  (4)
  68. Nielsen, Mads  (4)
  69. Kelemen, Jozef  (4)
  70. Peters, Carol  (4)
  71. Nebel, Bernhard  (4)
  72. Wang, Dongming  (3)
  73. Ohsuga, Setsuo  (3)
  74. Ganzinger, Harald  (3)
  75. Studer, Rudi  (3)
  76. Schewe, Klaus-Dieter  (3)
  77. Stuckey, Peter J  (3)
  78. Slaney, John  (3)
  79. Pedreschi, Dino  (3)
  80. Esposito, Floriana  (3)
  81. Autres open sub menu

Date de parution 

Affiner à partir de Affiner jusqu'à
  1. Avant 1998  (2)
  2. 1998 à 1999  (54)
  3. 2000 à 2001  (193)
  4. 2002 à 2004  (457)
  5. Après 2004  (563)
  6. Autres open sub menu

Discipline 

  1. Généralités  (1)
  2. Informatique  (1)
  3. 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.