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í:
using computers » using computer
computers https » computing https, computers gtt, computers help
program using » programs using, programming using
integer java » integer data, integer base, integer dea
java program » java programs, a program, java programming
using computers » using computer
computers https » computing https, computers gtt, computers help
program using » programs using, programming using
integer java » integer data, integer base, integer dea
java program » java programs, a program, java programming
1
2
Vydáno 2012
Obsah:
“... Programming -- Concurrent Test Generation Using Concolic Multi-trace Analysis -- Java Bytecode Instrumentation...”Získat plný text
Elektronický zdroj
E-kniha
3
Obsah:
“...-To Analysis -- Numeric Domains -- Taming Casting and Wrapping -- A Language Featuring Finite Integer...”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
4
Vydáno 2010
Obsah:
“...-Independent Security -- Cryptographic Protocols -- Secure Multiparty Linear Programming Using Fixed-Point...”Získat plný text
Elektronický zdroj
E-kniha
5
Vydáno 2007
Obsah:
“... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”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:
“...Invited Papers -- Refactoring Using Type Constraints -- Programming Language Design and Analysis...”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:
“... the KeY System -- Using KeY -- Proving by Induction -- Java Integers -- Proof Reuse -- IV: Case Studies...”Získat plný text
Elektronický zdroj
E-kniha
11
Vydáno 2007
Obsah:
“... in Partitioned Memory Architectures -- Garbage Collection and Program Analysis -- Using Prefetching to Improve...”Získat plný text
Elektronický zdroj
E-kniha