Sugestões de Tópicos dentro de sua busca.
Sugestões de Tópicos dentro de sua busca.
Buscas alternativas:
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
Publicado em 2008
Sumário:
“... Stochastic Games -- Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics -- A Linear...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
2
Publicado em 2010
Sumário:
“... Joins across Function Calls -- Fast Arc-Annotated Subsequence Matching in Linear Space -- Automated...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
3
Publicado em 2008
Sumário:
“... of Correlation -- Convex Hull of Arithmetic Automata -- Pointer Analysis, Conditional Soundness, and Proving...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
4
por Horstmann, Cay S.
Publicado em 2013
Assuntos:
“...Java (Computer program language)....”Publicado em 2013
Cover image
Livro
5
Publicado em 2006
Sumário:
“... Rational Numbers -- Iso-array Acceptors and Learning -- Poster Papers -- A Merging States Algorithm...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
6
Publicado em 2007
Sumário:
“... Workflow Nets for Grid Computing -- A Stochastic Semantics for BioAmbients -- A Categorical Observation...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
7
Publicado em 2007
Sumário:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
8
Publicado em 2015
Sumário:
“... on Synapses -- Regulating Rule Application with Membrane Boundaries in P Systems -- Structured Grid Algorithms...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
9
Publicado em 2010
Sumário:
“... -- New Hardware -- ACAR: An Adaptive Cost Aware Cache Replacement Approach for Flash Memory -- GPU...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
10
Publicado em 2014
Sumário:
“...-block data analysis -- Celebrity Face Image Retrieval Using Multiple Features -- A Novel Adaptive...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
11
Publicado em 2012
Sumário:
“...-Speed Automaton Based on Structure Vibration Response Analysis -- Over-Sampling from an Auxiliary Domain...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
12
Publicado em 2005
Sumário:
“... Architecture Cyclops64 -- TCP-ABC: From Multiple TCP Connections to Atomic Broadcasting -- A Parallel File...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
13
Publicado em 2013
Sumário:
“... Synthesis of Circular Arrays Based on the Niche Genetic Algorithm -- The Application of Wavelet Analysis...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
14
Publicado em 2012
Sumário:
“... Algorithm Based on Atmosphere Scatters Approximation Model -- Design of a Data-Oriented PID Controller...”Obter o texto integral
Recurso Eletrônico
livro eletrônico