by
Kaczorowski, Jerzy. editor.
Format:
Electronic Resources
Excerpt:
Number theory.
by
Li, Guoliang. author.
Format:
Electronic Resources
Excerpt:
crowdsourced-database-system design and presents a number of crowdsourced operators. Self-contained and covering theory
by
Cox, Michael T. editor.
Format:
Electronic Resources
Excerpt:
proceedings, address many themes related to the theory and application of case-based reasoning and its future
by
Esparza, Javier. author.
Format:
Electronic Resources
Excerpt:
explosion problem - the number of reachable states grows exponentially in the number of concurrent
by
de Boer, Frank. editor.
Format:
Electronic Resources
Excerpt:
directions: Software Composition, Service Oriented Computing, Component-based Software, Concurrency Theory
by
Mohamed, Otmane Ait. editor.
Format:
Electronic Resources
Excerpt:
-- Real Number Calculations and Theorem Proving -- A Formalized Theory for Verifying Stability and
by
Caires, Luís. editor.
Format:
Electronic Resources
Excerpt:
, semantics and theory of programming), and innovated on the structure of its traditional scienti?c program
by
Hurd, Joe. editor.
Format:
Electronic Resources
Excerpt:
Conditions -- Real Number Calculations and Theorem Proving -- Verifying a Secure Information Flow Analyzer
by
Brim, Luboš. editor.
Format:
Electronic Resources
Excerpt:
both industry and academia. This year the Program Committee received a record number of submissions
by
Mycroft, Alan. editor.
Format:
Electronic Resources
Excerpt:
Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of
by
Sestoft, Peter. editor.
Format:
Electronic Resources
Excerpt:
Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of
by
Bodik, Rastislav. editor.
Format:
Electronic Resources
Excerpt:
Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of
Page
of 2