Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs active » programs action, programs adaptive, programs practices
https function » its function, sites function, ups function
function java » function jane, function jason, function james
active https » practice https, vaccine https, crime https
programs active » programs action, programs adaptive, programs practices
https function » its function, sites function, ups function
function java » function jane, function jason, function james
active https » practice https, vaccine https, crime https
1
Table of Contents:
“... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
View full text
View full text
Electronic
eBook
2
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
Published 2005
Table of Contents:
“... Add Reduction Rules and Close -- Towards a Type System for Analyzing JavaScript Programs -- Java JR...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... -- Experiences with Functional Programming in an Introductory Curriculum -- Learning Programming with the PBL...”View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“... the Network into a Database with Active XML -- Languages -- SuperGlue: Component Programming with Object...”View full text
Electronic
eBook
5
Published 2014
Table of Contents:
“... in Agile Software: An Empirical Study -- Part Testing and Beyond -- Visualizing Testing Activities...”View full text
Electronic
eBook
6
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... Method for Test Suite Reduction for Regression Testing of Interactions between Software Modules -- A Java...”View full text
Electronic
eBook
8
Published 2007
Table of Contents:
“...-Functional MDA Framework -- Information Preserving Bidirectional Model Transformations -- Activity-Driven...”View full text
Electronic
eBook
9
Published 2015
Table of Contents:
“... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”View full text
Electronic
eBook
10
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
11
Published 2015
Table of Contents:
“...A Trusted Mechanised Specification of JavaScript: One Year On -- Model Checking and Refinements...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... Visualization -- Visualization in Bayesian Data Analysis -- Programming Statistical Data Visualization...”View full text
Electronic
eBook
13
Subjects:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text
View full text
Electronic
eBook
14
Published 2005
Table of Contents:
“... -- Injecting Communication Faults to Experimentally Validate Java Distributed Applications -- Implementing...”View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“... Rendering -- Architectures -- Controller Synthesis for Mapping Partitioned Programs on Array Architectures...”View full text
Electronic
eBook
16
Published 2008
Table of Contents:
“... -- Mining Natural Language Programming Directives with Class-Oriented Bayesian Networks -- Boosting over...”View full text
Electronic
eBook
17
Published 2013
Table of Contents:
“... on Probability-Possibility Transformation -- Functional Verification of Class Invariants in CleanJava...”View full text
Electronic
eBook
18
Published 2007
Table of Contents:
“...-device Web Applications with Database Access -- Enriching Hypermedia Application Interfaces -- Functional...”View full text
Electronic
eBook