Ditapis dengan
Understanding petri nets : modeling techniques, analysis methods, case studies
With their intuitive graphical approach and expressive analysis techniques, Petri nets are suitable for a wide range of applications and teaching scenarios, and they have gained wide acceptance as a modeling technique in areas such as software design and control engineering. The core theoretical principles have been studied for many decades and there is now a comprehensive research literature t…
- Edisi
- -
- ISBN/ISSN
- 9783642332784
- Deskripsi Fisik
- xxvii, 230 hlm. : il.
- Judul Seri
- -
- No. Panggil
- E1153
Industrial deployment of system engineering methods
A formal method is not the main engine of a development process, its contribution is to improve system dependability by motivating formalisation where useful. This book summarizes the results of the DEPLOY research project on engineering methods for dependable systems through the industrial deployment of formal methods in software development. The applications considered were in automotive, aer…
- Edisi
- -
- ISBN/ISSN
- 9783642331701
- Deskripsi Fisik
- x, 262 hlm.
- Judul Seri
- -
- No. Panggil
- E1152
Perencanaan investasi dan studi kelayakan proyek dengan microsoft excel
No Inv.: 110631-110633/P/Perp/07/3c
- Edisi
- -
- ISBN/ISSN
- 9797635279
- Deskripsi Fisik
- x, 241 hlm.
- Judul Seri
- -
- No. Panggil
- 005.43 DEA p
Mengolah data statistik dengan mudah menggunakan minitab 14
No Inv.: 110640-110643/P/Perp/07/3c
- Edisi
- -
- ISBN/ISSN
- 9797631117
- Deskripsi Fisik
- x, 469 hlm.
- Judul Seri
- -
- No. Panggil
- 005.43 IRA m
60 (Enam puluh) menit belajar linux dan jaringan
No Inv.: 111146-111150/P/Perp/07/5c
- Edisi
- -
- ISBN/ISSN
- 9797318206
- Deskripsi Fisik
- viii, 95 hlm.
- Judul Seri
- -
- No. Panggil
- 005.368 2 SYA e
Aplikasi sistem informasi sekolah dengan visual foxpro 9.0
No Inv.: 110623-110627/P/Perp/07/5c~119173-119175/P/Perp/09/3c
- Edisi
- -
- ISBN/ISSN
- 9797631443
- Deskripsi Fisik
- vi, 201 hlm.
- Judul Seri
- -
- No. Panggil
- 005.43 APL
Memanfaatkan primavera project planner dalam mengelola proyek konstruksi
No Inv.: 110779-110783/P/Perp/07/5c
- Edisi
- -
- ISBN/ISSN
- 9797316947
- Deskripsi Fisik
- xxii, 225 hlm.
- Judul Seri
- -
- No. Panggil
- 005.43 SAT m
Belajar cepat micro soft word 2007
No Inv.: 110664-110668/P/Perp/07/5c~118249-118251/P/Perp/09/3c
- Edisi
- -
- ISBN/ISSN
- 9797638111
- Deskripsi Fisik
- viii, 167 hlm.
- Judul Seri
- -
- No. Panggil
- 005.43 MUL b
Hukum koperasi Indonesia : pemahaman, regulasi, pendirian dan modal usaha
No Inv.: 111864-111867/P/Perp/08/4c~127911-127915/P/perp/10/5c
- Edisi
- cet. ke-3
- ISBN/ISSN
- 9793925116
- Deskripsi Fisik
- xiv, 147 hlm.
- Judul Seri
- -
- No. Panggil
- 346.066 8 PAC h
Enabling things to talk : Designing IoT solutions with the IoT architectural …
The Internet of Things (IoT) is an emerging network superstructure that will connect physical resources and actual users. It will support an ecosystem of smart applications and services bringing hyper-connectivity to our society by using augmented and rich interfaces. Whereas in the beginning IoT referred to the advent of barcodes and Radio Frequency Identification (RFID), which helped to auto…
- Edisi
- -
- ISBN/ISSN
- 9783642404030
- Deskripsi Fisik
- x, 349 hlm. : il. warna
- Judul Seri
- -
- No. Panggil
- E1286
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah