1
Por Hazrat, Roozbeh., Hazrat, Roozbeh.
Publicado em 2015
Assuntos: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Por Hazrat, Roozbeh., Hazrat, Roozbeh.
Publicado em 2010
Assuntos: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2006
Sumário: ... -- Symbolic Analysis of Imperative Programming Languages -- Array-Structured Object Types for Mathematical...
Obter o texto integral
Recurso Electrónico livro electrónico
4
Por Lopez, Cesar., Lopez, Cesar.
Publicado em 2014
Assuntos: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Publicado em 2005
Sumário: ... Numbers of Arrangements in Practice -- A MAPLE Symbolic-Numeric Program for Solving the 2D-Eigenvalue...
Obter o texto integral
Recurso Electrónico livro electrónico
6
Publicado em 2007
Sumário: ...Analytic Solutions of Linear Difference Equations, Formal Series, and Bottom Summation...
Obter o texto integral
Recurso Electrónico livro electrónico
7
Publicado em 2010
Sumário: ... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...
Obter o texto integral
Recurso Electrónico livro electrónico
8
Publicado em 2010
Sumário: ... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...
Obter o texto integral
Recurso Electrónico livro electrónico
9
Publicado em 2012
Sumário: ... Operators and Weighted Poincar´e Inequalities.-Additive Schur Complement Approximation for Elliptic Problems...
Obter o texto integral
Recurso Electrónico livro electrónico
10
Publicado em 2010
Sumário: ...-channel Interference Using Switched Parasitic Array Antenna in Femtocell Networks -- User Policy Based...
Obter o texto integral
Recurso Electrónico livro electrónico
11
Publicado em 2008
Sumário: ... for Recognizable Tree Series Revisited -- The View Selection Problem for Regular Path Queries -- Optimal Higher...
Obter o texto integral
Recurso Electrónico livro electrónico
12
Publicado em 2013
Sumário: ...Clustering and change detection of multiple streaming time series -- Layer-based Scheduling...
Obter o texto integral
Recurso Electrónico livro electrónico
13
Publicado em 2013
Sumário: ...Clustering and change detection of multiple streaming time series -- Layer-based Scheduling...
Obter o texto integral
Recurso Electrónico livro electrónico
14
Publicado em 2005
Sumário: ...: An Application to Gene Expression Data Analysis -- Local Pattern Discovery in Array-CGH Data -- Learning...
Obter o texto integral
Recurso Electrónico livro electrónico
15
Publicado em 2010
Sumário: ...Termination of Multipartite Graph Series Arising from Complex Network Modelling -- Simple Cuts...
Obter o texto integral
Recurso Electrónico livro electrónico
16
Publicado em 2013
Sumário: ...A Populated Iterated Greedy Algorithm with Inver-Over Operator for Traveling Salesman Problem...
Obter o texto integral
Recurso Electrónico livro electrónico
17
Sumário: ... Arithmetic -- Bit Vectors -- Arrays -- Pointer Logic -- Quantified Formulas -- Deciding a Combination...
Obter o texto integral
Recurso Electrónico livro electrónico
18
Publicado em 2007
Sumário: ...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...
Obter o texto integral
Recurso Electrónico livro electrónico
19
Publicado em 2005
Sumário: ... Decision Problems in Groups -- Decidability and Complexity in Automatic Monoids -- Relating Tree Series...
Obter o texto integral
Recurso Electrónico livro electrónico
20
Publicado em 2011
Assuntos: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
Obter o texto integral
Recurso Electrónico livro electrónico