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
- -
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
- -
The Visual Language of Technique Volume 1 - History and Epistemology
The book is inspired by the first seminar in a cycle connected to the celebrations of the 150th anniversary of the Politecnico di Milano. "Dealing with the Image Ivory Towers and Virtual Bridges" was the motto of this meeting, aiming to stimulate a discussion among engineers, designers and architects, all of whom are traditionally involved in the use of the Image as a specialized language suppo…
- Edition
- -
- ISBN/ISSN
- 978-3-319-05350-9
- Collation
- -
- Series Title
- -
- Call Number
- -
The Visual Language of Technique Volume 2 - Heritage and Expectations in Res…
The book is inspired by the second seminar in a cycle connected to the celebrations of the 150th anniversary of the Politecnico di Milano. "Working with the Image Description Processing Prediction" was the motto of this meeting, aiming to point out the role of Visual Language not only in describing reality, but also in supporting the thinking processes in Science (prediction), in Art (invention…
- Edition
- -
- ISBN/ISSN
- 978-3-319-05341-7
- Collation
- -
- Series Title
- -
- Call Number
- -
The Visual Language of Technique Volume 3 - Heritage and Expectations in Edu…
The book is inspired by the third seminar in a cycle connected to the celebrations of the 150th anniversary of the Politecnico di Milano (July 2013). "Educating by Image. Teaching Styles vs Learning Styles" was the motto of this meeting. The contributions (coming from lectures, the poster session, interviews and round table) aim to propose an updated look at visual education, highlighting how d…
- Edition
- -
- ISBN/ISSN
- 978-3-319-05326-4
- Collation
- -
- Series Title
- -
- Call Number
- -
OpenMP: Heterogenous Execution and Data Movements:11th International Workshop…
This book constitutes the refereed proceedings of the 11th International Workshop on OpenMP, held in Aachen, Germany, in October 2015.The 19 technical full papers presented were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on applications, accelerator applications, tools, extensions, compiler and runtime, and energy.
- Edition
- 1
- ISBN/ISSN
- 978-3-319-24594-2
- Collation
- XI, 274
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Imagine Math 3: Between Culture and Mathematics
Imagine mathematics, imagine with the help of mathematics, imagine new worlds, new geometries, new forms. This volume in the series “Imagine Math” casts light on what is new and interesting in the relationships between mathematics, imagination and culture. The book opens by examining the connections between modern and contemporary art and mathematics, including Linda D. Henderson’s contri…
- Edition
- -
- ISBN/ISSN
- 978-3-319-01230-8
- Collation
- X, 330
- Series Title
- -
- Call Number
- 510 IMA
The Fractal Dimension of Architecture
Fractal analysis is a method for measuring, analysing and comparing the formal or geometric properties of complex objects. In this book it is used to investigate eighty-five buildings that have been designed by some of the twentieth-century’s most respected and celebrated architects. Including designs by Le Corbusier, Eileen Gray, Frank Lloyd Wright, Robert Venturi, Frank Gehry, Peter Eisenma…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-32426-5
- Collation
- XVII, 423, 202 b/w illustrations
- Series Title
- Mathematics and the Built Environment
- Call Number
- -
Worship Space Acoustics 3 Decades of Design
Worship Space Acoustics: 3 Decades of Design is a beautiful collection of recent work. This is a comprehensive compendium that far surpasses previous publications in the field in its depth, design, and information. Worship spaces of all major U.S. religions are covered. This book should be an obligatory reference for any consultant involved in church architecture and acoustics.” -Mendel Klei…
- Edition
- -
- ISBN/ISSN
- 978-1-4939-3097-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Wideband CMOS Receivers
This book demonstrates how to design a wideband receiver operating in current mode, in which the noise and non-linearity are reduced, implemented in a low cost single chip, using standard CMOS technology. The authors present a solution to remove the transimpedance amplifier (TIA) block and connect directly the mixer’s output to a passive second-order continuous-time Σ∆ analog to digital c…
- Edition
- -
- ISBN/ISSN
- 978-3-319-18920-8
- Collation
- XIX, 98
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography