Design Automation of Cyber-Physical Systems
Mohammad Abdullah Al Faruque, Arquimedes Canedo
Informasi Umum
Kode
21.21.532
Klasifikasi
006.22 - Embedded Computer Systems
Jenis
Buku - Elektronik (E-Book)
Subjek
Internet Of Things, Computer Systems, Modeling Cyber-physical Systems, Industrial Cloud-base Cyber-physical Systems
No. Rak
4
Informasi Lainnya
Abstraksi
This book presents the state-of-the-art and breakthrough innovations in design automation for cyber-physical systems. The authors discuss various aspects of cyber-physical systems design, including modeling, co-design, optimization, tools, formal methods, validation, verification, and case studies. Coverage includes a survey of the various existing cyber-physical systems functional design methodologies and related tools that will provide the reader unique insights into the conceptual design of cyber-physical systems.
Provides a single-source reference on design automation of cyber-physical systems; Serves as a practical guide to managing complexity during the CPS development process with design automation tools and methodologies; Discusses modeling cyber-physical systems at various abstraction levels; Includes coverage of high-level synthesis for cyber-physical systems; Discusses design for performance/energy-efficiency/security, as well as various tools for validation and verification; Includes case studies in manufacturing and critical infrastructure systems.
- CMI6B3 - KERANGKA KERJA FORENSIK DIGITAL
- VII1B3 - DASAR SISTEM KOMPUTER
- TKI3D3 - KEAMANAN SISTEM KOMPUTER
- CMI6C3 - KERENTANAN ARSITEKTUR SISTEM KOMPUTER DAN JARINGAN
- VKI1A3 - SISTEM KOMPUTER
- VEI1F3 - SISTEM KOMPUTER
- ISI2G3 - ANALISIS DAN PERANCANGAN SISTEM INFORMASI
- VSI2H3 - ANALISIS DAN PERANCANGAN SISTEM INFORMASI
- VAI2B3 - ANALISIS DAN PERANCANGAN SISTEM INFORMASI
- IEI3M3 - ANALISIS PERANCANGAN SISTEM INFORMASI DAN BASIS DATA
- VAI3A4 - APLIKASI SISTEM INFORMASI AKUNTANSI
- EAI3113 - AUDIT SISTEM INFORMASI
- ISI1F3 - DASAR KEUANGAN SISTEM INFORMASI
- VSI1C3 - DASAR MANAJEMEN DAN SISTEM INFORMASI
- ISI3E3 - DASAR SISTEM OPERASI
- VTI1B2 - DASAR SISTEM TELEKOMUNIKASI
- ISI3G4 - KEAMANAN SISTEM INFORMASI
- ISI3C3 - MANAJEMEN PROYEK SISTEM INFORMASI
- ISI6M2 - METODOLOGI PENELITIAN UNTUK MAGISTER SISTEM INFORMASI
- ISI1B3 - PENGANTAR SISTEM INFORMASI
- ILI2N3 - PERANCANGAN SISTEM INFORMASI LOGISTIK & BASIS DATA , DAN PRAKTIKUM
- IMI2I3 - PERENCANAAN STRATEGI SISTEM INFORMASI
- VAI3E4 - PROYEK SISTEM INFORMASI AKUNTANSI
- CSI-3D3 - REKAYASA SISTEM INFORMASI
- CSI3D3 - REKAYASA SISTEM INFORMASI
- CTI4W3 - SISTEM INFORMASI
- VAI3B4 - SISTEM INFORMASI AKUNTANSI PERUSAHAAN
- KBI2D3 - SISTEM INFORMASI BISNIS
- IEI5J3 - SISTEM INFORMASI GEOGRAFIS
- TBI4I3 - SISTEM INFORMASI KESEHATAN
- EBI2F3 - SISTEM INFORMASI MANAJEMEN
- EAI2T3 - SISTEM INFORMASI MANAJEMEN
- VAI1I2 - SISTEM INFORMASI MANAJEMEN
- EBI2F3 - SISTEM INFORMASI MANAJEMEN
- ISI4P3 - TEKNIK AUDIT DAN KONTROL SISTEM INFORMASI
Koleksi & Sirkulasi
Tersedia 1 dari total 1 Koleksi
Anda harus log in untuk mengakses flippingbook
Pengarang
| Nama | Mohammad Abdullah Al Faruque, Arquimedes Canedo |
| Jenis | Perorangan |
| Penyunting | |
| Penerjemah |
Penerbit
| Nama | Springer International Publishing |
| Kota | |
| Tahun | 2019 |
Sirkulasi
| Harga sewa | IDR 0,00 |
| Denda harian | IDR 0,00 |
| Jenis | Non-Sirkulasi |
