1
Veröffentlicht 2006
Inhaltsangabe: ... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...
Volltext
Elektronisch E-Book
2
Veröffentlicht 2013
Inhaltsangabe: ... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...
Volltext
Elektronisch E-Book
3
Inhaltsangabe: ... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...
Volltext
Elektronisch E-Book
4
Veröffentlicht 2014
Inhaltsangabe: ... Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley -- Heuristic Search Over...
Volltext
Elektronisch E-Book
5
Veröffentlicht 2008
Inhaltsangabe: ... Conformance Checking of Recursive and Parallel Component-Based Systems -- Structural Testing of Component...
Volltext
Elektronisch E-Book
6
Veröffentlicht 2013
Inhaltsangabe: ... -- Testing, Profiling, and Empirical Studies -- What Programmers Do with Inheritance in Java -- Is This a Bug...
Volltext
Elektronisch E-Book
7
Veröffentlicht 2008
Inhaltsangabe: ... with Grammatical Evolution in Java -- Processing and Querying Description Logic Ontologies Using Cartographic...
Volltext
Elektronisch E-Book
8
Veröffentlicht 2010
Inhaltsangabe: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Volltext
Elektronisch E-Book
9
Veröffentlicht 2014
Inhaltsangabe: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Volltext
Elektronisch E-Book
10
Veröffentlicht 2007
Inhaltsangabe: ... -- Application of Safety Analyses in Model Driven Development -- Mission Modes for Safety Critical Java -- Safety...
Volltext
Elektronisch E-Book
11
Veröffentlicht 2005
Inhaltsangabe: ... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...
Volltext
Elektronisch E-Book
12
Veröffentlicht 2010
Inhaltsangabe: ...: Testing of a New Distribution Strategy -- Workshop on Biomathematics, Bioinformatics and Biostatistics...
Volltext
Elektronisch E-Book
13
Schlagworte: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Volltext
Elektronisch E-Book
14
Veröffentlicht 2014
Inhaltsangabe: ... -- Exploring Chaotic Neural Network for Cryptographic Hash Function -- Protocol to Authenticate the Objects...
Volltext
Elektronisch E-Book
15
Veröffentlicht 2008
Inhaltsangabe: ... Structural Unit-Testing on Third-Party Object-Oriented Java Software -- Adaptive Spatial Allocation...
Volltext
Elektronisch E-Book