1
Published 2008
Table of Contents: ... -- Recasting Constraint Automata into Büchi Automata -- A Complete Realisability Semantics for Intersection...
View full text
Electronic eBook
2
Published 2014
Table of Contents: ...Process Types as a Descriptive Tool for Interaction: Control and the Pi-Calculus -- Concurrent...
View full text
Electronic eBook
3
Published 2006
Table of Contents: ...TOPOLOGICAL OPTIMIZATION OF CONTINUUM STRUCTURE WITH GLOBAL STRESS CONSTRAINTS BASED ON ICM METHOD...
View full text
Electronic eBook