Filter by
Real Time Control Engineering: Systems And Automation
This book covers the two broad areas of the electronics and electrical aspects of control applications, highlighting the many different types of control systems of relevance to real-life control system design. The control techniques presented are state-of-the-art. In the electronics section, readers will find essential information on microprocessor, microcontroller, mechatronics and electronics…
- Edition
- -
- ISBN/ISSN
- 978-981-10-1509-0
- Collation
- -
- Series Title
- -
- Call Number
- 005.18
A Primer on Scientific Programming with Python
The book serves as a first introduction to computer programming of scientific applications, using the high-level Python language. The exposition is example and problem-oriented, where the applications are taken from mathematics, numerical calculus, statistics, physics, biology and finance. The book teaches "Matlab-style" and procedural programming as well as object-oriented programming. High sc…
- Edition
- Ed. 5
- ISBN/ISSN
- 978-3-662-49887-3
- Collation
- XXXI, 922
- Series Title
- Texts in Computational Science and Engineering
- Call Number
- 005.642 LAN p
PRIMA 2015: Principles and Practice of Multi-Agent Systems, 18th Internationa…
This book constitutes the proceedings of the 18th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2015, held in Bertinoro, Italy, in October 2015. The 29 full papers and 24 short papers presented in this volume were carefully reviewed and selected from 94 submissions. The conference brings together active researchers, developers and practitioners from both a…
- Edition
- -
- ISBN/ISSN
- 978-3-319-25524-8
- Collation
- xxi, 708 halaman
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.1 PRI
Theory of Control Systems Described by Differential Inclusions
This book provides a brief introduction to the theory of finite dimensional differential inclusions, and deals in depth with control of three kinds of differential inclusion systems. The authors introduce the algebraic decomposition of convex processes, the stabilization of polytopic systems, and observations of Luré systems. They also introduce the elemental theory of finite dimensional diffe…
- Edition
- -
- ISBN/ISSN
- 978-3-662-49245-1
- Collation
- 45 b/w illustrations, 5 illustrations in colour
- Series Title
- -
- Call Number
- -
NASA Formal Methods:7th International Symposium, NFM 2015, Pasadena, CA, USA,…
This book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal Methods, NFM 2015, held in Pasadena, CA, USA, in April 2015. The 24 revised regular papers presented together with 9 short papers were carefully reviewed and selected from 108 submissions. The topics include model checking, theorem proving; SAT and SMT solving; symbolic execution; static analysis…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-17523-2
- Collation
- XIII, 458
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Modelling Foundations and Applications
This book constitutes the proceedings of the 11th European Conference on Modelling Foundations and Applications, ECMFA 2015, held as part of STAF 2015, in L`Aquila, Utaly, in July 2015. The 13 papers presented in this volume were carefully reviewed and selected from 54 submissions. The committee decided to accept 13 papers, 9 papers for the Foundations Track and 4 papers for the Applications Tr…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-21150-3
- Collation
- XII, 203
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Migrating to Swift from Web Development
Migrating to Swift From Web Development gives you the ability to create native iOS apps using the latest Swift programming language. Starting with preparing your latest Xcode 6 Integrated Development Environment and introducing just enough iOS application framework fundamentals, you'll understand how to create a simple but meaningful Hello Swift application for iOS 8 immediately. After the sho…
- Edition
- 1
- ISBN/ISSN
- -
- Collation
- XIV, 260
- Series Title
- -
- Call Number
- -
Embedded System Technology 13th National Conference, ESTC 2015, Beijing, Chi…
This book constitutes the refereed proceedings of the 13th National Conference on Embedded System Technology, ESTC 2015, held in Beijing, China, in October 2015. The 18 revised full papers presented were carefully reviewed and selected from 63 papers. The topics cover a broad range of fields focusing on research about embedded system technologies, such as smart hardware, system and network, …
- Edition
- 1
- ISBN/ISSN
- 978-981-10-0421-6
- Collation
- 94 illustrations in colour
- Series Title
- -
- Call Number
- -
Embedded Firmware Solutions Development Best Practices for the Internet of T…
Embedded Firmware Solutions is the perfect introduction and daily-use field guide--for the thousands of firmware designers, hardware engineers, architects, managers, and developers--to Intel’s new firmware direction (including Quark coverage), showing how to integrate Intel® Architecture designs into their plans. Featuring hands-on examples and exercises using Open Source codebases, like …
- Edition
- 1
- ISBN/ISSN
- 978-1-4842-0070-4
- Collation
- 68 b/w illustrations
- Series Title
- -
- Call Number
- -
Migrating from Drupal to Backdrop
Migrate an existing Drupal 6 or 7 website to Backdrop and discover why you should consider using Backdrop when building a new website. You'll learn what Backdrop is, how to install and configure Backdrop, and create and manage content. Migrating from Drupal to Backdrop focuses on the user who is responsible for building, maintaining, and managing an organization's website and who is interested …
- Edition
- 1
- ISBN/ISSN
- 978-1-4842-1759-7
- Collation
- XIX, 89
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography