Cărți de Christel Baier

Formal Techniques for Distributed Objects, Components, and Systems: 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings

Lecture Notes in Computer Science, nr. 10854

Editat de Christel Baier et al.

30 mai 2018

Preț: 328^.27 lei 410^.34 lei

6-8 săpt.

-20%

SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10139

Editat de Bernhard Steffen et al.

11 ian 2017

Preț: 344^.76 lei 430^.94 lei

6-8 săpt.

-20%

Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9035

Editat de Christel Baier et al.

8 apr 2015

Preț: 354^.49 lei 443^.11 lei

6-8 săpt.

-20%

Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

Lecture Notes in Computer Science, nr. 10803

Editat de Christel Baier et al.

14 apr 2018

Preț: 375^.88 lei 469^.84 lei

6-8 săpt.

-20%

Validation of Stochastic Systems: A Guide to Current Research

Lecture Notes in Computer Science, nr. 2925

Editat de Christel Baier et al.

11 aug 2004

Preț: 398^.74 lei

6-8 săpt.

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ț: 659^.31 lei 824^.13 lei

6-8 săpt.

-20%

Principles of Model Checking

Autor Christel Baier et al.

2 iun 2008

Preț: 690^.00 lei 845^.41 lei

3-4 săpt.

-18%