Ditapis dengan
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
Web dynpro ABAP for practitioners
Web Dynpro ABAP, a NetWeaver web application user interface tool from SAP, enables web programming connected to SAP Systems. The authors’ main focus was to create a book based on their own practical experience. Each chapter includes examples which lead through the content step-by-step and enable the reader to gradually explore and grasp the Web Dynpro ABAP process. The authors explain in part…
- Edisi
- 2nd Ed
- ISBN/ISSN
- 9783642382475
- Deskripsi Fisik
- xv, 479 hlm.
- Judul Seri
- -
- No. Panggil
- E1235
Korespondensi Prancis
No Inv.: 110728-110732/P/Perp/07/5c
- Edisi
- -
- ISBN/ISSN
- 9796955318
- Deskripsi Fisik
- ix, 111 hlm.
- Judul Seri
- -
- No. Panggil
- 651.754 4 HUS k
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
Automatic test equipment
No Inv.: 112710/P/Perp/08/1c
- Edisi
- -
- ISBN/ISSN
- 0750601302
- Deskripsi Fisik
- x, 230 hlm.
- Judul Seri
- -
- No. Panggil
- 004 BRI a
Islam tentang perang dan damai
No Inv.: 115410/SM/Perp/08/1c
- Edisi
- -
- ISBN/ISSN
- 9971771365
- Deskripsi Fisik
- v, 209 hlm.
- Judul Seri
- -
- No. Panggil
- 2X4.76 ALK i
Yogyakarta : Jendral spoor (operasi kraai))versus Jendral Sudirman (perintah …
No Inv.: 115061/PH/Perp/08/1c
- Edisi
- -
- ISBN/ISSN
- 9792221786
- Deskripsi Fisik
- xxx, 424 hlm.
- Judul Seri
- -
- No. Panggil
- 355.425 SOE y
Rekayasa perangkat lunak : pendekatan praktisi
Judul asli :"Software engineering apractitioner`s approach"
- Edisi
- -
- ISBN/ISSN
- -
- Deskripsi Fisik
- xx, 645 hlm.
- Judul Seri
- -
- No. Panggil
- 005.3 Fre r
French for children
No Inv.: 116957/P/Perp/09/1c
- Edisi
- -
- ISBN/ISSN
- 0071407685
- Deskripsi Fisik
- 80 hlm.
- Judul Seri
- -
- No. Panggil
- 372.641 BRU f
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah