1
Published 2012
Table of Contents: ... Approximation of Continuous Systems with Trapezoid Step Functions -- Signedness-Agnostic Program Analysis...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... Encodings and Dependent Types -- Functional and Logic Programming -- Programming in JoCaml (Tool...
View full text
Electronic eBook
3
Published 2014
Table of Contents: ...: Rethinking the Lean Concept of ‘Waste’ in Modern Software Development -- Examining the Structure of Lean...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...
View full text
Electronic eBook
5
Table of Contents: ... Logarithm Problem -- Elliptic Curve Cryptosystems -- Digital Signatures -- Hash Functions -- Message...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ... Specifications -- Saturated LTSs for Adhesive Rewriting Systems -- A Hoare Calculus for Graph Programs -- Session...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ... for Graph Transformation with Negative Application Conditions -- Adaptive Star Grammars -- Structure...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ... Processes for Real Functions and Ill-posed Toeplitz Problems -- Minimal State-space Realization for a Class...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...
View full text
Electronic eBook
10
Table of Contents: ...# Programming Language -- C# Language Fundamentals -- Object-Oriented Programming with C# 2.0 -- Understanding...
View full text
Electronic eBook
11
Published 2008
Table of Contents: ... Functions on Clustered Workstations with Ethernet and Myrinet -- Dynamic Load Balancing in MPI Jobs...
View full text
Electronic eBook
12
Published 2007
Table of Contents: ... Bayesian Belief Networks and the Goal Structuring Notation to Support Architectural Reasoning About Safety...
View full text
Electronic eBook
13
Published 2006
Table of Contents: ... -- Realizing the Ultimate Amplification in Conducting Polymer Sensors: Isolated Nanoscopic Pathways -- Metal...
View full text
Electronic eBook
14
Published 2006
Table of Contents: ...-Symmetric Graphs: Algorithms and Structure -- Inductive Type Schemas as Functors -- Unfolding Synthesis...
View full text
Electronic eBook
15
Published 2013
Table of Contents: ... Geometry Methods for Protein Structure Determination (Z. Voller, Z. Wu) -- 9. Solving the discretizable...
View full text
Electronic eBook
16
Published 2010
Table of Contents: ... of Alternatives to Including Uncertainty in Structured Population Models, -- Sorting: The Gauss Thermostat...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ... Model in Supply Chain Management Using Fuzzy Goal Programming Approach -- Evaluation of Enterprise...
View full text
Electronic eBook
18
Published 2012
Table of Contents: ... Control for XY-Table -- Application of Fixed-Structure Genetic Programming for Classification -- Variable...
View full text
Electronic eBook
19
Published 2012
Table of Contents: ... Analysis -- Learning Temporal Coherent Features through Life-Time Sparsity.- The Circuit Realization of a...
View full text
Electronic eBook
20
Published 2015
Table of Contents: ... for Generating RWG Function -- Internal AC Fault of Converter Station Based on Modular Multilevel Converter High...
View full text
Electronic eBook