Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
processing properties » processing proceedings
practice processing » practice proceedings, practice process, tactile processing
program practice » programs practices
properties array » properties air, properties akira, properties a.a
https » http
processing properties » processing proceedings
practice processing » practice proceedings, practice process, tactile processing
program practice » programs practices
properties array » properties air, properties akira, properties a.a
https » http
1
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
2
Published 2010
Table of Contents:
“... XML DBMSs -- Continuous Processing of Preference Queries in Data Streams -- Clock Synchronization...”View full text
Electronic
eBook
3
Subjects:
“...Computer Applications. https://scigraph.springernature.com/ontologies/product-market-codes/I23001...”
View full text
View full text
Electronic
eBook
4
Published 2014
Table of Contents:
“... Language during Human Walking -- Fei Gao and Richard W. Longman: On Quadratic Programming Based Iterative...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“...Finding Your Way in a Forest: On Different Types of Trees and Their Properties -- Simple Stochastic...”View full text
Electronic
eBook
6
Published 2014
Table of Contents:
“... for Flat Array Properties -- SATMC: A SAT-Based Model Checker for Security-Critical Systems -- IC3 Modulo...”View full text
Electronic
eBook
7
Published 2015
Table of Contents:
“... for Verifying C Programs -- SMACK+Corral: A Modular Verifier -- Ultimate Automizer with Array Interpolation...”View full text
Electronic
eBook
8
Published 2007
Table of Contents:
“... Programs with Arrays -- Property-Driven Partitioning for Abstraction Refinement -- Combining Abstraction...”View full text
Electronic
eBook
9
Published 2013
Table of Contents:
“... Films -- Improving the Properties of Sol-Gel Deposition SrBi4Ti4O15 Thin Films by Post-Annealing Process...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... Study -- Model-Checking Temporal Properties of Real-Time HTL Programs -- CONNECT: Status and Plans...”View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“... -- On the Reconstruction of Crystals Through Discrete Tomography -- Binary Tomography by Iterating Linear Programs from...”View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“... Process -- Low-Level Library Analysis and Summarization -- Verification Across Intellectual Property...”View full text
Electronic
eBook
13
Published 2014
Table of Contents:
“.... Property in Fuzzy Metric Spaces -- Use of Evolutionary Algorithms to play the game of Checkers: Historical...”View full text
Electronic
eBook