1
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
2
Por Brooks, David R., Brooks, David R.
Publicado em 2007
Sumário: ... of the JavaScript Language -- Using Arrays in HTML/JavaScript -- JavaScript Functions....
Obter o texto integral
Recurso Electrónico livro electrónico
3
Por Brooks, David R., Brooks, David R.
Publicado em 2011
Sumário: ... -- Fundamentals of the JavaScript Language -- Using Arrays in HTML/JavaScript -- JavaScript Functions -- Creating...
Obter o texto integral
Recurso Electrónico livro electrónico
4
Por Barker, Philip., Barker, Philip.
Publicado em 2007
Sumário: ...Interest Rate Calculations -- Bonds -- Duration -- Futures -- Options -- Modelling Stock Prices...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Publicado em 2005
Sumário: ...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...
Obter o texto integral
Recurso Electrónico livro electrónico
6
Por Minella, Michael., Minella, Michael.
Publicado em 2011
Assuntos: ...Java (Computer program language)....
Obter o texto integral
Recurso Electrónico livro electrónico
7
Publicado em 2008
Sumário: ... Engineering -- Verification of Java Programs with Generics -- Domain Axioms for a Family of Near-Semirings...
Obter o texto integral
Recurso Electrónico livro electrónico
8
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
9
Publicado em 2005
Sumário: ...: Extending the Recovery Algorithm -- Hash Functions for Datatype Signatures in MPI -- Extensions...
Obter o texto integral
Recurso Electrónico livro electrónico
10
Publicado em 2005
Sumário: ... in Isabelle/HOLCF -- Meta Reasoning in ACL2 -- Reasoning About Java Programs with Aliasing and Frame...
Obter o texto integral
Recurso Electrónico livro electrónico
11
Publicado em 2014
Sumário: ... -- Computation of Genus 0 Belyi Functions -- On Computation of the First Baues–Wirsching Cohomology of a Freely...
Obter o texto integral
Recurso Electrónico livro electrónico
12
Por Brandt, Siegmund., Brandt, Siegmund.
Publicado em 2014
Sumário: ... Calculations -- B) Combinatorics -- C) Formulas and Methods for the Computation of Statistical Functions -- D...
Obter o texto integral
Recurso Electrónico livro electrónico
13
Publicado em 2006
Sumário: ... -- An Optimization Methodology for Memory Allocation and Task Scheduling in SoCs Via Linear Programming -- Wireless...
Obter o texto integral
Recurso Electrónico livro electrónico
14
Publicado em 2013
Sumário: ... on Probability-Possibility Transformation -- Functional Verification of Class Invariants in CleanJava...
Obter o texto integral
Recurso Electrónico livro electrónico
15
Publicado em 2014
Sumário: ... with multiplicity structures -- Signature-based Method of Deciding Program Termination -- High-precision eigenvalue...
Obter o texto integral
Recurso Electrónico livro electrónico