Sugestões de Tópicos dentro de sua pesquisa.
Sugestões de Tópicos dentro de sua pesquisa.
Pesquisas alternativas:
computers 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
computers 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
Assuntos:
“...Java (Computer program language)....”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
2
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
3
Publicado em 2010
Sumário:
“...-Independent Security -- Cryptographic Protocols -- Secure Multiparty Linear Programming Using Fixed-Point...”Obter o texto integral
Recurso Electrónico
livro electrónico
4
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
5
Sumário:
“...-To Analysis -- Numeric Domains -- Taming Casting and Wrapping -- A Language Featuring Finite Integer...”
Obter o texto integral
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:
“...Invited Papers -- Refactoring Using Type Constraints -- Programming Language Design and Analysis...”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:
“... the KeY System -- Using KeY -- Proving by Induction -- Java Integers -- Proof Reuse -- IV: Case Studies...”Obter o texto integral
Recurso Electrónico
livro electrónico
11
Publicado em 2007
Sumário:
“... in Partitioned Memory Architectures -- Garbage Collection and Program Analysis -- Using Prefetching to Improve...”Obter o texto integral
Recurso Electrónico
livro electrónico