Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
computation programming » communication programming, computation programmatic, computing programming
functions computation » function computation, functions composition, function composition
programming decisions » programming decision, programming design, programming session
decisions based » decision based, decisions cases, decisions basic
based texts » based text, based tests, based test
computation programming » communication programming, computation programmatic, computing programming
functions computation » function computation, functions composition, function composition
programming decisions » programming decision, programming design, programming session
decisions based » decision based, decisions cases, decisions basic
based texts » based text, based tests, based test
1
Table of Contents:
“... and Uninterpreted Functions -- Decision Procedures for Equality Logic and Uninterpreted Functions -- Linear...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
2
Publicado 2006
Table of Contents:
“... Logics -- The Complexity of Counting Functions with Easy Decision Version -- On Non-Interactive Zero...”Ligazón do recurso
Electrónico
eBook
3
Publicado 2005
Table of Contents:
“... Recognition from Tracked Face Displacements -- 2 – Affective Computing (AC 2005) -- Adaptation and Decision...”Ligazón do recurso
Electrónico
eBook
4
Publicado 2006
Table of Contents:
“... Tutoring Systems -- Diagnostic of Programs for Programming Learning Tools -- Intelligent Learning Objects...”Ligazón do recurso
Electrónico
eBook
5
Publicado 2007
Table of Contents:
“... Constructive Homological Algebra in Type Theory -- What Might “Understand a Function” Mean? -- Biform Theories...”Ligazón do recurso
Electrónico
eBook
6
Publicado 2008
Table of Contents:
“... the Semantic Desktop and the Physical World -- Learning by Observing: Case-Based Decision Making in Complex...”Ligazón do recurso
Electrónico
eBook
7
Table of Contents:
“... Programming in Practical Production Planning -- 21 Modelling Supply Functions Using Linear Programming...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook