Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
compositional program » composition programs, computational program, compositional problems
program https » programs https, program has, program help
method https » methods https
compositional program » composition programs, computational program, compositional problems
program https » programs https, program has, program help
method https » methods https
1
Table of Contents:
“...-Reduce -- 9 HTTP -- 10 Screen Scraping -- 11 Web Applications -- 12 E-mail Composition and Decoding -- 14...”
View full text
View full text
Electronic
eBook
2
Table of Contents:
“... Python -- Further Reading -- Exercises -- Data: The First Ingredient of a Program -- What is Data...”
View full text
View full text
Electronic
eBook
3
Table of Contents:
“... Unreliable Channels -- Programs, Semantics and Effective Atomicity -- Implements and Compositionality -- SESF...”
View full text
View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“... with Temporal Logic -- Service Composition with Directories -- Modeling Composition in Dynamic Programming...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“...Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“... and Efficiency -- Newton’s Method for ?-Continuous Semirings -- Track B: Logic, Semantics, and Theory...”View full text
Electronic
eBook
7
Subjects:
“...Statistics and Computing/Statistics Programs. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook
8
Table of Contents:
“... in Rule Program Verification -- Chap. 9 - A Verification Method for Rule Programs -- Chap. 10...”
View full text
View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... to Pervasively Verified Applications -- A Compositional Method for Deciding Equivalence and Termination...”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“..., Compositional, and On-The-Fly Verification Methods -- Chunks: Component Verification in CSP ? B -- Session...”View full text
Electronic
eBook
11
Published 2014
Table of Contents:
“... formal methods, e.g., abstraction and symbolic methods -- Compositional techniques -- Parallel...”View full text
Electronic
eBook
12
Published 2012
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”View full text
Electronic
eBook
13
Published 2011
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”View full text
Electronic
eBook
14
Published 2014
Table of Contents:
“... Errors in Python/C Programs with Affine Analysis -- Safely Composable Type-Specific Languages -- Graceful...”View full text
Electronic
eBook
15
by van den Boogaart, K. Gerald., van den Boogaart, K. Gerald., Tolosana-Delgado, Raimon.
Published 2013
Table of Contents:
“...Introduction -- Fundamental Concepts of Compositional Data Analysis -- Distributions for Random...”Published 2013
View full text
Electronic
eBook
16
Published 2011
Table of Contents:
“... Method for Bloat Control in Genetic Programming -- A Survey of Self Modifying Cartesian Genetic...”View full text
Electronic
eBook
17
Published 2012
Table of Contents:
“... attacks -- ving the Usability of Specification Languages and Methods for Annotation-based Verification...”View full text
Electronic
eBook
18
Published 2006
Table of Contents:
“... Formal Methods -- Formal Modelling of Systems -- Compositional Binding in Network Domains -- Formal...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“... in Software Certification -- Security and Knowledge -- Integrating Formal Methods with System Management...”View full text
Electronic
eBook
20
Published 2015
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”View full text
Electronic
eBook