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

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
Tools and Algorithms for the Construction and Analysis of Systems : 4th International Conference, TACAS'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings
Material Type:
ebook
Ajouter au Panier

Tools and Algorithms for the Construction and Analysis of Systems : 4th International Conference, TACAS'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings

Steffen, Bernhard (Ed.)

Lecture Notes in Computer Science ; 1384

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

2
Transactions on Foundations for Mastering Change I
Material Type:
ebook
Ajouter au Panier

Transactions on Foundations for Mastering Change I

Steffen, Bernhard (Ed.)

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

Cham. Springer International Publishing. Imprint: Springer, 2016

3
Verification, Model Checking, and Abstract Interpretation : 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings
Material Type:
ebook
Ajouter au Panier

Verification, Model Checking, and Abstract Interpretation : 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings

Steffen, Bernhard (Ed.) ; Levi, Giorgio (1942-...) (Ed.)

Lecture Notes in Computer Science ; 2937

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

4
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II
Material Type:
ebook
Ajouter au Panier

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II

Margaria, Tiziana ; Steffen, Bernhard (Ed.)

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

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

5
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I
Material Type:
ebook
Ajouter au Panier

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I

Margaria, Tiziana ; Steffen, Bernhard (Ed.)

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

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

6
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I
Material Type:
ebook
Ajouter au Panier

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I

Margaria, Tiziana (Ed.) ; Steffen, Bernhard (Ed.)

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

Cham. Springer International Publishing. Imprint: Springer, 2016

7
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II
Material Type:
ebook
Ajouter au Panier

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

Margaria, Tiziana (Ed.) ; Steffen, Bernhard (Ed.)

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

Cham. Springer International Publishing. Imprint: Springer, 2016

8
Correct System Design : Recent Insights and Advances
Material Type:
ebook
Ajouter au Panier

Correct System Design : Recent Insights and Advances

Steffen, Bernhard (Ed.) ; Olderog, Ernst-Rüdiger (Ed.)

Lecture Notes in Computer Science ; 1710

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

9
Leveraging Applications of Formal Methods, Verification and Validation. Verification : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II
Material Type:
ebook
Ajouter au Panier

Leveraging Applications of Formal Methods, Verification and Validation. Verification : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

Margaria, Tiziana (Ed.) ; Steffen, Bernhard (Ed.)

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

Cham. Springer International Publishing. Imprint: Springer, 2018

10
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III
Material Type:
ebook
Ajouter au Panier

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III

Margaria, Tiziana (Ed.) ; Steffen, Bernhard (Ed.)

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

Cham. Springer International Publishing. Imprint: Springer, 2018

Résultats 1 - 10 sur 2 944  pour Articles en ligne

résultats 1 2 3 4 5 next page

Refine Search Results

Élargir mes résultats

  1.   

N'afficher que

  1. Evalués par les pairs (405)
  2. Catalogue (17)

Affiner vos résultats

Sujet 

  1. Computer Science  (2 910)
  2. Artificial Intelligence (Incl. Robotics)  (1 314)
  3. Information Systems Applications (Incl. Internet)  (1 074)
  4. Algorithm Analysis and Problem Complexity  (859)
  5. Software Engineering  (762)
  6. Computer Communication Networks  (752)
  7. Engineering  (680)
  8. Information Storage and Retrieval  (661)
  9. Data Mining and Knowledge Discovery  (573)
  10. Image Processing and Computer Vision  (481)
  11. Systems and Data Security  (463)
  12. User Interfaces and Human Computer Interaction  (429)
  13. Logics and Meanings of Programs  (413)
  14. Mathematical Logic and Formal Languages  (409)
  15. Pattern Recognition  (402)
  16. Programming Languages, Compilers, Interpreters  (317)
  17. Data Encryption  (306)
  18. Computation by Abstract Devices  (301)
  19. Management of Computing and Information Systems  (295)
  20. Computers and Society  (294)
  21. Discrete Mathematics in Computer Science  (275)
  22. Simulation and Modeling  (229)
  23. Special Purpose and Application-Based Systems  (199)
  24. Programming Techniques  (173)
  25. Computer Systems Organization and Communication Networks  (147)
  26. Artificial intelligence  (138)
  27. System Performance and Evaluation  (126)
  28. Software Engineering/Programming and Operating Systems  (122)
  29. Theory of Computation  (109)
  30. Multimedia information systems  (73)
  31. Computer Science, general  (65)
  32. Logic design  (55)
  33. Algorithms  (42)
  34. Computing Methodologies  (41)
  35. The Computing Profession  (35)
  36. Computer software  (17)
  37. Mathematical logic  (17)
  38. Communications Engineering, Networks  (15)
  39. Computer logic  (13)
  40. Information systems  (11)
  41. Programming languages (Electronic computers)  (9)
  42. Computers  (9)
  43. Electronic data processing  (8)
  44. Informatique  (7)
  45. Information theory  (6)
  46. Computer simulation  (6)
  47. Computer programming  (5)
  48. Computer network architectures  (5)
  49. Computer industry  (5)
  50. Génie logiciel  (5)
  51. Computer communication systems  (4)
  52. Systèmes, Conception de  (4)
  53. Réseaux d'ordinateurs  (4)
  54. Multimedia systems  (3)
  55. Telecommunication  (2)
  56. Computer software--Development  (2)
  57. Traitement réparti  (2)
  58. Logiciels. Développement  (2)
  59. Langages de programmation  (2)
  60. Logiciels. Vérification  (1)
  61. Computers, Special purpose  (1)
  62. Développement  (1)
  63. Logiciels  (1)
  64. Intelligence artificielle  (1)
  65. Théorèmes. Démonstration automatique  (1)
  66. Computer system performance  (1)
  67. Ordinateurs. Fiabilité  (1)
  68. Management information systems  (1)
  69. Information Systems Applications (incl.Internet)  (1)
  70. Logique mathématique  (1)
  71. Information storage and retrieva  (1)
  72. Interaction homme-ordinateur  (1)
  73. Multimédias  (1)
  74. 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.