Suggested Topics within your search.
Computer science—Mathematics 2 Discrete Mathematics in Computer Science 2 Numeric Computing 2 Numerical analysis 2 Software Engineering/Programming and Operating Systems 2 Software engineering 2 Algorithm Analysis and Problem Complexity 1 more ...
Computer science—Mathematics 2 Discrete Mathematics in Computer Science 2 Numeric Computing 2 Numerical analysis 2 Software Engineering/Programming and Operating Systems 2 Software engineering 2 Algorithm Analysis and Problem Complexity 1 more ...
1
Published 2007
Table of Contents: ';
“... Protocols -- Testing st-Connectivity -- Properly 2-Colouring Linear Hypergraphs -- Random Subsets...”Get full text
2
Published 2008
Table of Contents: ';
“... for Markov Decision Processes with Qualitative Branching Time Objectives -- On Datalog vs. LFP -- Directed st...”Get full text