Numerical Software Verification المزيد من الكتب المشابهة

Quantitative Evaluation of Systems Quantitative Evaluation of Systems
Quantitative Evaluation of Systems
٢٠٢٠
Automated Technology for Verification and Analysis Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
٢٠١٨
Integration of Constraint Programming, Artificial Intelligence, and Operations Research Integration of Constraint Programming, Artificial Intelligence, and Operations Research
Integration of Constraint Programming, Artificial Intelligence, and Operations Research
٢٠٢٢
Intelligent Systems Intelligent Systems
Intelligent Systems
٢٠٢١
Quantitative Evaluation of Systems Quantitative Evaluation of Systems
Quantitative Evaluation of Systems
٢٠١٩
Automated Technology for Verification and Analysis Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
٢٠٢٢
Machine Learning and Knowledge Discovery in Databases Machine Learning and Knowledge Discovery in Databases
Machine Learning and Knowledge Discovery in Databases
٢٠٢٣
NASA Formal Methods NASA Formal Methods
NASA Formal Methods
٢٠٢٠
Numerical Software Verification Numerical Software Verification
Numerical Software Verification
٢٠١٧
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
٢٠١٨
Optimization and Learning Optimization and Learning
Optimization and Learning
٢٠٢١
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
٢٠١٧
Evolutionary Computation in Combinatorial Optimization Evolutionary Computation in Combinatorial Optimization
Evolutionary Computation in Combinatorial Optimization
٢٠٢١
Parallel Problem Solving from Nature – PPSN XVII Parallel Problem Solving from Nature – PPSN XVII
Parallel Problem Solving from Nature – PPSN XVII
٢٠٢٢
Quantitative Evaluation of Systems Quantitative Evaluation of Systems
Quantitative Evaluation of Systems
٢٠٢١