Bilaketaren emaitzak - "verification"
Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
- Artificial intelligence 44
- Computer science 43
- Software Engineering 42
- Computer networking & communications 32
- Algorithms & data structures 24
- Computer programming / software development 22
- Mathematical theory of computation 22
- Technology: general issues 22
- History of engineering & technology 17
- Systems analysis & design 16
- Research & information: general 10
- Computer modelling & simulation 8
- Programming & scripting languages: general 8
- Computer architecture & logic design 6
- Software testing & verification 6
- Automotive technology & trades 4
- Coding theory & cryptology 4
- Computer hardware 4
- Electrical engineering 4
- Expert systems / knowledge-based systems 4
- Information technology: general issues 4
- Mathematical foundations 4
- Maths for engineers 4
- Mechanical engineering 4
- Natural language & machine translation 4
- Network hardware 4
- Biology, life sciences 3
- Information technology industries 3
- Circuits & components 2
- Computer security 2
-
21
Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I
Argitaratua 2022Gaiak: “...verification...”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Baliabide elektronikoa Liburu kapitulua -
22
Jean-Roland Malet premier historien des finances de la monarchie française
Argitaratua 1993Gaiak: “...vérification...”
DOAB: download the publication
DOAB: description of the publication
Baliabide elektronikoa Liburu kapitulua -
23
Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,...
Argitaratua 2018Gaiak: “...program verification...”
DOAB: download the publication
DOAB: description of the publication
Baliabide elektronikoa Liburu kapitulua -
24
Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,...
Argitaratua 2018Gaiak: “...program verification...”
DOAB: download the publication
DOAB: description of the publication
Baliabide elektronikoa Liburu kapitulua -
25
Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,...
Argitaratua 2018Gaiak: “...program verification...”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Baliabide elektronikoa Liburu kapitulua -
26
Guaranteed Verification of Dynamic Systems
Argitaratua 2022Gaiak: “...Verification...”
DOAB: download the publication
DOAB: description of the publication
Baliabide elektronikoa Liburu kapitulua -
27
Guaranteed Verification of Dynamic Systems
Argitaratua 2022Gaiak: “...Verification...”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Baliabide elektronikoa Liburu kapitulua -
28
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II
Argitaratua 2023Gaiak: “...logic and verification...”
DOAB: download the publication
DOAB: description of the publication
Baliabide elektronikoa Liburu kapitulua -
29
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II
Argitaratua 2023Gaiak: “...logic and verification...”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Baliabide elektronikoa Liburu kapitulua -
30
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III
Argitaratua 2023Gaiak: “...logic and verification...”
DOAB: download the publication
DOAB: description of the publication
Baliabide elektronikoa Liburu kapitulua -
31
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III
Argitaratua 2023Gaiak: “...logic and verification...”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Baliabide elektronikoa Liburu kapitulua -
32
Fundamental Approaches to Software Engineering: 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2...
Argitaratua 2018Gaiak: “...verification...”
DOAB: download the publication
DOAB: description of the publication
Baliabide elektronikoa Liburu kapitulua -
33
Probabilistic Maneuver Recognition in Traffic Scenarios
Argitaratua 2014Gaiak: “...Message Verification...”
DOAB: download the publication
DOAB: description of the publication
Baliabide elektronikoa Liburu kapitulua -
34
Network Bioscience
Argitaratua 2020Gaiak: “...hypothesis generation and verification...”
DOAB: download the publication
DOAB: description of the publication
Baliabide elektronikoa Liburu kapitulua -
35
Network Bioscience, 2nd Edition
Argitaratua 2020Gaiak: “...hypothesis generation and verification...”
DOAB: download the publication
DOAB: description of the publication
Baliabide elektronikoa Liburu kapitulua -
36
Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...
Argitaratua 2022Gaiak: “...software and hardware verification...”
DOAB: download the publication
DOAB: description of the publication
Baliabide elektronikoa Liburu kapitulua -
37
Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...
Argitaratua 2022Gaiak: “...software and hardware verification...”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Baliabide elektronikoa Liburu kapitulua -
38
Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Argitaratua 2018Gaiak: “...verification...”
DOAB: download the publication
DOAB: description of the publication
Baliabide elektronikoa Liburu kapitulua -
39
Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Argitaratua 2018Gaiak: “...verification...”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Baliabide elektronikoa Liburu kapitulua -
40
Agents and Robots for Reliable Engineered Autonomy
Argitaratua 2021Gaiak: “...formal verification...”
DOAB: download the publication
DOAB: description of the publication
Baliabide elektronikoa Liburu kapitulua