Yazar
johann m schumann
3 cilt bulundu.
Cilt sonuçları
Automated Theorem Proving in Software Engineering
Johann M. Schumann · Springer London, Limited
228 sayfa · 2001
Démonstration automatique / Automatisches Beweisverfahren / Software engineering / Software Engineering / Automatic theorem proving
Applications of neural networks in high assurance systems
Johann M. Schumann, Yan Liu · Springer
245 sayfa · 2010
Expert systems (Computer science) / Sicherheitskritisches System / Neural networks (Computer science) / Neuronales Netz / Verification
Applications of Neural Networks in High Assurance Systems
Johann M. Ph Schumann, Yan Liu · Springer Berlin / Heidelberg
Sayfa sayısı yok · 2012
Neural networks (computer science)