Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
https functionality » its functionality, bags functionality, cross functionality
functionality based » functional based, functionality needs, functionality business
program practice » programs practices
practice https » practice has, practice hot, pragmatics https
based https » based http
https functionality » its functionality, bags functionality, cross functionality
functionality based » functional based, functionality needs, functionality business
program practice » programs practices
practice https » practice has, practice hot, pragmatics https
based https » based http
1
Published 2006
Table of Contents:
“... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...”View full text
Electronic
eBook
2
Published 2011
Subjects:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”View full text
Electronic
eBook
3
Table of Contents:
“... Firing -- Event-Based Interaction Patterns -- Functional Roles -- Case Study 1: A System Browser -- Case...”
View full text
View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“...Invited Lecture -- Back to the Complexity of Universal Programs -- Applications Track Long Papers...”View full text
Electronic
eBook
5
Table of Contents:
“...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...”
View full text
View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“...Genetic Programming: Theory and Practice -- Evolving Swarming Agents in Real Time -- Automated...”View full text
Electronic
eBook
7
Published 2013
Table of Contents:
“...Evolving SQL Queries from Examples with Developmental Genetic Programming -- A Practical Platform...”View full text
Electronic
eBook
8
Published 2014
Table of Contents:
“... Portfolio using Genetic Programming-based Load Models -- Maintenance of a Long Running Distributed Genetic...”View full text
Electronic
eBook
9
Published 2005
Table of Contents:
“...Genetic Programming: Theory and Practice -- Discovering Financial Technical Trading Rules Using...”View full text
Electronic
eBook
10
Published 2015
Table of Contents:
“... of Novel Genetic Models of Glaucoma using the "Emergent" Genetic Programming-Based Artificial Intelligence...”View full text
Electronic
eBook
11
Published 2013
Table of Contents:
“... -- Constraint-Based Program Reasoning with Heaps and Separation -- Model Combinators for Hybrid Optimization...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“...-Based Constraint Programming -- A Complete Multi-valued SAT Solver -- Exact Cover via Satisfiability...”View full text
Electronic
eBook
13
Published 2012
Table of Contents:
“...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”View full text
Electronic
eBook
14
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
Published 2010
Table of Contents:
“... Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs...”View full text
Electronic
eBook
15
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Published 2015
Table of Contents:
“... Extensions -- Analysis of Asynchronous Programs with Event-Based Synchronization -- A Semantics...”View full text
Electronic
eBook
16
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
17
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
Published 2007
Table of Contents:
“... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”View full text
Electronic
eBook
18
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Published 2013
Table of Contents:
“... -- A Discipline for Program Verification Based on Backpointers and Its Use in Observational...”View full text
Electronic
eBook
19
Published 2013
Table of Contents:
“... Functional Statistics in Logic Programming -- Reversible Language Extensions and Their Application...”View full text
Electronic
eBook
20
Published 2005
Table of Contents:
“... Programming -- Role-Based Declarative Synchronization for Reconfigurable Systems -- Towards a More Practical...”View full text
Electronic
eBook