Ditapis dengan
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
Advanced techniques for knowledge engineering and innovative applications ; 1…
This book constitutes the thoroughly refereed proceedings of the 16th International Conference on Knowledge-Based Intelligent Information and Engineering Systems, KES 2012, held in San Sebastian, Spain, in September 2012. The 21 revised papers were carefully reviewed and selected from 254 submissions. Topics of interest include the exploitation of AI techniques, most recent research in informat…
- Edisi
- -
- ISBN/ISSN
- 9783642420177
- Deskripsi Fisik
- xiv, 305 hlm. : il.
- Judul Seri
- Communications in Computer and Information Science (CCIS, volume 246)
- No. Panggil
- E1497
Making the History of Computing Relevant ; IFIP WG 9.7 International Conferen…
This book constitutes the refereed post-proceedings of the IFIP WG 9.7 International Conference on the History of Computing, HC 2013, held in London, UK, in June 2013. The 29 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers cover a wide range of topics related to the history of computing and offer a number of different approaches to making…
- Edisi
- -
- ISBN/ISSN
- 9783642416507
- Deskripsi Fisik
- xi, 321 hlm.
- Judul Seri
- IFIP Advances in Information and Communication Technology
- No. Panggil
- E1492
Real-time UML workshop for embedded systems
Written as a workbook with a set of guided exercises that teach by example, this book gives a practical, hands-on guide to using UML to design and implement embedded and real-time systems. Key Features : * A review of the basics of UML and the Harmony process for embedded software development: two on-going case examples to teach the concepts, a small-scale traffic light control system and a…
- Edisi
- Second Edition
- ISBN/ISSN
- 9780124077812
- Deskripsi Fisik
- xx, 500 hlm.
- Judul Seri
- -
- No. Panggil
- E1482
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah