64 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. 
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ı: 
Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market
2. 
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ı: 
Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market
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
6. 
Process Algebras for Petri Nets The Alphabetization of Distributed Systems için kapak resmi
Process Algebras for Petri Nets The Alphabetization of Distributed Systems
Process Algebras for Petri Nets The Alphabetization of Distributed Systems
Yazar 
Gorrieri, Roberto. author.
https://doi.org/10.1007/978-3-319-55559-1
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Foundations. http://scigraph.springernature.com/things/product-market-codes
8. 
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
9. 
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ı: 
Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market
Tümünü Seç
64 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(63)
Bouajjani, Ahmed. editor.
(2)
Debruyne, Christophe. editor.
(2)
Legay, Axel. editor.
(2)
Margaria, Tiziana. editor.
(2)
Format
Dil
Konu
Computer science.
(60)
Mathematical Logic and Formal Languages.
(57)
Logic design.
(45)
Logics and Meanings of Programs.
(45)
Artificial intelligence.
(29)
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