Dependable Software Engineering. Theories, Tools, and Applications

6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings

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

Tools and Algorithms for the Construction and Analysis of Systems

25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I

Produktform: Buch / Einband - flex.(Paperback)

Dependable Software Engineering. Theories, Tools, and Applications

6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Tools and Algorithms for the Construction and Analysis of Systems

25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

Produktform: Buch / Einband - flex.(Paperback)

Discrete-Time and Discrete-Space Dynamical Systems

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

Automated Technology for Verification and Analysis

13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings

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

Discrete-Time and Discrete-Space Dynamical Systems

Produktform: Buch / Einband - flex.(Paperback)

Discrete-Time and Discrete-Space Dynamical Systems

Produktform: Buch / Einband - fest (Hardcover)

Automated Technology for Verification and Analysis

13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

In Pursuit of Presence or Prominence?

The Prospect of Chinese Banks' Global Expansion and Their Benchmarks

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