Verified Software: Theories, Tools, Experiments

First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

Produktform: E-Buch Text Elektronisches Buch in proprietärem

The French School of Programming

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Software Engineering Approaches for Offshore and Outsourced Development

4th International Conference, SEAFOOD 2010, St. Petersburg, Russia, June 17-18, 2010, Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Formal Modeling and Analysis of Timed Systems

18th International Conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020, Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem

EAES Guidelines for Endoscopic Surgery

Twelve Years Evidence-Based Surgery in Europe

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Communication Technologies for Vehicles

12th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2017, Toulouse, France, May 4-5, 2017, Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Reproducible Research in Pattern Recognition

Third International Workshop, RRPR 2021, Virtual Event, January 11, 2021, Revised Selected Papers

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Counting Surfaces

CRM Aisenstadt Chair lectures

Produktform: E-Buch Text Elektronisches Buch in proprietärem

---

Software Technology: Methods and Tools

51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Integrated Circuit Design. Power and Timing Modeling, Optimization and Simulation

12th International Workshop, PATMOS 2002, Seville, Spain, September 11 - 13, 2002

Produktform: E-Buch Text Elektronisches Buch in proprietärem