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