38 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
25. 
Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings için kapak resmi
Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings
Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings
Yazar 
Bae, Kyungmin. editor. (orcid)0000-0002-6430-5175
https://doi.org/10.1007/978-3-030-02146-7
Format: 
Electronic Resources
Alıntı: 
Dynamic Reconfigurable Systems -- Automating Verification of State Machines with Reactive Designs and
29. 
Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semantics için kapak resmi
Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semantics
Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semantics
Yazar 
Majkić, Zoran. author.
http://dx.doi.org/10.1007/978-3-319-04156-8
Format: 
Electronic Resources
Alıntı: 
the abstract computational machine, the categorial RDB machine, able to support all DB computations by
32. 
Testing Software and Systems 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings için kapak resmi
Testing Software and Systems 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings
Testing Software and Systems 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings
Yazar 
Gaston, Christophe. editor. (orcid)0000-0001-6865-5108
https://doi.org/10.1007/978-3-030-31280-0
Format: 
Electronic Resources
Alıntı: 
Model-Based Testing and Machine Learning -- Regular expression learning with evolutionary testing and repair
33. 
Descriptional Complexity of Formal Systems 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings için kapak resmi
Descriptional Complexity of Formal Systems 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings
Descriptional Complexity of Formal Systems 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings
Yazar 
Pighizzini, Giovanni. editor. (orcid)0000-0002-7509-7842
https://doi.org/10.1007/978-3-319-60252-3
Format: 
Electronic Resources
Alıntı: 
computational models, such as turing machines, finite automata, grammars, splicing systems and others. The topics
34. 
NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings için kapak resmi
NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings
NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings
Yazar 
Rayadurgam, Sanjai. editor.
http://dx.doi.org/10.1007/978-3-319-40648-0
Format: 
Electronic Resources
Alıntı: 
Machines -- Hierarchical Verification of Quantum Circuits -- Correctness and Certification -- Semantics for
Tümünü Seç
38 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(38)
Schewe, Klaus-Dieter. editor.
(3)
Ait Ameur, Yamine. editor.
(2)
Butler, Michael. editor.
(2)
Rozenberg, Grzegorz. editor.
(2)
Format
Dil
Basım Yılı
Konu
Computer logic.
(27)
Computer science.
(27)
Mathematical Logic and Formal Languages.
(22)
Software engineering.
(21)
Mathematical logic.
(16)
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