Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28-30, 2018, Proceedings /
This book constitutes the refereed proceedings of the 8th International Conference on Machines, Computations, and Universality, MCU 2018, held in Fontainebleau, France, in June 2018. The 9 revised full papers presented together with 5 invited talks were carefully reviewed and selected from numerous...
Corporate Author: | SpringerLink (Online service) |
---|---|
Other Authors: | Durand-Lose, Jérôme (Editor, http://id.loc.gov/vocabulary/relators/edt), Verlan, Sergey (Editor, http://id.loc.gov/vocabulary/relators/edt) |
Format: | Electronic eBook |
Language: | English |
Published: |
Cham :
Springer International Publishing : Imprint: Springer,
2018.
|
Edition: | 1st ed. 2018. |
Series: | Theoretical Computer Science and General Issues ;
10881 |
Subjects: | |
Online Access: | Full Text via HEAL-Link |
Similar Items
-
Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018, Proceedings /
Published: (2018) -
Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings /
Published: (2019) -
Hybrid Systems IV
Published: (1997) -
Computer Aided Verification 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings /
Published: (2003) -
Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings /
Published: (2018)