Lignende værker: 25 Years of Model Checking :
- Fundamentals of Computation Theory : 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings /
- FM 2014 : Formal Methods : 19th International Symposium Singapore, May 12-16, 2014 : Proceedings /
- Language and Automata Theory and Applications : 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013 : Proceedings /
- Mathematical Foundations of Computer Science 2014 : 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014 : Proceedings, Part I /
- 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 /
- Guide to Programming and Algorithms Using R /
Emne: Algoritmos Computacionales - Tema Principal
Emne: Control de Procesos - Modelos Matemáticos
- Control automático de procesos /
- Control estadístico de la calidad /
- Principles and Practice of Automatic Process Control / C.A. Smith, A.B. Corripio.
- 25 Years of Model Checking : History, Achievements, Perspectives /
- Advanced Methods, Techniques, and Applications in Modeling and Simulation : Asia Simulation Conference 2011, Seoul, Korea, November 2011 : Proceedings /
- Principles and Practice of Automatic Process Control / C.A. Smith, A.B. Corripio.