Welcome to our book review site go-pdf.online!
You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Foundations of Software Science and Computation Structures
This book constitutes the proceedings of the 16th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2013, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 2013 The 28 papers presented in this volume were carefully reviewed and selected from 109 submissions. They are organized in topical sections named: models of computation; reasoning about processes; bisimulation; modal and higher-order logics; reasoning about programs; computational complexity; quantitative models; and categorical models.
CONCUR 2011 -- Concurrency Theory
This book constitutes the refereed proceedings of the 22nd International Conference on Concurrency Theory, CONCUR 2011, held in Aachen, Germany, September 5-10, 2011. The 32 revised full papers were carefully reviewed and selected from 94 submissions. The papers are organized in topics such as real-time systems, probabilistic systems, automata, separation logic, π-calculus, Petri nets, process algebra and modeling, verification, games, and bisimulation.
Programming Languages and Systems
This book constitutes the refereed proceedings of the 22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 2013. The 31 papers, presented together with a full-length invited talk, were carefully reviewed and selected from 120 full submissions. The contributions have been organized according to ten topical sections on programming techniques; programming tools; separation logic; gradual typing; shared-memory concurrency and verification; process calculi; taming concurrency; model checking and verification; weak-memory concurrency and verification; and types, inference, and analysis.
Formal Techniques for Distributed Objects, Components, and Systems
This book constitutes the proceedings of the 35th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2015, held in Grenoble, France, in June 2015, as part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015. The 15 revised full papers presented were carefully reviewed and selected from 53 submissions. The papers present a wide range of topics on distributed computing models and formal specification, testing, and verification methods.
CONCUR 2010 - Concurrency Theory
This book constitutes the refereed proceedings of the 20th International Conference on Concurrency Theory, CONCUR 2010, held in Paris, France, August 31 - September 3, 2010. The 35 revised full papers were carefully reviewed and selected from 107 submissions. The topics include: - Basic models of concurrency such as abstract machines, domain theoretic models, game theoretic models, process algebras, and Petri nets. - Logics for concurrency such as modal logics, probabilistic and stochastic logics, temporal logics, and resource logics. - Models of specialized systems such as biology-inspired systems, circuits, hybrid systems, mobile and collaborative systems, multi-core processors, probabilistic systems, real-time systems, service-oriented computing, and synchronous systems. - Verification and analysis techniques for concurrent systems such as abstract interpretation, atomicity checking, model checking, race detection, pre-order and equivalence checking and run-time verification.
Programming Languages and Systems
This book constitutes the refereed proceedings of the 21st European Symposium on Programming, ESOP 2012, held in Tallinn, Estonia, as part of ETAPS 2012, in March/April 2012. The 28 full papers, presented together with one full length invited talk, were carefully reviewed and selected from 92 submissions. Papers were invited on all aspects of programming language research, including: programming paradigms and styles, methods and tools to write and specify programs and languages, methods and tools for reasoning about programs, methods and tools for implementation, and concurrency and distribution.
The Idea of the Book in the Middle Ages
This book assess the relationship of literature to various other cultural forms in the Middle Ages. Jesse M. Gellrich uses the insights of such thinkers as Levi-Strauss, Foucault, Barthes, and Derrida to explore the continuity of medieval ideas about speaking, writing, and texts.
The Construction of Homosexuality
"At various times, homosexuality has been considered the noblest of loves, a horrible sin, a psychological condition or grounds for torture and execution. David F. Greenberg's careful, encyclopedic and important new book argues that homosexuality is only deviant because society has constructed, or defined, it as deviant. The book takes us over vast terrains of example and detail in the history of homosexuality."—Nicholas B. Dirks, New York Times Book Review
ACM SIGPLAN Notices
None
Cindynics, The Science of Danger
This book offers a new perspective to uncover the keys to accident and disaster avoidance. Created with a working group, it presents research and understanding on the root causes of disasters. Indeed, beyond technical failures, human beings are at the heart of organizations and, through the exchange of data and information, influential relationships inevitably emerge such as conflicts of interest and cooperation. With examples selected from multiple accidents and disasters, this book demonstrates that analyzing the causal chain that leads to an accident is not sufficient if we wish to truly understand it. The role of operational and managerial actors and the complexities they generate are also explored. Cindynics, The Science of Danger helps readers develop their ability to identify gaps, deficits, dissonances, disjunctions, degenerations and blockages, which are the real dangers in inevitably evolving activity situations. With an easily-understandable approach, this book offers new perspectives in several fields (health, crisis management and conflict resolution).
