by
Davenport, James H. editor. (orcid)0000-0002-3982-7545
Format:
Electronic Resources
Excerpt:
Logic -- Number theory -- Combinatorics -- Algebra -- Analysis -- Geometry -- Inter-disciplinary
2.
by
de Boer, Frank. editor.
Format:
Electronic Resources
Excerpt:
directions: Software Composition, Service Oriented Computing, Component-based Software, Concurrency Theory
View Other Search Results
by
Lodaya, Kamal. editor.
Format:
Electronic Resources
Excerpt:
Problems Extended Abstract -- Learning Languages from Positive Data and a Finite Number of Queries -- The
by
Arvind, V. editor.
Format:
Electronic Resources
Excerpt:
-- Probabilistic and Topological Semantics for Timed Automata -- A Theory for Game Theories -- An Incremental
by
Brim, Luboš. editor.
Format:
Electronic Resources
Excerpt:
both industry and academia. This year the Program Committee received a record number of submissions
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
Sagiv, Mooly. editor.
Format:
Electronic Resources
Excerpt:
Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of
by
Baresi, Luciano. editor.
Format:
Electronic Resources
Excerpt:
Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of
by
Abadi, Martín. editor.
Format:
Electronic Resources
Excerpt:
,developers, and students in order to advance the theory of concurrency and to promote its applications. This
by
Sassone, Vladimiro. editor.
Format:
Electronic Resources
Excerpt:
Software. ETAPS is an annual federated conference that was est- lished in 1998 by combining a number of
by
Cerioli, Maura. editor.
Format:
Electronic Resources
Excerpt:
Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of
Limit Search Results
Narrowed by: