Filter by
Introduction to Concurrency Theory: Transition Systems and CCS
This book presents the fundamentals of concurrency theory with clarity and rigor. The authors start with the semantic structure, namely labelled transition systems, which provides us with the means and the tools to express processes, to compose them, and to prove properties they enjoy. The rest of the book relies on Milner's Calculus of Communicating Systems, tailored versions of which are used…
- Edition
- -
- ISBN/ISSN
- 978-3-319-21491-7
- Collation
- -
- Series Title
- -
- Call Number
- -
Introduction to Annotated Logics: Foundations for Paracomplete and Paraconsis…
This book is written as an introduction to annotated logics. It provides logical foundations for annotated logics, discusses some interesting applications of these logics and also includes the authors' contributions to annotated logics. The central idea of the book is to show how annotated logic can be applied as a tool to solve problems of technology and of applied science. The book will be of…
- Edition
- -
- ISBN/ISSN
- 978-3-319-17912-4
- Collation
- -
- Series Title
- -
- Call Number
- -
Intervention Research: A Practical Guide for Developing Evidence-based School…
This book offers a step-by-step guide to intervention research, including the methods and techniques that researchers, higher degree research students and others can use when pursuing intervention research in schools and other settings. Guided by the Intervention Research Framework, it also provides practical information on linking a program developed using a comprehensive, evidence-based appro…
- Edition
- -
- ISBN/ISSN
- 978-981-10-1011-8
- Collation
- -
- Series Title
- -
- Call Number
- -
Oxygen Transport to Tissue XXXVIII
This book contains the refereed contributions from the 43rd annual meeting of ISOTT. The annual meetings of ISOTT bring together scientists from various fields (medicine, physiology, mathematics, biology, chemistry, physics, engineering, etc.) in a unique international forum. ISOTT conferences are a place where an atmosphere of interaction is created, where many questions are asked after each p…
- Edition
- -
- ISBN/ISSN
- 978-3-319-38810-6
- Collation
- xxxix, 453 halaman
- Series Title
- Advances in Experimental Medicine and Biology
- Call Number
- 612.22 OXY
Oxygen Transport to Tissue XXXVII
This book contains the refereed contributions from the 42nd annual meeting of ISOTT. The annual meetings of ISOTT bring together scientists from various fields (medicine, physiology, mathematics, biology, chemistry, physics, engineering, etc.) in a unique international forum. ISOTT conferences are a place where an atmosphere of interaction is created, where many questions are asked after each p…
- Edition
- -
- ISBN/ISSN
- 978-1-4939-3023-4
- Collation
- xxxii, 537 halaman
- Series Title
- Advances in Experimental Medicine and Biology
- Call Number
- 546.7 OXY
Motivating Cooperation and Compliance with Authority:The Role of Institutiona…
This volume explores the various ways in which trust is thought about and studied in contemporary society. In doing so, it aims to advance both theoretical and methodological perspectives on trust. Trust is an important topic in this series because it raises issues of both motivation and emotion. Specifically, notions of trust and fairness motivate individuals to behave in a manner they deem ap…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-16150-1
- Collation
- XIII, 220
- Series Title
- Nebraska Symposium on Motivation
- Call Number
- -
Theory of Transformation Groups I
This modern translation of Sophus Lie's and Friedrich Engel's “Theorie der Transformationsgruppen I” will allow readers to discover the striking conceptual clarity and remarkably systematic organizational thought of the original German text. Volume I presents a comprehensive introduction to the theory and is mainly directed towards the generalization of ideas drawn from the study of example…
- Edition
- -
- ISBN/ISSN
- 978-3-662-46211-9
- Collation
- 7 illustrations in colour
- Series Title
- -
- Call Number
- -
Organizational Innovation by Integrating Simplification : Learning from Buurt…
This book presents the theory of integrating implification and it provides a profound evidence based study of Buurtzorg Nederland. The case itself, forming the building block of the theory, has received tremendous interest in the Netherlands and abroad. This is the first international book on Buurtzorg Nederland and the first one departing from a management multidisciplinary perspective. The bo…
- Edition
- -
- ISBN/ISSN
- 978-3-319-11725-6
- Collation
- -
- Series Title
- Management for Professionals
- Call Number
- 338.064 NAN o
Empirical Philosophy of Science Introducing Qualitative Methods into Philoso…
The book examines the emerging approach of using qualitative methods, such as interviews and field observations, in the philosophy of science. Qualitative methods are gaining popularity among philosophers of science as more and more scholars are resorting to empirical work in their study of scientific practices. At the same time, the results produced through empirical work are quite different f…
- Edition
- -
- ISBN/ISSN
- 978-3-319-18600-9
- Collation
- VI, 171
- Series Title
- -
- Call Number
- -
The Unknown as an Engine for Science An Essay on the Definite and the Indefi…
This book explores the limits of our knowledge. The author shows how uncertainty and indefiniteness not only define the borders confining our understanding, but how they feed into the process of discovery and help to push back these borders. Starting with physics the author collects examples from economics, neurophysiology, history, ecology and philosophy. The first part shows how informatio…
- Edition
- -
- ISBN/ISSN
- 978-3-319-18509-5
- 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