1
Julkaistu 2010
Sisällysluettelo: ... Framework and Software Infrastructure for the Construction of Software Production Methods -- Software...
Hae kokoteksti
Elektroninen E-kirja
2
Tekijä Ben-Ari, Mordechai., Ben-Ari, Mordechai.
Julkaistu 2008
Sisällysluettelo: ...Sequential Programming in Promela -- Verification of Sequential Programs -- Concurrency...
Hae kokoteksti
Elektroninen E-kirja
3
Julkaistu 2015
Sisällysluettelo: ... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...
Hae kokoteksti
Elektroninen E-kirja
4
Julkaistu 2005
Sisällysluettelo: ... by Attribute-Dependency Formulas -- On Computing the Minimal Generator Family for Concept Lattices and Icebergs...
Hae kokoteksti
Elektroninen E-kirja
5
Julkaistu 2005
Sisällysluettelo: ... -- Automation I -- Concepts for Comparing Modeling Tool Architectures -- Scenario Construction Tool Based...
Hae kokoteksti
Elektroninen E-kirja
6
Julkaistu 2006
Sisällysluettelo: ... of Control -- Programming Language Concepts for Multimedia Application Development -- Implicit and Dynamic...
Hae kokoteksti
Elektroninen E-kirja
7
Julkaistu 2008
Sisällysluettelo: ... Techniques -- A Genetic Programming Environment for System Modeling -- Mining Gene Expression Profiles...
Hae kokoteksti
Elektroninen E-kirja
8
Julkaistu 2008
Sisällysluettelo: ...Constructive Alignment for Teaching Model-Based Design for Concurrency -- Teaching Modelling...
Hae kokoteksti
Elektroninen E-kirja
9
Julkaistu 2010
Sisällysluettelo: ... and Simulation in Autonomous Mobile Robotics -- The Logical Process of Model-Based Reasoning -- Constructive...
Hae kokoteksti
Elektroninen E-kirja
10
Julkaistu 2010
Sisällysluettelo: ... Modeling -- What Matters Most in Portfolio Construction? -- Risk Management and Portfolio Optimization...
Hae kokoteksti
Elektroninen E-kirja
11
Julkaistu 2010
Sisällysluettelo: ... System -- Automatic Computer Overhead Line Design -- Building Test Cases through Model Driven Engineering...
Hae kokoteksti
Elektroninen E-kirja
12
Julkaistu 2010
Sisällysluettelo: ... Wold#x2019;s Basic Design and Partial Least Squares -- PLS Path Modeling: From Foundations to Recent...
Hae kokoteksti
Elektroninen E-kirja
13
Julkaistu 2005
Sisällysluettelo: ... Sensitivity Analysis Applied for the Reduction of the Sensor Matrix -- Fuzzy Modeling for Coal Seams A Case...
Hae kokoteksti
Elektroninen E-kirja
14
Tekijä Ahmad, Syarbaini
Julkaistu 2016
Aiheet: ...Debugging in computer science - Computer programs...
Hae kokoteksti
Opinnäyte
15
Julkaistu 2006
Sisällysluettelo: ... -- TOPOLOGICAL OPTIMIZATION OF FRAME STRUCTURES UNDER MULTIPLE LOADING CASES$^*$ -- OPTIMAL DISPLACEMENT CONTROL...
Hae kokoteksti
Elektroninen E-kirja
16
Julkaistu 2006
Sisällysluettelo: ...Keynote Speech -- Emergence in Organic Computing Systems: Discussion of a Controversial Concept...
Hae kokoteksti
Elektroninen E-kirja
17
Julkaistu 2007
Sisällysluettelo: ...Keynotes -- Modeling Workflow Patterns from First Principles -- Heart Modeling, Computational...
Hae kokoteksti
Elektroninen E-kirja
18
Sisällysluettelo: ... with Inheritance -- Case Study on Model Transformation, and Tool Support by AGG -- Case Study on Model...
Hae kokoteksti
Elektroninen E-kirja
19
Sisällysluettelo: ...What is Distributed Processing? -- Concepts of Concurrency -- Models of Concurrency -- Concurrency...
Hae kokoteksti
Elektroninen E-kirja
20
Julkaistu 2006
Sisällysluettelo: ... -- Using Event Models in Grid Design -- Using Event Models in Grid Design -- Intelligent Grids...
Hae kokoteksti
Elektroninen E-kirja