Formal Approaches to Software Testing and Runtime Verification

First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

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

Formal Approaches to Software Testing and Runtime Verification

First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

Produktform: Buch / Einband - flex.(Paperback)

Computational Collective Intelligence

7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, Proceedings, Part I

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

Computational Collective Intelligence

7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, Proceedings, Part II

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

Modern Approaches for Intelligent Information and Database Systems

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

Computational Collective Intelligence

7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, Proceedings, Part II

Produktform: Buch / Einband - flex.(Paperback)

Computational Collective Intelligence

7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, Proceedings, Part I

Produktform: Buch / Einband - flex.(Paperback)

Modern Approaches for Intelligent Information and Database Systems

Produktform: Buch / Einband - fest (Hardcover)

Modern Approaches for Intelligent Information and Database Systems

Produktform: Buch / Einband - flex.(Paperback)

Applying Formal Methods: Testing, Performance, and M/E-Commerce

FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004

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