Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs developing » projects developing, program development, process developing
function detection » mutation detection, reaction detection, action detection
detection programs » detection program, deletion programs, selection programs
developing java » developing a, developing asia, developing areas
https » http
programs developing » projects developing, program development, process developing
function detection » mutation detection, reaction detection, action detection
detection programs » detection program, deletion programs, selection programs
developing java » developing a, developing asia, developing areas
https » http
1
Published 2013
Table of Contents:
“... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”View full text
Electronic
eBook
2
Published 2005
Table of Contents:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”View full text
Electronic
eBook
3
Published 2015
Table of Contents:
“... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”View full text
Electronic
eBook
4
Published 2015
Table of Contents:
“... Processing To Extract poly(A) Sites -- Analysis of poly(A) Site Choice Using A Java-Based Clustering...”View full text
Electronic
eBook
5
Published 2012
Table of Contents:
“... Security Constraints -- Customizing protocol specifications for detecting resource exhaustion and guessing...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... Development and Programming of Multi-core SoC -- HPPC 2009 Panel: Are Many-Core Computer Vendors on Track...”View full text
Electronic
eBook
7
Published 2012
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”View full text
Electronic
eBook
8
Published 2007
Table of Contents:
“... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”View full text
Electronic
eBook
10
Published 2007
Table of Contents:
“... Clustering Coefficients of Small-World Networks -- Detecting Invisible Relevant Persons in a Homogeneous...”View full text
Electronic
eBook
11
Published 2013
Table of Contents:
“... on Probability-Possibility Transformation -- Functional Verification of Class Invariants in CleanJava...”View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“... -- Application of Safety Analyses in Model Driven Development -- Mission Modes for Safety Critical Java -- Safety...”View full text
Electronic
eBook
13
Published 2007
Table of Contents:
“... and JavaServer Faces -- On Refining XML Artifacts -- Mixup: A Development and Runtime Environment for Integration...”View full text
Electronic
eBook
14
Published 2005
Table of Contents:
“... Paths Between XML Documents Using Sequential Patterns -- Web Information Systems Development -- Using...”View full text
Electronic
eBook
15
Published 2007
Table of Contents:
“... Applications in Java 2 Micro Edition -- Pitfalls of Agent System Development on the Basis of a Travel Support...”View full text
Electronic
eBook