Rezultaty - functions computation programming decisions based (texts* or text*)

Inne możliwości wyszukiwania:
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

Decision Procedures An Algorithmic Point of View /

od Kroening, Daniel., Kroening, Daniel., Strichman, Ofer.
Wydane 2008

Spis treści: “... and Uninterpreted Functions -- Decision Procedures for Equality Logic and Uninterpreted Functions -- Linear...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Mathematical Foundations of Computer Science 2006 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings /

Wydane 2006

Spis treści: “... Logics -- The Complexity of Counting Functions with Easy Decision Version -- On Non-Interactive Zero...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Progress in Artificial Intelligence 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilha, Portugal, December 5-8, 2005, Proceedings /

Wydane 2005

Spis treści: “... Recognition from Tracked Face Displacements -- 2 – Affective Computing (AC 2005) -- Adaptation and Decision...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeirao Preto, Braz...

Wydane 2006

Spis treści: “... Tutoring Systems -- Diagnostic of Programs for Programming Learning Tools -- Intelligent Learning Objects...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Towards Mechanized Mathematical Assistants 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings /

Wydane 2007

Spis treści: “... Constructive Homological Algebra in Type Theory -- What Might “Understand a Function” Mean? -- Biform Theories...”
Dokumenty pełnotekstowe

Elektroniczne E-book

KI 2008: Advances in Artificial Intelligence 31st Annual German Conference on AI, KI 2008, Kaiserslautern, Germany, September 23-26, 2008, Proceedings /

Wydane 2008

Spis treści: “... the Semantic Desktop and the Physical World -- Learning by Observing: Case-Based Decision Making in Complex...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Production Economics The Basic Theory of Production Optimisation /

od Rasmussen, Svend., Rasmussen, Svend.
Wydane 2013

Spis treści: “... Programming in Practical Production Planning -- 21 Modelling Supply Functions Using Linear Programming...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty