Fault tree analysis is key tool in risk analysis. It is a widely used industry standard with applications in amongst others, the aerospace, automotive, chemical and nuclear industries.Society depends on complex engineering systems such as (...Loe edasi...
Sari: Computer Science Foundations and Applied Logic
(Ilmumisaeg: 16-Sep-2025, Hardback, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031983443)
This book presents an overview of causal discovery, an emergent field with important developments in the last few years, and multiple applications in several fields.The book is divided into three parts. The first p...Loe edasi...
This unique textbook, in contrast to a standard logic text, provides the reader with a logic that can be used in practice to express and reason about mathematical ideas. The book is an introduction...Loe edasi...
Multi-valued and fuzzy logics provide mathematical and computational tools for handling imperfect information and decision-making with rational collective reasoning and irrational individual judgements. The suggested implementation of multi...Loe edasi...
This is the first book that sums up test-related modeling of digital circuits and systems by a new structural-decision-diagrams model. The model represents structural and functional information jointly and opens a new area of research.The b...Loe edasi...
This unique text, based on introductory as well as on advanced courses on distributed systems, will serve as an invaluable guide for students and (future) researchers interested in theoreticalas well as in practicalaspects of Petri nets and related...Loe edasi...
This unique book offers an introductory course on category theory, which became a working language in algebraic geometry and number theory in the 1950s and began to spread to logic and computer science soon after it was created.Offering exc...Loe edasi...
Nikolai Kosmatov, Virgile Prevosto, Julien Signoles
Sari: Computer Science Foundations and Applied Logic
(Ilmumisaeg: 10-Jul-2024, Hardback, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031556074)
Frama-C is a popular open-source toolset for analysis and verification of C programs, largely used for teaching, experimental research, and industrial applications. With the growing complexity and ubiquity of modern software, t...Loe edasi...
Logicians have developed beautiful algorithmic techniques for the construction of computably enumerable sets. This textbook presents these techniques in a unified way that should appeal to computer scientists.Specifically, the book explain...Loe edasi...
This is the first book that sums up test-related modeling of digital circuits and systems by a new structural-decision-diagrams model. The model represents structural and functional information jointly and opens a new area of research.The b...Loe edasi...
This unique text, based on introductory as well as on advanced courses on distributed systems, will serve as an invaluable guide for students and (future) researchers interested in theoreticalas well as in practicalaspects of Petri nets and related...Loe edasi...
This unique textbook, in contrast to a standard logic text, provides the reader with a logic that actually can be used in practice to express and reason about mathematical ideas.The book is an introduction to simple type theory, a cl...Loe edasi...
Logicians have developed beautiful algorithmic techniques for the construction of computably enumerable sets. This textbook presents these techniques in a unified way that should appeal to computer scientists.Specifically, the book explain...Loe edasi...
saadame teile pakkumise kasutatud raamatule, mille hind võib erineda kodulehel olevast hinnast
This unique textbook, in contrast to a standard logic text, provides the reader with a logic that actually can be used in practice to express and reason about mathematical ideas.The book is an introduction to simple type theory, a cl...Loe edasi...
