13 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. 
Reachability Problems 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings için kapak resmi
Reachability Problems 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings
Reachability Problems 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings
Yazar 
Bojańczyk, Mikołaj. editor.
http://dx.doi.org/10.1007/978-3-319-24537-9
Format: 
Electronic Resources
Alıntı: 
semigroups, groups, and rings; reachability in dynamical and hybrid systems; frontiers between decidable and
5. 
Reachability Problems 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings için kapak resmi
Reachability Problems 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings
Reachability Problems 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings
Yazar 
Hague, Matthew. editor.
https://doi.org/10.1007/978-3-319-67089-8
Format: 
Electronic Resources
Alıntı: 
Software Engineering/Programming and Operating Systems. http://scigraph.springernature.com/things
6. 
Reachability Problems 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings için kapak resmi
Reachability Problems 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings
Reachability Problems 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings
Yazar 
Larsen, Kim Guldstrand. editor.
http://dx.doi.org/10.1007/978-3-319-45994-3
Format: 
Electronic Resources
Alıntı: 
aspects of semigroups, groups, and rings; reachability in dynamical and hybrid systems; frontiers between
8. 
Logical Foundations of Cyber-Physical Systems için kapak resmi
Logical Foundations of Cyber-Physical Systems
Logical Foundations of Cyber-Physical Systems
Yazar 
Platzer, André. author.
https://doi.org/10.1007/978-3-319-63588-0
Format: 
Electronic Resources
Alıntı: 
Logical Foundations of Cyber-Physical Systems Platzer, André. author.
9. 
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
10. 
Dynamic Logic. New Trends and Applications First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings için kapak resmi
Dynamic Logic. New Trends and Applications First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings
Dynamic Logic. New Trends and Applications First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings
Yazar 
Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017
https://doi.org/10.1007/978-3-319-73579-5
Format: 
Electronic Resources
Alıntı: 
Computer Systems Organization and Communication Networks. http://scigraph.springernature.com/things
Tümünü Seç
13 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
Format
Dil
Basım Yılı
Konu
Computer science.
(9)
Logics and Meanings of Programs.
(9)
Mathematical logic.
(9)
Artificial intelligence.
(7)
Computer logic.
(7)
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