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

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)

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)

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

Automated Technology for Verification and Analysis

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

Produktform: Buch / Einband - flex.(Paperback)

Discrete-Time and Discrete-Space Dynamical Systems

Produktform: Buch / Einband - flex.(Paperback)

Discrete-Time and Discrete-Space Dynamical Systems

Produktform: Buch / Einband - fest (Hardcover)

In Pursuit of Presence or Prominence?

The Prospect of Chinese Banks' Global Expansion and Their Benchmarks

Produktform: Buch / Einband - flex.(Paperback)