Filter by
Formal Techniques for Distributed Objects, Components, and Systems
This book constitutes the proceedings of the 35th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2015, held in Grenoble, France, in June 2015, as part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015. The 15 revised full papers presented were carefully reviewed and selected from 53…
- Edition
- -
- ISBN/ISSN
- 978-3-319-19195-9
- Collation
- XII, 245 pages
- Series Title
- -
- Call Number
- -
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
- -
Tools for High Performance Computing 2014 Proceedings of the 8th Internation…
Numerical simulation and modelling using High Performance Computing has evolved into an established technique in academic and industrial research. At the same time, the High Performance Computing infrastructure is becoming ever more complex. For instance, most of the current top systems around the world use thousands of nodes in which classical CPUs are combined with accelerator cards in order …
- Edition
- -
- ISBN/ISSN
- 978-3-319-16012-2
- Collation
- -
- Series Title
- -
- Call Number
- -
Formal Ontologies Meet Industry
This book constitutes the proceedings of the 7th International Formal Ontologies Meet Industries Workshop held in Berlin, Germany, in August 2015. The 11 full research papers accepted for FOMI 2015 were selected from 18 submissions. The papers focus on theoretical studies of formal ontologies committed to provide a sound basis for industrial applications and to allow formal representation of co…
- Edition
- -
- ISBN/ISSN
- 978-3-319-21545-7
- Collation
- IX, 139 page
- Series Title
- -
- Call Number
- -
Self-Assembled Molecules – New Kind of Protein Ligands
The standard substrate complexation mechanism engages natural binding sites. In contrast, supramolecular structures may form complexes with proteins by penetrating in regions which are either naturally unstable or become temporarily accessible due to structural rearrangements related to the protein’s function. This may result in enhancement of irreversible processes (e.g. immune complexat…
- Edition
- -
- ISBN/ISSN
- 978-3-319-65639-7
- Collation
- -
- Series Title
- -
- Call Number
- 540 SEL
Understanding Media and Culture: An Introduction to Mass Communication
Understanding Media and Culture: An Introduction to Mass Communication is adapted from a work produced by a publisher who has requested that they and the original author not receive attribution. This adapted edition is produced by the University of Minnesota Libraries Publishing through the eLearning Support Initiative. Though the publisher has requested that they and the original author not re…
- Edition
- -
- ISBN/ISSN
- 9781946135261
- Collation
- -
- Series Title
- -
- Call Number
- 384
General Chemistry
Wikibooks is for textbooks, annotated texts, instructional guides, and manuals. These materials can be used in a traditional classroom, an accredited or respected institution, a home-school environment, or for self-learning.
- Edition
- -
- ISBN/ISSN
- 978-0-618-85748-7
- Collation
- -
- Series Title
- -
- Call Number
- 540
Scientific Research Methods
"SCI S330 Scientific Research Methods" is one of the free open textbooks for Tertiary level. Feel free to use, adapt and modify the content to your own needs, and share the improved content with others because the book is offered under Creative Commons (CC) license. It allows users to repurpose the materials under the condition that original authors’ contribution is acknowledged.
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- 370
Ethics for A-Level
What does pleasure have to do with morality? What role, if any, should intuition have in the formation of moral theory? If something is ‘simulated’, can it be immoral? This accessible and wide-ranging textbook explores these questions and many more. Key ideas in the fields of normative ethics, metaethics and applied ethics are explained rigorously and systematically, with a vivid writing st…
- Edition
- -
- ISBN/ISSN
- 9781783743902
- Collation
- -
- Series Title
- -
- Call Number
- -
Graphic Design and Print Production Fundamentals
This textbook is written by a group of select experts with a focus on different aspects of the design process, from creation to production.Traditionally referred to as graphic design, communication design is the process by which messages and images are used to convey information to a targeted audience. It is within this spectrum that this textbook addresses the many steps of creating and then p…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- 741.6 COL g
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography