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

résultats 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Seminar on Concurrency : Carnegie-Mellon University Pittsburgh, PA, July 9–11, 1984
Material Type:
ebook
Ajouter au Panier

Seminar on Concurrency : Carnegie-Mellon University Pittsburgh, PA, July 9–11, 1984

Brookes, Stephen D (Ed.) ; Roscoe, A.W (Ed.) ; Winskel, Glynn (Ed.)

Lecture Notes in Computer Science ; 197

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

2
Transactions on Computational Science XXIV : Special Issue on Reversible Computing
Material Type:
ebook
Ajouter au Panier

Transactions on Computational Science XXIV : Special Issue on Reversible Computing

Gavrilova, Marina L ; Tan, C.J. Kenneth (Ed.) ; Thapliyal, Himanshu (Ed.) ; Ranganathan, Nagarajan (Ed.)

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

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

3
Multi-Agent-Based Simulation XV : International Workshop, MABS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers
Material Type:
ebook
Ajouter au Panier

Multi-Agent-Based Simulation XV : International Workshop, MABS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers

Grimaldo, Francisco ; Norling, Emma (Ed.)

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

Cham. Springer International Publishing. Imprint: Springer, 2015

4
Quantitative Evaluation of Systems : 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings
Material Type:
ebook
Ajouter au Panier

Quantitative Evaluation of Systems : 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings

Norman, Gethin ; Sanders, William (Ed.)

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

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

5
Brain-Inspired Computing : International Workshop, BrainComp 2013, Cetraro, Italy, July 8-11, 2013, Revised Selected Papers
Material Type:
ebook
Ajouter au Panier

Brain-Inspired Computing : International Workshop, BrainComp 2013, Cetraro, Italy, July 8-11, 2013, Revised Selected Papers

Grandinetti, Lucio ; Lippert, Thomas (Ed.) ; Petkov, Nicolai (Ed.)

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

Cham. Springer International Publishing. Imprint: Springer, 2014

6
Multi-Agent-Based Simulation XIV : International Workshop, MABS 2013, Saint Paul, MN, USA, May 6-7, 2013, Revised Selected Papers
Material Type:
ebook
Ajouter au Panier

Multi-Agent-Based Simulation XIV : International Workshop, MABS 2013, Saint Paul, MN, USA, May 6-7, 2013, Revised Selected Papers

Alam, Shah Jamal ; Parunak, H. Van Dyke (Ed.)

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

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

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
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

9
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

10
Understanding the Brain Function and Emotions : 8th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2019, Almería, Spain, June 3–7, 2019, Proceedings, Part I
Material Type:
ebook
Ajouter au Panier

Understanding the Brain Function and Emotions : 8th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2019, Almería, Spain, June 3–7, 2019, Proceedings, Part I

Ferrández Vicente, José Manuel (Ed.) ; Álvarez-Sánchez, José Ramón (Ed.) ; de la Paz López, Félix (Ed.) ; Toledo Moreo, Javier (Ed.) ; Adeli, Hojjat (Ed.)

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

Cham. Springer International Publishing. Imprint: Springer, 2019

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

résultats 1 2 3 4 5 next page

Refine Search Results

Affiner vos résultats

Sujet 

  1. Informatique  (481)
  2. Algorithm Analysis and Problem Complexity  (421)
  3. Computer software  (393)
  4. Artificial intelligence  (365)
  5. Artificial Intelligence (incl. Robotics)  (362)
  6. Computers  (257)
  7. Algorithmes  (250)
  8. Mathematical Logic and Formal Languages  (242)
  9. Logics and Meanings of Programs  (228)
  10. Logic design  (216)
  11. Intelligence artificielle  (175)
  12. Software engineering  (166)
  13. Computer Communication Networks  (164)
  14. Logique mathématique  (157)
  15. Algorithms  (149)
  16. Ordinateurs. Programmation  (138)
  17. Programming Techniques  (138)
  18. Pattern recognition  (124)
  19. Discrete Mathematics in Computer Science  (119)
  20. Optical pattern recognition  (118)
  21. Programming Languages, Compilers, Interpreters  (110)
  22. Information Systems Applications (incl. Internet)  (110)
  23. Computational complexity  (108)
  24. Réseaux d'ordinateurs  (103)
  25. Computer vision  (86)
  26. Langages de programmation  (81)
  27. Parallélisme (informatique)  (78)
  28. Génie logiciel  (78)
  29. Image Processing and Computer Vision  (73)
  30. Information storage and retrieval  (72)
  31. Mathematical logic  (70)
  32. Computer logic  (67)
  33. Combinatorics  (65)
  34. Analyse combinatoire  (64)
  35. Data structures (Computer science)  (64)
  36. Data Structures  (64)
  37. Computer science. Mathematics  (63)
  38. Database management  (60)
  39. Computer simulation  (58)
  40. Simulation and Modeling  (58)
  41. Bioinformatics  (56)
  42. Microprocesseurs  (55)
  43. Processor Architectures  (55)
  44. Structures de données (informatique)  (53)
  45. Data mining  (50)
  46. Computer communication systems  (49)
  47. Systèmes d'exploitation (ordinateurs)  (48)
  48. Data Mining and Knowledge Discovery  (48)
  49. Computer graphics  (48)
  50. Operating systems (Computers)  (48)
  51. Operating Systems  (48)
  52. Perception des structures  (47)
  53. Image processing  (45)
  54. Information storage and retrieval systems  (44)
  55. Information storage and retrieva  (42)
  56. Complexité de calcul (informatique)  (42)
  57. Numeric Computing  (40)
  58. Electronic data processing  (38)
  59. Réseaux neuronaux (informatique)  (38)
  60. Information systems  (37)
  61. Programming languages (Electronic computers)  (32)
  62. Computer Appl. in Life Sciences  (31)
  63. Computational Biology/Bioinformatics  (31)
  64. Biology. Data processing  (31)
  65. Bioinformatique  (28)
  66. Numerical analysis  (28)
  67. Apprentissage automatique  (28)
  68. Traitement réparti  (28)
  69. Algorithmes génétiques  (27)
  70. Biologie. Informatique  (26)
  71. Simulation par ordinateur  (26)
  72. Analyse numérique  (25)
  73. Logiciels  (24)
  74. Arithmetic and Logic Structures  (24)
  75. Traitement d'images  (24)
  76. Unités arithmétiques et logiques  (23)
  77. Automates mathématiques, Théorie des  (22)
  78. Informatique documentaire  (21)
  79. Autres open sub menu

Auteur 

  1. Rozenberg, Grzegorz  (27)
  2. Martín-Vide, Carlos  (12)
  3. Salomaa, Arto  (10)
  4. Schoenauer, Marc. mathématicien  (8)
  5. Mira, José  (8)
  6. Huang, De-Shuang  (8)
  7. Lutton, Évelyne  (7)
  8. Rutkowski, Leszek  (7)
  9. Fogarty, Terence C  (7)
  10. Schwefel, Hans-Paul  (7)
  11. Tadeusiewicz, Ryszard  (7)
  12. Zadeh, Lotfi A  (7)
  13. Dongarra, Jack J  (7)
  14. Nicolau, Alex  (7)
  15. Nguyen, Ngoc Thanh  (7)
  16. Börger, Egon  (6)
  17. Miller, Julian  (6)
  18. Ferrández Vicente, José Manuel  (6)
  19. Dediu, Adrian-Horia  (6)
  20. Margaria, Tiziana  (6)
  21. Zurada, Jacek M  (6)
  22. Korytkowski, Marcin  (6)
  23. Adeli, Hojjat  (6)
  24. Gelernter, David  (6)
  25. Álvarez-Sánchez, José Ramón  (6)
  26. Deb, Kalyanmoy  (6)
  27. Banerjee, Utpal  (6)
  28. Padua, David  (6)
  29. Dehne, Frank  (6)
  30. de la Paz López, Félix  (6)
  31. Kowalczyk, Ryszard  (6)
  32. Li, Xiaodong  (5)
  33. Sack, Jörg-Rüdiger  (5)
  34. Corchado, Emilio  (5)
  35. Ehrig, Hartmut  (5)
  36. Lanzi, Pier Luca  (5)
  37. Tagliaferri, Roberto  (5)
  38. Santoro, Nicola  (5)
  39. Skowron, Andrzej  (5)
  40. Păun, Gheorghe  (5)
  41. Potapov, Igor  (5)
  42. Stolzmann, Wolfgang  (4)
  43. Hirose, Akira  (4)
  44. Arik, Sabri  (4)
  45. Malyshkin, Victor  (4)
  46. Hao, Jin-Kao  (4)
  47. Bevilacqua, Vitoantonio  (4)
  48. Doya, Kenji  (4)
  49. García-Sánchez, Pablo  (4)
  50. Leeuwen, Jan van  (4)
  51. Toledo Moreo, Javier  (4)
  52. Scherer, Rafał  (4)
  53. Hartmanis, Juris  (4)
  54. Liu, Qingshan  (4)
  55. Goos, Gerhard  (4)
  56. Ferreira, Afonso  (4)
  57. Mayr, Ernst W  (4)
  58. Wilson, Stewart W  (4)
  59. Zandron, Claudio  (4)
  60. Quintián, Héctor  (4)
  61. Ryan, Conor  (4)
  62. Premaratne, Prashan  (4)
  63. Monien, Burkhard  (4)
  64. Yao, Xin  (4)
  65. Liu, Derong  (4)
  66. Legay, Axel  (4)
  67. Ikeda, Kazushi  (4)
  68. Lai, Weng Kin  (4)
  69. Blum, Christian  (4)
  70. Lee, Minho  (4)
  71. Poli, Riccardo  (4)
  72. Steffen, Bernhard  (4)
  73. Ozawa, Seiichi  (4)
  74. Prasanna Kumar, Viktor K  (4)
  75. Yin, Hujun  (4)
  76. Huang, Tingwen  (4)
  77. Truthe, Bianca  (4)
  78. Koubek, Václav  (4)
  79. Castelli, Mauro  (4)
  80. Karhumäki, Juhani  (3)
  81. Autres open sub menu

Date de parution 

Affiner à partir de Affiner jusqu'à
  1. Avant 2002  (60)
  2. 2002 à 2004  (127)
  3. 2005 à 2008  (224)
  4. 2009 à 2015  (249)
  5. Après 2015  (142)
  6. 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.