Filtre:

Cărți de Christel Baier

Validation of Stochastic Systems

Editat de Christel Baier et al.

11 aug 2004

Preț: 386^.97 lei

43-57 zile

CONCUR 2006 - Concurrency Theory: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006

Lecture Notes in Computer Science, nr. 4137

Editat de Christel Baier et al.

10 aug 2006

Preț: 633^.83 lei 792^.28 lei

43-57 zile

-20%

SOFSEM 2017: Theory and Practice of Computer Science

Editat de Bernhard Steffen et al.

11 ian 2017

Preț: 330^.34 lei 412^.92 lei

43-57 zile

-20%

Foundations of Software Science and Computation Structures

Lecture Notes in Computer Science, nr. 10803

Editat de Christel Baier et al.

14 apr 2018

Preț: 364^.96 lei 456^.20 lei

43-57 zile

-20%

Formal Techniques for Distributed Objects, Components, and Systems

Lecture Notes in Computer Science, nr. 10854

Editat de Christel Baier et al.

30 mai 2018

Preț: 317^.66 lei 397^.08 lei

43-57 zile

-20%

Tools and Algorithms for the Construction and Analysis of Systems

Editat de Christel Baier et al.

8 apr 2015

Preț: 344^.91 lei 431^.14 lei

43-57 zile

-20%