1
Published 2008
Table of Contents: ... -- Exposing the Programming Process -- Apprentice-Based Learning Via Integrated Lectures and Assignments...
View full text
Electronic eBook
2
Published 2006
Table of Contents: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... Perspective -- Composable Spiral Processes for COTS-Based Application Development -- Posters -- Heterogeneous...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...
View full text
Electronic eBook
5
Published 2005
Table of Contents: ...Programming with Explicit Security Policies -- Trace Partitioning in Abstract Interpretation Based...
View full text
Electronic eBook
6
Published 2006
Table of Contents: ...Types for Hierarchic Shapes -- Linear Regions Are All You Need -- Type-Based Amortised Heap-Space...
View full text
Electronic eBook
7
Published 2008
Table of Contents: ... Inhibitors - A Case Study -- Impact of Base Functional Component Types on Software Functional Size Based...
View full text
Electronic eBook
8
Published 2007
Table of Contents: ... -- Processes and Methods -- A Component-Based Process for Developing Automotive ECU Software -- A Systematic...
View full text
Electronic eBook
9
Published 2005
Table of Contents: ... -- On the Implementation of Gentle Phone’s Function Based on PSOLA Algorithm -- A Novel Blind Equalizer Based on Dual-Mode...
View full text
Electronic eBook
10
by Corke, Peter., Corke, Peter.
Published 2011
Table of Contents: ... and Color -- Image Formation -- Image Processing -- Image Feature Extraction -- Using Multiple Images...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... with Pex: Tutorial -- Software Tool Issues -- Software Testing Based on Formal Specification -- A...
View full text
Electronic eBook
12
Published 2006
Table of Contents: ... -- Reinventing Machine Learning with ROC Analysis -- Cocktail Party Processing -- AI in Education and Intelligent...
View full text
Electronic eBook
13
Published 2006
Table of Contents: ... Components Selection -- A State-of-the-Practice Survey of Off-the-Shelf Component-Based Development Processes...
View full text
Electronic eBook
14
Published 2014
Table of Contents: ... -- Tissue Systems and Petri Net Synthesis -- A Coloured Petri Net Approach to the Functional and Performance...
View full text
Electronic eBook
15
Published 2008
Table of Contents: ... -- Towards the Self-regulation of Personality-Based Social Exchange Processes in Multiagent Systems...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ... -- Tutorials -- Advanced Message Passing and Threading Issues -- Using MPI-2: A Problem-Based Approach...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ... the Participants of Architectural Patterns -- Software Architecture Recovery Process Based on Object-Oriented...
View full text
Electronic eBook
19
Published 2005
Table of Contents: ... Relations -- Languages and Process Calculi for Network Aware Programming – Short Summary - -- Stochastic...
View full text
Electronic eBook
20
Published 2013
Table of Contents: ... -- Applications of Coloured Petri Nets for Functional Validation of Protocol Designs -- Business Process Modeling...
View full text
Electronic eBook