Resultados de búsqueda - functions computational programming decisions based (texts* or text*)

Buscar alternativas:
computational programming » computation programming , computational program , computing programming
functions computational » functions computation , function computation , directions computational
programming decisions » programming decision , programming design , programming session
decisions based » decision based , decisions cases , decisions basic

Decision Procedures An Algorithmic Point of View /

por Kroening, Daniel., Kroening, Daniel., Strichman, Ofer.
Publicado 2008

Tabla de Contenidos: “... and Uninterpreted Functions -- Decision Procedures for Equality Logic and Uninterpreted Functions -- Linear...”
Enlace del recurso

Electrónico eBook

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

Publicado 2006

Tabla de Contenidos: “... Logics -- The Complexity of Counting Functions with Easy Decision Version -- On Non-Interactive Zero...”
Enlace del recurso

Electrónico eBook

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

Publicado 2005

Tabla de Contenidos: “... Recognition from Tracked Face Displacements -- 2 – Affective Computing (AC 2005) -- Adaptation and Decision...”
Enlace del recurso

Electrónico eBook

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

Publicado 2006

Tabla de Contenidos: “... Tutoring Systems -- Diagnostic of Programs for Programming Learning Tools -- Intelligent Learning Objects...”
Enlace del recurso

Electrónico eBook

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

Publicado 2007

Tabla de Contenidos: “... Constructive Homological Algebra in Type Theory -- What Might “Understand a Function” Mean? -- Biform Theories...”
Enlace del recurso

Electrónico eBook

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

Publicado 2008

Tabla de Contenidos: “... the Semantic Desktop and the Physical World -- Learning by Observing: Case-Based Decision Making in Complex...”
Enlace del recurso

Electrónico eBook

Production Economics The Basic Theory of Production Optimisation /

por Rasmussen, Svend., Rasmussen, Svend.
Publicado 2013

Tabla de Contenidos: “... Programming in Practical Production Planning -- 21 Modelling Supply Functions Using Linear Programming...”
Enlace del recurso

Electrónico eBook

Resultados Agrupados