Podobné jednotky: Fundamentals of Computation Theory :
- Language and Automata Theory and Applications : 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013 : Proceedings /
- FM 2014 : Formal Methods : 19th International Symposium Singapore, May 12-16, 2014 : Proceedings /
- Theory and Applications of FormalArgumentation : Second International Workshop, TAFA 2013, Beijing, China, August 3-5, 2013 : Revised Selected Papers /
- Foundations of Software Science and Computation Structures : 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014 Grenoble, France, April 5-13, 2014 Proceedings /
- Mathematical Foundations of Computer Science 2013 : 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013 : Proceedings /
- 25 Years of Model Checking : History, Achievements, Perspectives /
Téma: Algoritmos Computacionales
Téma: Lenguajes Formales
- Using Formal Description Techniques : An Introduction to ESTELLE, LOTOS and SDL /
- Formal Description Techniques, VI : Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques - FORTE '93 /
- The Formal Description Technique Lotos : Results of the ESPRIT/SEDOS Project /
- Language at Work : Analyzing Communication Breakdown in the Workplace to Inform Systems Design /
- Visual Language Theory /
- Elementary Logic /