Electronic Books

Total Books: 341 - 360 /361

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 ...

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 ...

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 ...

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 I

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

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 ...

Trace Fossils

This definitive textbook by a renowned field observer and analyst of trace fossils concentrates on the most distinctive examples, ...

Triangulations and Applications

This book is entirely about triangulations. With emphasis on computational issues, we present the basic theory necessary ...

Trophies of Victory: Public Building in Periklean Athens / T. Leslie Shear Jr.

Greek military victories at Marathon, Salamis, and Plataia during the Persian Wars profoundly shaped fifth-century politics ...

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 ...

Ultrathin Magnetic Structures IV

The ability to understand and control the unique properties of interfaces has created an entirely new field of magnetism ...

VR Technologies in Cultural Heritage

Tthis volume are organized in topical sections on data acquisition and modelling, visualization methods / audio, sensors ...

Verification, Model Checking, and Abstract Interpretation

This volume contains the papers presented at VMCAI 2007: Verification, Model Checking and Abstract Interpretation held January ...

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 ...

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.

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 ...

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 ...

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 ...

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 ...

Wind Effects on Buildings and Design of Wind-Sensitive Structures

The articles in this book, written by seven internationally known experts, present the fundamentals and practical applications ...

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 ...

Total Books: 341 - 360 /361