53 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. 
Representation Theorems in Computer Science A Treatment in Logic Engineering için kapak resmi
Representation Theorems in Computer Science A Treatment in Logic Engineering
Representation Theorems in Computer Science A Treatment in Logic Engineering
Yazar 
Özçep, Özgür Lütfü. author.
https://doi.org/10.1007/978-3-030-25785-9
Format: 
Electronic Resources
Alıntı: 
Representation Theorems in Computer Science A Treatment in Logic Engineering / Özçep, Özgür Lütfü
3. 
Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers için kapak resmi
Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers
Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers
Yazar 
Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750
https://doi.org/10.1007/978-3-030-31517-7
Format: 
Electronic Resources
Alıntı: 
Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3
5. 
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ı: 
From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi
6. 
Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings için kapak resmi
Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings
Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings
Yazar 
Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555
https://doi.org/10.1007/978-3-030-34968-4
Format: 
Electronic Resources
Alıntı: 
Software Engineering. https://scigraph.springernature.com/ontologies/product-market-codes/I14029
8. 
Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings için kapak resmi
Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
Yazar 
ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367
https://doi.org/10.1007/978-3-030-30942-8
Format: 
Electronic Resources
Alıntı: 
Software Engineering. https://scigraph.springernature.com/ontologies/product-market-codes/I14029
11. 
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ı: 
Software Engineering. https://scigraph.springernature.com/ontologies/product-market-codes/I14029
12. 
Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings için kapak resmi
Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings
Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings
Yazar 
Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441
https://doi.org/10.1007/978-3-030-32079-9
Format: 
Electronic Resources
Alıntı: 
Software Engineering. https://scigraph.springernature.com/ontologies/product-market-codes/I14029
Tümünü Seç
53 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(53)
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662
(2)
Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792
(2)
Zhang, Lijun. editor. (orcid)0000-0002-3692-2088
(2)
ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367
(2)
Format
Dil
Konu
Software engineering.
(50)
Logics and Meanings of Programs.
(46)
Artificial intelligence.
(32)
Mathematical logic.
(32)
Mathematical Logic and Formal Languages.
(31)
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