Rekommenderade teman
Rekommenderade teman
1
Innehållsförteckning:
“... -- The Binomial Model -- Analytical Option Pricing Methods -- Sensitivity Measures (The ‘Greeks’) -- Interest Rate...”
Hämta fulltext
Hämta fulltext
Elektronisk
E-bok
2
Innehållsförteckning:
“...Object, Class, Message and Method -- A Quick Tour of Java -- Implementation in Java...”
Hämta fulltext
Hämta fulltext
Elektronisk
E-bok
3
Innehållsförteckning:
“... to Java -- Methods -- Classes -- Subclasses -- Some Useful Classes -- Reference on Primitive Types...”
Hämta fulltext
Hämta fulltext
Elektronisk
E-bok
4
av Juneau, Josh., Juneau, Josh., Baker, Jim., Wierzbicki, Frank., Soto Muoz, Leo., Ng, Victor., Ng, Alex., Baker, Donna L.
Publicerad 2010
Innehållsförteckning:
“... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...”Publicerad 2010
Hämta fulltext
Elektronisk
E-bok
5
Innehållsförteckning:
“...Preface -- Basic Concepts, Protocols and Terminology -- Starting Network Programming in Java...”
Hämta fulltext
Hämta fulltext
Elektronisk
E-bok
6
Innehållsförteckning:
“...1. Getting Started with Java and LibGDX -- 2. Using the LibGDX Framework -- 3. Extending the LibGDX...”
Hämta fulltext
Hämta fulltext
Elektronisk
E-bok
7
Innehållsförteckning:
“...Jython, Java and jHepWork -- to Jython -- Mathematical Functions -- One-dimensional Data -- Two...”
Hämta fulltext
Hämta fulltext
Elektronisk
E-bok
8
Publicerad 2006
Innehållsförteckning:
“... Reasoning About Non-atomic Java Card Methods in Dynamic Logic -- Programming Languages -- Formal...”Hämta fulltext
Elektronisk
E-bok
9
Innehållsförteckning:
“... Self-Dual Method -- Integer Programming -- Quadratic Programming -- Convex Programming....”
Hämta fulltext
Hämta fulltext
Elektronisk
E-bok
10
Innehållsförteckning:
“...Basic Theory—The Simplex Method and Duality -- The Simplex Method -- Degeneracy -- Efficiency...”
Hämta fulltext
Hämta fulltext
Elektronisk
E-bok
11
Publicerad 2015
Innehållsförteckning:
“... the Behaviour of Process -- Education and Verification -- Using Alloy in Introductory Courses of Formal Methods...”Hämta fulltext
Elektronisk
E-bok
12
Publicerad 2005
Innehållsförteckning:
“... Programs -- Specification and Verification of Encapsulation in Java Programs -- Detecting Errors...”Hämta fulltext
Elektronisk
E-bok
13
Innehållsförteckning:
“... of Functional Languages -- General Features of Logic Programming Languages -- Operational Semantics of Prolog...”
Hämta fulltext
Hämta fulltext
Elektronisk
E-bok
14
Publicerad 2014
Innehållsförteckning:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”Hämta fulltext
Elektronisk
E-bok
15
Publicerad 2014
Innehållsförteckning:
“... Reflection Resolution for Java -- Constructing Call Graphs of Scala Programs -- Finding Reference-Counting...”Hämta fulltext
Elektronisk
E-bok
16
Publicerad 2015
Innehållsförteckning:
“... -- Drill & Join: A method for inductive program synthesis -- Program Derivation -- Functional Kleene...”Hämta fulltext
Elektronisk
E-bok
17
Publicerad 2010
Innehållsförteckning:
“... Refactoring of Concurrent Java Code -- Programming Coordinated Behavior in Java -- JCoBox: Generalizing Active...”Hämta fulltext
Elektronisk
E-bok
18
Publicerad 2012
Innehållsförteckning:
“... -- An Evaluation Method for Smart Variable Space in Living Space -- Modeling Robot Behavior with CCL -- Visual...”Hämta fulltext
Elektronisk
E-bok
19
Publicerad 2010
Innehållsförteckning:
“... Method for Test Suite Reduction for Regression Testing of Interactions between Software Modules -- A Java...”Hämta fulltext
Elektronisk
E-bok
20
Publicerad 2010
Innehållsförteckning:
“... Control Model for Tree-Based Representation -- A Method for Analyzing Code Homology in Genealogy...”Hämta fulltext
Elektronisk
E-bok