Ditapis dengan
Real-Time C++ : efficient object-oriented and template microcontroller progra…
The C++ language has powerful object-oriented and template features that can improve software design and portability while simultaneously reducing code complexity and the risk of error. Furthermore, C++ compiles highly efficient native code. This unique and effective combination makes C++ well-suited for programming microcontroller systems that require compact size, high performance and safety-…
- Edisi
- -
- ISBN/ISSN
- 9783642346880
- Deskripsi Fisik
- xxiv, 360 hlm.
- Judul Seri
- -
- No. Panggil
- E1160
Tool-based requirement traceability between requirement and design artifacts
Processes for developing safety-critical systems impose special demands on ensuring requirements traceability. Achieving valuable traceability information, however, is especially difficult concerning the transition from requirements to design. Bernhard Turban analyzes systems and software engineering theories cross-cutting the issue (embedded systems development, systems engineering, software e…
- Edisi
- -
- ISBN/ISSN
- 9783834824745
- Deskripsi Fisik
- xxvii, 439 hlm. : il.
- Judul Seri
- -
- No. Panggil
- E1532
Mathematical methodologies in pattern recognition and machine learning : cont…
This volume features key contributions from the International Conference on Pattern Recognition Applications and Methods, (ICPRAM 2012,) held in Vilamoura, Algarve, Portugal from February 6th-8th, 2012. The conference provided a major point of collaboration between researchers, engineers and practitioners in the areas of Pattern Recognition, both from theoretical and applied perspectives, with …
- Edisi
- 1
- ISBN/ISSN
- 9781461450764
- Deskripsi Fisik
- viii, 196 hlm.
- Judul Seri
- Springer proceedings in mathematics & statistics
- No. Panggil
- E485
Computer Algebra in quantum field theory : integration, summation and special…
The book focuses on advanced computer algebra methods and special functions that have striking applications in the context of quantum field theory. It presents the state of the art and new methods for (infinite) multiple sums, multiple integrals, in particular Feynman integrals, difference and differential equations in the format of survey articles. The presented techniques emerge from interdis…
- Edisi
- -
- ISBN/ISSN
- 9783709116166
- Deskripsi Fisik
- xiv, 411 hlm. : il.
- Judul Seri
- Texts & Monographs in Symbolic Computation
- No. Panggil
- E1529
Menteri-Menteri Agama RI : biografi sosial politik
No Inv.: 206-219/S/99/14c
- Edisi
- -
- ISBN/ISSN
- 9799524830
- Deskripsi Fisik
- xlii, 509 hlm.
- Judul Seri
- -
- No. Panggil
- 923 MEN
Anatomi Al-Qur'an : perbedaan qira`at dan pengaruhnya terhadap istinbath huku…
No Inv.: 65234-65238/P/00/5c
- Edisi
- -
- ISBN/ISSN
- 9794214469
- Deskripsi Fisik
- xiv, 280 hlm.
- Judul Seri
- -
- No. Panggil
- 2X1.1 HAS a
The Library Association yearbook 1997-1998
No Inv.: 45/P/99/1c
- Edisi
- -
- ISBN/ISSN
- 1856042251
- Deskripsi Fisik
- ix, 439 hlm.
- Judul Seri
- -
- No. Panggil
- 020.6 BEE l
Theories et modeles de la liberte au XVIIIe siecle
No Inv.: 214/P/99/1c
- Edisi
- -
- ISBN/ISSN
- 2130477607
- Deskripsi Fisik
- iv, 467 hlm.
- Judul Seri
- -
- No. Panggil
- 320 HOF t
Ilmu Alamiah Dasar
No Inv.: 319-328/P/98/10c
- Edisi
- Cet. ke-2
- ISBN/ISSN
- 9795114085
- Deskripsi Fisik
- vi, 165 hlm.
- Judul Seri
- -
- No. Panggil
- 500 ILM
Matahari-matahari dan makanan
No Inv.: 2640-2649/P/98/10c
- Edisi
- Cet. ke-6
- ISBN/ISSN
- 9794073210
- Deskripsi Fisik
- 147 hlm.
- Judul Seri
- -
- No. Panggil
- 500 NAS m
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah