בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
integer optimization » linear optimization, intelligent optimization, springer optimization
constructing https » construction https, consulting https, constructing better
proximal program » practical program, program program, social program
formal » format, normal
integer optimization » linear optimization, intelligent optimization, springer optimization
constructing https » construction https, consulting https, constructing better
proximal program » practical program, program program, social program
formal » format, normal
1
יצא לאור 2007
תוכן הענינים:
“... Integer Linear Programming Formulation -- Extended Linear Scan: An Alternate Foundation for Global...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
2
יצא לאור 2005
תוכן הענינים:
“... Languages with Modest Programming Effort -- Compilation of Generic Regular Path Expressions Using C++ Class...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
3
יצא לאור 2013
תוכן הענינים:
“... of Procedure Summaries for Integer Programs -- Runtime Verification Based on Register Automata -- Unbounded...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
4
יצא לאור 2008
תוכן הענינים:
“... -- Optimizing Compilation of CHR with Rule Priorities -- Constructive Arithmetic -- Certified Exact Real...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
5
נושאים:
“...Optimization. https://scigraph.springernature.com/ontologies/product-market-codes/M26008...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
6
יצא לאור 2008
תוכן הענינים:
“... and Polymorphism in Pure Type Systems -- The Implicit Calculus of Constructions as a Programming Language...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
7
יצא לאור 2008
תוכן הענינים:
“... for NC k -- Extensional Uniformity for Boolean Circuits -- Pure Pointer Programs with Iteration...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
8
יצא לאור 2010
תוכן הענינים:
“... Proofs: Why Do It? and What Is It Like to Do? -- Linear Programs for the Kepler Conjecture -- A Formal...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
9
יצא לאור 2007
תוכן הענינים:
“... 1-Branching Programs of Width 3 -- Formal Translation Directed by Parallel LLP Parsing -- Self...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני