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