1
Publicado 2008
Table of Contents: ... -- Exposing the Programming Process -- Apprentice-Based Learning Via Integrated Lectures and Assignments...
Ligazón do recurso
Electrónico eBook
2
Publicado 2006
Table of Contents: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
Ligazón do recurso
Electrónico eBook
3
Publicado 2010
Table of Contents: ... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...
Ligazón do recurso
Electrónico eBook
4
Publicado 2006
Table of Contents: ...Invited Talk 1 -- Type Processing by Constraint Reasoning -- Session 1 -- Principal Type Inference...
Ligazón do recurso
Electrónico eBook
5
Publicado 2005
Table of Contents: ...Programming with Explicit Security Policies -- Trace Partitioning in Abstract Interpretation Based...
Ligazón do recurso
Electrónico eBook
6
Publicado 2006
Table of Contents: ... for Automated Reasoning About Pointer Programs -- Bisimulations for Untyped Imperative Objects -- A Typed...
Ligazón do recurso
Electrónico eBook
7
Publicado 2008
Table of Contents: ...Keynote Addresses -- Software Testing Forever: Old and New Processes and Techniques for Validating...
Ligazón do recurso
Electrónico eBook
8
Publicado 2007
Table of Contents: ... Set of Software Engineering Roles for a Multinational Organization -- Software Process Improvement...
Ligazón do recurso
Electrónico eBook
9
Publicado 2005
Table of Contents: ...-Efficient Cooperative Image Processing in Video Sensor Networks -- Mathematical PSNR Prediction Model...
Ligazón do recurso
Electrónico eBook
10
Publicado 2010
Table of Contents: ...Software Testing: An Overview -- Functional, Control and Data Flow, and Mutation Testing: Theory...
Ligazón do recurso
Electrónico eBook
11
por Corke, Peter., Corke, Peter.
Publicado 2011
Table of Contents: ... and Color -- Image Formation -- Image Processing -- Image Feature Extraction -- Using Multiple Images...
Ligazón do recurso
Electrónico eBook
12
Subjects: ...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...
Ligazón do recurso
Electrónico eBook
13
Publicado 2006
Table of Contents: ... -- Reinventing Machine Learning with ROC Analysis -- Cocktail Party Processing -- AI in Education and Intelligent...
Ligazón do recurso
Electrónico eBook
14
Publicado 2014
Table of Contents: ... -- Tissue Systems and Petri Net Synthesis -- A Coloured Petri Net Approach to the Functional and Performance...
Ligazón do recurso
Electrónico eBook
15
Publicado 2006
Table of Contents: ... Components Selection -- A State-of-the-Practice Survey of Off-the-Shelf Component-Based Development Processes...
Ligazón do recurso
Electrónico eBook
16
Publicado 2008
Table of Contents: ... -- Tutorials -- Logic, Probability and Learning, or an Introduction to Statistical Relational Learning -- Text...
Ligazón do recurso
Electrónico eBook
17
Publicado 2010
Table of Contents: ... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...
Ligazón do recurso
Electrónico eBook
18
Publicado 2005
Table of Contents: ... -- Tutorials -- Advanced Message Passing and Threading Issues -- Using MPI-2: A Problem-Based Approach...
Ligazón do recurso
Electrónico eBook
19
Publicado 2010
Table of Contents: ... Process of Students -- Towards Architecture-Centric Software Generation -- An Architectural Blueprint...
Ligazón do recurso
Electrónico eBook
20
Publicado 2013
Table of Contents: ... -- Applications of Coloured Petri Nets for Functional Validation of Protocol Designs -- Business Process Modeling...
Ligazón do recurso
Electrónico eBook