Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs function » programs functional, programme function, programs fiction
java programs » java programming
function case » function based, function phase, function core
program java » program jarak, program a, program jom
case https » care https, use https, change https
programs function » programs functional, programme function, programs fiction
java programs » java programming
function case » function based, function phase, function core
program java » program jarak, program a, program jom
case https » care https, use https, change https
1
Published 2013
Table of Contents:
“... Functional Formalizations – A Type-Theoretical Case Study in PVS -- Functional Semantics -- Why Functional...”View full text
Electronic
eBook
2
Published 2012
Table of Contents:
“... Atomicity for Java -- Ownership Types for Object Synchronisation -- A Functional View of Imperative...”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
Subjects:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text
View full text
Electronic
eBook
5
Table of Contents:
“...Introducing Modern JavaScript -- Modern JavaScript Programming -- Professional Java...”
View full text
View full text
Electronic
eBook
6
Table of Contents:
“... Validation Techniques -- Modern JavaScript Case Study: A Dynamic Gallery -- Using Third-Party JavaScript....”
View full text
View full text
Electronic
eBook
7
Published 2013
Table of Contents:
“... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”View full text
Electronic
eBook
8
Published 2013
Table of Contents:
“... for Computing Ordinal Conditional Functions Using Constraint Logic Programming -- A Descriptive Approach...”View full text
Electronic
eBook
9
Published 2015
Table of Contents:
“... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”View full text
Electronic
eBook
10
Table of Contents:
“... Options -- Digital Options -- Special Case Barrier Options -- Other Exotics....”
View full text
View full text
Electronic
eBook
11
Table of Contents:
“...1. Getting Started with Java and LibGDX -- 2. Using the LibGDX Framework -- 3. Extending the LibGDX...”
View full text
View full text
Electronic
eBook
12
Published 2014
Table of Contents:
“...Part Agile Development -- UX Design in Agile: A DSDM Case Study -- Agile Principles in the Embedded...”View full text
Electronic
eBook
13
Table of Contents:
“... NetBeans -- Creating a Java Project -- Creating a Web Application Project -- Creating Visual Web...”
View full text
View full text
Electronic
eBook
14
15
Published 2006
Table of Contents:
“...Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine -- Generic Cut...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“... and Testing of Mathematical Functions -- Using AOP for Discovering and Defining Executable Test Cases...”View full text
Electronic
eBook
17
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
18
Published 2012
Table of Contents:
“... -- Program Specialization Via a Software Verification Tool -- Model–Based Analysis Tools for Component...”View full text
Electronic
eBook
19
Table of Contents:
“... Areas -- Bibliography -- General Index -- R Function and Parameter Index -- R Package Index -- R Class...”
View full text
View full text
Electronic
eBook
20
Published 2007
Table of Contents:
“...-Functional MDA Framework -- Information Preserving Bidirectional Model Transformations -- Activity-Driven...”View full text
Electronic
eBook