169 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. 
Principled Software Development Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday için kapak resmi
Principled Software Development Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday
Principled Software Development Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday
Yazar 
Müller, Peter. editor.
https://doi.org/10.1007/978-3-319-98047-8
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market
2. 
Formal Languages and Compilation için kapak resmi
Formal Languages and Compilation
Formal Languages and Compilation
Yazar 
Crespi Reghizzi, Stefano. author.
https://doi.org/10.1007/978-3-030-04879-2
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product
3. 
Conceptual Modeling 36th International Conference, ER 2017, Valencia, Spain, November 6–9, 2017, Proceedings için kapak resmi
Conceptual Modeling 36th International Conference, ER 2017, Valencia, Spain, November 6–9, 2017, Proceedings
Conceptual Modeling 36th International Conference, ER 2017, Valencia, Spain, November 6–9, 2017, Proceedings
Yazar 
Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091
https://doi.org/10.1007/978-3-319-69904-2
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market
4. 
Static Analysis 24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings için kapak resmi
Static Analysis 24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings
Static Analysis 24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings
Yazar 
Ranzato, Francesco. editor. (orcid)0000-0003-0159-0068
https://doi.org/10.1007/978-3-319-66706-5
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market
5. 
Rules and Reasoning International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedings için kapak resmi
Rules and Reasoning International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedings
Rules and Reasoning International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedings
Yazar 
Costantini, Stefania. editor.
https://doi.org/10.1007/978-3-319-61252-2
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market
12. 
Concrete Semantics With Isabelle/HOL için kapak resmi
Concrete Semantics With Isabelle/HOL
Concrete Semantics With Isabelle/HOL
Yazar 
Nipkow, Tobias. author.
http://dx.doi.org/10.1007/978-3-319-10542-0
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Formal Languages.
Tümünü Seç
169 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(169)
Margaria, Tiziana. editor.
(5)
Duan, Zhenhua. editor.
(4)
Butler, Michael. editor.
(3)
Legay, Axel. editor.
(3)
Format
Dil
English
(169)
Basım Yılı
Konu
Mathematical Logic and Formal Languages.
(169)
Computer science.
(151)
Software engineering.
(149)
Logics and Meanings of Programs.
(148)
Mathematical logic.
(110)
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