Aihe-ehdotuksia
Aihe-ehdotuksia
Tarkoititko:
functions computational » functions computation, function computation, directions computational
computational program » computational problem, compositional program, computational problems
program descriptions » program description, programme description, problem descriptions
descriptions based » description based, descriptors based, descriptor based
based tools » based tool, basic tools
functions computational » functions computation, function computation, directions computational
computational program » computational problem, compositional program, computational problems
program descriptions » program description, programme description, problem descriptions
descriptions based » description based, descriptors based, descriptor based
based tools » based tool, basic tools
1
Julkaistu 2006
Sisällysluettelo:
“... Programming with Function Patterns -- Transformational Verification of Parameterized Protocols Using Array...”Hae kokoteksti
Elektroninen
E-kirja
2
Julkaistu 2008
Sisällysluettelo:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”Hae kokoteksti
Elektroninen
E-kirja
3
Julkaistu 2010
Sisällysluettelo:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”Hae kokoteksti
Elektroninen
E-kirja
4
Julkaistu 2008
Sisällysluettelo:
“... -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a...”Hae kokoteksti
Elektroninen
E-kirja
5
Tekijä Saeed, Walid
Julkaistu 2005
Aiheet:
“...Programming language(Electronic computer)...”Julkaistu 2005
Hae kokoteksti
Opinnäyte
6
Julkaistu 2014
Sisällysluettelo:
“... and Quality-Based Ranking -- Semantics in Environmental Search Systems. Reasoning Brokerage – New Reasoning...”Hae kokoteksti
Elektroninen
E-kirja
7
Julkaistu 2010
Sisällysluettelo:
“... Evolution–Based Technique for Computer Animation Applications -- Articulated Body Motion Tracking...”Hae kokoteksti
Elektroninen
E-kirja
8
Julkaistu 2010
Sisällysluettelo:
“... Analysis and Controller Synthesis for Real-Time Systems -- rCOS: Theory and Tool for Component-Based Model...”Hae kokoteksti
Elektroninen
E-kirja
9
Julkaistu 2008
Sisällysluettelo:
“...Marrying Words and Trees -- Simulation Using Orchestration -- Liberate Computer User from...”Hae kokoteksti
Elektroninen
E-kirja
10
Julkaistu 2010
Sisällysluettelo:
“... Papers -- MDA Tool for Telecom Service Functional Design -- A NUI Based Multiple Perspective Variability...”Hae kokoteksti
Elektroninen
E-kirja
11
Julkaistu 2008
Sisällysluettelo:
“... of Region-Based Memory Management for Object-Oriented Paradigm -- Program Models for Compositional...”Hae kokoteksti
Elektroninen
E-kirja
12
Julkaistu 2010
Sisällysluettelo:
“... Support for HW/SW Codesign: A UML-based Design Flow -- C/C++-Based System Design -- Checkpoint and Restore...”Hae kokoteksti
Elektroninen
E-kirja
13
Tekijä Saeed, Walid
Julkaistu 2005
“... the descriptions, and decision attributes. Therefore generating a good decision model or classification model is a...”Julkaistu 2005
Hae kokoteksti
Opinnäyte
14
Julkaistu 2005
Sisällysluettelo:
“...Workshops -- Consistency Problems in UML-Based Software Development -- 5th International Workshop...”Hae kokoteksti
Elektroninen
E-kirja
15
Julkaistu 2010
Sisällysluettelo:
“... and Affine Lambda Calculus -- Beluga: A Framework for Programming and Reasoning with Deductive Systems...”Hae kokoteksti
Elektroninen
E-kirja
16
Julkaistu 2014
Sisällysluettelo:
“...Domain Endurants: An Analysis and Description Process Model -- On Formal Definition and Analysis...”Hae kokoteksti
Elektroninen
E-kirja
17
Julkaistu 2008
Sisällysluettelo:
“... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...”Hae kokoteksti
Elektroninen
E-kirja
18
Julkaistu 2007
Sisällysluettelo:
“... -- Technical Session 1. Message Sequence Charts and SDL -- Thread–Based Analysis of Sequence Diagrams...”Hae kokoteksti
Elektroninen
E-kirja
19
Julkaistu 2007
Sisällysluettelo:
“... Critical Systems -- Improving Interactive Systems Usability Using Formal Description Techniques...”Hae kokoteksti
Elektroninen
E-kirja
20
Sisällysluettelo:
“...Introduction -- Related Work -- Background -- Execution-based Model Checking for High-Level Designs...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
- 1
- 2
- 3
- Seuraava »
- [3]