Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
programmed constructs » programming constructs, programme contract, programmed instructions
integer processing » integrated processing, water processing, filter processing
interval integer » intervals integer, interval category, interval linear
constructs https » construction https, constructs loops, constructs arti
programmed constructs » programming constructs, programme contract, programmed instructions
integer processing » integrated processing, water processing, filter processing
interval integer » intervals integer, interval category, interval linear
constructs https » construction https, constructs loops, constructs arti
1
Publicat 2013
Taula de continguts:
“... of Procedure Summaries for Integer Programs -- Runtime Verification Based on Register Automata -- Unbounded...”Obtenir text complet
Electrònic
eBook
2
Publicat 2006
Taula de continguts:
“... Model -- 16×16 Integer Cosine Transform for HD Video Coding -- Heegard-Berger Video Coding Using LMMSE...”Obtenir text complet
Electrònic
eBook
3
Publicat 2005
Taula de continguts:
“... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”Obtenir text complet
Electrònic
eBook
4
Publicat 2008
Taula de continguts:
“... and Polymorphism in Pure Type Systems -- The Implicit Calculus of Constructions as a Programming Language...”Obtenir text complet
Electrònic
eBook
5
Publicat 2006
Taula de continguts:
“... Dodgson-Election Winners -- Reductions for Monotone Boolean Circuits -- Generalised Integer Programming...”Obtenir text complet
Electrònic
eBook
6
Publicat 2010
Taula de continguts:
“...Keynote and Invited Talks -- Interval-Based Models for Decision Problems -- On Choquet Integral...”Obtenir text complet
Electrònic
eBook