Filter by
Formal Specification Level
This book introduces a new level of abstraction that closes the gap between the textual specification of embedded systems and the executable model at the Electronic System Level (ESL). Readers will be enabled to operate at this new, Formal Specification Level (FSL), using models which not only allow significant verification tasks in this early stage of the design flow, but also can be extracted…
- Edition
- -
- ISBN/ISSN
- 978-3-319-08699-6
- Collation
- VIII, 138 pages
- Series Title
- -
- Call Number
- -
Time-Dependent Switched Discrete-Time Linear Systems: Control and Filtering
This book focuses on the basic control and filtering synthesis problems for discrete-time switched linear systems under time-dependent switching signals. Chapter 1, as an introduction of the book, gives the backgrounds and motivations of switched systems, the definitions of the typical time-dependent switching signals, the differences and links to other types of systems with hybrid characterist…
- Edition
- -
- ISBN/ISSN
- 978-3-319-28850-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Three-Dimensional Design Methodologies for Tree-based FPGA Architecture
This book focuses on the development of 3D design and implementation methodologies for Tree-based FPGA architecture. It also stresses the needs for new and augmented 3D CAD tools to support designs such as, the design for 3D, to manufacture high performance 3D integrated circuits and reconfigurable FPGA-based systems. This book was written as a text that covers the foundations of 3D integrated …
- Edition
- -
- ISBN/ISSN
- 978-3-319-19174-4
- Collation
- -
- Series Title
- -
- Call Number
- -
Three Domain Modelling and Uncertainty Analysis Applications in Long Range I…
This book examines in detail the planning and modelling of local infrastructure like energy systems, including the complexities resulting from various uncertainties. Readers will discover the individual steps involved in infrastructure planning in cities and territories, as well as the primary requirements and supporting quality factors. Further topics covered concern the field of uncertainty a…
- Edition
- -
- ISBN/ISSN
- 978-3-319-19572-8
- Collation
- -
- Series Title
- -
- Call Number
- -
Applied Reconfigurable Computing: 11th International Symposium, ARC 2015, Boc…
This book constitutes the refereed proceedings of the 11th International Symposium on Applied Reconfigurable Computing, ARC 2015, held in Bochum, Germany, in April 2015. The 23 full papers and 20 short papers presented in this volume were carefully reviewed and selected from 85 submissions. They are organized in topical headings named: architecture and modeling; tools and compilers; systems …
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-16214-0
- Collation
- XVIII, 557
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 006.3 APP a
Thin Film Structures in Energy Applications
This book provides a comprehensive overview of thin film structures in energy applications. Each chapter contains both fundamentals principles for each thin film structure as well as the relevant energy application technologies. The authors cover thin films for a variety of energy sectors including inorganic and organic solar cells, DSSCs, solid oxide fuel cells, thermoelectrics, phosphors and…
- Edition
- -
- ISBN/ISSN
- 978-3-319-14774-1
- Collation
- -
- Series Title
- -
- Call Number
- -
Thermomechanics of Composite Structures under High Temperatures
This pioneering book presents new models for the thermomechanical behavior of composite materials and structures taking into account internal physico-chemical transformations such as thermodecomposition, sublimation and melting at high temperatures (up to 3000 K). It is of great importance for the design of new thermostable materials and for the investigation of reliability and fire safety of c…
- Edition
- -
- ISBN/ISSN
- 978-94-017-7494-9
- Collation
- -
- Series Title
- -
- Call Number
- -
Thermal Transport in Oblique Finned Micro/Minichannel
The main aim of this book is to introduce and give an overview of a novel, easy, and highly effective heat transfer augmentation technique for single-phase micro/minichannel heat sink. The specific objectives of the volume are to: Introduce a novel planar oblique fin microchannel and cylindrical oblique fin minichannel heat sink design using passive heat transfer enhancement techniques Investi…
- Edition
- -
- ISBN/ISSN
- 978-3-319-09647-6
- Collation
- -
- Series Title
- -
- Call Number
- -
Thermal Sensors Principles and Applications for Semiconductor Industries
This book is a comprehensive guide to both the fundamentals of thermal sensors and their advanced functions. Key topics include sensor materials, CMOS-compatible sensors, measurement capabilities, thermal management and manufacturing processes. The introductory chapter covers the basic principles of thermal sensors from the essentials of heat transfer to smart wireless sensors. Later chapters i…
- Edition
- -
- ISBN/ISSN
- 978-1-4939-2581-0
- Collation
- -
- Series Title
- -
- Call Number
- -
Applied Impulsive Mathematical Models
Using the theory of impulsive differential equations, this book focuses on mathematical models which reflect current research in biology, population dynamics, neural networks and economics. The authors provide the basic background from the fundamental theory and give a systematic exposition of recent results related to the qualitative analysis of impulsive mathematical models. Consisting of six…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-28061-5
- Collation
- XII, 318
- Series Title
- CMS Books in Mathematics
- Call Number
- 003.5 STA a
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography