skip to main content
Langue :
Afficher les résultats avec :

Résultats 1 - 10 sur 3 188  pour Tout le catalogue

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
10th International Conference on Automated Deduction : Kaiserslautern, FRG, July 24–27, 1990 Proceedings
Material Type:
ebook
Ajouter au Panier

10th International Conference on Automated Deduction : Kaiserslautern, FRG, July 24–27, 1990 Proceedings

Stickel, Mark E (Ed.)

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

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

2
3D Structure from Images — SMILE 2000 : Second European Workshop on 3D Structure from Multiple Images of Large-Scale Environments Dublin, Irleand, July 1–2, 2000 Revised Papers
Material Type:
ebook
Ajouter au Panier

3D Structure from Images — SMILE 2000 : Second European Workshop on 3D Structure from Multiple Images of Large-Scale Environments Dublin, Irleand, July 1–2, 2000 Revised Papers

Pollefeys, Marc (Ed.) ; Van Gool, Luc (1959-...) (Ed.) ; Zisserman, Andrew (Ed.) ; Fitzgibbon, A (Ed.)

Lecture Notes in Computer Science ; 2018

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

3
3D Structure from Multiple Images of Large-Scale Environments : European Workshop, SMILE’98 Freiburg, Germany, June 6–7, 1998 Proceedings
Material Type:
ebook
Ajouter au Panier

3D Structure from Multiple Images of Large-Scale Environments : European Workshop, SMILE’98 Freiburg, Germany, June 6–7, 1998 Proceedings

Koch, Reinhard ; Gool, Luc (Ed.) ; Koch, Reinhard (informaticien) (Ed.)

Lecture Notes in Computer Science ; 1506

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

4
4ème Congrès : reconnaissance des formes et intelligence artificielle Paris, 25-27 janvier 1984
Material Type:
Livre
Ajouter au Panier

4ème Congrès : reconnaissance des formes et intelligence artificielle Paris, 25-27 janvier 1984

Association française des sciences et technologies de l'information et des systèmes (Ed.) ; Institut national de recherche en informatique et en automatique (France) (Ed.) ; Agence de l'informatique (France) (Ed.)

[Rocquencourt]. INRIA, 1984 ?

Disponible(->>)

5
8th International Conference on Automated Deduction : Oxford, England, July 27–August 1, 1986 Proceedings
Material Type:
ebook
Ajouter au Panier

8th International Conference on Automated Deduction : Oxford, England, July 27–August 1, 1986 Proceedings

Siekmann, Jörg H (1941-...) (Ed.)

Lecture Notes in Computer Science ; 230

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

6
Abdominal Imaging. Computational and Clinical Applications : 6th International Workshop, ABDI 2014, Held in Conjunction with MICCAI 2014, Cambridge, MA, USA, September 14, 2014
Material Type:
ebook
Ajouter au Panier

Abdominal Imaging. Computational and Clinical Applications : 6th International Workshop, ABDI 2014, Held in Conjunction with MICCAI 2014, Cambridge, MA, USA, September 14, 2014

Yoshida, Hiroyuki ; Näppi, Janne J (Ed.) ; Saini, Sanjay (Ed.)

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

Cham. Springer International Publishing. Imprint: Springer, 2014

7
Abstract State Machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings
Material Type:
ebook
Ajouter au Panier

Abstract State Machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings

Butler, Michael (Ed.) ; Raschke, Alexander (Ed.) ; Hoang, Thai Son (Ed.) ; Reichl, Klaus (Ed.)

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

Cham. Springer International Publishing. Imprint: Springer, 2018

8
Abstraction, Reformulation, and Approximation : 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26–29, 2000 Proceedings
Material Type:
ebook
Ajouter au Panier

Abstraction, Reformulation, and Approximation : 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26–29, 2000 Proceedings

Walsh, Toby (1964-...) (Ed.) ; Choueiry, Berthe Y (Ed.)

Lecture Notes in Computer Science ; 1864

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

9
Abstraction, Reformulation, and Approximation : 5th International Symposium, SARA 2002 Kananaskis, Alberta, Canada August 2–4, 2002 Proceedings
Material Type:
ebook
Ajouter au Panier

Abstraction, Reformulation, and Approximation : 5th International Symposium, SARA 2002 Kananaskis, Alberta, Canada August 2–4, 2002 Proceedings

Koenig, Sven (Ed.) ; Holte, Robert C (Ed.)

Lecture Notes in Computer Science ; 2371

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

10
Active Media Technology : 10th International Conference, AMT 2014, Warsaw, Poland, August 11-14, 2014. Proceedings
Material Type:
ebook
Ajouter au Panier

Active Media Technology : 10th International Conference, AMT 2014, Warsaw, Poland, August 11-14, 2014. Proceedings

Ślȩzak, Dominik ; Schaefer, Gerald (Ed.) ; Vuong, Son T (Ed.) ; Kim, Yoo-Sung (Ed.)

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

Cham. Springer International Publishing. Imprint: Springer, 2014

Résultats 1 - 10 sur 3 188  pour Tout le catalogue

résultats 1 2 3 4 5 next page

Refine Search Results

N'afficher que

  1. Ressources en ligne (3 039)

Affiner vos résultats

Type de ressource 

  1. ebooks  (3 039)
  2. Livres  (145)
  3. Thèses ou mémoires  (5)
  4. Autres open sub menu

Localisation 

  1. Descartes  (80)
  2. Descartes - CDR  (16)
  3. Descartes - LARHRA  (1)
  4. Monod  (67)
  5. Autres open sub menu

Sujet 

  1. Artificial intelligence  (3 144)
  2. Computer science  (2 823)
  3. Artificial Intelligence (incl. Robotics)  (2 732)
  4. Intelligence artificielle  (1 370)
  5. Informatique  (1 269)
  6. Software engineering  (752)
  7. Information Systems Applications (incl. Internet)  (715)
  8. Computer vision  (678)
  9. Mathematical Logic and Formal Languages  (673)
  10. Information Storage and Retrieval  (655)
  11. Algorithm Analysis and Problem Complexity  (611)
  12. Computer software  (611)
  13. Image Processing and Computer Vision  (601)
  14. Computer Communication Networks  (546)
  15. Data mining  (516)
  16. Data Mining and Knowledge Discovery  (492)
  17. Optical pattern recognition  (482)
  18. Pattern Recognition  (482)
  19. Database management  (460)
  20. Logique mathématique  (435)
  21. Information storage and retrieva  (435)
  22. Information systems  (431)
  23. Logic design  (407)
  24. User Interfaces and Human Computer Interaction  (386)
  25. Information storage and retrieval systems  (374)
  26. Logics and Meanings of Programs  (368)
  27. Computation by Abstract Devices  (365)
  28. Algorithms  (342)
  29. Computer graphics  (318)
  30. Computers  (300)
  31. Image processing  (285)
  32. Programming Techniques  (259)
  33. Computer communication systems  (245)
  34. Programming Languages, Compilers, Interpreters  (242)
  35. Génie logiciel  (232)
  36. User interfaces (Computer systems)  (225)
  37. Informatique documentaire  (216)
  38. Information Systems Applications (incl Internet)  (213)
  39. Ordinateurs. Programmation  (208)
  40. Special Purpose and Application-Based Systems  (197)
  41. Algorithmes  (191)
  42. Mathematical logic  (191)
  43. Réseaux d'ordinateurs  (190)
  44. Perception des structures  (171)
  45. Computational complexity  (168)
  46. Discrete Mathematics in Computer Science  (167)
  47. Computer security  (165)
  48. Application software  (163)
  49. Systems and Data Security  (162)
  50. Computer simulation  (156)
  51. Simulation and Modeling  (155)
  52. Computers and Society  (153)
  53. Traitement d'images  (149)
  54. Management information systems  (148)
  55. Natural language processing (Computer science)  (141)
  56. Computer network architectures  (136)
  57. Computer science. Mathematics  (135)
  58. Langages de programmation  (129)
  59. Business Information Systems  (129)
  60. Computer Systems Organization and Communication Networks  (127)
  61. Electronic data processing  (123)
  62. Social sciences. Data processing  (120)
  63. Natural Language Processing (NLP)  (114)
  64. Medical records. Data processing  (110)
  65. Health Informatics  (110)
  66. Special purpose computers  (107)
  67. Document Preparation and Text Processing  (106)
  68. Agents intelligents (logiciels)  (106)
  69. Computers and Education  (106)
  70. Language Translation and Linguistics  (105)
  71. Numeric Computing  (105)
  72. Text processing (Computer science)  (99)
  73. Information Systems and Communication Service  (98)
  74. Systèmes experts (informatique)  (94)
  75. Software Engineering/Programming and Operating Systems  (89)
  76. Computer Imaging, Vision, Pattern Recognition and Graphics  (79)
  77. Computational linguistics  (79)
  78. Théorèmes. Démonstration automatique  (78)
  79. Apprentissage automatique  (77)
  80. Vision par ordinateur  (46)
  81. Autres open sub menu

