118 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
39. 
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
40. 
NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings için kapak resmi
NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings
NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings
Yazar 
Barrett, Clark. editor. (orcid)0000-0002-9522-3084
https://doi.org/10.1007/978-3-319-57288-8
Format: 
Electronic Resources
Alıntı: 
Software Engineering. http://scigraph.springernature.com/things/product-market-codes/I14029
42. 
Models of Strategic Reasoning Logics, Games, and Communities için kapak resmi
Models of Strategic Reasoning Logics, Games, and Communities
Models of Strategic Reasoning Logics, Games, and Communities
Yazar 
van Benthem, Johan. editor.
http://dx.doi.org/10.1007/978-3-662-48540-8
Format: 
Electronic Resources
Alıntı: 
Information Systems Applications (incl. Internet).
46. 
Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings için kapak resmi
Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings
Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings
Yazar 
Ghosh, Sujata. editor.
https://doi.org/10.1007/978-3-662-54069-5
Format: 
Electronic Resources
Alıntı: 
Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017
47. 
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ı: 
Computer Applications. http://scigraph.springernature.com/things/product-market-codes/I23001
Tümünü Seç
118 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(118)
Panetto, Hervé. editor. (orcid)0000-0002-5537-2261
(4)
Roman, Dumitru. editor.
(4)
Ardagna, Claudio Agostino. editor.
(3)
Debruyne, Christophe. editor.
(3)
Format
Dil
English
(118)
Basım Yılı
Konu
Software engineering.
(87)
Computer science.
(85)
Mathematical logic.
(71)
Artificial intelligence.
(65)
Logics and Meanings of Programs.
(58)
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