Search alternatives:
integration session » integration series, integration solutions, integration services
session programs » session programme, pension programs, version programs
programs program » programming program
program java » program jarak, program a, program jom
https » http
1
Published 2013
Table of Contents: ... -- Higher-Order Processes, Functions, and Sessions: A Monadic Integration -- Concurrent Flexible...
View full text
Electronic eBook
2
Table of Contents: ...Java EE Essentials -- Getting Started -- JavaServer Pages -- Advanced JSP Topics -- Java...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... -- On Validity of Program Transformations in the Java Memory Model -- Safe Cross-Language Inheritance -- Session...
View full text
Electronic eBook
4
Table of Contents: ... the Database -- Extending HTTP Sessions with Terracotta -- Clustering Spring -- Integration Modules -- Thread...
View full text
Electronic eBook
5
Table of Contents: ...Hibernate 3 Primer -- An Introduction to Hibernate 3 -- Integrating and Configuring Hibernate...
View full text
Electronic eBook
6
Table of Contents: ... -- to WST -- Eclipse Web Tools Installation -- J2EE Standard Tools Projects -- Session Beans -- Entity Beans...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ...Session 1. Invited Papers -- A Process-Theoretic Look at Automata -- Verification, Performance...
View full text
Electronic eBook
8
Published 2008
Table of Contents: ... with Language-Based Security Policies -- Termination Analysis of Java Bytecode -- Sessions and Pipelines...
View full text
Electronic eBook
9
Published 2013
Table of Contents: ... Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects...
View full text
Electronic eBook
10
Published 2005
Table of Contents: ... Passing Platform for Java -- Cluster and Grid -- The Open Run-Time Environment (OpenRTE): A Transparent...
View full text
Electronic eBook
11
Published 2008
Table of Contents: ... by Translating Object-Z to SMV -- Introducing Time in an Industrial Application of Model-Checking -- Integration...
View full text
Electronic eBook
12
Published 2014
Table of Contents: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
View full text
Electronic eBook
13
Published 2005
Table of Contents: ... of Workflow Applications in JavaSymphony -- Session V - Systems Software -- Using Clustering to Address...
View full text
Electronic eBook
14
Published 2005
Table of Contents: ... Modification of Planning Scheduler and Fuzzy Logic Control Law Response -- Integrated Tool for Testing Timed...
View full text
Electronic eBook
15
Published 2005
Table of Contents: ...Keynote Address I -- Processor Architecture for Trustworthy Computers -- Session 1A: Energy...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ... -- Uncertain Reasoning and Decision Making -- Diagnosing Java Programs with Static Abstractions of Data...
View full text
Electronic eBook
17
Published 2008
Table of Contents: ... -- Mining Natural Language Programming Directives with Class-Oriented Bayesian Networks -- Boosting over...
View full text
Electronic eBook
18
Published 2014
Table of Contents: ... with multiplicity structures -- Signature-based Method of Deciding Program Termination -- High-precision eigenvalue...
View full text
Electronic eBook