Sugestões de Tópicos dentro de sua pesquisa.
Sugestões de Tópicos dentro de sua pesquisa.
Pesquisas alternativas:
modelling computing » modeling computing, modeling competing, modelling computer
program modelling » problem modelling, programming modelling, problems modelling
integer java » integer data, integer base, integer dea
java program » java programs, a program, java programming
https* » http*
modelling computing » modeling computing, modeling competing, modelling computer
program modelling » problem modelling, programming modelling, problems modelling
integer java » integer data, integer base, integer dea
java program » java programs, a program, java programming
https* » http*
1
Publicado em 2008
Sumário:
“... -- Program Analysis and Programming Languages for Security -- An Improved Tight Closure Algorithm for Integer...”Obter o texto integral
Recurso Electrónico
livro electrónico
2
Sumário:
“... -- Extensions -- Integer Programming -- Quadratic Programming -- Convex Programming....”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
3
Publicado em 2012
Sumário:
“... Programming -- Concurrent Test Generation Using Concolic Multi-trace Analysis -- Java Bytecode Instrumentation...”Obter o texto integral
Recurso Electrónico
livro electrónico
4
Publicado em 2010
Sumário:
“... -- IntPatch: Automatically Fix Integer-Overflow-to-Buffer-Overflow Vulnerability at Compile-Time -- A Theory...”Obter o texto integral
Recurso Electrónico
livro electrónico
5
Publicado em 2007
Sumário:
“... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”Obter o texto integral
Recurso Electrónico
livro electrónico
6
Publicado em 2006
Sumário:
“... Constraint Propagation -- Approximability of Integer Programming with Generalised Constraints -- When...”Obter o texto integral
Recurso Electrónico
livro electrónico
7
Assuntos:
“...Programming languages (Electronic computers)....”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
8
Publicado em 2007
Sumário:
“... Abstraction on Real-Valued Programs -- Taming the Wrapping of Integer Arithmetic -- Under-Approximations...”Obter o texto integral
Recurso Electrónico
livro electrónico
9
Sumário:
“...Appetizer: Integer Arithmetics -- Representing Sequences by Arrays and Linked Lists -- Hash Tables...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
10
Publicado em 2007
Sumário:
“... Integer Linear Programming Formulation -- Extended Linear Scan: An Alternate Foundation for Global...”Obter o texto integral
Recurso Electrónico
livro electrónico