Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
Альтернативы поиска:
structure conditional » structure functional, structural condition, structure computational
programming recursion » programming decision, programming session, programming decisions
programming semantics » programming mathematics, programming series, programming secrets
arrays a » arrays _
structure conditional » structure functional, structural condition, structure computational
programming recursion » programming decision, programming session, programming decisions
programming semantics » programming mathematics, programming series, programming secrets
arrays a » arrays _
1
Опубликовано 2008
Оглавление:
“... Stochastic Games -- Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics -- A Linear...”Полный текст
Электронный ресурс
eКнига
2
Опубликовано 2010
Оглавление:
“... Joins across Function Calls -- Fast Arc-Annotated Subsequence Matching in Linear Space -- Automated...”Полный текст
Электронный ресурс
eКнига
3
Опубликовано 2008
Оглавление:
“... of Correlation -- Convex Hull of Arithmetic Automata -- Pointer Analysis, Conditional Soundness, and Proving...”Полный текст
Электронный ресурс
eКнига
4
по Horstmann, Cay S.
Опубликовано 2013
Предметы:
“...Java (Computer program language)....”Опубликовано 2013
Cover image
5
Опубликовано 2006
Оглавление:
“... Rational Numbers -- Iso-array Acceptors and Learning -- Poster Papers -- A Merging States Algorithm...”Полный текст
Электронный ресурс
eКнига
6
Опубликовано 2007
Оглавление:
“... Workflow Nets for Grid Computing -- A Stochastic Semantics for BioAmbients -- A Categorical Observation...”Полный текст
Электронный ресурс
eКнига
7
Опубликовано 2007
Оглавление:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”Полный текст
Электронный ресурс
eКнига
8
Опубликовано 2015
Оглавление:
“... on Synapses -- Regulating Rule Application with Membrane Boundaries in P Systems -- Structured Grid Algorithms...”Полный текст
Электронный ресурс
eКнига
9
Опубликовано 2010
Оглавление:
“... -- New Hardware -- ACAR: An Adaptive Cost Aware Cache Replacement Approach for Flash Memory -- GPU...”Полный текст
Электронный ресурс
eКнига
10
Опубликовано 2014
Оглавление:
“...-block data analysis -- Celebrity Face Image Retrieval Using Multiple Features -- A Novel Adaptive...”Полный текст
Электронный ресурс
eКнига
11
Опубликовано 2012
Оглавление:
“...-Speed Automaton Based on Structure Vibration Response Analysis -- Over-Sampling from an Auxiliary Domain...”Полный текст
Электронный ресурс
eКнига
12
Опубликовано 2005
Оглавление:
“... Architecture Cyclops64 -- TCP-ABC: From Multiple TCP Connections to Atomic Broadcasting -- A Parallel File...”Полный текст
Электронный ресурс
eКнига
13
Опубликовано 2013
Оглавление:
“... Synthesis of Circular Arrays Based on the Niche Genetic Algorithm -- The Application of Wavelet Analysis...”Полный текст
Электронный ресурс
eКнига
14
Опубликовано 2012
Оглавление:
“... Algorithm Based on Atmosphere Scatters Approximation Model -- Design of a Data-Oriented PID Controller...”Полный текст
Электронный ресурс
eКнига