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
1
Por Friesen, Jeff., Friesen, Jeff.
Publicado em 2011
Assuntos: ...Java (Computer program language)....
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
Por Simon, Axel., Simon, Axel.
Publicado em 2008
Sumário: ...-To Analysis -- Numeric Domains -- Taming Casting and Wrapping -- A Language Featuring Finite Integer...
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
Por Lopez, Cesar., Lopez, Cesar.
Publicado em 2014
Assuntos: ...Programming languages (Electronic computers)....
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
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