Søgeresultater - constructive computation ((programming tutorials) or (programming tools)) concepts a~

Søg alternativer:
constructive computation » constructive communication , constructive communications , construction competitions
programming tutorials » programming tutorial , programming theories , programming social
programming tools » programming theory , programming problems
concepts a » concepts _

Designing Embedded Systems with the SIGNAL Programming Language Synchronous, Reactive Specification /

af Gamatié, Abdoulaye., Gamatié, Abdoulaye.
Udgivet 2010

Indholdsfortegnelse: “... Programming: Overview -- Elementary concepts and notations of SIGNAL -- Basics: Signals and Relations...”
Få fuldtekst

Electronisk eBog

Graph Transformations 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... -- Applications of Graph Transformation -- Mobile Agents Implementing Local Computations in Graphs -- A...”
Få fuldtekst

Electronisk eBog

Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings /

Udgivet 2013

Indholdsfortegnelse: “... Verification -- A Late Treatment of C Precondition in Dynamic Symbolic Execution Testing Tools -- Towards a...”
Få fuldtekst

Electronisk eBog

Software Architecture 4th European Conference , ECSA 2010, Copenhagen, Denmark, August 23-26, 2010, Proceedings /

Udgivet 2010

Indholdsfortegnelse: “... Decisions -- BeeEye: A Framework for Constructing Architectural Views -- Facilitating the Selection...”
Få fuldtekst

Electronisk eBog

Model Driven Engineering Languages and Systems 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “... -- Automation I -- Concepts for Comparing Modeling Tool Architectures -- Scenario Construction Tool Based...”
Få fuldtekst

Electronisk eBog

Transactions on Petri Nets and Other Models of Concurrency I

Udgivet 2008

Indholdsfortegnelse: “... -- TAPAs: A Tool for the Analysis of Process Algebras -- Translating Message Sequence Charts to other...”
Få fuldtekst

Electronisk eBog

Open Source Development, Adoption and Innovation IFIP Working Group 2.13 on Open Source Software, June 11-14, 2007, Limerick, Ireland /

Udgivet 2007

Indholdsfortegnelse: “... source software -- Tutorials -- to OSS 2007 Tutorial Program -- How to Gather FLOSS Metrics -- EDOS-Tools...”
Få fuldtekst

Electronisk eBog

Entertainment for Education. Digital Techniques and Systems 5th International Conference on E-learning and Games, Edutainment 2010, Changchun, China, August 16-18, 2010, Proceeding...

Udgivet 2010

Indholdsfortegnelse: “... Games -- A Multimodal Virtual Anatomy E-Learning Tool for Medical Education -- To Construct...”
Få fuldtekst

Electronisk eBog

Advances in Web-Based Learning - ICWL 2005 4th International Conference, Hong Kong, China, July 31 - August 3, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “...e-Learning Platforms and Tools -- A Core Model Supporting Location-Aware Computing in Smart...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning