Electronic Books

Total Books: 341 - 360 /361
978-3-030-45237-7
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 ...

Continue reading
978-3-030-72016-2
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 ...

Continue reading
978-3-030-72013-1
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 ...

Continue reading
NoIMG
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 ...

Continue reading
NoIMG
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 ...

Continue reading
978-3-540-47226-1
Trace Fossils

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

Continue reading
978-3-540-33261-9
Triangulations and Applications

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

Continue reading
9780691170572
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 ...

Continue reading
978-0-387-09428-1
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 ...

Continue reading
978-3-540-27164-2
Ultrathin Magnetic Structures IV

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

Continue reading
978-3-030-05819-7
VR Technologies in Cultural Heritage

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

Continue reading
978-3-540-69738-1
Verification, Model Checking, and Abstract Interpretation

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

Continue reading
978-3-030-49267-0
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 ...

Continue reading
978-3-540-85933-8
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.

Continue reading
978-3-540-78243-8
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 ...

Continue reading
978-3-540-77891-2
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 ...

Continue reading
978-3-540-37726-9
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 ...

Continue reading
978-3-531-91184-7
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 ...

Continue reading
NoIMG
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 ...

Continue reading
978-3-030-66262-2
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 ...

Continue reading
Total Books: 341 - 360 /361