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
50. 
Model-Based Safety and Assessment 5th International Symposium, IMBSA 2017, Trento, Italy, September 11–13, 2017, Proceedings için kapak resmi
Model-Based Safety and Assessment 5th International Symposium, IMBSA 2017, Trento, Italy, September 11–13, 2017, Proceedings
Model-Based Safety and Assessment 5th International Symposium, IMBSA 2017, Trento, Italy, September 11–13, 2017, Proceedings
Yazar 
Bozzano, Marco. editor. (orcid)0000-0002-4135-103X
https://doi.org/10.1007/978-3-319-64119-5
Format: 
Electronic Resources
Alıntı: 
Special Purpose and Application-Based Systems. http://scigraph.springernature.com/things/product
56. 
Static Analysis 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings için kapak resmi
Static Analysis 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings
Static Analysis 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings
Yazar 
Chang, Bor-Yuh Evan. editor.
https://doi.org/10.1007/978-3-030-32304-2
Format: 
Electronic Resources
Alıntı: 
Software Engineering. https://scigraph.springernature.com/ontologies/product-market-codes/I14029
57. 
Applied Logic for Computer Scientists Computational Deduction and Formal Proofs için kapak resmi
Applied Logic for Computer Scientists Computational Deduction and Formal Proofs
Applied Logic for Computer Scientists Computational Deduction and Formal Proofs
Yazar 
Ayala-Rincón, Mauricio. author.
https://doi.org/10.1007/978-3-319-51653-0
Format: 
Electronic Resources
Alıntı: 
Math Applications in Computer Science. http://scigraph.springernature.com/things/product-market
59. 
Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings için kapak resmi
Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings
Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings
Yazar 
Durand-Lose, Jérôme. editor. (orcid)0000-0001-6506-074X
https://doi.org/10.1007/978-3-319-92402-1
Format: 
Electronic Resources
Alıntı: 
Special Purpose and Application-Based Systems. http://scigraph.springernature.com/things/product
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