在您的搜尋 主題建議
在您的搜尋 主題建議
搜索替代詞:
programmed constructive » programs constructive, programmed instruction, program construction
computing processing » computing proceeding, computing proceedings, computer processing
interval computing » intervals comparing, internet computing, interval counting
constructive https » construction https, constructive type, constructive help
programmed constructive » programs constructive, programmed instruction, program construction
computing processing » computing proceeding, computing proceedings, computer processing
interval computing » intervals comparing, internet computing, interval counting
constructive https » construction https, constructive type, constructive help
1
出版 2013
書本目錄:
“...On-the-Fly Exact Computation of Bisimilarity Distances -- The Quest for Minimal Quotients...”獲取全文
電子
電子書
2
出版 2007
書本目錄:
“...-objective Model Checking of Markov Decision Processes -- PReMo: An Analyzer for Probabilistic Recursive...”獲取全文
電子
電子書
3
出版 2005
書本目錄:
“... -- Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking -- Simulation-Based...”獲取全文
電子
電子書
4
出版 2005
書本目錄:
“... Processing Filters -- Learning Weights in Genetic Programs Using Gradient Descent for Object Recognition...”獲取全文
電子
電子書
5
出版 2006
書本目錄:
“... -- Intervals, Syzygies, Numerical Gröbner Bases: A Mixed Study -- Application of Computer Algebra...”獲取全文
電子
電子書
6
出版 2010
書本目錄:
“... Zielonka-Type Construction of Deterministic Asynchronous Automata -- Pumping and Counting on the Regular...”獲取全文
電子
電子書
7
出版 2010
書本目錄:
“... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...”獲取全文
電子
電子書
8
出版 2010
書本目錄:
“...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...”獲取全文
電子
電子書
9
出版 2014
書本目錄:
“... -- Certified Calibration of a Cable-Driven Robot Using Interval Contractor Programming, by J. A. Sandretto, G...”獲取全文
電子
電子書
10
出版 2012
書本目錄:
“... Complexity and Cognitive Performance in a Human Computer Interface Experiment -- Interval-Valued Fuzzy...”獲取全文
電子
電子書
11
出版 2006
書本目錄:
“... Parameterization -- Sub-sampling for Efficient Spectral Mesh Processing -- Active Contours with Level-Set...”獲取全文
電子
電子書
12
出版 2014
書本目錄:
“...Signal and Image Processing -- Real Time Crowd Counting with Human Detection and Human Tracking...”獲取全文
電子
電子書
13
出版 2005
書本目錄:
“... and Rough Set -- Algebraic Property of Rough Implication Based on Interval Structure -- Research...”獲取全文
電子
電子書
14
出版 2007
書本目錄:
“... Process -- Rotation Invariant Texture Classification Using Gabor Wavelets -- Harmful Contents...”獲取全文
電子
電子書
15
出版 2008
書本目錄:
“... and Polymorphism in Pure Type Systems -- The Implicit Calculus of Constructions as a Programming Language...”獲取全文
電子
電子書
16
出版 2007
書本目錄:
“... Algorithm for Dynamic Multi-Objective TSP -- The Construction of Dynamic Multi-objective Optimization Test...”獲取全文
電子
電子書
17
出版 2012
書本目錄:
“... (Bulgaria).-A Computational Approach for Remediation Procedures in Horizontal Subsurface Flow Constructed...”獲取全文
電子
電子書
18
出版 2010
書本目錄:
“... -- Stochastic-Process Approach to Nonequilibrium Thermodynamics and Biological Signal Transduction -- Granger...”獲取全文
電子
電子書
19
出版 2006
書本目錄:
“... Communication -- Embodied Conversational Agents: Computing and Rendering Realistic Gaze Patterns -- DBN Based...”獲取全文
電子
電子書
20
出版 2010
書本目錄:
“... Cells/Networks -- Three-dimensional Computer Modeling and Architectural Design Process #x2013; A...”獲取全文
電子
電子書