Auteur 

  1. Nguyen, Ngoc Thanh  (37)
  2. Trawiński, Bogdan  (20)
  3. Hebert, Martial  (18)
  4. Gelbukh, Alexander  (18)
  5. Perner, Petra  (17)
  6. Shi, Yuhui  (17)
  7. Sminchisescu, Cristian  (16)
  8. Tan, Ying  (16)
  9. Weiss, Yair  (16)
  10. Ferrari, Vittorio  (16)
  11. Rutkowski, Leszek  (13)
  12. Tadeusiewicz, Ryszard  (13)
  13. Zurada, Jacek M  (12)
  14. Korytkowski, Marcin  (12)
  15. Jantke, Klaus Peter  (12)
  16. Manolopoulos, Yannis  (12)
  17. Matas, Jiri  (12)
  18. Zhou, Zhi-Hua  (11)
  19. Gervasi, Osvaldo  (11)
  20. Misra, Sanjay  (11)
  21. Apduhan, Bernady O  (11)
  22. Murgante, Beniamino  (11)
  23. Stankova, Elena  (11)
  24. Mira, José  (11)
  25. Pajdla, Tomas  (11)
  26. Rocha, Ana Maria A.C  (11)
  27. Zhang, Chengqi  (11)
  28. Torre, Carmelo M  (11)
  29. Taniar, David  (11)
  30. Scherer, Rafał  (10)
  31. Pichler, Franz  (9)
  32. Leibe, Bastian  (9)
  33. Zadeh, Lotfi A  (9)
  34. van den Herik, Jaap  (9)
  35. Calmet, Jacques  (8)
  36. Sebe, Nicu  (8)
  37. Cuzzocrea, Alfredo  (8)
  38. Welling, Max  (8)
  39. Moreno-Diaz, Roberto  (8)
  40. Schiele, Bernt  (8)
  41. Schoenauer, Marc. mathématicien  (7)
  42. Lutton, Évelyne  (7)
  43. Tuytelaars, Tinne  (7)
  44. Bertino, Elisa  (7)
  45. Fleet, David  (7)
  46. Perales, Francisco José  (7)
  47. Verschure, Paul F.M.J  (7)
  48. Li, Qing  (6)
  49. Leal-Taixé, Laura  (6)
  50. Iliadis, Lazaros  (6)
  51. Rijmen, Vincent  (6)
  52. Sowa, John F  (6)
  53. Heyden, Anders  (6)
  54. Mura, Anna  (6)
  55. Roth, Stefan  (6)
  56. Pan, Zhaoqing  (6)
  57. Tseng, Vincent S  (6)
  58. Borruso, Giuseppe  (6)
  59. Goertzel, Ben  (6)
  60. Sun, Xingming  (6)
  61. Cremers, Daniel  (5)
  62. Reid, Ian  (5)
  63. Bajo, Javier  (5)
  64. Tarantino, Eufemia  (5)
  65. Yang, Ming-Hsuan  (5)
  66. Zheng, Guoyan  (5)
  67. Demazeau, Yves  (5)
  68. Squillero, Giovanni  (5)
  69. Voß, Stefan  (5)
  70. Ryu, Yeonseung  (5)
  71. Prescott, Tony J  (5)
  72. Petkov, Nicolai  (5)
  73. Saito, Hideo  (5)
  74. Sierra, Carles  (5)
  75. Mangan, Michael  (4)
  76. Li, Hongdong  (4)
  77. Agapito, Lourdes  (4)
  78. Bourdot, Patrick  (4)
  79. Schindler, Konrad  (4)
  80. Zeugmann, Thomas  (4)
  81. Autres open sub menu

Date de parution 

Affiner à partir de Affiner jusqu'à
  1. Avant 1978  (12)
  2. 1978 à 1987  (32)
  3. 1988 à 1997  (74)
  4. 1998 à 2008  (1 233)
  5. Après 2008  (1 838)
  6. Autres open sub menu

Langue 

  1. Anglais  (3 152)
  2. Français  (35)
  3. Russe  (1)
  4. Autres open sub menu

Collection 

  1. ACM Distinguished Dissertations  (1)
  2. Addison-Wesley series in computer science  (2)
  3. Always learning  (1)
  4. Argumentation library  (1)
  5. Artificial intelligence  (1)
  6. Cambridge tracts in theoretical computer science  (2)
  7. Chapman and Hall computing  (1)
  8. Complex adaptive systems  (1)
  9. Computer Communication Networks and Telecommunications  (12)
  10. Dunod informatique  (1)
  11. Frontiers in artificial intelligence and applications  (4)
  12. Frontiers in artificial intelligence and applications, 0922-6389  (1)
  13. Fundamental studies in computer science  (2)
  14. Image Processing, Computer Vision, Pattern Recognition, and Graphics  (215)
  15. Information Systems and Applications, incl  (380)
  16. Lecture Notes in Artificial Intelligence  (481)
  17. Lecture Notes in Bioinformatics  (16)
  18. Lecture Notes in Computer Science  (2 558)
  19. Lecture Notes in Computer Science (Internet)  (1)
  20. Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence  (225)
  21. Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence (LNAI),  (2)
  22. Lecture Notes in Control and Information Science  (2)
  23. Lecture notes in control and information sciences  (13)
  24. McGraw-Hill series in artificial intelligence  (1)
  25. NATO ASI series  (3)
  26. Neural networks : research and applications  (1)
  27. Oxford chemistry primers  (1)
  28. Oxford science publications  (2)
  29. Prentice Hall series in artificial intelligence  (1)
  30. Programming and Software Engineering  (81)
  31. Science ouverte  (1)
  32. Sciences de l'homme  (1)
  33. Security and Cryptology  (27)
  34. Studies in computational intelligence  (1)
  35. Symbolic computation  (3)
  36. The Benjamin/Cummings series in artificial intelligence  (1)
  37. The insight series in artificial intelligence  (1)
  38. The MIT Press series in artificial intelligence  (1)
  39. The Morgan Kaufmann series in machine learning  (1)
  40. The systems programming series  (1)
  41. Theoretical Computer Science and General Issues  (325)
  42. 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.