Lijun Zhang

Filtre: Engleză Springer International Publishing

Lijun Zhang

Dependable Software Engineering. Theories, Tools, and Applications: 6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12153

Editat de Jun Pang et al.

9 noi 2020

Preț: 316^.11 lei 395^.14 lei

43-57 zile

-20%

Discrete-Time and Discrete-Space Dynamical Systems

Communications and Control Engineering

Autor Kuize Zhang et al.

27 aug 2020

Preț: 613^.00 lei 721^.18 lei

43-57 zile

-15%

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

Lecture Notes in Computer Science, nr. 11428

Editat de Tomáš Vojnar et al.

4 apr 2019

Preț: 353^.89 lei 442^.37 lei

43-57 zile

-20%

Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9364

Editat de Bernd Finkbeiner et al.

22 noi 2015

Preț: 331^.17 lei 413^.96 lei

43-57 zile

-20%