Filter by
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXII
The LNCS journal Transactions on Large-Scale Data- and Knowledge-Centered Systems focuses on data management, knowledge discovery, and knowledge processing, which are core and hot topics in computer science. Since the 1990s, the Internet has become the main driving force behind application development in all domains. An increase in the demand for resource sharing across different sites connecte…
- Edition
- -
- ISBN/ISSN
- 978-3-662-48567-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science
This book celebrates the work of Don Pigozzi on the occasion of his 80th birthday. In addition to articles written by leading specialists and his disciples, it presents Pigozzi’s scientific output and discusses his impact on the development of science. The book both catalogues his works and offers an extensive profile of Pigozzi as a person, sketching the most important events, not only relat…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-74772-9
- Collation
- XXXIII, 454
- Series Title
- Outstanding Contributions to Logic
- Call Number
- -
A Course on Set Theory
Set theory is the mathematics of infinity and part of the core curriculum for mathematics majors. This book blends theory and connections with other parts of mathematics so that readers can understand the place of set theory within the wider context. Beginning with the theoretical fundamentals, the author proceeds to illustrate applications to topology, analysis and combinatorics, as well as to…
- Edition
- -
- ISBN/ISSN
- 9780511996351
- Collation
- -
- Series Title
- -
- Call Number
- -
The Discreet Charm of Protein Binding Sites
This book is a passionate account of the scientific breakthroughs that led to the solution of the first protein structures and to the understanding of their function at atomic resolution. The book is divided into self-standing chapters that each deal with a protein or protein family. The subject is presented in a fluid, non-technical style that will engage student and scientists in biochemistry…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-24996-4
- Collation
- XIII, 60, 6 b/w illustrations, 10 illustrations in colour
- Series Title
- -
- Call Number
- -
The Design of Requirements Modelling Languages
This book explains in detail how to define requirements modelling languages – formal languages used to solve requirement-related problems in requirements engineering. It moves from simple languages to more complicated ones and uses these languages to illustrate a discussion of major topics in requirements modelling language design. The book positions requirements problem solving within the…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-18821-8
- Collation
- XII, 286
- Series Title
- -
- Call Number
- -
The Design of Requirements Modelling Languages
This book explains in detail how to define requirements modelling languages – formal languages used to solve requirement-related problems in requirements engineering. It moves from simple languages to more complicated ones and uses these languages to illustrate a discussion of major topics in requirements modelling language design. The book positions requirements problem solving within the…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-18821-8
- Collation
- XII, 286
- Series Title
- -
- Call Number
- -
The Congruences of a Finite Lattice
This is a self-contained exposition by one of the leading experts in lattice theory, George Grätzer, presenting the major results of the last 70 years on congruence lattices of finite lattices, featuring the author's signature Proof-by-Picture method. Key features: * Insightful discussion of techniques to construct "nice" finite lattices with given congruence lattices and "nice" congruen…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-38798-7
- Collation
- XXXIV, 346, 159 b/w illustrations
- Series Title
- -
- Call Number
- -
The Physical Basis of Bacterial Quorum Communication
Quorum sensing (QS) describes a chemical communication behavior that is nearly universal among bacteria. Individual cells release a diffusible small molecule (an autoinducer) into their environment. A high concentration of this autoinducer serves as a signal of high population density, triggering new patterns of gene expression throughout the population. However QS is often much more complex th…
- Edition
- 1
- ISBN/ISSN
- 978-1-4939-1402-9
- Collation
- IX, 252, 28 b/w illustrations, 47 illustrations in colour
- Series Title
- Biological and Medical Physics, Biomedical Engineering
- Call Number
- -
Towards Mathematical Philosophy
area and in applications to linguistics, formal epistemology, and the study of norms. The second contains papers on non-classical and many-valued logics, with an eye on applications in computer science and through it to engineering. The third concerns the logic of belief management,whichis likewise closely connected with recent work in computer science but also links directly with epistemology,…
- Edition
- -
- ISBN/ISSN
- 978-1-4020-9084-4
- Collation
- -
- Series Title
- XIV, 344
- Call Number
- -
A Distributed Pi-Calculus
Distributed systems are fast becoming the norm in computer science. Formal mathematical models and theories of distributed behaviour are needed in order to understand them. This book proposes a distributed pi-calculus called Dpi, for describing the behaviour of mobile agents in a distributed world. It is based on an existing formal language, the pi-calculus, to which it adds a network layer and…
- Edition
- -
- ISBN/ISSN
- 9780511611063
- 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