1
出版 2008
书本目录: ... -- Experiences with Functional Programming in an Introductory Curriculum -- Learning Programming with the PBL...
获取全文
电子 电子书
2
出版 2007
书本目录: ... Programming Method Based on Structural Analysis and Design Technique -- Approximating Horn Knowledge Bases...
获取全文
电子 电子书
3
出版 2010
书本目录: ... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...
获取全文
电子 电子书
4
出版 2006
书本目录: ... Fine-Grained Join Point Model for More Reusable Aspects -- Automatic Testing of Higher Order Functions...
获取全文
电子 电子书
5
出版 2012
主题: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
获取全文
电子 电子书
6
书本目录: ... with a Real-Time C++ Program on a Board -- 3 An Easy Jump-Start in Real-Time C++ -- 4 Object-Oriented...
获取全文
电子 电子书
7
出版 2014
书本目录: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
获取全文
电子 电子书
8
出版 2005
书本目录: ... Contexts -- Proof Contexts with Late Binding -- The -Calculus. Functional Programming with Higher-Order...
获取全文
电子 电子书
9
出版 2005
书本目录: ...? -- Verification Challenges in Configurable Processor Design with ASIP Meister -- Tutorial -- Towards the Pervasive...
获取全文
电子 电子书
10
书本目录: ... probe microscopy -- Biophysical nanotechnology -- Proteomics: high throughput protein functional...
获取全文
电子 电子书
11
书本目录: ... probe microscopy -- Biophysical nanotechnology -- Proteomics: high throughput protein functional...
获取全文
电子 电子书
12
Hooker, John N., Hooker, John N.
出版 2007
书本目录: ... -- Semicontinuous piecewise linear functions -- 0-1 linear inequalities -- Integer linear inequalities -- Lagrangean...
获取全文
电子 电子书
13
出版 2006
书本目录: ... Control System Tailored to Software Reuse -- Case Study of a Method for Reengineering Procedural Systems...
获取全文
电子 电子书
14
出版 2006
书本目录: ... for Nonlinear Programming -- Factors Affecting the Performance of Optimization-based Multigrid Methods -- A...
获取全文
电子 电子书
15
出版 2008
书本目录: ... -- Tutorials -- Logic, Probability and Learning, or an Introduction to Statistical Relational Learning -- Text...
获取全文
电子 电子书
16
出版 2008
书本目录: ... -- Implementing Efficient Dynamic Formal Verification Methods for MPI Programs -- ValiPVM - A Graphical Tool...
获取全文
电子 电子书
17
书本目录: ... -- Nonhomogenous Media -- Bean: Boundary Element Analysis Program....
获取全文
电子 电子书
18
出版 2010
书本目录: ... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...
获取全文
电子 电子书
19
出版 2005
书本目录: ... -- Tutorials -- Advanced Message Passing and Threading Issues -- Using MPI-2: A Problem-Based Approach...
获取全文
电子 电子书
20
主题: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
获取全文
电子 电子书