Ditapis dengan
The Unix operating system
No Inv.: 3485/P/99/1c
- Edisi
- 3rd ed
- ISBN/ISSN
- 0471586846
- Deskripsi Fisik
- xxi, 554 hlm.
- Judul Seri
- -
- No. Panggil
- 005.282 CHR u
Linux for Embedded and Real-time Applications
This new edition of Linux for Embedded and Real-Time Applications provides a practical introduction to the basics and the latest developments in this rapidly evolving technology. Ideal for those new to using Linux in an embedded environment, it takes a hands-on approach and covers key concepts plus specific applications. Key features include: + Substantially updated to focus on a specific…
- Edisi
- Third Edition
- ISBN/ISSN
- 9780124159969
- Deskripsi Fisik
- xix, 274 hlm.
- Judul Seri
- Embedded Technology
- No. Panggil
- E1417
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
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
Fedora 12 : sistem operasi dan aplikasi linux untuk server dan jaringan desktop
No Inv.: 136215/SM/Perp/13/1c
- Edisi
- -
- ISBN/ISSN
- 9789790780705
- Deskripsi Fisik
- vi, 158 hlm.
- Judul Seri
- -
- No. Panggil
- 005.432 FED
101 (Seratus satu) teknik tersembunyi dalam windows
No Inv.: 141750-141754/P/Perp/14/5c
- Edisi
- -
- ISBN/ISSN
- 979346903X
- Deskripsi Fisik
- xiv, 127 hlm.
- Judul Seri
- -
- No. Panggil
- 005.368 4 ZAM s
Survey of operating systems
No Inv.: 146883/P/Perp/15/1c
- Edisi
- 4th. ed.
- ISBN/ISSN
- 9781259094965
- Deskripsi Fisik
- xv, 496 hlm.
- Judul Seri
- -
- No. Panggil
- 005.43 HOL s
Your unix/Linux the ultimate guide
No Inv.: 146849/P/Perp/15/1c
- Edisi
- 3rd ed
- ISBN/ISSN
- 9780071086295
- Deskripsi Fisik
- xxxviii, 760 hlm.
- Judul Seri
- -
- No. Panggil
- 005.432 DAS y
Pilih windows, mac atau linux : filosofi sebuah komputer
Bibliografi : hlm. 160 No Inv.: 144592/SM/Perp/13/1c
- Edisi
- -
- ISBN/ISSN
- 9786028496254
- Deskripsi Fisik
- 168 hlm.
- Judul Seri
- -
- No. Panggil
- 005.4 MAG p
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah