Priporočene teme znotraj vašega iskanja.
Priporočene teme znotraj vašega iskanja.
Poišči alternative:
programs using » programming using
computer https » computers https, computer arts, computer hosts
java programs » java programming
integer java » integer data, integer base, integer dea
programs using » programming using
computer https » computers https, computer arts, computer hosts
java programs » java programming
integer java » integer data, integer base, integer dea
1
2
Izdano 2007
Kazalo:
“... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”Polni tekst
Elektronski
eKnjiga
3
Izdano 2010
Kazalo:
“...-Independent Security -- Cryptographic Protocols -- Secure Multiparty Linear Programming Using Fixed-Point...”Polni tekst
Elektronski
eKnjiga
4
Izdano 2012
Kazalo:
“... Programming -- Concurrent Test Generation Using Concolic Multi-trace Analysis -- Java Bytecode Instrumentation...”Polni tekst
Elektronski
eKnjiga
5
Kazalo:
“...-To Analysis -- Numeric Domains -- Taming Casting and Wrapping -- A Language Featuring Finite Integer...”
Polni tekst
Polni tekst
Elektronski
eKnjiga
6
Izdano 2006
Kazalo:
“... Constraint Propagation -- Approximability of Integer Programming with Generalised Constraints -- When...”Polni tekst
Elektronski
eKnjiga
7
8
Izdano 2007
Kazalo:
“...Invited Papers -- Refactoring Using Type Constraints -- Programming Language Design and Analysis...”Polni tekst
Elektronski
eKnjiga
9
Kazalo:
“...Appetizer: Integer Arithmetics -- Representing Sequences by Arrays and Linked Lists -- Hash Tables...”
Polni tekst
Polni tekst
Elektronski
eKnjiga
10
Izdano 2007
Kazalo:
“... the KeY System -- Using KeY -- Proving by Induction -- Java Integers -- Proof Reuse -- IV: Case Studies...”Polni tekst
Elektronski
eKnjiga
11
Izdano 2007
Kazalo:
“... in Partitioned Memory Architectures -- Garbage Collection and Program Analysis -- Using Prefetching to Improve...”Polni tekst
Elektronski
eKnjiga