Sugestões de Tópicos dentro de sua pesquisa.
Sugestões de Tópicos dentro de sua pesquisa.
Pesquisas alternativas:
https function » its function, sites function, ups function
programs held » programs help, program held, programmes held
function java » function jane, function jason, function james
held https » child https, wild https
https function » its function, sites function, ups function
programs held » programs help, program held, programmes held
function java » function jane, function jason, function james
held https » child https, wild https
1
Publicado em 2013
Sumário:
“... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...”Obter o texto integral
Recurso Electrónico
livro electrónico
2
Publicado em 2013
Sumário:
“... JavaScript Applications with Haskell -- Advances in Lazy SmallCheck -- OCaml-Java: from OCaml sources to Java...”Obter o texto integral
Recurso Electrónico
livro electrónico
3
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
Publicado em 2005
Sumário:
“... Add Reduction Rules and Close -- Towards a Type System for Analyzing JavaScript Programs -- Java JR...”Obter o texto integral
Recurso Electrónico
livro electrónico
4
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
Publicado em 2010
Sumário:
“... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...”Obter o texto integral
Recurso Electrónico
livro electrónico
5
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
Publicado em 2007
Sumário:
“... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”Obter o texto integral
Recurso Electrónico
livro electrónico
6
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Publicado em 2013
Sumário:
“...Distributed Electronic Rights in JavaScript -- The Compiler Forest -- Pretty-Big-Step Semantics...”Obter o texto integral
Recurso Electrónico
livro electrónico
7
Publicado em 2012
Sumário:
“... Atomicity for Java -- Ownership Types for Object Synchronisation -- A Functional View of Imperative...”Obter o texto integral
Recurso Electrónico
livro electrónico
8
Publicado em 2013
Sumário:
“... -- This Java: An Extension of Java with Exact Types -- Semantics of Probabilistic Programs: A Weak Limit...”Obter o texto integral
Recurso Electrónico
livro electrónico
9
Publicado em 2014
Sumário:
“... Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley -- Heuristic Search Over...”Obter o texto integral
Recurso Electrónico
livro electrónico
10
Publicado em 2013
Sumário:
“... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”Obter o texto integral
Recurso Electrónico
livro electrónico
11
Publicado em 2013
Sumário:
“... for Computing Ordinal Conditional Functions Using Constraint Logic Programming -- A Descriptive Approach...”Obter o texto integral
Recurso Electrónico
livro electrónico
12
Publicado em 2015
Sumário:
“... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”Obter o texto integral
Recurso Electrónico
livro electrónico
13
Publicado em 2014
Sumário:
“... and Agile Values among Software Developers -- Part Short Papers -- Agile Methodologies in Web Programming: A...”Obter o texto integral
Recurso Electrónico
livro electrónico
14
Publicado em 2007
Sumário:
“...-Functional MDA Framework -- Information Preserving Bidirectional Model Transformations -- Activity-Driven...”Obter o texto integral
Recurso Electrónico
livro electrónico
15
Publicado em 2010
Sumário:
“... -- Boom: Taking Boolean Program Model Checking One Step Further -- The OpenSMT Solver -- Stranger...”Obter o texto integral
Recurso Electrónico
livro electrónico
16
Publicado em 2006
Sumário:
“...Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine -- Generic Cut...”Obter o texto integral
Recurso Electrónico
livro electrónico
17
Publicado em 2013
Sumário:
“... History with Database Supported Haskell -- LogicObjects: Enabling Logic Programming in Java through...”Obter o texto integral
Recurso Electrónico
livro electrónico
18
Publicado em 2014
Sumário:
“... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...”Obter o texto integral
Recurso Electrónico
livro electrónico
19
Publicado em 2010
Sumário:
“... Method for Test Suite Reduction for Regression Testing of Interactions between Software Modules -- A Java...”Obter o texto integral
Recurso Electrónico
livro electrónico
20
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
- 1
- 2
- 3
- Seguinte »
- [3]