Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
Alternativní vyhledávání:
modeling computers » modeling computer, modelling computer, modeling computed
program modeling » program modelling, program model, program models
computers https » computing https, computers gtt, computers help
integer java » integer data, integer base, integer dea
java program » java programs, a program, java programming
modeling computers » modeling computer, modelling computer, modeling computed
program modeling » program modelling, program model, program models
computers https » computing https, computers gtt, computers help
integer java » integer data, integer base, integer dea
java program » java programs, a program, java programming
1
Vydáno 2008
Obsah:
“... -- Program Analysis and Programming Languages for Security -- An Improved Tight Closure Algorithm for Integer...”Získat plný text
Elektronický zdroj
E-kniha
2
Obsah:
“... -- Extensions -- Integer Programming -- Quadratic Programming -- Convex Programming....”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
3
Vydáno 2012
Obsah:
“... Programming -- Concurrent Test Generation Using Concolic Multi-trace Analysis -- Java Bytecode Instrumentation...”Získat plný text
Elektronický zdroj
E-kniha
4
Vydáno 2007
Obsah:
“... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”Získat plný text
Elektronický zdroj
E-kniha
5
Vydáno 2010
Obsah:
“... -- IntPatch: Automatically Fix Integer-Overflow-to-Buffer-Overflow Vulnerability at Compile-Time -- A Theory...”Získat plný text
Elektronický zdroj
E-kniha
6
Vydáno 2006
Obsah:
“... Constraint Propagation -- Approximability of Integer Programming with Generalised Constraints -- When...”Získat plný text
Elektronický zdroj
E-kniha
7
Témata:
“...Programming languages (Electronic computers)....”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
8
Vydáno 2007
Obsah:
“... Abstraction on Real-Valued Programs -- Taming the Wrapping of Integer Arithmetic -- Under-Approximations...”Získat plný text
Elektronický zdroj
E-kniha
9
Obsah:
“...Appetizer: Integer Arithmetics -- Representing Sequences by Arrays and Linked Lists -- Hash Tables...”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
10
Vydáno 2007
Obsah:
“... Integer Linear Programming Formulation -- Extended Linear Scan: An Alternate Foundation for Global...”Získat plný text
Elektronický zdroj
E-kniha