Filter by
Bio-based Building Skin
This book provides a compendium of material properties, demonstrates several successful examples of bio-based materials’ application in building facades, and offers ideas for new designs and novel solutions. It features a state-of-the-art review, addresses the latest trends in material selection, assembling systems, and innovative functions of facades in detail. Selected case studies on build…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- 714
Multiprocessor Scheduling for Real-Time Systems
This book provides a comprehensive overview of both theoretical and pragmatic aspects of resource-allocation and scheduling in multiprocessor and multicore hard-real-time systems. The authors derive new, abstract models of real-time tasks that capture accurately the salient features of real application systems that are to be implemented on multiprocessor platforms, and identify rules for mappi…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-08695-8
- Collation
- XV, 228
- Series Title
- Embedded Systems
- Call Number
- -
Evolution of Lightweight Structures Analyses and Technical Applications
This volume contains studies on the evolution and function of lightweight constructions of planktonic and other organisms, and examples of how they can be used to create new solutions for radical innovations of lightweight constructions for technological application. The principles and underlying processes responsible for evolution and biodiversity of marine plankton organisms are highly releva…
- Edition
- -
- ISBN/ISSN
- 978-94-017-9398-8
- Collation
- 39 b/w illustrations, 82 illustrations in colour
- Series Title
- -
- Call Number
- -
More than Moore Technologies for Next Generation Computer Design
Processor Architectures
- Edition
- 1
- ISBN/ISSN
- 978-1-4939-2162-1
- Collation
- IX, 218
- Series Title
- -
- Call Number
- -
SystemVerilog Assertions and Functional Coverage
This book provides a hands-on, application-oriented guide to the language and methodology of both SystemVerilog Assertions and SystemVerilog Functional Coverage. Readers will benefit from the step-by-step approach to functional hardware verification using SystemVerilog Assertions and Functional Coverage, which will enable them to uncover hidden and hard to find bugs, point directly to the sourc…
- Edition
- -
- ISBN/ISSN
- 978-3-319-30539-4
- Collation
- XXXV, 406
- Series Title
- -
- Call Number
- -
Invasive Tightly Coupled Processor Arrays
This book introduces new massively parallel computer (MPSoC) architectures called invasive tightly coupled processor arrays. It proposes strategies, architecture designs, and programming interfaces for invasive TCPAs that allow invading and subsequently executing loop programs with strict requirements or guarantees of non-functional execution qualities such as performance, power consumption, a…
- Edition
- -
- ISBN/ISSN
- 78-981-10-1058-3
- Collation
- -
- Series Title
- -
- Call Number
- -
Enterprise, Business-Process and Information Systems Modeling 16th Internati…
This book contains the refereed proceedings of the 16th International Conference on Business Process Modeling, Development and Support, BPMDS 2015, and the 20th International Conference on Exploring Modeling Methods for Systems Analysis and Design, EMMSAD 2015, held together with the 27th International Conference on Advanced Information Systems Engineering (CAiSE 2015) in Stockholm, Sweden, in …
- Edition
- -
- ISBN/ISSN
- 978-3-319-19237-6
- Collation
- 166 b/w illustrations
- Series Title
- -
- Call Number
- -
Enterprise Information Systems 17th International Conference, ICEIS 2015, Ba…
This book contains revised papers from the 17th International Conference on Enterprise Information Systems, ICEIS 2015, held in Barcelona, Spain, in April 2015. The 31 papers presented in this volume were carefully reviewed and selected from a total of 327 submissions. The book also contains one full-paper invited talk. The selected papers reflect state-of-the-art research that is oriented …
- Edition
- -
- ISBN/ISSN
- 978-3-319-29133-8
- Collation
- 263 illustrations in colour
- Series Title
- -
- Call Number
- -
Enterprise Information Systems 16th International Conference, ICEIS 2014, Li…
This book contains extended and revised papers from the 16th International Conference on Enterprise Information Systems, ICEIS 2014, held in Lisbon, Portugal, in April 2014. The 24 papers presented in this volume were carefully reviewed and selected from a total of 313 submissions. The book also contains two full-paper invited talks. The selected papers reflect state-of-the-art research that…
- Edition
- -
- ISBN/ISSN
- 978-3-319-22348-3
- Collation
- 178 b/w illustrations
- Series Title
- -
- Call Number
- -
Engineering Embedded Systems Physics, Programs, Circuits
This is a textbook for graduate and final-year-undergraduate computer-science and electrical-engineering students interested in the hardware and software aspects of embedded and cyberphysical systems design. It is comprehensive and self-contained, covering everything from the basics to case-study implementation. Emphasis is placed on the physical nature of the problem domain and of the devic…
- Edition
- -
- ISBN/ISSN
- 978-3-319-10680-9
- Collation
- 224 b/w illustrations, 83 illustrations in colour
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography