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
Powering Biomedical devices
From exoskeletons to neural implants, biomedical devices are no less than life-changing. Compact and constant power sources are necessary to keep these devices running efficiently. Edwar Romero's Powering Biomedical Devices reviews the background, current technologies, and possible future developments of these power sources, examining not only the types of biomedical power sources available (ma…
- Edisi
- -
- ISBN/ISSN
- -
- Deskripsi Fisik
- viii, 62 hlm.
- Judul Seri
- -
- No. Panggil
- E1410
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
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…
- Edisi
- 2nd Ed
- ISBN/ISSN
- 9783642382475
- Deskripsi Fisik
- xv, 479 hlm.
- Judul Seri
- -
- No. Panggil
- E1235
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
Opportunities in banking careers
No Inv.: 113124/S/Perp/08/1c
- Edisi
- -
- ISBN/ISSN
- 0658004824
- Deskripsi Fisik
- x, 150 hlm.
- Judul Seri
- -
- No. Panggil
- 332.102 3 PAR o
Open-Source lab : how to build your own hardware andrReduce research costs
Open-Source Lab: How to Build Your Own Hardware and Reduce Scientific Research Costs details the development of the free and open-source hardware revolution. The combination of open-source 3D printing and microcontrollers running on free software enables scientists, engineers, and lab personnel in every discipline to develop powerful research tools at unprecedented low costs. After reading O…
- Edisi
- -
- ISBN/ISSN
- 9780124104624
- Deskripsi Fisik
- xvii, 271 hlm.
- Judul Seri
- -
- No. Panggil
- E1391
Analisis rangkaian linear
Judul asli :"Linear Circuit Analys"
- Edisi
- -
- ISBN/ISSN
- 9796884844
- Deskripsi Fisik
- xvi, 269 hlm.
- Judul Seri
- -
- No. Panggil
- 621.319 2 CHI a
Elementary number theory
No Inv.: 114114/P/perp/08/1c
- Edisi
- 6th ed
- ISBN/ISSN
- 0071244255
- Deskripsi Fisik
- xiii, 434 hlm.
- Judul Seri
- -
- No. Panggil
- 512.7 BUR e
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah