Filter by
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
- -
Mathematical Aspects of Logic Programming Semantics
Covering the authors' own state-of-the-art research results, this book presents a rigorous, modern account of the mathematical methods and tools required for the semantic analysis of logic programs. It significantly extends the tools and methods from traditional order theory to include nonconventional methods from mathematical analysis that depend on topology, domain theory, generalized distanc…
- Edition
- Ed. 1
- ISBN/ISSN
- 1439829624, 9781439829622
- Collation
- -
- Series Title
- -
- Call Number
- -
Sistemi Embedded
The explosion of the market linked to mobile telephony, automation, home automation, infotainment systems and automatic driving, the design of drones and 3D printers have brought to the fore the interest in "embedded" technologies. In recent years there has been a progressive increase in the demand for skills in this sector, both in the professional / industrial area and for the community of en…
- Edition
- -
- ISBN/ISSN
- 9788867056583
- Collation
- -
- Series Title
- -
- Call Number
- -
Developing Graphics Frameworks with Python and OpenGL
Developing Graphics Frameworks with Python and OpenGL shows you how to create software for rendering complete three-dimensional scenes. The authors explain the foundational theoretical concepts as well as the practical programming techniques that will enable you to create your own animated and interactive computer-generated worlds.You will learn how to combine the power of OpenGL, the most wide…
- Edition
- Ed. 1
- ISBN/ISSN
- 1000407950, 9781000407952
- Collation
- -
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography