Rekommenderade teman
Rekommenderade teman
Menade du:
programmed constructs » programming constructs, programme contract, programmed instructions
integer processing » integrated processing, water processing, filter processing
constructs https » construction https, constructs loops, constructs arti
intervals » interval
programmed constructs » programming constructs, programme contract, programmed instructions
integer processing » integrated processing, water processing, filter processing
constructs https » construction https, constructs loops, constructs arti
intervals » interval
1
Publicerad 2013
Innehållsförteckning:
“... of Procedure Summaries for Integer Programs -- Runtime Verification Based on Register Automata -- Unbounded...”Hämta fulltext
Elektronisk
E-bok
2
Publicerad 2006
Innehållsförteckning:
“... Model -- 16×16 Integer Cosine Transform for HD Video Coding -- Heegard-Berger Video Coding Using LMMSE...”Hämta fulltext
Elektronisk
E-bok
3
Publicerad 2005
Innehållsförteckning:
“... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”Hämta fulltext
Elektronisk
E-bok
4
Publicerad 2008
Innehållsförteckning:
“... and Polymorphism in Pure Type Systems -- The Implicit Calculus of Constructions as a Programming Language...”Hämta fulltext
Elektronisk
E-bok
5
Publicerad 2006
Innehållsförteckning:
“... Dodgson-Election Winners -- Reductions for Monotone Boolean Circuits -- Generalised Integer Programming...”Hämta fulltext
Elektronisk
E-bok
6
Publicerad 2010
Innehållsförteckning:
“...Keynote and Invited Talks -- Interval-Based Models for Decision Problems -- On Choquet Integral...”Hämta fulltext
Elektronisk
E-bok