by
Esparza, Javier. author.
Format:
Electronic Resources
Excerpt:
explosion problem - the number of reachable states grows exponentially in the number of concurrent
by
Hamadi, Youssef. editor.
Format:
Electronic Resources
Excerpt:
formalisms. In recent years, an increasing number of contributions have been made on scaling constraint
View Other Search Results
by
Ibaraki, Toshihide. editor.
Format:
Electronic Resources
Excerpt:
-- Multi-Objective Hyper-Heuristic Approaches for Space Allocation and Timetabling -- Theory and Practice of the
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
Manea, Florin. editor.
Format:
Electronic Resources
Excerpt:
Coinduction -- Computing Tree Width: From Theory to Practice and Back -- Using Structural Properties for
by
Barnett, Stephen.
Format:
Electronic Resources
Excerpt:
D: The Schmidt decomposition -- E: Number theory for cryptography -- E.1 Division properties -- E.2
by
Cooper, S. Barry. editor.
Format:
Electronic Resources
Excerpt:
Sequential Real Number Computation -- Borel Ranks and Wadge Degrees of Context Free ?-Languages -- Fewer
by
Diekert, Volker. editor.
Format:
Electronic Resources
Excerpt:
Complexity Theory Revisited -- Parametric Duality and Kernelization: Lower Bounds and Upper Bounds on Kernel
by
Cooper, S. Barry. editor.
Format:
Electronic Resources
Excerpt:
Representations for Majority Games -- Linear Transformations in Boolean Complexity Theory -- Exact Pair Theorem
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
Arge, Lars. editor.
Format:
Electronic Resources
Excerpt:
-- Session A15 -- On the Chromatic Number of Random Graphs -- Quasi-randomness and Algorithmic Regularity for
Limit Search Results
Narrowed by: