1
by Hunt, John., Hunt, John.
Published 2014
Table of Contents: ... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...
View full text
Electronic eBook
2
by Daggett, Mark E., Daggett, Mark E.
Published 2013
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
3
by Sharan, Kishori., Sharan, Kishori.
Published 2014
Subjects: ...Java. https://scigraph.springernature.com/ontologies/product-market-codes/I29070...
View full text
Electronic eBook
4
by Brooks, David R., Brooks, David R.
Published 2011
Table of Contents: ... -- Fundamentals of the JavaScript Language -- Using Arrays in HTML/JavaScript -- JavaScript Functions -- Creating...
View full text
Electronic eBook
5
by Klawonn, Frank., Klawonn, Frank.
Published 2012
Table of Contents: ... Reality -- Useful Links -- Example Programs -- References to Java 2D Classes and Methods -- References...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ...Keynote Addresses -- Software Testing Forever: Old and New Processes and Techniques for Validating...
View full text
Electronic eBook
7
Published 2014
Table of Contents: ... System Development -- Agile Software Development in Practice -- Part Agile Challenges and Contracting...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ...Third Workshop on Highly Parallel Processing on a Chip (HPPC 2009) -- HPPC 2009: 3rd Workshop...
View full text
Electronic eBook
9
Table of Contents: ... -- The Processing Pipeline -- The Controller Menagerie -- The View Layer -- Supported View Types -- Validation...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ... for Solving Parametric Linear Systems Whose Input Data Are Rational Functions of Interval Parameters -- Direct...
View full text
Electronic eBook
11
Subjects: ...Java. https://scigraph.springernature.com/ontologies/product-market-codes/I29070...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... Logical Systems -- The Description Logic for Relational Databases -- Non-Functional Requirements...
View full text
Electronic eBook
13
Published 2007
Table of Contents: ... -- Automatic Merging of Work Items in Business Process Management Systems -- Complex Events in Business...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... -- Remote Attestation on Function Execution (Work-in-Progress) -- Scalable Remote Attestation with Privacy...
View full text
Electronic eBook
15
Published 2011
Table of Contents: ...From the content: Patterns improving the Common Criteria compliant IT security development process...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ... System Equivalent to a Model Checker -- Instant Polymorphic Type Systems for Mobile Process Calculi: Just...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ... Systems -- Session 7 -- A Quick Tour of the VeriFast Program Verifier -- Verification of Tree-Processing...
View full text
Electronic eBook
18
Published 2007
Table of Contents: ...: Operationally, Denotationally, Axiomatically -- Immutable Objects for a Java-Like Language -- Process Algebraic...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... with Separation Logic -- A PolyTime Functional Language from Light Linear Logic -- Testing Polymorphic Properties...
View full text
Electronic eBook
20
Published 2015
Table of Contents: ... for a Lazy Functional Language Timed History Preserving Bisimulation and Open Maps -- Process Opacity...
View full text
Electronic eBook