1
出版 2014
書本目錄: ... Computation -- An Array-Oriented Language with Static Rank Polymorphism -- Gradual Typing for Annotated Type...
獲取全文
電子 電子書
2
出版 2005
書本目錄: ... Problems with Accumulative Weight Functions -- Applied Logics and Computing Theory -- Toward an Abstract...
獲取全文
電子 電子書
3
出版 2007
書本目錄: ... Logical Rule Generations Based on the Genetic Programming and Its Applications to Data Mining...
獲取全文
電子 電子書
4
出版 2010
書本目錄: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
獲取全文
電子 電子書
5
出版 2005
書本目錄: ... of Programming Language as a Diversity Seeking Decision -- Formal Safety Analysis of a Radio-Based Railroad...
獲取全文
電子 電子書
6
出版 2006
書本目錄: ... of the Preferable Answer Sets for Prioritized Basic Disjunctive Logic Programs -- Object-Oriented Specification...
獲取全文
電子 電子書
7
出版 2006
書本目錄: ... Negation in Well-Founded and Partial Stable Semantics for Logic Programs -- MAT Logic: A Temporal×Modal...
獲取全文
電子 電子書
8
出版 2013
書本目錄: ... Computer Program for Modeling and Simulation of Dynamic Systems -- A Software Architecture for Inventory...
獲取全文
電子 電子書
9
出版 2013
書本目錄: ... -- Energy Saving in Advanced Absorption Heat Pump with Object Oriented Programming -- Application...
獲取全文
電子 電子書
10
出版 2010
書本目錄: ... Computing Systems and Their Design Tools -- —Object-Oriented Modelling and Synthesis Targeting Dynamically...
獲取全文
電子 電子書
11
Spear, Chris., Spear, Chris.
出版 2006
書本目錄: ... OOP and Guidelines -- Functional Coverage -- Advanced Interfaces....
獲取全文
電子 電子書
12
Spear, Chris., Spear, Chris.
出版 2008
書本目錄: ... Manual -- 1.3 Basic Testbench Functionality -- 1.4 Directed Testing -- 1.5 Methodology Basics -- 1.6...
獲取全文
電子 電子書
13
出版 2012
書本目錄: ... Satisfaction Problems -- Anytime Column Search -- Evolutionary Computation Genetic Programming for Biomarker...
獲取全文
電子 電子書
14
出版 2013
書本目錄: ... urban space: A case study of cozy space design pattern -- Quantum-Membership-Function-Based Adaptive...
獲取全文
電子 電子書