Channels - Descriptional Complexity of Formal Systems : :: Biblioteca ITESO

Lignende værker: Descriptional Complexity of Formal Systems :

Quick Look
Descriptional Complexity of Formal Systems : 15th International Workshop, DCFS 2013, London, Canada, July 22-25, 2013, Proceedings /
Quick Look
Descriptional Complexity of Formal Systems : 13 International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings /
Quick Look
Descriptional Complexity of Formal Systems : 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014 : Proceedings /
Quick Look
Implementation and Application of Automata : 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings /
Quick Look
Using Formal Description Techniques : An Introduction to ESTELLE, LOTOS and SDL /
Quick Look
The Formal Description Technique Lotos : Results of the ESPRIT/SEDOS Project /
Quick Look
Formal Description Techniques, VI : Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques - FORTE '93 /
Quick Look
Cellular Automata and Discrete Complex Systems : 19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 14-19, 2013, Proceedings /
Quick Look
SystemVerilog for Hardware Description : RTL Design and Verification /
Quick Look
Formal Description Techniques and Protocol Specification, Testing and Verification : FORTE X / PSTV XVII .97 /
Quick Look
Formal Methods for Industrial Critical Systems : 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings /
Quick Look
Job Descriptions : Models for Careers in Dietetics /
Quick Look
Formal Description Techniques and Protocol Specification, Testing and Verification : FORTE XI/PSTV XVIII.98 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII) 3.6 November 1998, Paris, France /
Quick Look
An introduction to descriptive linguistics /
Quick Look
Descriptive Inorganic Chemistry /
Quick Look
Descriptive Inorganic Chemistry /
Quick Look
An Introduction to Description Logic /
Quick Look
A Systems Description of Flow Through Porous Media /
Quick Look
Large-Scale Complex IT Systems. Development, Operation and Management : 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers /
Quick Look
Distributed Multiple Description Coding : Principles, Algorithms and Systems /
Quick Look
Superconductivity in Complex Systems /
Quick Look
Formal Techniques for Distributed Systems : Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings /
Quick Look
Formal Modeling and Analysis of Timed Systems : 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings /
Quick Look
Architecture Description Languages : IFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, Aug. 22-27, 2004, Toulouse, France /

Forfatter: Martin Kutrib, Nelma Moreira, Rogério Reis

Quick Look
Descriptional Complexity of Formal Systems : 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012, Proceedings /

© 2026 Catálogo Público de la Biblioteca V/F -- v.11.0