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 2010
Table of Contents: ... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...
View full text
Electronic eBook
4
Published 2006
Table of Contents: ...Invited Talk 1 -- Type Processing by Constraint Reasoning -- Session 1 -- Principal Type Inference...
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: ... for Automated Reasoning About Pointer Programs -- Bisimulations for Untyped Imperative Objects -- A Typed...
View full text
Electronic eBook
7
Published 2008
Table of Contents: ...Keynote Addresses -- Software Testing Forever: Old and New Processes and Techniques for Validating...
View full text
Electronic eBook
8
Published 2007
Table of Contents: ... Set of Software Engineering Roles for a Multinational Organization -- Software Process Improvement...
View full text
Electronic eBook
9
Published 2005
Table of Contents: ...-Efficient Cooperative Image Processing in Video Sensor Networks -- Mathematical PSNR Prediction Model...
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: ...Software Testing: An Overview -- Functional, Control and Data Flow, and Mutation Testing: Theory...
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 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
14
Published 2008
Table of Contents: ... -- Tutorials -- Logic, Probability and Learning, or an Introduction to Statistical Relational Learning -- Text...
View full text
Electronic eBook
15
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
16
Published 2010
Table of Contents: ... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...
View full text
Electronic eBook
17
Published 2005
Table of Contents: ... -- Tutorials -- Advanced Message Passing and Threading Issues -- Using MPI-2: A Problem-Based Approach...
View full text
Electronic eBook
18
Subjects: ...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... Process of Students -- Towards Architecture-Centric Software Generation -- An Architectural Blueprint...
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