Software Engineering
Overview
| Works: | 5 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Integrated Formal Methods : = 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings
by:
(Language materials, printed)
Central European Functional Programming School = second summer school, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007 ; revised selected /
by:
(Language materials, printed)
Automated Reasoning with Analytic Tableaux and Related Methods : = International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings
by:
(Language materials, printed)
Engineering Environment-Mediated Multi-Agent Systems = International Workshop, EEMMAS 2007, Dresden, Germany, October 5, 2007. Selected Revised and Invited Papers /
by:
(Language materials, printed)
Deadlock resolution in automated manufacturing systems = a novel Petri Net approach /
by:
(Language materials, printed)
Subjects