1
Veröffentlicht 2006
Inhaltsangabe: ... Checking -- A Compositional Logic for Control Flow -- Detecting Non-cyclicity by Abstract Compilation...
Volltext
Elektronisch E-Book
2
Veröffentlicht 2012
Inhaltsangabe: ...Quantitative Reactive -- Bottom-Up Meta-Modelling: An Interactive -- T_: A Domain Specific Language...
Volltext
Elektronisch E-Book
3
Veröffentlicht 2010
Inhaltsangabe: ... Classification -- Benefits of Semantics on Web Service Composition from a Complex Network Perspective...
Volltext
Elektronisch E-Book