1
出版 2015
書本目錄: ... -- Non-cumulative Resource Analysis -- Value Slice: A New Slicing Concept for Scalable Property Checking...
獲取全文
電子 電子書
2
出版 2006
書本目錄: ... of Control -- Programming Language Concepts for Multimedia Application Development -- Implicit and Dynamic...
獲取全文
電子 電子書
3
Raynal, Michel., Raynal, Michel.
出版 2013
書本目錄: ...Part I - Lock-Based Synchronization -- Chap. 1 - The Mutual Exclusion Problem -- Chap. 2 - Solving...
獲取全文
電子 電子書
4
書本目錄: ...Introduction to Programming in Fortran -- Control Constructs -- Modules and Procedures -- Arrays...
獲取全文
電子 電子書
5
McLaughlin, Michael
出版 2014
主題: ...PL/SQL (Computer program language)....
圖書
6
出版 2010
書本目錄: ...Markowitz for the Masses: Portfolio Construction Techniques -- Markowitz for the Masses: The Risk...
獲取全文
電子 電子書
7
出版 2010
書本目錄: ... System -- Automatic Computer Overhead Line Design -- Building Test Cases through Model Driven Engineering...
獲取全文
電子 電子書
8
出版 2006
書本目錄: ... -- A COMPUTATIONAL METHOD FOR SOLVING CAUCHY PROBLEMS OF ELLIPTIC OPERATORS -- NUMERICAL DETERMINATION...
獲取全文
電子 電子書
9
出版 2006
書本目錄: ...Keynote Speech -- Emergence in Organic Computing Systems: Discussion of a Controversial Concept...
獲取全文
電子 電子書
10
出版 2012
書本目錄: ... and Random Intersection -- Regularity Problems for Weak Pushdown ω-Automata and Games -- Computational...
獲取全文
電子 電子書
11
出版 2014
書本目錄: ... Sentence Similarity Based on Concepts -- Materialized View Construction Based on Clustering Technique...
獲取全文
電子 電子書
12
出版 2010
書本目錄: ... of Video Based on the Association Graph Construction of Video Objects -- Using SOA Concept to Construct...
獲取全文
電子 電子書
13
出版 2008
書本目錄: ...Constructive Alignment for Teaching Model-Based Design for Concurrency -- Teaching Modelling...
獲取全文
電子 電子書
14
出版 2005
書本目錄: ... Knowing and Machine Knowing -- Approximation Problems Categories -- Computation of Partial Automata...
獲取全文
電子 電子書
15
出版 2010
書本目錄: ... Case Study of a Customer Satisfaction Problem: Bootstrap and Imputation Techniques -- Comparison...
獲取全文
電子 電子書
16
出版 2006
書本目錄: ... -- Intelligent Grids -- Programming and Process -- A Grid Software Process -- Grid Programming with Java, RMI...
獲取全文
電子 電子書
17
出版 2008
書本目錄: ... Use: Construction of Special University Timetables -- A Relation Algebraic Semantics for a Lazy...
獲取全文
電子 電子書
18
出版 2010
書本目錄: ... Classification Rules with Gene Expression Programming: A Preliminary Study -- Solving Classification Problems...
獲取全文
電子 電子書
19
出版 2005
書本目錄: ... -- Automation I -- Concepts for Comparing Modeling Tool Architectures -- Scenario Construction Tool Based...
獲取全文
電子 電子書
20
出版 2008
書本目錄: ...: Representational Frameworks for Discrete Dynamic Systems -- Constructing Web Corpora through Topical Web...
獲取全文
電子 電子書