1
Argitaratua 2014
Aurkibidea: ... -- Security -- Certification -- Applications and tools -- Program/model manipulation -- Transformation...
Testu osoa
Baliabide elektronikoa eBook
2
nork Faison, Ted., Faison, Ted.
Argitaratua 2006
Aurkibidea: ... of Commercial Systems -- Diagrams for Event-Based Systems -- Signal Wiring Diagrams -- The Mechanics of Event...
Testu osoa
Baliabide elektronikoa eBook
3
Argitaratua 2006
Aurkibidea: ... Constraints in the Biochemical Abstract Machine BIOCHAM -- Tools for Program Development -- Declarative...
Testu osoa
Baliabide elektronikoa eBook
4
Argitaratua 2005
Aurkibidea: ... Unfolding with Ancestor Stacks for Full Prolog -- Program Development -- Schema-Guided Synthesis...
Testu osoa
Baliabide elektronikoa eBook
5
Argitaratua 2015
Aurkibidea: ...Semantics of Logic Languages -- Ecient compilation of functional logic programs -- Types...
Testu osoa
Baliabide elektronikoa eBook
6
Argitaratua 2015
Aurkibidea: ...Invited Talks -- Obscuring Code: Unveiling and Veiling Information in Programs -- Synthesizing...
Testu osoa
Baliabide elektronikoa eBook
7
Aurkibidea: ... Lifecycle -- A Model-Driven View to Meta-Program Development Process -- Cognitive Insights into Feature...
Testu osoa
Baliabide elektronikoa eBook
8
Argitaratua 2007
Aurkibidea: ...: Systematic Stress Testing of Concurrent Software -- Program Development -- ARM: Automatic Rule Miner...
Testu osoa
Baliabide elektronikoa eBook
9
Argitaratua 2005
Aurkibidea: ...The JADE Platform and Experiences with Mobile MAS Applications -- A-globe: Agent Development...
Testu osoa
Baliabide elektronikoa eBook
10
Argitaratua 2006
Aurkibidea: ... Conflicts? -- Trade Liberalization and Political Instability in Developing Countries -- Computer Assisted...
Testu osoa
Baliabide elektronikoa eBook
11
Argitaratua 2005
Aurkibidea: ...Component-Based Software Development for Embedded Systems – An Introduction -- Component-Based...
Testu osoa
Baliabide elektronikoa eBook
12
Argitaratua 2006
Aurkibidea: ... Approach Towards Combining Aspect-Oriented and Component-Based Software Development -- Designing Software...
Testu osoa
Baliabide elektronikoa eBook
13
Argitaratua 2007
Aurkibidea: ... Adaptation of Aspect-Oriented Components -- Component Based Game Development – A Solution to Escalating Costs...
Testu osoa
Baliabide elektronikoa eBook
14
Argitaratua 2005
Aurkibidea: ... -- Experience with Component-Based Development of a Telecommunication Service -- Reusable Dialog Component...
Testu osoa
Baliabide elektronikoa eBook
15
Argitaratua 2010
Aurkibidea: ...Component-Based Embedded Systems -- Reliability Analysis of Component-Based Systems with Multiple...
Testu osoa
Baliabide elektronikoa eBook
16
Aurkibidea: .... Safety Properties -- 8. Procedures and Contracts -- 9. Specifying C Programs -- 10. Verifying C Programs...
Testu osoa
Baliabide elektronikoa eBook
17
nork Kall, Peter., Kall, Peter., Mayer, János.
Argitaratua 2005
Aurkibidea: ...Basics -- Introduction -- Linear Programming Prerequisites -- Nonlinear Programming Prerequisites...
Testu osoa
Baliabide elektronikoa eBook
18
Argitaratua 2010
Aurkibidea: ... Programming for Portfolio Selection -- A Hypervolume-Based Optimizer for High-Dimensional Objective Spaces...
Testu osoa
Baliabide elektronikoa eBook
19
nork Lee, Wei-Meng., Lee, Wei-Meng.
Argitaratua 2006
Aurkibidea: ...: Solving Sudoku by computer: Programming Sudoku -- Programming tools and languages -- Building the user...
Testu osoa
Baliabide elektronikoa eBook
20
nork Magyar, Caroline I., Magyar, Caroline I.
Argitaratua 2011
Aurkibidea: ... Spectrum Disorders, Intervention Research, and Considerations in Developing an ASD Program -- Autism...
Testu osoa
Baliabide elektronikoa eBook