Topaicí Molta laistigh de do chuardach.
Cuardaigh malartuithe:
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
Íomhá Chlúdaigh
Foilsithe 2008
Clár Ábhair: “... Stochastic Games -- Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics -- A Linear...”
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
Cuir leis na Ceanáin
Saved in:
2
Íomhá Chlúdaigh
Foilsithe 2010
Clár Ábhair: “... Joins across Function Calls -- Fast Arc-Annotated Subsequence Matching in Linear Space -- Automated...”
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
Cuir leis na Ceanáin
Saved in:
3
Íomhá Chlúdaigh
Foilsithe 2008
Clár Ábhair: “... of Correlation -- Convex Hull of Arithmetic Automata -- Pointer Analysis, Conditional Soundness, and Proving...”
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
Cuir leis na Ceanáin
Saved in:
4
Íomhá Chlúdaigh
le Horstmann, Cay S.
Foilsithe 2013
Ábhair: “...Java (Computer program language)....”
Cover image
Leabhar
Cuir leis na Ceanáin
Saved in:
5
Íomhá Chlúdaigh
Foilsithe 2006
Clár Ábhair: “... Rational Numbers -- Iso-array Acceptors and Learning -- Poster Papers -- A Merging States Algorithm...”
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
Cuir leis na Ceanáin
Saved in:
6
Íomhá Chlúdaigh
Foilsithe 2007
Clár Ábhair: “... Workflow Nets for Grid Computing -- A Stochastic Semantics for BioAmbients -- A Categorical Observation...”
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
Cuir leis na Ceanáin
Saved in:
7
Íomhá Chlúdaigh
Foilsithe 2007
Clár Ábhair: “...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
Cuir leis na Ceanáin
Saved in:
8
Íomhá Chlúdaigh
Foilsithe 2015
Clár Ábhair: “... on Synapses -- Regulating Rule Application with Membrane Boundaries in P Systems -- Structured Grid Algorithms...”
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
Cuir leis na Ceanáin
Saved in:
9
Íomhá Chlúdaigh
Foilsithe 2010
Clár Ábhair: “... -- New Hardware -- ACAR: An Adaptive Cost Aware Cache Replacement Approach for Flash Memory -- GPU...”
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
Cuir leis na Ceanáin
Saved in:
10
Íomhá Chlúdaigh
Foilsithe 2014
Clár Ábhair: “...-block data analysis -- Celebrity Face Image Retrieval Using Multiple Features -- A Novel Adaptive...”
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
Cuir leis na Ceanáin
Saved in:
11
Íomhá Chlúdaigh
Foilsithe 2012
Clár Ábhair: “...-Speed Automaton Based on Structure Vibration Response Analysis -- Over-Sampling from an Auxiliary Domain...”
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
Cuir leis na Ceanáin
Saved in:
12
Íomhá Chlúdaigh
Foilsithe 2005
Clár Ábhair: “... Architecture Cyclops64 -- TCP-ABC: From Multiple TCP Connections to Atomic Broadcasting -- A Parallel File...”
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
Cuir leis na Ceanáin
Saved in:
13
Íomhá Chlúdaigh
Foilsithe 2013
Clár Ábhair: “... Synthesis of Circular Arrays Based on the Niche Genetic Algorithm -- The Application of Wavelet Analysis...”
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
Cuir leis na Ceanáin
Saved in:
14
Íomhá Chlúdaigh
Foilsithe 2012
Clár Ábhair: “... Algorithm Based on Atmosphere Scatters Approximation Model -- Design of a Data-Oriented PID Controller...”
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
Cuir leis na Ceanáin
Saved in:
Uirlisí Cuardaigh: Faigh Fotha RSS — Seol an Cuardach seo mar Ríomhphost — Sábháil an Cuardach