Sugestões de Tópicos dentro de sua pesquisa.
Sugestões de Tópicos dentro de sua pesquisa.
Pesquisas alternativas:
program automation » program automatic, programs automatic, program estimation
https function » its function, sites function, ups function
function java » function jane, function jason, function james
program automation » program automatic, programs automatic, program estimation
https function » its function, sites function, ups function
function java » function jane, function jason, function james
1
Publicado em 2008
Sumário:
“... -- Linear Quantifier Elimination -- Quantitative Separation Logic and Programs with Lists -- On Automating...”Obter o texto integral
Recurso Electrónico
livro electrónico
2
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
3
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
4
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
5
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
6
Publicado em 2005
Sumário:
“...Independently Checkable Proofs from Decision Procedures: Issues and Progress -- Zap: Automated...”Obter o texto integral
Recurso Electrónico
livro electrónico
7
Publicado em 2006
Sumário:
“...Keynote -- Design Patterns – 15 Years Later -- Program Query and Persistence -- codeQuest: Scalable...”Obter o texto integral
Recurso Electrónico
livro electrónico
8
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
9
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
10
Publicado em 2012
Sumário:
“... -- Program Specialization Via a Software Verification Tool -- Model–Based Analysis Tools for Component...”Obter o texto integral
Recurso Electrónico
livro electrónico
11
Publicado em 2008
Sumário:
“... Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based...”Obter o texto integral
Recurso Electrónico
livro electrónico
12
Publicado em 2010
Sumário:
“... Systems -- Program Logics for Sequential Higher-Order Control -- Modular Schedulability Analysis...”Obter o texto integral
Recurso Electrónico
livro electrónico
13
Sumário:
“...-Defined Functions to ColdFusion Components -- onMissingTemplate()—Error Handler and So Much More -- “Say...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
14
Sumário:
“...PL/SQL Fundamentals -- Essential SQL -- Looping and Logic -- Functions, Packages, and Procedures...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
15
Publicado em 2006
Sumário:
“... Developing a Dynamic OCL Constraint Enforcement Tool for Java -- OCL and Graph-Transformations – A Symbiotic...”Obter o texto integral
Recurso Electrónico
livro electrónico
16
Por Fitzgerald, John., Fitzgerald, John., Larsen, Peter Gorm., Mukherjee, Paul., Plat, Nico., Verhoef, Marcel.
Publicado em 2005
Sumário:
“... -- Modelling Object-oriented Systems in VDM++ -- Defining Data -- Defining Functionality -- Modelling Unordered...”Publicado em 2005
Obter o texto integral
Recurso Electrónico
livro electrónico
17
Publicado em 2010
Sumário:
“... Universality Checking -- Liveness -- Automated Termination Analysis for Programs with Second-Order Recursion...”Obter o texto integral
Recurso Electrónico
livro electrónico
18
Publicado em 2010
Sumário:
“... -- Automatic Error Correction of Java Programs -- Range Analysis of Microcontroller Code Using Bit-Level...”Obter o texto integral
Recurso Electrónico
livro electrónico
19
Publicado em 2013
Sumário:
“... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”Obter o texto integral
Recurso Electrónico
livro electrónico
20
Publicado em 2014
Sumário:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”Obter o texto integral
Recurso Electrónico
livro electrónico
- 1
- 2
- Seguinte »
- [2]