Electronic Books

Total Books: 1 - 20 /20

Computer Aided Verification

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...

Computer Aided Verification

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...

Computer Aided Verification ; 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

This volume presented automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical ...

Design examples for high strength steel reinforced concrete columns: a Eurocode 4 approach

SRC column subjected to axial compression -- SRC column with normal strength material -- SRC column with high strength concrete ...

Formal Methods and Testing : An Outcome of the FORTEST Network, Revised Selected Papers

This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network ...

Fundamental Approaches to Software Engineering

This book contains the proceedings of FASE 2018, the 21th International Conference on Fundamental Approaches to Software ...

Fundamental Approaches to Software Engineering

This book cover software verification; model-driven development and model transformation; software evolution and requirements ...

ICE Specification for piling and embedded retaining walls, 2nd edition

The new ICE Specification for Piling and Embedded Retaining Walls is designed to be used as the new technical specification ...

Interactive Systems. Design, Specification, and Verification : 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers

This book constitutes the refereed proceedings of the 15th International Workshop on Design, Specification, and Verification ...

Pharmaceutical Analysis for Small Molecules / Behnam Davani

Designed to assist both recent graduates, as well as experienced chemists or scientists with limited regulatory, compendial ...

Principles of Security and Trust

This volume contains the papers presented at POST 2018, the 7th Conference on Principles of Security and Trust, held April ...

Programming Languages and Systems

This volume contains the papers presented at the 27th European Symposium on Pro-gramming (ESOP 2018) held 2018, in Thessaloniki, ...

Software Verification : 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, Revised Selected Papers

This book constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE 2020, and ...

Spatial Cognition VI. Learning, Reasoning, and Talking about Space : International Conference Spatial Cognition 2008, Freiburg, Germany, September 15-19, 2008. Proceedings

This book includes spatial orientation, spatial navigation, spatial learning, maps and modalities, spatial communication, ...

System Analysis and Modeling

This book constitutes the thoroughly refereed postproceedings of the 4th International Workshop on SDL and MSC, SAM 2004, ...

Tests and Proofs : 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings

This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as ...

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

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

Total Books: 1 - 20 /20