Cărți de Mariëlle Stoelinga

A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday

Lecture Notes in Computer Science, nr. 13560

Editat de Nils Jansen et al.

7 sep 2022

Preț: 337^.19 lei 421^.48 lei

6-8 săpt.

-20%

Fundamental Approaches to Software Engineering: 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12649

Editat de Esther Guerra et al.

20 mar 2021

Preț: 299^.63 lei 374^.54 lei

6-8 săpt.

-20%

Formal Modeling and Analysis of Timed Systems: 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11750

Editat de Étienne André et al.

13 aug 2019

Preț: 324^.05 lei 405^.07 lei

6-8 săpt.

-20%

Stochastic Model Checking: International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures

Lecture Notes in Computer Science, nr. 8453

Editat de Anne Remke et al.

31 oct 2014

Preț: 322^.60 lei 403^.25 lei

6-8 săpt.

-20%

Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings

Lecture Notes in Computer Science, nr. 8054

Editat de Kaustubh Joshi et al.

7 aug 2013

Preț: 329^.48 lei 411^.85 lei

6-8 săpt.

-20%

Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7437

Editat de Mariëlle Stoelinga et al.

17 iul 2012

Preț: 292^.56 lei 365^.70 lei

6-8 săpt.

-20%