Electronic Books

Total Books: 1241 - 1260 /1325

Tools and Algorithms for the Construction and Analysis of Systems

The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms ...

Tools and Algorithms for the Construction and Analysis of Systems

This is Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine ...

Tools and Algorithms for the Construction and Analysis of Systems

This is Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; ...

Tools and Algorithms for the Construction and Analysis of Systems

This is Part II: contiants Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems (vol. # 3440)

This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 17 satellite workshops (AVIS, BYTECODE, CEES, CLASE, ...

Tools and Algorithms for the Construction and Analysis of Systems (vol. # 3920)

This book constitutes the refereed proceedings of the 12th International Conference on Tools and Algorithms for the Construction ...

Tools and Algorithms for the Construction and Analysis of Systems : 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

The book is organized in topical sections on parameterized systems, model checking, applications, static analysis, concurrent/distributed ...

Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II

This book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...

Topological Quantum Field Theory and Four Manifolds

Deals with topological quantum field theories and their applications to topological aspects of four manifolds. This book ...

Topological and Bivariant K-theory

Topological K-theory is one of the most important invariants for noncommutative algebras equipped with a suitable topology ...

Topologie générale : Chapitres 1 à 4 = General topology: Chapters 1 to 4

Nicolas BOURBAKI's Elements of Mathematics aim to provide a rigorous, systematic presentation without prerequisites of mathematics ...

Topology in Condensed Matter

This book reports new results in condensed matter physics for which topological methods and ideas are important. It considers, ...

Towards Environmental Innovation Systems

The book brings together research communities from different disciplines and countries, and offers an exchange about theoretical ...

Towards Mechanized Mathematical Assistants

This volume contains the collected contributions of two conferences, Calcu- mus2007andMKM2007.Calculemus2007wasthe14thinaseriesofconferences ...

Towards a Natural Social Contract Transformative Social-Ecological Innovation for a Sustainable, Healthy and Just Society

This book states that the endemic societal faultlines of our times are deeply intertwined and that they confront us with ...

Transactions on Computational Science I

This inaugural volume is devoted to computer systems research with an emphasis on core computational science issues faced ...

Transactions on Computational Systems Biology I

The recent paradigmatic shift in biology towards a system view of biological phenomena requires a corresponding paradigmatic ...

Transactions on Computational Systems Biology III

The LNCS journal Transactions on Computational Systems Biology is devoted to inter- and multidisciplinary research in the ...

Transactions on Computational Systems Biology IX

This book contains four highly detailed papers. The first paper focuses on quantitative aspects of the bgl operon for E.coli. ...

Transactions on Computational Systems Biology VI

This issue of Transactions on Computational Systems Biology contains a fully-refereed selection of papers from the Fourth ...

Total Books: 1241 - 1260 /1325