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

résultats 1 2 3 4 5 next page
N'afficher que
Filtré par : sujet: Software engineering supprimer
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Program Development in Computational Logic : A Decade of Research Advances in Logic-Based Program Development
Material Type:
ebook
Ajouter au Panier

Program Development in Computational Logic : A Decade of Research Advances in Logic-Based Program Development

Bruynooghe, Maurice (Ed.) ; Lau, Kung-Kiu (1953-...) (Ed.)

Lecture Notes in Computer Science ; 3049

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

2
Isabelle/HOL : A Proof Assistant for Higher-Order Logic
Material Type:
ebook
Ajouter au Panier

Isabelle/HOL : A Proof Assistant for Higher-Order Logic

Nipkow, Tobias (1958-..) (Ed.) ; Wenzel, Markus (Ed.) ; Paulson, Lawrence C (1955-...) (Ed.)

Lecture Notes in Computer Science ; 2283

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

3
Automated Reasoning : Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings
Material Type:
ebook
Ajouter au Panier

Automated Reasoning : Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings

Basin, David (Ed.) ; Rusinowitch, Michaël (1956-...) (Ed.)

Lecture Notes in Computer Science ; 3097

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

4
Automated Reasoning : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18–22, 2001 Proceedings
Material Type:
ebook
Ajouter au Panier

Automated Reasoning : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18–22, 2001 Proceedings

Nipkow, Tobias (1958-..) (Ed.) ; Leitsch, Alexander (1952-...) (Ed.) ; Goré, Rajeev (Ed.)

Lecture Notes in Computer Science ; 2083

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

5
Algebraic Methodology and Software Technology : 4th International Conference, AMAST '95 Montreal, Canada, July 3–7, 1995 Proceedings
Material Type:
ebook
Ajouter au Panier

Algebraic Methodology and Software Technology : 4th International Conference, AMAST '95 Montreal, Canada, July 3–7, 1995 Proceedings

Nivat, Maurice (1937-2017) (Ed.) ; Alagar, V. S (Ed.)

Lecture Notes in Computer Science ; 936

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

6
Algebraic and Logic Programming : Second International Conference Nancy, France, October 1–3, 1990 Proceedings
Material Type:
ebook
Ajouter au Panier

Algebraic and Logic Programming : Second International Conference Nancy, France, October 1–3, 1990 Proceedings

Wechler, Wolfgang (1940-1991) (Ed.) ; Kirchner, Hélène (1952-...) (Ed.)

Lecture Notes in Computer Science ; 463

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

7
Efficient Graph Rewriting and Its Implementation
Material Type:
ebook
Ajouter au Panier

Efficient Graph Rewriting and Its Implementation

Dörr, Heiko (Ed.)

Lecture Notes in Computer Science ; 922

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

8
Computer Aided Verification : 5th International Conference, CAV '93 Elounda, Greece, June 28–July 1, 1993 Proceedings
Material Type:
ebook
Ajouter au Panier

Computer Aided Verification : 5th International Conference, CAV '93 Elounda, Greece, June 28–July 1, 1993 Proceedings

Courcoubetis, Costas (Ed.)

Lecture Notes in Computer Science ; 697

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

9
Computer Aided Verification : 13th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings
Material Type:
ebook
Ajouter au Panier

Computer Aided Verification : 13th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings

Finkel, Alain (1958-...) (Ed.) ; Berry, Gérard (1948-...) (Ed.) ; Comon-Lundh, Hubert (Ed.)

Lecture Notes in Computer Science ; 2102

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

10
ZB 2002:Formal Specification and Development in Z and B : 2nd International Conference of B and Z Users Grenoble, France, January 23–25, 2002 Proceedings
Material Type:
ebook
Ajouter au Panier

ZB 2002:Formal Specification and Development in Z and B : 2nd International Conference of B and Z Users Grenoble, France, January 23–25, 2002 Proceedings

Bowen, Jonathan Peter (1956-...) (Ed.) ; Robinson, Ken (1950-...) (Ed.) ; Henson, Martin C (Ed.) ; Bert, Didier (Ed.)

Lecture Notes in Computer Science ; 2272

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

Résultats 1 - 10 sur 187  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 (1)
  2. Catalogue (186)

