Filter by
Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems
This open access book coherently gathers well-founded information on the fundamentals of and formalisms for modelling cyber-physical systems (CPS). Highlighting the cross-disciplinary nature of CPS modelling, it also serves as a bridge for anyone entering CPS from related areas of computer science or engineering. Truly complex, engineered systems—known as cyber-physical systems—that integr…
- Edition
- 1
- ISBN/ISSN
- 9783030439460
- Collation
- XX, 285 hlm; ill., lamp.,
- Series Title
- -
- Call Number
- -
The configuration space method for kinematic design of mechanisms / Kinematic…
A novel algorithmic approach to mechanism design based on a geometric representation of kinematic function called configuration space partitions.;"This book presents the configuration space method for computer-aided design of mechanisms with changing part contacts. Configuration space is a complete and compact geometric representation of part motions and part interactions that supports the core…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- 1 online resource (xiv, 195 pages) :
- Series Title
- -
- Call Number
- -
Ambient Commons: Attention in the Age of Embodied Information
The world is filling with ever more kinds of media, in ever more contexts and formats. Glowing rectangles have become part of the scene; screens, large and small, appear everywhere. Physical locations are increasingly tagged and digitally augmented. Sensors, processors, and memory are not found only in chic smart phones but also built into everyday objects. Amid this flood, your attention pract…
- Edition
- -
- ISBN/ISSN
- 9780262313476
- Collation
- 1 online resource
- Series Title
- -
- Call Number
- -
The configuration space method for kinematic design of mechanisms
A novel algorithmic approach to mechanism design based on a geometric representation of kinematic function called configuration space partitions."This book presents the configuration space method for computer-aided design of mechanisms with changing part contacts. Configuration space is a complete and compact geometric representation of part motions and part interactions that supports the core …
- Edition
- -
- ISBN/ISSN
- 9780262265874
- Collation
- 1 online resource (xiv, 195 pages) :illustrations
- Series Title
- -
- Call Number
- -
VLSI-SoC: Internet of Things Foundations 22nd IFIP WG 10.5/IEEE Internationa…
This book contains extended and revised versions of the best papers presented at the 22nd IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2014, held in Playa del Carmen, Mexico, in October 2014. The 12 papers included in the book were carefully reviewed and selected from the 33 full papers presented at the conference. The papers cover a wide range of topics …
- Edition
- -
- ISBN/ISSN
- 978-3-319-25279-7
- Collation
- -
- Series Title
- -
- Call Number
- -
VLSI-SoC: At the Crossroads of Emerging Trends 21st IFIP WG 10.5/IEEE Intern…
This book contains extended and revised versions of the best papers presented at the 21st IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2013, held in Istanbul, Turkey, in October 2013. The 11 papers included in the book were carefully reviewed and selected from the 48 full papers presented at the conference. An extended version of a previously unpublished …
- Edition
- -
- ISBN/ISSN
- 978-3-319-23799-2
- Collation
- -
- Series Title
- -
- Call Number
- -
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design…
The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMC…
- Edition
- -
- ISBN/ISSN
- 9783854480464
- Collation
- -
- Series Title
- -
- Call Number
- -
The Finite Element Analysis Program MSC Marc/Menta
Based on simple examples, this book offers a short introduction to the general-purpose finite element program MSC Marc, a specialized program for non-linear problems (implicit solver) distributed by the MSC Software Corporation, which is commonly used in academia and industry. Today the documentation of all finite element programs includes a variety of step-by-step examples of differing comple…
- Edition
- 1
- ISBN/ISSN
- 978-981-10-0821-4
- Collation
- XV, 136, 34 b/w illustrations, 40 illustrations in colour
- Series Title
- -
- Call Number
- -
Numerical Methods and Applications:8th International Conference, NMA 2014, Bo…
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Numerical Methods and Applications, NMA 2014, held in Borovets, Bulgaria, in August 2014. The 34 revised full papers presented were carefully reviewed and selected from 56 submissions for inclusion in this book. The papers are organized in the following topical sections: Monte Carlo …
- Edition
- 1
- ISBN/ISSN
- 978-3-319-15584-5
- Collation
- XII, 313
- Series Title
- Theoretical Computer Science and General Issues
- Call Number
- -
VLSI-SoC: Internet of Things Foundations 22nd IFIP WG 10.5/IEEE Internationa…
This book contains extended and revised versions of the best papers presented at the 22nd IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2014, held in Playa del Carmen, Mexico, in October 2014. The 12 papers included in the book were carefully reviewed and selected from the 33 full papers presented at the conference. The papers cover a wide range of topics …
- Edition
- -
- ISBN/ISSN
- 978-3-319-25279-7
- Collation
- 150 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