Finite model theory, as understoodhere, is an areaof mathematicallogic that has developed in close connection with applications to computer science, in particular the theory of computational complexity and database theory. One of the fundamental insights of mathematical logic is that our understanding of mathematical phenomena is enriched by elevating the languages we use to describe mathematical structures to objects of explicit study. If mathematics is the science of patterns, then the media through which we discern patterns, as well as the structures in which we discern them, command our...
Finite model theory, as understoodhere, is an areaof mathematicallogic that has developed in close connection with applications to computer science, i...
Preface Due to the development of hardware technologies (such as VLSI) in the early 1980s, the interest in parallel and distributive computing has been rapidly growingandinthelate1980sthestudyofparallelalgorithmsandarchitectures became one of the main topics in computer science. To bring the topic to educatorsandstudents, severalbooksonparallelcomputingwerewritten. The involvedtextbook"IntroductiontoParallelAlgorithmsandArchitectures"by F. Thomson Leighton in 1992 was one of the milestones in the development of parallel architectures and parallel algorithms. But in the last decade or so the...
Preface Due to the development of hardware technologies (such as VLSI) in the early 1980s, the interest in parallel and distributive computing has bee...
The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professional base. The textbooks in this three-volume set combine informal, engineeringly sound practice with the rigour of formal, mathematics-based approaches.
Volume 1 covers the basic principles and techniques of formal methods abstraction and modelling. First this book provides a sound, but simple basis of insight into discrete mathematics: numbers, sets, Cartesians, types, functions, the Lambda Calculus, algebras, and mathematical logic. Then it trains its...
The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professional base. The tex...
The art, craft, discipline, logic, practice and science of developing large-scale software products needs a professional base. The textbooks in this three-volume set combine informal, engineeringly sound approaches with the rigor of formal, mathematics-based approaches.
This volume covers the basic principles and techniques of specifying systems and languages. It deals with modelling the semiotics (pragmatics, semantics and syntax of systems and languages), modelling spatial and simple temporal phenomena, and such specialized topics as modularity (incl. UML class diagrams),...
The art, craft, discipline, logic, practice and science of developing large-scale software products needs a professional base. The textbooks in thi...
The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professional base. The textbooks in this three-volume set combine informal, engineeringly sound practice with the rigour of formal, mathematics-based approaches.
Volume 3 is based on the maxim: "Before software can be designed its requirements must be well understood, and before the requirements can be expressed properly the domain of the application must be well understood." This book covers the process from the development of domain descriptions, via the...
The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professional base. The tex...
Picturesareimportant, ineverydaylifeaswellasinart, engineering, andmost branches of the natural and social sciences. About three decades ago, the - servation that simple geometric processes often yield very complex geometric objects (i.e., pictures) gave rise to new branches of mathematics whose p- pose was to study such processes and the resulting pictures: fractal geometry, dynamic systems, and chaos theory. More or less in parallel with this dev- opment, the increasing availability of computer desktop systems and other graphical output devices made computer scientists think about formal s-...
Picturesareimportant, ineverydaylifeaswellasinart, engineering, andmost branches of the natural and social sciences. About three decades ago, the - se...
Parameterized complexity theory is a recent branch of computational complexity theory that provides a framework for a refined analysis of hard algorithmic problems. The central notion of the theory, fixed-parameter tractability, has led to the development of various new algorithmic techniques and a whole new theory of intractability.
This book is a state-of-the-art introduction to both algorithmic techniques for fixed-parameter tractability and the structural theory of parameterized complexity classes, and it presents detailed proofs of recent advanced results that have not appeared...
Parameterized complexity theory is a recent branch of computational complexity theory that provides a framework for a refined analysis of hard algo...
