Sugestões de Tópicos dentro de sua busca.
Sugestões de Tópicos dentro de sua busca.
Buscas alternativas:
programs development » program development, programmes development, programs developmental
function proving » functions proving, function probing, function improving
proving programs » proving program, promising programs, promoting programs
paper https » maker https
programs development » program development, programmes development, programs developmental
function proving » functions proving, function probing, function improving
proving programs » proving program, promising programs, promoting programs
paper https » maker https
1
Publicado em 2012
Sumário:
“... Tactics Using OpenTheory -- Functional Programs: Conversions between Deep and Shallow Embeddings....”Obter o texto integral
Recurso Eletrônico
livro eletrônico
2
Publicado em 2007
Sumário:
“...: Systematic Stress Testing of Concurrent Software -- Program Development -- ARM: Automatic Rule Miner...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
3
Publicado em 2010
Sumário:
“... Development—Why Current Requirements Engineering Is Flawed ! -- Compositional and Quantitative Model Checking...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
4
Publicado em 2010
Sumário:
“... Driven Development -- Session 2. Regular Papers -- Termination in Higher-Order Concurrent Calculi...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
5
Publicado em 2015
Sumário:
“... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
6
Publicado em 2005
Sumário:
“... Evaluation Using Computer-Automated Test Results -- Functional Cluster Analysis of Financial Time Series...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
7
Publicado em 2008
Sumário:
“... Programming -- An Algebra for Features and Feature Composition -- Petri Nets Are Dioids -- Towards...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
8
Publicado em 2005
Sumário:
“... of Cryptographical Boolean Functions -- Algorithm for Proving the Knowledge of an Independent Vertex Set...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
9
Publicado em 2005
Sumário:
“...Invited Papers -- Semiperfect-Information Games -- Computational Complexity Since 1980...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
10
Publicado em 2008
Sumário:
“...Invited Papers -- Logical and Relational Learning -- Transfer Learning by Mapping and Revising...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
11
Publicado em 2008
Sumário:
“... Automaton Model Checking -- Program Verification by Reduction to Semi-algebraic Systems Solving -- Debugging...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
12
Publicado em 2007
Sumário:
“... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
13
Publicado em 2010
Sumário:
“... and Affine Lambda Calculus -- Beluga: A Framework for Programming and Reasoning with Deductive Systems...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
14
Publicado em 2005
Sumário:
“...KEYNOTE SPEECHES -- Ranking Abstraction as Companion to Predicate Abstraction -- Developing High...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
15
Publicado em 2005
Sumário:
“... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
16
Publicado em 2007
Sumário:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
17
Publicado em 2010
Sumário:
“... Development for the Masses: Creating ICD-11 in WebProtégé -- RDFauthor: Employing RDFa for Collaborative...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
18
Publicado em 2006
Sumário:
“... Implementation of Polynomial Arithmetic in a Multiple-Level Programming Environment -- Development of a Maple...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
19
Publicado em 2010
Sumário:
“... Framework for Developing a Web-Based Optimization Decision Support System for Intra/Inter-organizational...”Obter o texto integral
Recurso Eletrônico
livro eletrônico