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