Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
Альтернативы поиска:
programs constructive » program construction, program constructing, problem constructive
processing programs » processing programmed, processing problems, processing products
computer processing » computer programming
constructive https » construction https, constructive type, constructive help
interval computer » interface computer, interval computing, internet computer
programs constructive » program construction, program constructing, problem constructive
processing programs » processing programmed, processing problems, processing products
computer processing » computer programming
constructive https » construction https, constructive type, constructive help
interval computer » interface computer, interval computing, internet computer
1
Опубликовано 2013
Оглавление:
“...On-the-Fly Exact Computation of Bisimilarity Distances -- The Quest for Minimal Quotients...”Полный текст
Электронный ресурс
eКнига
2
Опубликовано 2007
Оглавление:
“...-objective Model Checking of Markov Decision Processes -- PReMo: An Analyzer for Probabilistic Recursive...”Полный текст
Электронный ресурс
eКнига
3
Опубликовано 2005
Оглавление:
“... -- Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking -- Simulation-Based...”Полный текст
Электронный ресурс
eКнига
4
Опубликовано 2005
Оглавление:
“... Processing Filters -- Learning Weights in Genetic Programs Using Gradient Descent for Object Recognition...”Полный текст
Электронный ресурс
eКнига
5
Опубликовано 2006
Оглавление:
“... -- Intervals, Syzygies, Numerical Gröbner Bases: A Mixed Study -- Application of Computer Algebra...”Полный текст
Электронный ресурс
eКнига
6
Опубликовано 2010
Оглавление:
“... Zielonka-Type Construction of Deterministic Asynchronous Automata -- Pumping and Counting on the Regular...”Полный текст
Электронный ресурс
eКнига
7
Опубликовано 2010
Оглавление:
“... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...”Полный текст
Электронный ресурс
eКнига
8
Опубликовано 2010
Оглавление:
“...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...”Полный текст
Электронный ресурс
eКнига
9
Опубликовано 2014
Оглавление:
“... -- Certified Calibration of a Cable-Driven Robot Using Interval Contractor Programming, by J. A. Sandretto, G...”Полный текст
Электронный ресурс
eКнига
10
Опубликовано 2005
Оглавление:
“... and Rough Set -- Algebraic Property of Rough Implication Based on Interval Structure -- Research...”Полный текст
Электронный ресурс
eКнига
11
Опубликовано 2012
Оглавление:
“... Complexity and Cognitive Performance in a Human Computer Interface Experiment -- Interval-Valued Fuzzy...”Полный текст
Электронный ресурс
eКнига
12
Опубликовано 2006
Оглавление:
“... Parameterization -- Sub-sampling for Efficient Spectral Mesh Processing -- Active Contours with Level-Set...”Полный текст
Электронный ресурс
eКнига
13
Опубликовано 2014
Оглавление:
“...Signal and Image Processing -- Real Time Crowd Counting with Human Detection and Human Tracking...”Полный текст
Электронный ресурс
eКнига
14
Опубликовано 2007
Оглавление:
“... in Computerized Testing -- Resource Load Balancing Based on Multi-agent in ServiceBSP Model -- Group-Based Key...”Полный текст
Электронный ресурс
eКнига
15
Опубликовано 2008
Оглавление:
“... and Polymorphism in Pure Type Systems -- The Implicit Calculus of Constructions as a Programming Language...”Полный текст
Электронный ресурс
eКнига
16
Опубликовано 2007
Оглавление:
“... Algorithm for Dynamic Multi-Objective TSP -- The Construction of Dynamic Multi-objective Optimization Test...”Полный текст
Электронный ресурс
eКнига
17
Опубликовано 2012
Оглавление:
“... (Bulgaria).-A Computational Approach for Remediation Procedures in Horizontal Subsurface Flow Constructed...”Полный текст
Электронный ресурс
eКнига
18
Опубликовано 2010
Оглавление:
“... -- Stochastic-Process Approach to Nonequilibrium Thermodynamics and Biological Signal Transduction -- Granger...”Полный текст
Электронный ресурс
eКнига
19
Опубликовано 2006
Оглавление:
“... Communication -- Embodied Conversational Agents: Computing and Rendering Realistic Gaze Patterns -- DBN Based...”Полный текст
Электронный ресурс
eКнига
20
Опубликовано 2006
Оглавление:
“... -- A Unified Construction of the Glushkov, Follow, and Antimirov Automata -- Algebraic...”Полный текст
Электронный ресурс
eКнига
- 1
- 2
- 3
- Следующий »
- [3]