This two-books set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction ...
Continue readingThe LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms ...
Continue readingThe LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms ...
Continue readingThis is Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine ...
Continue readingThis is Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; ...
Continue readingThis is Part II: contiants Tools and Algorithms for the Construction and Analysis of Systems
Continue readingThis year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 17 satellite workshops (AVIS, BYTECODE, CEES, CLASE, ...
Continue readingThis book constitutes the refereed proceedings of the 12th International Conference on Tools and Algorithms for the Construction ...
Continue readingThe book is organized in topical sections on parameterized systems, model checking, applications, static analysis, concurrent/distributed ...
Continue readingThis book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...
Continue readingDeals with topological quantum field theories and their applications to topological aspects of four manifolds. This book ...
Continue readingTopological K-theory is one of the most important invariants for noncommutative algebras equipped with a suitable topology ...
Continue readingNicolas BOURBAKI's Elements of Mathematics aim to provide a rigorous, systematic presentation without prerequisites of mathematics ...
Continue readingThis book reports new results in condensed matter physics for which topological methods and ideas are important. It considers, ...
Continue readingThe book brings together research communities from different disciplines and countries, and offers an exchange about theoretical ...
Continue readingThis volume contains the collected contributions of two conferences, Calcu- mus2007andMKM2007.Calculemus2007wasthe14thinaseriesofconferences ...
Continue readingThis book states that the endemic societal faultlines of our times are deeply intertwined and that they confront us with ...
Continue readingThis inaugural volume is devoted to computer systems research with an emphasis on core computational science issues faced ...
Continue readingThe recent paradigmatic shift in biology towards a system view of biological phenomena requires a corresponding paradigmatic ...
Continue readingThe LNCS journal Transactions on Computational Systems Biology is devoted to inter- and multidisciplinary research in the ...
Continue reading