בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
decomposition programming » compositive programming, copositive programming, computation programming
function decomposition » functional decomposition, factor decomposition
programming recursion » programming decision, programming session, programming decisions
recursion complexity » recursions complexity, recursive complexity, regulation complexity
complexity memory » complexity theory, complexity mimo, complexity more
decomposition programming » compositive programming, copositive programming, computation programming
function decomposition » functional decomposition, factor decomposition
programming recursion » programming decision, programming session, programming decisions
recursion complexity » recursions complexity, recursive complexity, regulation complexity
complexity memory » complexity theory, complexity mimo, complexity more
1
יצא לאור 2014
תוכן הענינים:
“... -- Symbolic Resource Bound Inference for Functional Programs -- Proving Non-termination Using Max-SMT...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
2
יצא לאור 2006
תוכן הענינים:
“...Invited Papers -- Non-black-box Techniques in Cryptography -- Complexity of Polynomial...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
3
יצא לאור 2005
תוכן הענינים:
“... Recursive Oracles for Relativized Polynomial Hierarchies -- Graphs and Complexity -- Exact Algorithms...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
4
יצא לאור 2008
תוכן הענינים:
“... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני