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

Dilihat

173 kali

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
• DEK2MAB3 - SISTEM INFORMASI BISNIS
• DEK2JAB3 - MANAJEMEN PROYEK
• DEK2AAB3 - KEUANGAN
• DDK3MAB2 - Metodologi Penelitian
• FAK3FAC2 - Manajemen Proyek
• CCK2HAB4 - Basis Data
• CCK3BAB3 - Manajemen Proyek
• CDK3FAB3 - Rekayasa Sistem Informasi
• CDK3FAB3 - Rekayasa Sistem Informasi
• AEK3MBB3 - Sistem Informasi Kesehatan
• GEK1GAB3 - Basis Data
• GIK3HAB3 - Sistem Informasi Geografis
• GCK2KAC2 - Proyek Sistem Informasi
• DBK4HAB3 - AUDIT SISTEM INFORMASI
• ACK3HAB3 - Keamanan Sistem
• DBK1CAB3 - SISTEM INFORMASI MANAJEMEN
• GCK1DAB3 - Sistem Informasi Manajemen
• AZKXAAB3 - Manajemen Proyek
• AZKXAAB3 - Manajemen Proyek
• DBK2CAB3 - AUDIT
• DAK3NAB4 - Analisis dan Perancangan Sistem
• DAK3CAB3 - Manajemen Proyek
• GCK2AAB3 - Analisis dan Perancangan Sistem Informasi
• GIK2AAB3 - Analisis dan Perancangan Sistem Informasi
• AZKXAAB3 - Manajemen Proyek
• AZKXAAB3 - Manajemen Proyek
• GCK1GAB2 - Manajemen Proyek
• GEK1AAB3 - Sistem Komputer
• GIK1GAB2 - Manajemen Proyek
• GHK2AAB3 - Basis Data
• GHK4FAB2 - Manajemen Proyek
• AZKXAAB3 - Manajemen Proyek
• CDK3AAB3 - Manajemen Proyek
• CDK3AAB3 - Manajemen Proyek
• CDK2IAB3 - Sistem Operasi
• CBK3KAB3 - Manajemen Proyek
• CBK2JAB3 - Sistem Operasi
• FBK3BAB3 - Metodologi Penelitian
• FFK3MAB2 - Metodologi Penelitian
• FDK3AAB3 - Metodologi Penelitian
• DAK4DAB4 - Metodologi Penelitian

Koleksi & Sirkulasi

Tersedia 1 dari total 1 Koleksi

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

Download / Flippingbook