1
出版 2010
书本目录: ... Framework and Software Infrastructure for the Construction of Software Production Methods -- Software...
获取全文
电子 电子书
2
出版 2015
书本目录: ... Objectives -- syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications...
获取全文
电子 电子书
3
出版 2005
书本目录: ... by Attribute-Dependency Formulas -- On Computing the Minimal Generator Family for Concept Lattices and Icebergs...
获取全文
电子 电子书
4
Raynal, Michel., Raynal, Michel.
出版 2013
书本目录: ...: The Atomicity Concept -- Chap. 4 - Atomicity: Formal Definition and Properties -- Part III - Mutex-Free...
获取全文
电子 电子书
5
书本目录: ...Introduction to Programming in Fortran -- Control Constructs -- Modules and Procedures -- Arrays...
获取全文
电子 电子书
6
McLaughlin, Michael
出版 2014
主题: ...PL/SQL (Computer program language)....
图书
7
出版 2010
书本目录: ...Markowitz for the Masses: Portfolio Construction Techniques -- Markowitz for the Masses: The Risk...
获取全文
电子 电子书
8
出版 2010
书本目录: ... System -- Automatic Computer Overhead Line Design -- Building Test Cases through Model Driven Engineering...
获取全文
电子 电子书
9
10
Ahmad, Syarbaini
出版 2016
主题: ...Debugging in computer science - Computer programs...
获取全文
Thesis
11
出版 2006
书本目录: ... -- TOPOLOGICAL OPTIMIZATION OF FRAME STRUCTURES UNDER MULTIPLE LOADING CASES$^*$ -- OPTIMAL DISPLACEMENT CONTROL...
获取全文
电子 电子书
12
出版 2006
书本目录: ...Keynote Speech -- Emergence in Organic Computing Systems: Discussion of a Controversial Concept...
获取全文
电子 电子书
13
出版 2005
书本目录: ... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...
获取全文
电子 电子书
14
出版 2010
书本目录: ... Wold#x2019;s Basic Design and Partial Least Squares -- PLS Path Modeling: From Foundations to Recent...
获取全文
电子 电子书
15
书本目录: ...What is Distributed Processing? -- Concepts of Concurrency -- Models of Concurrency -- Concurrency...
获取全文
电子 电子书
16
出版 2008
书本目录: ...Formal Methods and the Theory of Social Choice -- Relations Making Their Way from Logics...
获取全文
电子 电子书
17
出版 2012
书本目录: ... Constraint Satisfaction Games -- A Polynomial-Time Algorithm for Computing the Maximum Common -- Subgraph...
获取全文
电子 电子书
18
出版 2010
书本目录: ... of Video Based on the Association Graph Construction of Video Objects -- Using SOA Concept to Construct...
获取全文
电子 电子书
19
出版 2014
书本目录: ... Sentence Similarity Based on Concepts -- Materialized View Construction Based on Clustering Technique...
获取全文
电子 电子书
20
出版 2006
书本目录: ... on BE-Vector Clustering -- Deriving Event Relevance from the Ontology Constructed with Formal Concept Analysis...
获取全文
电子 电子书