1
Inhaltsangabe: ... Problems -- Finite Element Program -- Finite Element Solution -- Finite Element Processor -- Finite Element...
Volltext
Elektronisch E-Book
2
von Lew, Art., Lew, Art., Mauch, Holger.
Veröffentlicht 2007
Inhaltsangabe: ...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...
Volltext
Elektronisch E-Book
3
von Myatt, Adam., Myatt, Adam.
Veröffentlicht 2007
Inhaltsangabe: ... NetBeans -- Creating a Java Project -- Creating a Web Application Project -- Creating Visual Web...
Volltext
Elektronisch E-Book
4
Veröffentlicht 2012
Inhaltsangabe: ... Programming -- Concurrent Test Generation Using Concolic Multi-trace Analysis -- Java Bytecode Instrumentation...
Volltext
Elektronisch E-Book
5
Veröffentlicht 2010
Inhaltsangabe: ... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...
Volltext
Elektronisch E-Book
6
Veröffentlicht 2005
Inhaltsangabe: ...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...
Volltext
Elektronisch E-Book
7
Veröffentlicht 2014
Inhaltsangabe: ... Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley -- Heuristic Search Over...
Volltext
Elektronisch E-Book
8
von Sestoft, Peter., Sestoft, Peter.
Veröffentlicht 2012
Inhaltsangabe: ... -- A First-Order Functional Language -- High-Order Functions -- Polymorphic Types -- Imperative...
Volltext
Elektronisch E-Book
9
Veröffentlicht 2013
Inhaltsangabe: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
Volltext
Elektronisch E-Book
10
Veröffentlicht 2006
Inhaltsangabe: ...Keynote -- Design Patterns – 15 Years Later -- Program Query and Persistence -- codeQuest: Scalable...
Volltext
Elektronisch E-Book
11
Veröffentlicht 2015
Inhaltsangabe: ... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...
Volltext
Elektronisch E-Book
12
Veröffentlicht 2014
Inhaltsangabe: ... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...
Volltext
Elektronisch E-Book
13
Veröffentlicht 2006
Inhaltsangabe: ...Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine -- Generic Cut...
Volltext
Elektronisch E-Book
14
Veröffentlicht 2010
Inhaltsangabe: ... Method for Test Suite Reduction for Regression Testing of Interactions between Software Modules -- A Java...
Volltext
Elektronisch E-Book
15
Veröffentlicht 2010
Inhaltsangabe: ... Functionality and Usage -- Loosely-Coupled Distributed Reactive Programming in Mobile Ad Hoc Networks...
Volltext
Elektronisch E-Book
16
Veröffentlicht 2008
Inhaltsangabe: ... Engineering -- Verification of Java Programs with Generics -- Domain Axioms for a Family of Near-Semirings...
Volltext
Elektronisch E-Book
17
Veröffentlicht 2010
Schlagworte: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Volltext
Elektronisch E-Book
18
Veröffentlicht 2012
Inhaltsangabe: ... -- Program Specialization Via a Software Verification Tool -- Model–Based Analysis Tools for Component...
Volltext
Elektronisch E-Book
19
Inhaltsangabe: ...-Defined Functions to ColdFusion Components -- onMissingTemplate()—Error Handler and So Much More -- “Say...
Volltext
Elektronisch E-Book
20
von Freeman, Adam., Freeman, Adam.
Veröffentlicht 2011
Schlagworte: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Volltext
Elektronisch E-Book