18 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. 
Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings için kapak resmi
Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings
Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings
Yazar 
Gabmeyer, Sebastian. editor. (orcid)0000-0002-4097-9917
https://doi.org/10.1007/978-3-319-61467-0
Format: 
Electronic Resources
Alıntı: 
Computer-Aided Engineering (CAD, CAE) and Design. http://scigraph.springernature.com/things/product
2. 
Provably Correct Systems için kapak resmi
Provably Correct Systems
Provably Correct Systems
Yazar 
Hinchey, Mike. editor.
https://doi.org/10.1007/978-3-319-48628-4
Format: 
Electronic Resources
Alıntı: 
NASA Monographs in Systems and Software Engineering,
4. 
Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity için kapak resmi
Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity
Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity
Yazar 
Zeume, Thomas. author.
https://doi.org/10.1007/978-3-662-54314-6
Format: 
Electronic Resources
Alıntı: 
Software Engineering. http://scigraph.springernature.com/things/product-market-codes/I14029
5. 
Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings için kapak resmi
Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings
Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings
Yazar 
Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990
https://doi.org/10.1007/978-3-319-66197-1
Format: 
Electronic Resources
Alıntı: 
Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy
9. 
Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday için kapak resmi
Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday
Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday
Yazar 
Gibson-Robinson, Thomas. editor.
https://doi.org/10.1007/978-3-319-51046-0
Format: 
Electronic Resources
Alıntı: 
Software Engineering. http://scigraph.springernature.com/things/product-market-codes/I14029
11. 
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
Tümünü Seç
18 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(18)
Sirjani, Marjan. editor. (orcid)0000-0001-5478-0987
(2)
Balduccini, Marcello. editor.
(1)
Barrett, Clark. editor. (orcid)0000-0002-9522-3084
(1)
Bowen, Jonathan P. editor.
(1)
Format
Dil
Konu
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