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
The M68HC11 microcontroller : applications in control, instrumentation and co…
No Inv.: 67548/P/00/1c
- Edisi
- -
- ISBN/ISSN
- 013852181
- Deskripsi Fisik
- xi, 399 hlm.
- Judul Seri
- -
- No. Panggil
- 004.16 KHE m
Modelling and controlling of behaviour for autonomous mobile robots
As research progresses, it enables multi-robot systems to be used in more and more complex and dynamic scenarios. Hence, the question arises how different modelling and reasoning paradigms can be utilised to describe the intended behaviour of a team and execute it in a robust and adaptive manner. Hendrik Skubch presents a solution, ALICA (A Language for Interactive Cooperative Agents) which com…
- Edisi
- -
- ISBN/ISSN
- 9783658008116
- Deskripsi Fisik
- xvii,, 259 hlm. : il. warna.
- Judul Seri
- -
- No. Panggil
- E1516
Computer and computing technologies in agriculture VI; 6th IFIP TC WG 5.14 In…
The two-volume set IFIP AICT 392 and 393 constitutes the refereed post-conference proceedings of the 6th IFIP TC 5, SIG 5.1 International Conference on Computer and Computing Technologies in Agriculture, CCTA 2012, held in Zhangjiajie, China, in October 2012. The 108 revised papers presented were carefully selected from numerous submissions. They cover a wide range of interesting theories and a…
- Edisi
- -
- ISBN/ISSN
- 9783642361371
- Deskripsi Fisik
- xvii, 487 hlm. : il.
- Judul Seri
- IFIP Advances in Information and Communication Technology
- No. Panggil
- E1176
Computer and computing technologies in agriculture VI; 6th IFIP WG 5.14 Inter…
The two-volume set IFIP AICT 392 and 393 constitutes the refereed post-conference proceedings of the 6th IFIP TC 5, SIG 5.1 International Conference on Computer and Computing Technologies in Agriculture, CCTA 2012, held in Zhangjiajie, China, in October 2012. The 108 revised papers presented were carefully selected from numerous submissions. They cover a wide range of interesting theories and a…
- Edisi
- -
- ISBN/ISSN
- 978364236124
- Deskripsi Fisik
- xvii, 455 hlm. : il.
- Judul Seri
- IFIP Advances in Information and Communication Technology
- No. Panggil
- E1175
System modeling and optimization; 25th IFIP TC 7 Conference, CSMO 2011, Berli…
This book is a collection of thoroughly refereed papers presented at the 25th IFIP TC 7 Conference on System Modeling and Optimization, held in Dresden, Germany, in September 2011. The 55 revised papers were carefully selected from numerous submissions. They are organized in the following topical sections: control of distributed parameter systems; stochastic optimization and control; stabilizat…
- Edisi
- -
- ISBN/ISSN
- 9723642360626
- Deskripsi Fisik
- xii, 568 hlm.
- Judul Seri
- IFIP Advances in Information and Communication Technology
- No. Panggil
- E1174
AsiaSim 2013; 13th International Conference on Systems Simulation, Singapore,…
This book constitutes the refereed proceedings of the 13th International Conference on Systems Simulation, Asia Simulation 2013, held in Singapore, in November 2013. The 45 revised full papers presented together with 18 short papers were carefully reviewed and selected from numerous submissions. The papers address issues such as agent based simulation, scheduling algorithms, simulation methods …
- Edisi
- -
- ISBN/ISSN
- 9783642450372
- Deskripsi Fisik
- xxii, 601 hlm. : il.
- Judul Seri
- Communications in Computer and Information Science (CCIS, volume 402)
- No. Panggil
- E1501
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah