1
出版 2006
書本目錄: ... -- Lower Bounds on Matrix Rigidity Via a Quantum Argument -- Self-testing of Quantum Circuits...
獲取全文
電子 電子書
2
出版 2013
書本目錄: ... at Runtime for Self-Adaptive Systems -- Verification of a Self-configuration Protocol for Distributed...
獲取全文
電子 電子書
3
出版 2007
書本目錄: ... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...
獲取全文
電子 電子書
4
出版 2008
書本目錄: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
獲取全文
電子 電子書
5
出版 2013
書本目錄: ... Active Self-assembly -- DNA Walker Circuits: Computational Potential, Design, and Verification...
獲取全文
電子 電子書
6
出版 2010
書本目錄: ... Contribution to Programming (1946–1950) -- A Miniaturisation of Ramsey’s Theorem -- Graph Structures...
獲取全文
電子 電子書
7
出版 2015
書本目錄: ...Probabilistic Programs as Spreadsheet Queries -- Static Analysis of Spreadsheet Applications...
獲取全文
電子 電子書
8
書本目錄: ... Problems -- Finite Element Program -- Finite Element Solution -- Finite Element Processor -- Finite Element...
獲取全文
電子 電子書
9
出版 2006
書本目錄: ... Multiplication with a Classifier Learning System -- A Language for the Compact Representation of Multiple Program...
獲取全文
電子 電子書
10
出版 2010
書本目錄: ..., and Complexity -- Distinguished Papers -- Testing Expressibility Is Hard -- Applying Constraint Programming...
獲取全文
電子 電子書
11
出版 2014
書本目錄: ... Need a Granularity Concept for User Stories -- Part How to Evolve Software Engineering Teaching -- Self...
獲取全文
電子 電子書
12
書本目錄: ... Logarithm Problem -- Elliptic Curve Cryptosystems -- Digital Signatures -- Hash Functions -- Message...
獲取全文
電子 電子書
13
書本目錄: ... -- Chap. 11 Elliptic Curve Cryptography -- App. A Some Maple Conversion Functions -- Acronyms...
獲取全文
電子 電子書
14
出版 2010
書本目錄: ... Population Using Pooled DNA -- Pathway-Based Functional Analysis of Metagenomes -- Hierarchical Generative...
獲取全文
電子 電子書
15
出版 2008
書本目錄: ... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...
獲取全文
電子 電子書
16
出版 2008
書本目錄: ... Hash Function Designs -- The Hash Function Family LAKE -- SWIFFT: A Modest Proposal for FFT Hashing...
獲取全文
電子 電子書
17
出版 2005
書本目錄: ... over the Real Numbers -- Algebras as Knowledge Structures -- Combining Self-reducibility and Partial...
獲取全文
電子 電子書
18
書本目錄: ... Functions for fast simulations -- Modern approach to inverse analyses -- Numerical examples....
獲取全文
電子 電子書
19
出版 2005
書本目錄: ... Structured Classifier for Symbolic Class Description -- A Diversity Measure for Tree-Based Classifier...
獲取全文
電子 電子書
20
出版 2006
書本目錄: ... Structures -- Kinetic Algorithms Via Self-adjusting Computation -- Parallel Machine Scheduling Through Column...
獲取全文
電子 電子書