Affiner vos résultats

Sujet 

  1. Informatique  (186)
  2. Logique mathématique  (186)
  3. Mathematical Logic and Formal Languages  (183)
  4. Génie logiciel  (180)
  5. Logic design  (147)
  6. Logics and Meanings of Programs  (146)
  7. Programming Languages, Compilers, Interpreters  (88)
  8. Langages de programmation  (88)
  9. Artificial Intelligence (incl. Robotics)  (79)
  10. Intelligence artificielle  (79)
  11. Artificial intelligence  (79)
  12. Ordinateurs. Programmation  (65)
  13. Programming Techniques  (55)
  14. Théorèmes. Démonstration automatique  (23)
  15. Logiciels. Développement  (20)
  16. Programming languages (Electronic computers)  (20)
  17. Computation by Abstract Devices  (19)
  18. Structure logique  (19)
  19. Computers, Special purpose  (18)
  20. Special Purpose and Application-Based Systems  (18)
  21. Algorithmes  (16)
  22. Computer software  (15)
  23. Algorithm Analysis and Problem Complexity  (15)
  24. Informatique. Mathématiques  (14)
  25. Logic, Symbolic and mathematical  (13)
  26. Programmation logique  (13)
  27. Mathematical Logic and Foundations  (13)
  28. Ordinateurs  (12)
  29. Symbolic and Algebraic Manipulation  (11)
  30. Algebra. Data processing  (11)
  31. Compilateurs (logiciels)  (11)
  32. Circuits intégrés  (10)
  33. Méthodes formelles (informatique)  (10)
  34. Logiciels. Vérification  (9)
  35. Essais  (9)
  36. Ingénierie assistée par ordinateur  (9)
  37. Logiciels  (8)
  38. Logiciels. Essais  (8)
  39. Conception assistée par ordinateur  (8)
  40. Integrated circuits. Verification  (8)
  41. Structures de données (informatique)  (8)
  42. Types abstraits de données (informatique)  (8)
  43. Data structures (Computer science)  (7)
  44. Data Structures  (7)
  45. Database management  (7)
  46. Computer hardware  (7)
  47. Systèmes, Conception de  (7)
  48. Computer-aided design  (7)
  49. Information systems  (7)
  50. Computer Science, general  (6)
  51. Computer Communication Networks  (6)
  52. Grammaires de graphes  (6)
  53. Réseaux d'ordinateurs  (6)
  54. Computational complexity  (6)
  55. Discrete Mathematics in Computer Science  (6)
  56. Computer-Aided Engineering (CAD, CAE) and Design  (6)
  57. Business Information Systems  (5)
  58. Z (méthode formelle)  (5)
  59. Optical pattern recognition  (5)
  60. Management information systems  (5)
  61. Information Systems Applications (incl Internet)  (5)
  62. Electronics  (5)
  63. Combinatorics  (5)
  64. Pattern recognition  (5)
  65. Perception des structures  (5)
  66. Electronics and Microelectronics, Instrumentation  (5)
  67. Parallélisme (informatique)  (5)
  68. Systèmes d'exploitation (ordinateurs)  (4)
  69. Systèmes, Analyse de  (4)
  70. Operating systems (Computers)  (4)
  71. Logique informatique  (4)
  72. Graphes, Théorie des  (4)
  73. Operating Systems  (4)
  74. Systèmes experts (informatique)  (4)
  75. Langages de programmation. Sémantique  (4)
  76. Évaluation  (4)
  77. Analyse combinatoire  (4)
  78. Catégories (mathématiques)  (4)
  79. Automates mathématiques, Théorie des  (3)
  80. Software Engineering/Programming and Operating Systems  (3)
  81. Algorithms  (2)
  82. Software Engineering (General) (Ci)  (1)
  83. Exploration  (1)
  84. Explosions  (1)
  85. Random Testing  (1)
  86. Counting  (1)
  87. Automation  (1)
  88. Models  (1)
  89. Uniform Exploration  (1)
  90. Random Variables  (1)
  91. Theory of Computation  (1)
  92. Computer Programs  (1)
  93. Model Based Testing  (1)
  94. Combinatorial Analysis  (1)
  95. Criteria  (1)
  96. 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.