1
Por Horstmann, Cay S.
Publicado em 2013
Assuntos: ...Java (Computer program language)....
Cover image
Livro
2
Sumário: ... to Java Mapping -- Important Elements of the ORB Runtime -- A First Example -- Generating Remote Objects...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2006
Sumário: ...Tutorials -- A Tutorial on Feature Oriented Programming and the AHEAD Tool Suite -- Model Driven...
Obter o texto integral
Recurso Electrónico livro electrónico
4
Por Dawood, Kareem Abbas
Publicado em 2017
Assuntos: ...Text processing (Computer science)...
Obter o texto integral
Thesis
5
Publicado em 2010
Sumário: ... 11: Multicore and Manycore Programming -- Multicore and Manycore Programming -- JavaSymphony: A...
Obter o texto integral
Recurso Electrónico livro electrónico
6
Publicado em 2013
Sumário: ... for the Java Platform -- Ant: A Debugging Framework for MPI Parallel Programs -- Compiler Automatic Discovery...
Obter o texto integral
Recurso Electrónico livro electrónico
7
Publicado em 2008
Sumário: ...Trustworthy Global Computing -- Elimination of Ghost Variables in Program Logics -- Web Service...
Obter o texto integral
Recurso Electrónico livro electrónico
8
Publicado em 2010
Sumário: ... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...
Obter o texto integral
Recurso Electrónico livro electrónico
9
Publicado em 2013
Sumário: ... Reader Server Socket Program in Java and Removal of the Security Vulnerabilities -- Document Library...
Obter o texto integral
Recurso Electrónico livro electrónico
10
Publicado em 2006
Sumário: ... -- Next-Generations Applications -- Analysis of Queries Reaching SHIL on the Web – An Information System...
Obter o texto integral
Recurso Electrónico livro electrónico
11
Publicado em 2010
Sumário: ...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...
Obter o texto integral
Recurso Electrónico livro electrónico
12
Publicado em 2015
Sumário: ...A Trusted Mechanised Specification of JavaScript: One Year On -- Model Checking and Refinements...
Obter o texto integral
Recurso Electrónico livro electrónico
13
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
14
Publicado em 2012
Sumário: ... Sets of Simple Linear Loops -- Definite Expression Aliasing Analysis for Java Bytecode -- Using...
Obter o texto integral
Recurso Electrónico livro electrónico
15
Publicado em 2010
Sumário: ... Rerouting and IP Fast Reroute -- Load Modeling and Generation for IP-Based Networks: A Unified Approach...
Obter o texto integral
Recurso Electrónico livro electrónico
16
Publicado em 2006
Sumário: ...Invited Papers -- Global Optimization of Probabilistically Constrained Linear Programs...
Obter o texto integral
Recurso Electrónico livro electrónico
17
Publicado em 2005
Sumário: ... Production on the Grid -- High Throughput Computing for Spatial Information Processing (HIT-SIP) System...
Obter o texto integral
Recurso Electrónico livro electrónico
18
Publicado em 2013
Sumário: ....- Automatic Performance Model Generation for Java Enterprise Edition (EE) Applications.- Canonical...
Obter o texto integral
Recurso Electrónico livro electrónico
19
Publicado em 2010
Sumário: ... Cells/Networks -- Three-dimensional Computer Modeling and Architectural Design Process #x2013; A...
Obter o texto integral
Recurso Electrónico livro electrónico
20
Publicado em 2006
Sumário: ... Processing -- A Novel Scheme for the Parallel Computation of SVDs -- Cache-Optimal Data-Structures...
Obter o texto integral
Recurso Electrónico livro electrónico