Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
integration selection » interaction selection, integration section, integration detection
selection programs » selection programme, selecting programs, selection progress
programs program » programming program
program java » program jarak, program a, program jom
https » http
integration selection » interaction selection, integration section, integration detection
selection programs » selection programme, selecting programs, selection progress
programs program » programming program
program java » program jarak, program a, program jom
https » http
1
Published 2006
Table of Contents:
“...Frontier Technologies -- Prolog Cafe: A Prolog to Java Translator System -- TURTLE++ – A CIP...”View full text
Electronic
eBook
2
Published 2013
Table of Contents:
“... -- This Java: An Extension of Java with Exact Types -- Semantics of Probabilistic Programs: A Weak Limit...”View full text
Electronic
eBook
3
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Published 2013
Table of Contents:
“...Distributed Electronic Rights in JavaScript -- The Compiler Forest -- Pretty-Big-Step Semantics...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“...-Faithful Non-interference Calculus for Java -- A Java Package for Transparent Code Mobility -- Keynote...”View full text
Electronic
eBook
5
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
6
Published 2012
Table of Contents:
“... -- Simulation of Flexible Objects in Robotics -- Continuous Integration for Iterative Validation of Simulated...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“...Integration of Software Engineering Techniques Through the Use of Architecture, Process, and People...”View full text
Electronic
eBook
8
Published 2014
Table of Contents:
“... to Support Continuous Integration: A Multiple Case Study -- Comparing a Hybrid Testing Process with Scripted...”View full text
Electronic
eBook
9
Published 2010
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... Systems -- Program Logics for Sequential Higher-Order Control -- Modular Schedulability Analysis...”View full text
Electronic
eBook
11
Published 2012
Table of Contents:
“...Modular Verification of Object-Based Programs -- The COST IC0701 Verification Competition 2011...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... as an Integration Concept -- Engineering Object and Agent Methodologies -- I: Programming Languages -- From Static...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“... -- Validating Desktop Grid Results By Comparing Intermediate Checkpoints -- Integration of the Enanos Execution...”View full text
Electronic
eBook
14
Published 2008
Table of Contents:
“...# Programming System: Challenges and Directions -- Integrating Static Checking and Interactive Verification...”View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”View full text
Electronic
eBook
16
Published 2013
Table of Contents:
“... History with Database Supported Haskell -- LogicObjects: Enabling Logic Programming in Java through...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... as ADTs -- Towards Dynamic Evolution of Domain Specific Languages -- ScalaQL: Language-Integrated Database...”View full text
Electronic
eBook
18
Published 2005
Table of Contents:
“... -- Integration of a Text Search Engine with a Java Messaging Service -- A Common Conceptual Basis for Analyzing...”View full text
Electronic
eBook
19
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
20
Published 2006
Table of Contents:
“... -- Verification of Component-Based Software Application Families -- Multi Criteria Selection of Components Using...”View full text
Electronic
eBook