30 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
2. 
Transactional Memory. Foundations, Algorithms, Tools, and Applications COST Action Euro-TM IC1001 için kapak resmi
Transactional Memory. Foundations, Algorithms, Tools, and Applications COST Action Euro-TM IC1001
Transactional Memory. Foundations, Algorithms, Tools, and Applications COST Action Euro-TM IC1001
Yazar 
Guerraoui, Rachid. editor.
http://dx.doi.org/10.1007/978-3-319-14720-8
Format: 
Electronic Resources
Alıntı: 
Transactional Memory. Foundations, Algorithms, Tools, and Applications COST Action Euro-TM IC1001 /
3. 
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
4. 
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).
6. 
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
9. 
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
11. 
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ç
30 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(30)
Berger, Christian. editor.
(2)
Gerdt, Vladimir P. editor.
(2)
Ghosh, Sujata. editor.
(2)
Koepf, Wolfram. editor.
(2)
Format
Dil
Basım Yılı
Konu
Software engineering.
(26)
Computer science.
(25)
Logic design.
(18)
Computer software.
(17)
Mathematical Logic and Formal Languages.
(15)
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