How do we design a self-organizing system? Is it possible to validate and control non-deterministic dynamics? What is the right balance between the emergent patterns that bring robustness, adaptabil……続きを見る
Software testing has been considered so important that organizations can assign teams only for testing activities. Testing is an important activity to ensure software quality. Tests are usually run ……続きを見る
著者:A.W. Roscoe
出版社: Springer London
発売日: 2015年10月01日
CSP notation has been used extensively for teaching and applying concurrency theory, ever since the publication of the text Communicating Sequential Processes by C.A.R. Hoare in 1985. Both a program……続きを見る
Automata theory lies at the foundation of computer science, and is vital to a theoretical understanding of how computers work and what constitutes formal methods. This treatise gives a rigorous acco……続きを見る
ITIL® Version 3 At a Glance takes a graphical approach to consolidating the information of ITIL® version 3. ITIL® is an internationally-recognized set of best practices for providing IT service mana……続きを見る
This is the most comprehensive survey of the mathematical life of the legendary Paul Erdős (1913-1996), one of the most versatile and prolific mathematicians of our time. For the first time, all the……続きを見る
The cryptosystems based on the Integer Factorization Problem (IFP), the Discrete Logarithm Problem (DLP) and the Elliptic Curve Discrete Logarithm Problem (ECDLP) are essentially the only three type……続きを見る
A formal method is not the main engine of a development process, its contribution is to improve system dependability by motivating formalisation where useful. This book summarizes the results of the……続きを見る
This collaborative volume presents trends arising from the fruitful interaction between the themes of combinatorics on words, automata and formal language theory, and number theory. Presenting sever……続きを見る
This book explores the dynamic processes in economic systems, concentrating on the extraction and use of the natural resources required to meet economic needs. Sections cover methods for dynamic mod……続きを見る
An accessible treatment of the modeling and solution of integer programming problems, featuring modern applications and software
In order to fully comprehend the algorithms associated with integer p……続きを見る
Since the advent of the Semantic Web, interest in the dynamics of ontologies (ontology evolution) has grown significantly. Belief revision presents a good theoretical framework for dealing with this……続きを見る
The ultimate goal of machines is to help humans to solve problems.
Such problems range between two extremes: structured problems for which the solution is totally defined (and thus are easily progra……続きを見る
Praise for the First Edition
This book is refreshing to read since it takes an important topic...
and presents it in a clear and concise manner by using examples that include visual presentations of……続きを見る
This must-read text presents the pioneering work of the late Professor Jacob (Jack) T. Schwartz on computational logic and set theory and its application to proof verification techniques, culminatin……続きを見る
著者:Eric Lord
出版社: Springer London
発売日: 2015年12月29日
Symmetry and Pattern in Projective Geometry is a self-contained study of projective geometry which compares and contrasts the analytic and axiomatic methods. The analytic approach is based on homoge……続きを見る
The proceedings from the eighth KMO conference represent the findings of this international meeting which brought together researchers and developers from industry and the academic world to report o……続きを見る
The design and implementation of programming languages, from Fortran and Cobol to Caml and Java, has been one of the key developments in the management of ever more complex computerized systems. Int……続きを見る
IT securiteers - The human and technical dimension working for the organisation.
Current corporate governance regulations and international standards lead many organisations, big and small, to the c……続きを見る
This revised and expanded new edition elucidates the elegance and simplicity of the fundamental theory underlying formal languages and compilation. Retaining the reader-friendly style of the 1st edi……続きを見る
Recursive analysis develops natural number computations into a framework appropriate for real numbers. This text is based upon primary recursive arithmetic and presents a unique combination of class……続きを見る
Computing as a discipline is maturing rapidly. However, with maturity often comes a plethora of subdisciplines, which, as time progresses, can become isolationist. The subdisciplines of modelling, m……続きを見る
著者:Warwick Tucker
出版社: Princeton University Press
発売日: 2011年07月05日
A comprehensive, self-contained primer on validated numerics
This textbook provides a comprehensive introduction to the theory and practice of validated numerics, an emerging new field that combines……続きを見る
Social Semantics: The Search for Meaning on the Web provides a unique introduction to identity and reference theories of the World Wide Web, through the academic lens of philosophy of language and d……続きを見る
This volume contains nine survey articles based on the invited lectures given at the 24th British Combinatorial Conference, held at Royal Holloway, University of London in July 2013. This biennial c……続きを見る
This textbook presents an algorithmic approach to mathematical analysis, with a focus on modelling and on the applications of analysis. Fully integrating mathematical software into the text as an im……続きを見る
Terrorist groups throughout the world have been studied primarily through the use of social science methods. However, major advances in IT during the past decade have led to significant new ways of ……続きを見る
This extensively revised and updated new edition of Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods f……続きを見る
Description Logics (DLs) is a family of formalisms used to represent knowledge of a domain. They are equipped with a formal logic-based semantics. Knowledge representation systems based on descripti……続きを見る
著者:Qi-Ming He
出版社: Springer New York
発売日: 2016年05月31日
Fundamentals of Matrix-Analytic Methods targets advanced-level students in mathematics, engineering and computer science. It focuses on the fundamental parts of Matrix-Analytic Methods, Phase-Type D……続きを見る