Arama Sonuçları - "Verification"
Önerilen Konular
Önerilen Konular
- 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
-
81
Fundamental Approaches to Software Engineering 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Baskı/Yayın Bilgisi 2021Konular: “…verification…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
82
Fundamental Approaches to Software Engineering 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Baskı/Yayın Bilgisi 2021Konular: “…verification…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronik Kitap Bölümü -
83
The Rehabilitation and Ethnic Vetting of the Polish Population in the Voivodship of Gdańsk after World War II
Baskı/Yayın Bilgisi 2020Konular: “…Verification…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
84
The Rehabilitation and Ethnic Vetting of the Polish Population in the Voivodship of Gdańsk after World War II
Baskı/Yayın Bilgisi 2020Konular: “…Verification…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronik Kitap Bölümü -
85
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II
Baskı/Yayın Bilgisi 2021Konular: “…architecture verification…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
86
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II
Baskı/Yayın Bilgisi 2021Konular: “…architecture verification…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronik Kitap Bölümü -
87
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Baskı/Yayın Bilgisi 2023Konular: “…software verification…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
88
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Baskı/Yayın Bilgisi 2023Konular: “…software verification…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronik Kitap Bölümü -
89
Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings
Baskı/Yayın Bilgisi 2023Konular: “…verification and validation…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
90
A Journey of Embedded and Cyber-Physical Systems Essays Dedicated to Peter Marwedel on the Occasion of His 70th Birthday
Baskı/Yayın Bilgisi 2021Konular: “…model verification…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
91
Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II
Baskı/Yayın Bilgisi 2022Konular: “…architecture verification and validation…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
92
Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries 7th International Workshop, BrainLes 2021, Held in Conjunction with MICCAI 2021, Virtual Event, Septemb...
Baskı/Yayın Bilgisi 2022Konular: “…verification and validation…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
93
A Journey of Embedded and Cyber-Physical Systems Essays Dedicated to Peter Marwedel on the Occasion of His 70th Birthday
Baskı/Yayın Bilgisi 2021Konular: “…model verification…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronik Kitap Bölümü -
94
Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries 7th International Workshop, BrainLes 2021, Held in Conjunction with MICCAI 2021, Virtual Event, Septemb...
Baskı/Yayın Bilgisi 2022Konular: “…verification and validation…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronik Kitap Bölümü -
95
Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II
Baskı/Yayın Bilgisi 2022Konular: “…architecture verification and validation…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronik Kitap Bölümü -
96
Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings
Baskı/Yayın Bilgisi 2023Konular: “…verification and validation…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronik Kitap Bölümü -
97
Programming Languages and Systems 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022,...
Baskı/Yayın Bilgisi 2022Konular: “…verification…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
98
Fundamental Approaches to Software Engineering 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Baskı/Yayın Bilgisi 2022Konular: “…architecture verification and validation…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
99
Programming Languages and Systems 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022,...
Baskı/Yayın Bilgisi 2022Konular: “…verification…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronik Kitap Bölümü -
100
Fundamental Approaches to Software Engineering 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Baskı/Yayın Bilgisi 2022Konular: “…architecture verification and validation…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronik Kitap Bölümü