21 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. 
Simplicity is Complex Foundations of Cyber-Physical System Design için kapak resmi
Simplicity is Complex Foundations of Cyber-Physical System Design
Simplicity is Complex Foundations of Cyber-Physical System Design
Yazar 
Kopetz, Hermann. author.
https://doi.org/10.1007/978-3-030-20411-2
Format: 
Electronic Resources
Alıntı: 
Communications Engineering, Networks. https://scigraph.springernature.com/ontologies/product-market
2. 
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
3. 
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
4. 
Natural Computing Algorithms için kapak resmi
Natural Computing Algorithms
Natural Computing Algorithms
Yazar 
Brabazon, Anthony. author.
http://dx.doi.org/10.1007/978-3-662-43631-8
Format: 
Electronic Resources
Alıntı: 
science, bioinformatics, finance, marketing, engineering, architecture and design. This book is a
6. 
Petri Net Synthesis için kapak resmi
Petri Net Synthesis
Petri Net Synthesis
Yazar 
Badouel, Eric. author.
http://dx.doi.org/10.1007/978-3-662-47967-4
Format: 
Electronic Resources
Alıntı: 
Software Engineering/Programming and Operating Systems.
8. 
Memristor Networks için kapak resmi
Memristor Networks
Memristor Networks
Yazar 
Adamatzky, Andrew. editor.
http://dx.doi.org/10.1007/978-3-319-02630-5
Format: 
Electronic Resources
Alıntı: 
, neuromorphic circuits, and programmable electronics. Memristor Networks focuses on the design, fabrication
11. 
NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings için kapak resmi
NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings
NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings
Yazar 
Badger, Julia M. editor.
https://doi.org/10.1007/978-3-030-20652-9
Format: 
Electronic Resources
Alıntı: 
Software Engineering. https://scigraph.springernature.com/ontologies/product-market-codes/I14029
Tümünü Seç
21 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(21)
Dongarra, Jack. editor. (orcid)0000-0003-3247-1782
(2)
Margaria, Tiziana. editor.
(2)
Steffen, Bernhard. editor.
(2)
Adamatzky, Andrew. editor.
(1)
Format
Dil
Basım Yılı
Konu
Software engineering.
(16)
Computers.
(14)
Computer science.
(12)
Artificial intelligence.
(11)
Computer Systems Organization and Communication Networks.
(10)
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