Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program functionality » protein functionality, programs functional, supra functionality
processing tutorials » processing materials, programming tutorials, processing tools
functionality using » functionality business, functionality design, functioning using
tutorials program » tutorial program, tutorial programs, tutoring program
using https » using http, nursing https, aging https
program functionality » protein functionality, programs functional, supra functionality
processing tutorials » processing materials, programming tutorials, processing tools
functionality using » functionality business, functionality design, functioning using
tutorials program » tutorial program, tutorial programs, tutoring program
using https » using http, nursing https, aging https
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:
“...Invited Talks -- Why Use Datalog to Analyze Programs? -- Semantic Web: The Story of the RIFt so Far...”View full text
Electronic
eBook
3
Published 2006
Table of Contents:
“...Invited Talk 1 -- Type Processing by Constraint Reasoning -- Session 1 -- Principal Type Inference...”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
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
Published 2005
Table of Contents:
“... with Recursion -- Determinacy Inference for Logic Programs -- Automatic Verification of Pointer Programs Using...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“...Keynote Addresses -- Software Testing Forever: Old and New Processes and Techniques for Validating...”View full text
Electronic
eBook
7
Published 2007
Table of Contents:
“... -- Software Verification Process Improvement Proposal Using Six Sigma -- Software Development Improvement...”View full text
Electronic
eBook
8
Advances in Multimedia Information Processing - PCM 2005 6th Pacific Rim Conference on Multimedia...
Published 2005
Table of Contents:
“... -- Broadcast Synchronizing System Using Audio Watermark -- Realistic Broadcasting Using Multi-modal Immersive...”View full text
Electronic
eBook
9
Table of Contents:
“...Preface -- A Tutorial Introduction to MATLAB® -- Linear Discrete Dynamical Systems -- Nonlinear...”
View full text
View full text
Electronic
eBook
10
Table of Contents:
“... and Color -- Image Formation -- Image Processing -- Image Feature Extraction -- Using Multiple Images...”
View full text
View full text
Electronic
eBook
11
Published 2006
Table of Contents:
“... Simulator for Brazilian Wholesale Electricity Energy Market -- Using IDEF0 to Enhance Functional Analysis...”View full text
Electronic
eBook
12
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
13
Published 2008
Table of Contents:
“... Relational Knowledge -- Developing Robust Synthetic Biology Designs Using a Microfluidic Robot Scientist...”View full text
Electronic
eBook
14
Published 2005
Table of Contents:
“... -- Tutorials -- Advanced Message Passing and Threading Issues -- Using MPI-2: A Problem-Based Approach...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“... Process of Students -- Towards Architecture-Centric Software Generation -- An Architectural Blueprint...”View full text
Electronic
eBook
17
Published 2005
Table of Contents:
“... Relations -- Languages and Process Calculi for Network Aware Programming – Short Summary - -- Stochastic...”View full text
Electronic
eBook
18
Published 2008
Table of Contents:
“...-the-Box Attacks -- Invited Tutorials -- Assertion-Based Verification: Industry Myths to Realities (Invited...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“... -- Inductive Synthesis of Recursive Functional Programs -- Training on the Job — Collecting Experience...”View full text
Electronic
eBook
20
Published 2007
Table of Contents:
“... Bisimilarity of Normed Context-Free Processes Using Tableau -- Linear Context Free Languages -- FM for FMS...”View full text
Electronic
eBook