Joel Ouaknine – författare
Visar alla böcker från författaren Joel Ouaknine. Handla med fri frakt och snabb leverans.
4 produkter
Reachability Problems
8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings
Av Joel Ouaknine, Igor Potapov m. fl.
Häftad, 2014
545 kr
Lägg i varukorg
This book constitutes the proceedings of the 8th International Workshop on Reachability Problems, RP 2014, held in Oxford, UK, in September 2014. The 17 papers presented in this volume were carefully reviewed and selected from 25 submissions. The book also contains a paper summarizing the invited …
Reachability Problems
8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings
Av James Worrell, Igor Potapov m. fl.
E-bok, 2014
657 kr
Lägg i varukorg
This book constitutes the proceedings of the 8th International Workshop on Reachability Problems, RP 2014, held in Oxford, UK, in September 2014. The 17 papers presented in this volume were carefully reviewed and selected from 25 submissions. The book also contains a paper summarizing the invited …
Formal Modeling and Analysis of Timed Systems
7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings
Av Joel Ouaknine, Frits W. Vaandrager
Häftad, 2009
569 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2009, held in Budapest, Hungary, September 2009. The 18 revised full papers presented together with 4 invited talks were carefully reviewed and selected from …
Formal Modeling and Analysis of Timed Systems
7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings
Av Frits W. Vaandrager, Joel Ouaknine
E-bok, 2009
739 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2009, held in Budapest, Hungary, September 2009. The 18 revised full papers presented together with 4 invited talks were carefully reviewed and selected from …
