139 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
50. 
From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday için kapak resmi
From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
Yazar 
ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367
https://doi.org/10.1007/978-3-030-30985-5
Format: 
Electronic Resources
Alıntı: 
Algorithm Analysis and Problem Complexity. https://scigraph.springernature.com/ontologies/product
55. 
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ı: 
Algorithm Analysis and Problem Complexity.
56. 
Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings için kapak resmi
Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings
Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings
Yazar 
Biondi, Fabrizio. editor.
https://doi.org/10.1007/978-3-030-30923-7
Format: 
Electronic Resources
Alıntı: 
Algorithm Analysis and Problem Complexity. https://scigraph.springernature.com/ontologies/product
58. 
Frontiers of Combining Systems 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings için kapak resmi
Frontiers of Combining Systems 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings
Frontiers of Combining Systems 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings
Yazar 
Herzig, Andreas. editor. (orcid)0000-0003-0833-2782
https://doi.org/10.1007/978-3-030-29007-8
Format: 
Electronic Resources
Alıntı: 
Algorithm Analysis and Problem Complexity. https://scigraph.springernature.com/ontologies/product
Tümünü Seç
139 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(139)
Potapov, Igor. editor.
(4)
Dediu, Adrian-Horia. editor.
(3)
Martín-Vide, Carlos. editor.
(3)
Truthe, Bianca. editor.
(3)
Format
Dil
English
(139)
Basım Yılı
2014
(34)
2015
(30)
2016
(32)
2019
(43)
Konu
Mathematical Logic and Formal Languages.
(134)
Algorithms.
(103)
Algorithm Analysis and Problem Complexity.
(102)
Computer science.
(93)
Computer logic.
(77)
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