Foundations of multi-paradigm modelling for cyber-physical systems

This open access book coherently gathers well-founded information on the fundamentals of and formalisms for modelling cyber-physical systems (CPS). Highlighting the cross-disciplinary nature of CPS modelling, it also serves as a bridge for anyone entering CPS from related areas of computer science or engineering. Truly complex, engineered systems—known as cyber-physical systems—that integra…

Specification languages for preserving consistency between models of differen…

When complex IT systems are being developed, the usage of several programming and modelling languages can lead to inconsistencies that yield faulty designs and implementations. To address this problem, this work contributes a classification of consistency preservation challenges and an approach for preserving consistency. It is formalized using set theory and monitors changes to avoid matching …

Pendidikan Agama Islam dan Budi PekertiSMA/SMK Kelas X : Buku Panduan Guru

Edisi

Cetakan Pertama

ISBN/ISSN

9786022444558

Deskripsi Fisik

xvi, 194 hlm.: 17.6 cm x 25 cm

Judul Seri

-

No. Panggil

297 AHM p

Cerdas Cergas Berbahasa dan Bersastra Indonesia SMA/SMK Kelas X : Buku Pandua…

Edisi

-

ISBN/ISSN

9786022443230

Deskripsi Fisik

xii, 228 hlm.: 17.6 cm x 25 cm

Judul Seri

-

No. Panggil

410 SEF c

Bahasa Inggris Work in Progress SMA/SMK Kelas X : Buku Panduan Guru

Edisi

Cetakan Pertama

ISBN/ISSN

9786022448990

Deskripsi Fisik

xviii, 206 hlm.: 17.6 cm x 25 cm

Judul Seri

-

No. Panggil

420 BUD b

Ilmu Pengetahuan Sosial SMA Kelas X : Buku Panduan Guru

Edisi

Cetakan Pertama

ISBN/ISSN

9786022443292

Deskripsi Fisik

x, 262 hlm.: 17.6 cm x 25 cm

Judul Seri

-

No. Panggil

300 Sar i

Matematika SMA/SMK Kelas X : Buku Panduan Guru

Edisi

Cetakan Pertama

ISBN/ISSN

9786022445371

Deskripsi Fisik

x, 302 hlm.: 17.6 cm x 25 cm

Judul Seri

-

No. Panggil

510 DIC m

Sejarah SMK Kelas X : Buku Panduan Guru

Edisi

Cetakan Pertama

ISBN/ISSN

9786022445548

Deskripsi Fisik

vii, 104 hlm: 17,6 cm x 25 cm

Judul Seri

-

No. Panggil

900 SAR s

Ilmu Pengetahuan Alam SMA Kelas X : Buku Panduan Guru

Edisi

Cetakan Pertama

ISBN/ISSN

9786022443780

Deskripsi Fisik

xiv, 282 hlm.: 17.6 cm x 25 cm

Judul Seri

-

No. Panggil

500 AYU i

Informatika SMA Kelas X : Buku Panduan Guru

Edisi

Cetakan Pertama

ISBN/ISSN

9786022445029

Deskripsi Fisik

viii, 248 hlm.: 17.6 cm x 25 cm

Judul Seri

-

No. Panggil

004 WAH i