Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I
This two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...
Lee mas
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II
This book set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...
Lee mas
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I
This two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction ...
Lee mas
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II
This two-books set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction ...
Lee masTools 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 I
This book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...
Lee masTools 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 ...
Lee mas
Trace Fossils
This definitive textbook by a renowned field observer and analyst of trace fossils concentrates on the most distinctive examples, ...
Lee mas
Triangulations and Applications
This book is entirely about triangulations. With emphasis on computational issues, we present the basic theory necessary ...
Lee mas
Trust Management II : Proceedings of IFIPTM 2008: Joint iTrust and PST Conferences on Privacy, Trust Management and Security, June 18-20, 2008, Trondheim, Norway
The scope of the book includes: foundations of computer science; software theory and practice; education; computer applications ...
Lee mas
Ultrathin Magnetic Structures IV
The ability to understand and control the unique properties of interfaces has created an entirely new field of magnetism ...
Lee mas
VR Technologies in Cultural Heritage
Tthis volume are organized in topical sections on data acquisition and modelling, visualization methods / audio, sensors ...
Lee mas
Verification, Model Checking, and Abstract Interpretation
This volume contains the papers presented at VMCAI 2007: Verification, Model Checking and Abstract Interpretation held January ...
Lee mas
Views on Microstructures in Granular Materials
This volume provides overview of the mechanics of granular materials, ranging from sparse media to soils. With chapters exploring ...
Lee mas
Visualization for Computer Security : 5th International Workshop, VizSec 2008, Cambridge, MA, USA, September 15, 2008. Proceedings
This book has focused on helping human analysts to detect anomalies and patterns, particularly in computer network defense.
Lee mas
VizSEC 2007 : Proceedings of the Workshop on Visualization for Computer Security
Networked computers are ubiquitous, and are subject to attack, misuse, and abuse. One method to counteracting this cyber ...
Lee mas
WALCOM: Algorithms and Computation : Second International Workshop, WALCOM 2008, Dhaka, Bangladesh, February 7-8, 2008. Proceedings
This book features original research in the areas of algorithms and data structures, combinatorial algorithms, graph drawings ...
Lee mas
Wave Propagation, Observation and Control in 1-d Flexible Multi-Structures
This volume presents a detailed study of partial differential equations on planar graphs modeling networked flexible mechanical ...
Lee mas
Why Context Matters : Applications of Social Network Analysis
Many elements of our society are embedded in network structures in which actors depend on each other as well as the structural ...
Lee mas
e-Science Open, Social and Virtual Technology for Research Collaboration
This book shows the breadth and various facets of e-Science, while also illustrating their shared core. Changes in scientific ...
Lee mas
mHealth Innovation in Asia
This book offers a detailed account of a range of mHealth initiatives across South, Southeast and East Asia. It provides ...
Lee mas
