36 sonuç bulundu Arama sonuçlarına abone ol
Tümünü Seç
Liste görünümüne geç
Küçük resim görünümüne geç
000000000000DEFAULTTR
Yazdır
1. 
Temporal Type Theory A Topos-Theoretic Approach to Systems and Behavior için kapak resmi
Temporal Type Theory A Topos-Theoretic Approach to Systems and Behavior
Temporal Type Theory A Topos-Theoretic Approach to Systems and Behavior
Yazar 
Schultz, Patrick. author.
https://doi.org/10.1007/978-3-030-00704-1
Format: 
Electronic Resources
Alıntı: 
Systems Theory, Control. https://scigraph.springernature.com/ontologies/product-market-codes/M13070
3. 
Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications için kapak resmi
Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications
Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications
Yazar 
O'Regan, Gerard. author.
https://doi.org/10.1007/978-3-319-64021-1
Format: 
Electronic Resources
Alıntı: 
Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications / O'Regan, Gerard
4. 
Modelling and Verification of Secure Exams için kapak resmi
Modelling and Verification of Secure Exams
Modelling and Verification of Secure Exams
Yazar 
Giustolisi, Rosario. author.
https://doi.org/10.1007/978-3-319-67107-9
Format: 
Electronic Resources
Alıntı: 
Data Structures and Information Theory. http://scigraph.springernature.com/things/product-market
9. 
Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude için kapak resmi
Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude
Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude
Yazar 
Ölveczky, Peter Csaba. author.
https://doi.org/10.1007/978-1-4471-6687-0
Format: 
Electronic Resources
Alıntı: 
Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in
12. 
The Handbook of Formal Methods in Human-Computer Interaction için kapak resmi
The Handbook of Formal Methods in Human-Computer Interaction
The Handbook of Formal Methods in Human-Computer Interaction
Yazar 
Weyers, Benjamin. editor.
https://doi.org/10.1007/978-3-319-51838-1
Format: 
Electronic Resources
Alıntı: 
Nuclear -- Control System -- Formal Analysis of Multiple Coordinated HMI Systems -- Part IV: Future
Tümünü Seç
36 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(36)
Artemov, Sergei. editor.
(2)
Bouchon-Meunier, Bernadette. editor.
(2)
Cabrera, Inma P. editor.
(2)
Garoufallou, Emmanouel. editor. (orcid)0000-0001-8232-6634
(2)
Format
Dil
Basım Yılı
Konu
Computer science.
(22)
Artificial intelligence.
(19)
Software engineering.
(19)
Mathematical logic.
(18)
Logics and Meanings of Programs.
(15)
Materyal Türü
Lokasyon
Kütüphane

TED Üniversitesi

Ziya Gökalp Caddesi No.48 06420, Kolej Çankaya Ankara Tel: +90 312 585 0083

Powered by Informascope