Filter by
Formalisms for Reuse and Systems Integration
Reuse and integration are defined as synergistic concepts, where reuse addresses how to minimize redundancy in the creation of components; while, integration focuses on component composition. Integration supports reuse and vice versa. These related concepts support the design of software and systems for maximizing performance while minimizing cost. Knowledge, like data, is subject to reuse; and…
- Edition
- -
- ISBN/ISSN
- 978-3-319-16577-6
- Collation
- X, 295 pages
- Series Title
- Advances in Intelligent Systems and Computing
- Call Number
- -
Formal Techniques for Safety-Critical Systems
This book constitutes the refereed proceedings of the Third International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2014, held in Luxembourg, in November 2014. The 14 revised full papers presented together with two invited talks were carefully reviewed and selected from 40 submissions. The papers address various topics related to the application of formal and semi-formal …
- Edition
- -
- ISBN/ISSN
- 978-3-319-17581-2
- Collation
- X, 257 pages
- Series Title
- Communications in Computer and Information Science
- Call Number
- -
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
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
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography