Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
generation computer » generation computers, decoration computer, integration computer
computer processing » computer programming
programs java » programs a, programs case, programs asia
program java » program jarak, program a, program jom
https » http
generation computer » generation computers, decoration computer, integration computer
computer processing » computer programming
programs java » programs a, programs case, programs asia
program java » program jarak, program a, program jom
https » http
1
Table of Contents:
“... to Java Mapping -- Important Elements of the ORB Runtime -- A First Example -- Generating Remote Objects...”
View full text
View full text
Electronic
eBook
2
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
Published 2010
Table of Contents:
“... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...”View full text
Electronic
eBook
3
Published 2006
Table of Contents:
“...Tutorials -- A Tutorial on Feature Oriented Programming and the AHEAD Tool Suite -- Model Driven...”View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“...Invited Papers -- Global Optimization of Probabilistically Constrained Linear Programs...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“...Trustworthy Global Computing -- Elimination of Ghost Variables in Program Logics -- Web Service...”View full text
Electronic
eBook
6
Published 2013
Table of Contents:
“... for the Java Platform -- Ant: A Debugging Framework for MPI Parallel Programs -- Compiler Automatic Discovery...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... 11: Multicore and Manycore Programming -- Multicore and Manycore Programming -- JavaSymphony: A...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...”View full text
Electronic
eBook
9
Published 2015
Table of Contents:
“...A Trusted Mechanised Specification of JavaScript: One Year On -- Model Checking and Refinements...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... Rerouting and IP Fast Reroute -- Load Modeling and Generation for IP-Based Networks: A Unified Approach...”View full text
Electronic
eBook
11
Published 2012
Table of Contents:
“... Sets of Simple Linear Loops -- Definite Expression Aliasing Analysis for Java Bytecode -- Using...”View full text
Electronic
eBook
12
Published 2006
Table of Contents:
“... -- Next-Generations Applications -- Analysis of Queries Reaching SHIL on the Web – An Information System...”View full text
Electronic
eBook
13
Published 2013
Table of Contents:
“... Reader Server Socket Program in Java and Removal of the Security Vulnerabilities -- Document Library...”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”View full text
Electronic
eBook
15
Published 2014
Table of Contents:
“... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“... Production on the Grid -- High Throughput Computing for Spatial Information Processing (HIT-SIP) System...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“...Invited Talks -- Games, Interaction and Computation -- Rôle of Domain Engineering in Software...”View full text
Electronic
eBook
18
Published 2006
Table of Contents:
“... the Analytic Hierarchy Process -- From Specification to Experimentation: A Software Component Search Engine...”View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“... the SPIN Model Checker -- Symbolic Context-Bounded Analysis of Multithreaded Java Programs -- Efficient...”View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“... Engineering -- Verification of Java Programs with Generics -- Domain Axioms for a Family of Near-Semirings...”View full text
Electronic
eBook