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

Résultats 1 - 10 sur 325  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
Coalgebraic Methods in Computer Science : 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018, Revised Selected Papers
Material Type:
ebook
Ajouter au Panier

Coalgebraic Methods in Computer Science : 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018, Revised Selected Papers

Cîrstea, Corina (Ed.)

Appartient à la collection : Theoretical Computer Science and General Issues, 11202

Cham. Springer International Publishing. Imprint: Springer, 2018

2
Theory and Applications of Satisfiability Testing -- SAT 2015 : 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings
Material Type:
ebook
Ajouter au Panier

Theory and Applications of Satisfiability Testing -- SAT 2015 : 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings

Heule, Marijn (Ed.) ; Weaver, Sean (Ed.)

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

Cham. Springer International Publishing. Imprint: Springer, 2015

3
Theory and Applications of Satisfiability Testing – SAT 2014 : 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings
Material Type:
ebook
Ajouter au Panier

Theory and Applications of Satisfiability Testing – SAT 2014 : 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings

Sinz, Carsten ; Egly, Uwe (Ed.)

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

Cham. Springer International Publishing. Imprint: Springer, 2014

4
Trends in Functional Programming : 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers
Material Type:
ebook
Ajouter au Panier

Trends in Functional Programming : 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers

Hage, Jurriaan ; McCarthy, Jay (Ed.)

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

Cham. Springer International Publishing. Imprint: Springer, 2015

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
Neural Information Processing : 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings, Part II
Material Type:
ebook
Ajouter au Panier

Neural Information Processing : 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings, Part II

Liu, Derong (Ed.) ; Xie, Shengli (Ed.) ; Li, Yuanqing (Ed.) ; Zhao, Dongbin (Ed.) ; El-Alfy, El-Sayed M (Ed.)

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

Cham. Springer International Publishing. Imprint: Springer, 2017

7
Formal Grammar : 19th International Conference, FG 2014, Tübingen, Germany, August 16-17, 2014. Proceedings
Material Type:
ebook
Ajouter au Panier

Formal Grammar : 19th International Conference, FG 2014, Tübingen, Germany, August 16-17, 2014. Proceedings

Morrill, Glyn V (Ed.) ; Muskens, Reinhard (1953-...) (Ed.) ; Osswald, Rainer (Ed.) ; Richter, Frank (Ed.)

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

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

8
String Processing and Information Retrieval : 25th International Symposium, SPIRE 2018, Lima, Peru, October 9-11, 2018, Proceedings
Material Type:
ebook
Ajouter au Panier

String Processing and Information Retrieval : 25th International Symposium, SPIRE 2018, Lima, Peru, October 9-11, 2018, Proceedings

Gagie, Travis (Ed.) ; Moffat, Alistair (Ed.) ; Navarro, Gonzalo (Ed.) ; Cuadros-Vargas, Ernesto (Ed.)

Appartient à la collection : Theoretical Computer Science and General Issues, 11147

Cham. Springer International Publishing. Imprint: Springer, 2018

9
Quantum Interaction : 8th International Conference, QI 2014, Filzbach, Switzerland, June 30 -- July 3, 2014. Revised Selected Papers
Material Type:
ebook
Ajouter au Panier

Quantum Interaction : 8th International Conference, QI 2014, Filzbach, Switzerland, June 30 -- July 3, 2014. Revised Selected Papers

Atmanspacher, Harald ; Bergomi, Claudia (Ed.) ; Filk, Thomas (Ed.) ; Kitto, Kirsty (Ed.)

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

Cham. Springer International Publishing. Imprint: Springer, 2015

10
Unconventional Computation and Natural Computation : 14th International Conference, UCNC 2015, Auckland, New Zealand, August 30 -- September 3, 2015, Proceedings
Material Type:
ebook
Ajouter au Panier

Unconventional Computation and Natural Computation : 14th International Conference, UCNC 2015, Auckland, New Zealand, August 30 -- September 3, 2015, Proceedings

Calude, Cristian S (Ed.) ; Dinneen, Michael J (Ed.)

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

Cham. Springer International Publishing. Imprint: Springer, 2015

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

résultats 1 2 3 4 5 next page

Refine Search Results

Affiner vos résultats

Sujet 

  1. Computer science  (311)
  2. Artificial Intelligence (incl. Robotics)  (289)
  3. Algorithm Analysis and Problem Complexity  (174)
  4. Computer software  (174)
  5. Algorithms  (130)
  6. Software engineering  (116)
  7. Computers  (105)
  8. Computation by Abstract Devices  (89)
  9. Computer science. Mathematics  (82)
  10. Logic design  (81)
  11. Computational complexity  (77)
  12. Discrete Mathematics in Computer Science  (77)
  13. Information Systems Applications (incl. Internet)  (75)
  14. Mathematical Logic and Formal Languages  (72)
  15. Computer Communication Networks  (68)
  16. Logics and Meanings of Programs  (64)
  17. Computer vision  (62)
  18. Electronic data processing  (60)
  19. Mathematical logic  (58)
  20. Data Mining and Knowledge Discovery  (57)
  21. Data mining  (57)
  22. Image Processing and Computer Vision  (57)
  23. Computer communication systems  (56)
  24. Numeric Computing  (54)
  25. Computer logic  (51)
  26. Optical pattern recognition  (48)
  27. Pattern Recognition  (48)
  28. Image processing  (42)
  29. Numerical analysis  (40)
  30. Computer network architectures  (38)
  31. Programming Languages, Compilers, Interpreters  (35)
  32. Computer Systems Organization and Communication Networks  (33)
  33. Information storage and retrieva  (33)
  34. Information Storage and Retrieval  (33)
  35. Computer simulation  (31)
  36. Simulation and Modeling  (31)
  37. Data structures (Computer scienc  (28)
  38. Software Engineering/Programming and Operating Systems  (25)
  39. Programming languages (Electronic computers)  (25)
  40. Data structures (Computer science)  (24)
  41. Theory of Computation  (24)
  42. Data Structures  (24)
  43. Information theory  (24)
  44. Systems and Data Security  (23)
  45. Computer security  (23)
  46. Computer organization  (21)
  47. Programming Techniques  (21)
  48. Special Purpose and Application-Based Systems  (20)
  49. Mathematics of Computing  (20)
  50. Information systems  (19)
  51. Computing Methodologies  (19)
  52. Application software  (18)
  53. Special purpose computers  (16)
  54. Computer programming  (16)
  55. User Interfaces and Human Computer Interaction  (14)
  56. Database management  (14)
  57. Algebra. Data processing  (13)
  58. Symbolic and Algebraic Manipulation  (13)
  59. Bioinformatics  (12)
  60. Computational Biology/Bioinformatics  (12)
  61. Information storage and retrieval systems  (12)
  62. Computational linguistics  (12)
  63. Operating systems (Computers)  (12)
  64. Operating Systems  (12)
  65. Language Translation and Linguistics  (11)
  66. Computer industry  (11)
  67. Natural language processing (Computer science)  (11)
  68. Computer graphics  (11)
  69. The Computing Profession  (11)
  70. Natural Language Processing (NLP)  (11)
  71. Models and Principles  (10)
  72. Computer Applications  (10)
  73. Math Applications in Computer Science  (8)
  74. Computer hardware  (8)
  75. Information Systems and Communication Service  (8)
  76. Probability and Statistics in Computer Science  (7)
  77. Social sciences. Data processing  (7)
  78. Data protection  (7)
  79. Arithmetic and Logic Structures  (7)
  80. Autres open sub menu

Auteur 

  1. Shi, Yuhui  (12)
  2. Gervasi, Osvaldo  (11)
  3. Tan, Ying  (11)
  4. Misra, Sanjay  (11)
  5. Apduhan, Bernady O  (11)
  6. Murgante, Beniamino  (11)
  7. Stankova, Elena  (11)
  8. Gelbukh, Alexander  (11)
  9. Rocha, Ana Maria A.C  (11)
  10. Ozawa, Seiichi  (11)
  11. Torre, Carmelo M  (11)
  12. Taniar, David  (11)
  13. Liu, Derong  (10)
  14. Martín-Vide, Carlos  (10)
  15. Margaria, Tiziana  (9)
  16. Steffen, Bernhard  (9)
  17. Cheng, Long  (8)
  18. Zhao, Dongbin  (7)
  19. Leung, Andrew Chi Sing  (7)
  20. Li, Yuanqing  (6)
  21. Cuzzocrea, Alfredo  (6)
  22. Xie, Shengli  (6)
  23. Sim, Kevin  (6)
  24. Borruso, Giuseppe  (6)
  25. El-Alfy, El-Sayed M  (6)
  26. Dediu, Adrian-Horia  (5)
  27. García-Sánchez, Pablo  (5)
  28. Tarantino, Eufemia  (5)
  29. Liu, Qingshan  (5)
  30. Squillero, Giovanni  (5)
  31. Voß, Stefan  (5)
  32. Ryu, Yeonseung  (5)
  33. Das, Swagatam  (5)
  34. Dongarra, Jack  (5)
  35. Huang, Tingwen  (5)
  36. Castelli, Mauro  (5)
  37. Hirose, Akira  (4)
  38. Arik, Sabri  (4)
  39. Joya, Gonzalo  (4)
  40. López-Ibáñez, Manuel  (4)
  41. Ferrández Vicente, José Manuel  (4)
  42. Doya, Kenji  (4)
  43. Rojas, Ignacio  (4)
  44. Adeli, Hojjat  (4)
  45. Álvarez-Sánchez, José Ramón  (4)
  46. Correia, João  (4)
  47. McDermott, James  (4)
  48. Ikeda, Kazushi  (4)
  49. de la Paz López, Félix  (4)
  50. Lai, Weng Kin  (4)
  51. Villa, Alessandro E.P  (4)
  52. Lee, Minho  (4)
  53. Machado, Penousal  (4)
  54. Truthe, Bianca  (4)
  55. Catala, Andreu  (4)
  56. Schoenauer, Marc  (3)
  57. Yap, Keem Siah  (3)
  58. Li, Xiaodong  (3)
  59. Iliadis, Lazaros  (3)
  60. Wong, Kok Wai  (3)
  61. Bonato, Anthony  (3)
  62. Plaat, Aske  (3)
  63. Birattari, Mauro  (3)
  64. Quesada-Arencibia, Alexis  (3)
  65. Maglogiannis, Ilias  (3)
  66. Burelli, Paolo  (3)
  67. Pichler, Franz  (3)
  68. Vega-Rodríguez, Miguel A  (3)
  69. Huang, Kaizhu  (3)
  70. Manolopoulos, Yannis  (3)
  71. Atmanspacher, Harald  (3)
  72. Monmarché, Nicolas  (3)
  73. Heywood, Malcolm I  (3)
  74. Krzhizhanovskaya, Valeria V  (3)
  75. Dorigo, Marco  (3)
  76. Jin, Yaochu  (3)
  77. Blum, Christian  (3)
  78. Shi, Yong  (3)
  79. Lees, Michael Harold  (3)
  80. Prałat, Paweł  (3)
  81. Autres open sub menu

Date de parution 

Affiner à partir de Affiner jusqu'à

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.