33 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
19. 
Collaborative Design for Embedded Systems Co-modelling and Co-simulation için kapak resmi
Collaborative Design for Embedded Systems Co-modelling and Co-simulation
Collaborative Design for Embedded Systems Co-modelling and Co-simulation
Yazar 
Fitzgerald, John. editor.
http://dx.doi.org/10.1007/978-3-642-54118-6
Format: 
Electronic Resources
Alıntı: 
Collaborative Design for Embedded Systems Co-modelling and Co-simulation / Fitzgerald, John. editor.
20. 
Intelligent Control Design and MATLAB Simulation için kapak resmi
Intelligent Control Design and MATLAB Simulation
Intelligent Control Design and MATLAB Simulation
Yazar 
Liu, Jinkun. author.
https://doi.org/10.1007/978-981-10-5263-7
Format: 
Electronic Resources
Alıntı: 
Engineering Design. http://scigraph.springernature.com/things/product-market-codes/T17020
21. 
Artificial Organic Networks Artificial Intelligence Based on Carbon Networks için kapak resmi
Artificial Organic Networks Artificial Intelligence Based on Carbon Networks
Artificial Organic Networks Artificial Intelligence Based on Carbon Networks
Yazar 
Ponce-Espinosa, Hiram. author.
http://dx.doi.org/10.1007/978-3-319-02472-1
Format: 
Electronic Resources
Alıntı: 
readers to design and implement organic neural networks of their own. The novel approach to creating
22. 
Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude için kapak resmi
Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude
Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude
Yazar 
Ölveczky, Peter Csaba. author.
https://doi.org/10.1007/978-1-4471-6687-0
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market
23. 
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ı: 
Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product
Tümünü Seç
33 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(33)
Legay, Axel. editor.
(2)
Shi, Yuhui. editor.
(2)
Tan, Ying. editor.
(2)
Abate, Alessandro. editor.
(1)
Format
Dil
Basım Yılı
Konu
Simulation and Modeling.
(33)
Computer science.
(26)
Software engineering.
(21)
Logics and Meanings of Programs.
(20)
Logic design.
(18)
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