Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
intersections without » interaction without, intervention without, interactions within
program compositional » program composition, program computational, problem compositional
compositional program » composition programs, computational program, compositional problems
without program » without programming
program https » programs https, program has, program help
intersections without » interaction without, intervention without, interactions within
program compositional » program composition, program computational, problem compositional
compositional program » composition programs, computational program, compositional problems
without program » without programming
program https » programs https, program has, program help
1
Published 2006
Table of Contents:
“...Invited Talks -- Timed Alternating-Time Temporal Logic -- Concurrent Semantics Without the Notions...”View full text
Electronic
eBook
2
Published 2007
Table of Contents:
“... -- Model-Checking One-Clock Priced Timed Automata -- Approximating a Behavioural Pseudometric Without...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... Composition Based on Low Cost Mechanism -- Research on Fuzzy Extension Synthesis Evaluation Method...”View full text
Electronic
eBook
4
Published 2013
Table of Contents:
“... the Sorted-Set Intersection Problem onto a Graphics Processing Unit -- A Novel Double Dynamic Stress...”View full text
Electronic
eBook