1
Được phát hành 2010
Mục lục: ... Framework and Software Infrastructure for the Construction of Software Production Methods -- Software...
lấy văn bản
Điện tử eBook
2
Bằng Ben-Ari, Mordechai., Ben-Ari, Mordechai.
Được phát hành 2008
Mục lục: ...Sequential Programming in Promela -- Verification of Sequential Programs -- Concurrency...
lấy văn bản
Điện tử eBook
3
Được phát hành 2015
Mục lục: ... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...
lấy văn bản
Điện tử eBook
4
Được phát hành 2005
Mục lục: ... by Attribute-Dependency Formulas -- On Computing the Minimal Generator Family for Concept Lattices and Icebergs...
lấy văn bản
Điện tử eBook
5
Được phát hành 2005
Mục lục: ... -- Automation I -- Concepts for Comparing Modeling Tool Architectures -- Scenario Construction Tool Based...
lấy văn bản
Điện tử eBook
6
Được phát hành 2006
Mục lục: ... of Control -- Programming Language Concepts for Multimedia Application Development -- Implicit and Dynamic...
lấy văn bản
Điện tử eBook
7
Được phát hành 2008
Mục lục: ... Techniques -- A Genetic Programming Environment for System Modeling -- Mining Gene Expression Profiles...
lấy văn bản
Điện tử eBook
8
Được phát hành 2008
Mục lục: ...Constructive Alignment for Teaching Model-Based Design for Concurrency -- Teaching Modelling...
lấy văn bản
Điện tử eBook
9
Được phát hành 2010
Mục lục: ... and Simulation in Autonomous Mobile Robotics -- The Logical Process of Model-Based Reasoning -- Constructive...
lấy văn bản
Điện tử eBook
10
Được phát hành 2010
Mục lục: ... Modeling -- What Matters Most in Portfolio Construction? -- Risk Management and Portfolio Optimization...
lấy văn bản
Điện tử eBook
11
Được phát hành 2010
Mục lục: ... System -- Automatic Computer Overhead Line Design -- Building Test Cases through Model Driven Engineering...
lấy văn bản
Điện tử eBook
12
Được phát hành 2010
Mục lục: ... Wold#x2019;s Basic Design and Partial Least Squares -- PLS Path Modeling: From Foundations to Recent...
lấy văn bản
Điện tử eBook
13
Bằng Ahmad, Syarbaini
Được phát hành 2016
Những chủ đề: ...Debugging in computer science - Computer programs...
lấy văn bản
Luận văn
14
Được phát hành 2006
Mục lục: ... -- TOPOLOGICAL OPTIMIZATION OF FRAME STRUCTURES UNDER MULTIPLE LOADING CASES$^*$ -- OPTIMAL DISPLACEMENT CONTROL...
lấy văn bản
Điện tử eBook
15
Được phát hành 2006
Mục lục: ...Keynote Speech -- Emergence in Organic Computing Systems: Discussion of a Controversial Concept...
lấy văn bản
Điện tử eBook
16
Được phát hành 2007
Mục lục: ...Keynotes -- Modeling Workflow Patterns from First Principles -- Heart Modeling, Computational...
lấy văn bản
Điện tử eBook
17
Được phát hành 2005
Mục lục: ... Sensitivity Analysis Applied for the Reduction of the Sensor Matrix -- Fuzzy Modeling for Coal Seams A Case...
lấy văn bản
Điện tử eBook
18
Mục lục: ... with Inheritance -- Case Study on Model Transformation, and Tool Support by AGG -- Case Study on Model...
lấy văn bản
Điện tử eBook
19
Bằng Brooke, Phillip J., Brooke, Phillip J., Paige, Richard F.
Được phát hành 2008
Mục lục: ...What is Distributed Processing? -- Concepts of Concurrency -- Models of Concurrency -- Concurrency...
lấy văn bản
Điện tử eBook
20
Được phát hành 2006
Mục lục: ... -- Using Event Models in Grid Design -- Using Event Models in Grid Design -- Intelligent Grids...
lấy văn bản
Điện tử eBook