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
-
101
Biometric Systems
Baskı/Yayın Bilgisi 2021Konular: “…online signature verification…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
102
Foundations of Software Science and Computation Structures 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Baskı/Yayın Bilgisi 2022Konular: “…correctness, transformation, and verification…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
103
Foundations of Software Science and Computation Structures 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Baskı/Yayın Bilgisi 2022Konular: “…correctness, transformation, and verification…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronik Kitap Bölümü -
104
Ultrasonic Cavitation Treatment of Metallic Alloys
Baskı/Yayın Bilgisi 2020Konular: “…experimental verification…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
105
Bistatic HF Radar
Baskı/Yayın Bilgisi 2020Konular: “…experiment verification…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
106
Space for Sustainability: Using Data from Earth Observation to Support Sustainable Development Indicators
Baskı/Yayın Bilgisi 2022Konular: “…verification…”
DOAB: description of the publication
Elektronik Kitap Bölümü -
107
Programming Languages and Systems 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021,...
Baskı/Yayın Bilgisi 2021Konular: “…verification and validation…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
108
Programming Languages and Systems 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021,...
Baskı/Yayın Bilgisi 2021Konular: “…verification and validation…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronik Kitap Bölümü -
109
Applications of Radio Frequency Heating in Food Processing
Baskı/Yayın Bilgisi 2023Konular: “…verification…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
110
Efficient Intelligence with Applications in Embedded Sensing
Baskı/Yayın Bilgisi 2023Konular: “…temporal verification…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
111
Programming Languages and Systems 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020,...
Baskı/Yayın Bilgisi 2020Konular: “…verification and validation…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
112
Programming Languages and Systems 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020,...
Baskı/Yayın Bilgisi 2020Konular: “…verification and validation…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronik Kitap Bölümü -
113
Trustworthiness in Mobile Cyber Physical Systems
Baskı/Yayın Bilgisi 2021Konular: “…formal verification…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
114
Feature Papers of Forecasting
Baskı/Yayın Bilgisi 2021Konular: “…streamflow forecast verification…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
115
Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Baskı/Yayın Bilgisi 2020Konular: “…program analysis, correctness, transformation, and verification…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
116
Functional Polymers in Sensors and Actuators: Fabrication and Analysis
Baskı/Yayın Bilgisi 2020Konular: “…experimental verification…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
117
Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Baskı/Yayın Bilgisi 2020Konular: “…program analysis, correctness, transformation, and verification…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronik Kitap Bölümü -
118
CFD Simulations of Marine Hydrodynamics
Baskı/Yayın Bilgisi 2021Konular: “…Verification and Validation…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
119
District Heating and Cooling Networks
Baskı/Yayın Bilgisi 2020Konular: “…verification…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
120
Fractional-Order System: Control Theory and Applications
Baskı/Yayın Bilgisi 2023Konular: “…verification of pseudo-state enclosures…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü