Reliable Software Technologies - Ada-Europe 2008

13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Reliable Systems on Unreliable Networked Platforms

12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers

Produktform: Buch / Einband - flex.(Paperback)

Formal Methods for Embedded Distributed Systems

How to master the complexity

Produktform: Buch / Einband - fest (Hardcover)

Reliable Software Technologies - Ada-Europe 2007

12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Challenges and Opportunity with Big Data

19th Monterey Workshop 2016, Beijing, China, October 8-11, 2016. Revised Selected Papers

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

Transactions on Petri Nets and Other Models of Concurrency XVI

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

Transactions on Petri Nets and Other Models of Concurrency XV

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

TOOLympics Challenge 2023

Updates, Results, Successes of the Formal-Methods Competition

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

Transactions on Petri Nets and Other Models of Concurrency XV

Produktform: Buch / Einband - flex.(Paperback)

Challenges and Opportunity with Big Data

19th Monterey Workshop 2016, Beijing, China, October 8-11, 2016. Revised Selected Papers

Produktform: Buch / Einband - flex.(Paperback)