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