1
door Gamatié, Abdoulaye., Gamatié, Abdoulaye.
Gepubliceerd in 2010
Inhoudsopgave: ... Programming: Overview -- Elementary concepts and notations of SIGNAL -- Basics: Signals and Relations...
Volledige tekst
Elektronisch E-boek
2
Gepubliceerd in 2008
Inhoudsopgave: ... -- Applications of Graph Transformation -- Mobile Agents Implementing Local Computations in Graphs -- A...
Volledige tekst
Elektronisch E-boek
3
Gepubliceerd in 2013
Inhoudsopgave: ... Verification -- A Late Treatment of C Precondition in Dynamic Symbolic Execution Testing Tools -- Towards a...
Volledige tekst
Elektronisch E-boek
4
Gepubliceerd in 2010
Inhoudsopgave: ... Decisions -- BeeEye: A Framework for Constructing Architectural Views -- Facilitating the Selection...
Volledige tekst
Elektronisch E-boek
5
Gepubliceerd in 2005
Inhoudsopgave: ... -- Automation I -- Concepts for Comparing Modeling Tool Architectures -- Scenario Construction Tool Based...
Volledige tekst
Elektronisch E-boek
6
Gepubliceerd in 2008
Inhoudsopgave: ... -- TAPAs: A Tool for the Analysis of Process Algebras -- Translating Message Sequence Charts to other...
Volledige tekst
Elektronisch E-boek
7
Gepubliceerd in 2007
Inhoudsopgave: ... source software -- Tutorials -- to OSS 2007 Tutorial Program -- How to Gather FLOSS Metrics -- EDOS-Tools...
Volledige tekst
Elektronisch E-boek
8
Gepubliceerd in 2010
Inhoudsopgave: ... Games -- A Multimodal Virtual Anatomy E-Learning Tool for Medical Education -- To Construct...
Volledige tekst
Elektronisch E-boek
9
Gepubliceerd in 2005
Inhoudsopgave: ...e-Learning Platforms and Tools -- A Core Model Supporting Location-Aware Computing in Smart...
Volledige tekst
Elektronisch E-boek