Search Results - ((functions computation) or (function computing)) programming reasoning theory coding*

Search alternatives:
functions computation » function computation , functions composition , function composition
programming reasoning » programming learning , programming designing , programming evolving
function computing » education computing , generation computing
reasoning theory » reading theory , reasoning third , reasoning through
theory coding » theory colin , theory choosing

Computer Safety, Reliability, and Security 26th International Conference, SAFECOMP 2007, Nurmberg, Germany, September 18-21, 2007, Proceedings /

Published 2007

Table of Contents: “... Bayesian Belief Networks and the Goal Structuring Notation to Support Architectural Reasoning About Safety...”
View full text

Electronic eBook

Trustworthy Global Computing 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers /

Published 2010

Table of Contents: “..., Probabilistic, and Stochastic Processes -- Toward a Game-Theoretic Model of Grid Systems -- Functions...”
View full text

Electronic eBook

Computing and Combinatorics 13th Annual International Conference, COCOON 2007, Banff, Canada, July 16-19, 2007, Proceedings /

Published 2007

Table of Contents: “... Games -- Computing Symmetric Boolean Functions by Circuits with Few Exact Threshold Gates...”
View full text

Electronic eBook

Artificial Intelligence and Soft Computing 13th International Conference, ICAISC 2014, Zakopane, Poland, June 1-5, 2014, Proceedings, Part II /

Published 2014

Table of Contents: “... Modeling via Probabilistic Nodes Combination -- Computer-Aided System for Automatic Classification...”
View full text

Electronic eBook

Abstraction, Reformulation and Approximation 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings /

Published 2005

Table of Contents: “...Full Papers -- Verifying the Incorrectness of Programs and Automata -- Generating Admissible...”
View full text

Electronic eBook

Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings /

Published 2014

Table of Contents: “... for Mathematical Theory Exploration -- New Approaches in Black Box Group Theory -- A GAP Package for Computing...”
View full text

Electronic eBook

Advances in Information Systems Third International Conference, ADVIS 2004, Izmir, Turkey, October 20-22, 2004. Proceedings /

Published 2005

Table of Contents: “... Video Retrieval for Multimedia Information Systems -- Using an Exact Radial Basis Function Artificial...”
View full text

Electronic eBook

Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings /

Published 2015

Table of Contents: “...-Order Functional Intermediate Language for Verified Compilers -- Autosubst: Reasoning with de Bruijn...”
View full text

Electronic eBook

Rough Sets and Knowledge Technology Second International Conference, RSKT 2007, Toronto, Canada, May 14-16, 2007, Proceedings /

Published 2007

Table of Contents: “... Computational Model of Acute Ischaemic Stroke Using Rough Sets -- Using Rough Set Theory to Induce Pavement...”
View full text

Electronic eBook

Narrow Search