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ț: 347^.08 lei 433^.85 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ț: 308^.40 lei 385^.50 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ț: 333^.54 lei 416^.93 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ț: 332^.06 lei 415^.08 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ț: 339^.14 lei 423^.93 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ț: 301^.12 lei 376^.39 lei

6-8 săpt.

-20%