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
Ganter, Bernhard. editor.
Format:
Electronic Resources
Excerpt:
theory, in particular in the theory of complete lattices. Researchers had long been aware of the fact
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
by
Bugliesi, Michele. editor.
Format:
Electronic Resources
Excerpt:
Satisfiability and Number of Perfect Matchings -- The Myriad Virtues of Wavelet Trees -- Game Theory II -- Atomic
by
Hermanns, Holger. editor.
Format:
Electronic Resources
Excerpt:
Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of
by
Halbwachs, Nicolas. editor.
Format:
Electronic Resources
Excerpt:
Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of
by
Kort, Yvonne. editor.
Format:
Electronic Resources
Excerpt:
large number of presentations, both oral and in poster format, on new findings, new conceptualizations
by
Arge, Lars. editor.
Format:
Electronic Resources
Excerpt:
-- Session A15 -- On the Chromatic Number of Random Graphs -- Quasi-randomness and Algorithmic Regularity for
by
Pal, Ajit. editor.
Format:
Electronic Resources
Excerpt:
Order-Preserving Imperfect Channels -- Efficiently Implementing LL/SC Objects Shared by an Unknown Number of
Limit Search Results
Narrowed by: