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
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
Ontology-driven software development
This book is about a significant step forward in software development. It brings state-of-the-art ontology reasoning into mainstream software development and its languages. Ontology Driven Software Development is the essential, comprehensive resource on enabling technologies, consistency checking and process guidance for ontology-driven software development (ODSD). It demonstrates how to apply …
- Edisi
- -
- ISBN/ISSN
- 9783642312267
- Deskripsi Fisik
- xviii, 338 hlm.
- Judul Seri
- -
- No. Panggil
- E1141
Software cost estimation, benchmarking, and risk assessment
Software effort estimation is a key element of software project planning and management. Yet, in industrial practice, the important role of effort estimation is often underestimated and/or misunderstood. In this book, Adam Trendowicz presents the CoBRA method (an abbreviation for Cost Estimation, Benchmarking, and Risk Assessment) for estimating the effort required to successfully complete …
- Edisi
- -
- ISBN/ISSN
- 9783642307645
- Deskripsi Fisik
- xxvi, 322 hlm.
- Judul Seri
- The Fraunhofer IESE Series on Software and Systems Engineering
- No. Panggil
- E1140
Automatic malware analysis : an emulator based approach
Malicious software (i.e., malware) has become a severe threat to interconnected computer systems for decades and has caused billions of dollars damages each year. A large volume of new malware samples are discovered daily. Even worse, malware is rapidly evolving becoming more sophisticated and evasive to strike against current malware analysis and defense systems. Automatic Malware Analysis…
- Edisi
- -
- ISBN/ISSN
- 9781461455233
- Deskripsi Fisik
- ix, 73 hlm. : il.
- Judul Seri
- SpringerBriefs in Computer Science
- No. Panggil
- E1040
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah