Descriptional complexity of formal systems : 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013 : proceedings
This book constitutes the refereed proceedings of the 15th International Workshop of Descriptional Complexity of Formal Systems, DCFS 2013, held in London, ON, Canada, in July 2013. The 22 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 46 submi...
Salvato in:
| Altri autori: | Jürgensen (Direttore editoriale), Reis, Rogério (Direttore editoriale) |
|---|---|
| Natura: | Livre numérique |
| Lingua: | Anglais |
| Pubblicazione: |
Berlin, Heidelberg :
Springer Berlin Heidelberg
2013.
Cham : Springer Nature |
| Serie: | Theoretical Computer Science and General Issues
8031 |
| Accesso online: | Accès sur la plateforme de l'éditeur Accès sur la plateforme de l'éditeur (Springer) Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Descriptional Complexity of Formal Systems, Texte imprimé, 9783642393099 • Descriptional Complexity of Formal Systems, Texte imprimé, 9783642393112 |
Documenti analoghi
- Formal methods for industrial critical systems : 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings (Livre numérique)
-
Algorithms and complexity : 8th international conference, CIAC 2013, Barcelona, Spain, May 22-24, 2013. Proceedings
(Livre numérique)
Spirakis, Paul G., 1955-...., informaticien -
Formal methods for dynamical systems : 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013 : advanced Lectures
(Livre numérique)
Springer Berlin Heidelberg, 2013 -
Computational Methods for Understanding Complexity: The Use of Formal Methods in Biology
(Livre numérique)
David A. Rosenblueth
Frontiers Media SA, 2021 -
Formal Modeling and Analysis of Timed Systems : 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings
(Livre numérique)
Braberman, Víctor
Springer Berlin Heidelberg, 2013

