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
PIC projects and applications using C : a project-based approach
PIC Projects and Applications Using C details how to program the PIC microcontroller in the C language. The book takes a learn-by-doing approach, with applications covering topics such as inputs, outputs, keypads, alphanumeric displays, analogue-to-digital conversion, radio transmitters and receivers, data EEPROM, interrupts and timing. To aid debugging, the book provides a section detailing th…
- Edisi
- Third Edition
- ISBN/ISSN
- 9780080971513
- Deskripsi Fisik
- ix, 178 hlm.
- Judul Seri
- -
- No. Panggil
- E1411
Panduan praktis pemrograman database dengan visual foxpro 9.0
No Inv.: 111404-111408/P/Perp/07/5c
- Edisi
- -
- ISBN/ISSN
- 979763826X
- Deskripsi Fisik
- xi, 364 hlm.
- Judul Seri
- -
- No. Panggil
- 005.74 PAN
Teknik menulis note balok dan memainkan midi menggunakan encore
No Inv.: 111001-111005/P/Perp/07/5c
- Edisi
- -
- ISBN/ISSN
- 9797312011
- Deskripsi Fisik
- viii, 77 hlm.
- Judul Seri
- -
- No. Panggil
- 005.369 SIA t
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
Menjadi desainer profesional dengan autocad 2006 2D dan 3D
No Inv.: 111257-111259/P/Perp/3c
- Edisi
- -
- ISBN/ISSN
- 9797633527
- Deskripsi Fisik
- xii, 238 hlm.
- Judul Seri
- -
- No. Panggil
- 005.369 SUP m
Panduan praktis menggambar bangunan gedung dengan autocad 2002
No Inv.: 111116-111120/P/Perp/07/5c
- Edisi
- -
- ISBN/ISSN
- 9797310310
- Deskripsi Fisik
- xii, 307 hlm.
- Judul Seri
- -
- No. Panggil
- 005.369 PAN
Belajar cepat microsoft excel 2007
No Inv.: 110693-110697/P/Perp/07/5c
- Edisi
- -
- ISBN/ISSN
- 9789792900163
- Deskripsi Fisik
- xii, 179 hlm.
- Judul Seri
- -
- No. Panggil
- 005.369 RET b
Administrasi sistem di Linux
No Inv.: 111642-111646/P/Perp/07/5c
- Edisi
- -
- ISBN/ISSN
- 9797315452
- Deskripsi Fisik
- xii,360 hlm.
- Judul Seri
- -
- No. Panggil
- 005.368 2 ADM
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah