Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs functionality » program functionality, programs functional, properties functionality
processing tutorials » processing materials, programming tutorials, processing tools
functionality design » functional design, function design, functionality needs
tutorials programs » tutorial programs, tutorial program, tutoring programs
design https » vision https
programs functionality » program functionality, programs functional, properties functionality
processing tutorials » processing materials, programming tutorials, processing tools
functionality design » functional design, function design, functionality needs
tutorials programs » tutorial programs, tutorial program, tutoring programs
design https » vision https
1
Published 2006
Table of Contents:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”View full text
Electronic
eBook
2
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
3
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
Published 2005
Table of Contents:
“...Programming with Explicit Security Policies -- Trace Partitioning in Abstract Interpretation Based...”View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“... for Automated Reasoning About Pointer Programs -- Bisimulations for Untyped Imperative Objects -- A Typed...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“...-Supporting the Definition of Software Measurement Programs -- Predicting Software Metrics at Design Time -- A...”View full text
Electronic
eBook
6
Published 2007
Table of Contents:
“... Approach to Service-Oriented Analysis and Design -- Improving the Problem Management Process from Knowledge...”View full text
Electronic
eBook
7
Advances in Multimedia Information Processing - PCM 2005 6th Pacific Rim Conference on Multimedia...
Published 2005
Table of Contents:
“... Partitioning -- Dimension-Reduction Technique for MPEG-7 Audio Descriptors -- Design of an Asynchronous Switch...”View full text
Electronic
eBook
8
Embedded System Design: Topics, Techniques and Trends IFIP TC10 Working Conference: International...
Published 2007
Table of Contents:
“...: Towards Flexible Borders -- Tutorials -- Embedded SW Design Space Exploration and Automation using UML...”View full text
Electronic
eBook
9
Published 2013
Table of Contents:
“...Theoretical Considerations -- Tutorial: Graphical Calculus for Quantum Circuits -- One-Way...”View full text
Electronic
eBook
10
Published 2007
Table of Contents:
“... on Satisfiability Modulo Theories -- A JML Tutorial: Modular Specification and Verification of Functional Behavior...”View full text
Electronic
eBook
11
Published 2006
Table of Contents:
“... -- Reinventing Machine Learning with ROC Analysis -- Cocktail Party Processing -- AI in Education and Intelligent...”View full text
Electronic
eBook
12
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
13
Published 2011
Table of Contents:
“... Geometric Algebra -- Part III: Image Processing -- Quaternion Atomic Function for Image Processing -- Color...”View full text
Electronic
eBook
14
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
15
Published 2008
Table of Contents:
“... Relational Knowledge -- Developing Robust Synthetic Biology Designs Using a Microfluidic Robot Scientist...”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
by Coello Coello, Carlos., Coello Coello, Carlos., Lamont, Gary B., van Veldhuizen, David A.
Published 2007
Subjects:
“...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”Published 2007
View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“... Papers -- MDA Tool for Telecom Service Functional Design -- A NUI Based Multiple Perspective Variability...”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