Rezultaty - ((function computation) or (structure computational)) programming reasoning basic text*

Inne możliwości wyszukiwania:
structure computational » structures computational , structure composition
programming reasoning » programming learning , programming designing , programming evolving
function computation » function computing , function decomposition , section computational
reasoning basic » reasoning based , reasoning case , reasoning ais
basic text » basic texts

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Wydane 2005

Spis treści: “... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Advances in Case-Based Reasoning 9th European Conference, ECCBR 2008, Trier, Germany, September 1-4, 2008, Proceedings /

Wydane 2008

Spis treści: “... and Evaluating Complexity of Textual Case Bases -- Learning Similarity Functions from Qualitative Feedback...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Computational Methods

Wydane 2006

Spis treści: “...TOPOLOGICAL OPTIMIZATION OF CONTINUUM STRUCTURE WITH GLOBAL STRESS CONSTRAINTS BASED ON ICM METHOD...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Logical Approaches to Computational Barriers Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings /

Wydane 2006

Spis treści: “... and Structures -- Prefix-Like Complexities and Computability in the Limit -- Partial Continuous Functions...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Mathematics of Program Construction 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings /

Wydane 2006

Spis treści: “... -- Compositional Reasoning for Pointer Structures -- Progress in Deriving Concurrent Programs: Emphasizing the Role...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2007...

Wydane 2007

Spis treści: “...-Oriented Design to Requirement -- Measuring and Characterizing Crosscutting in Aspect-Based Programs: Basic...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Introduction to Cryptography with Maple

od Gómez Pardo, José Luis., Gómez Pardo, José Luis.
Wydane 2013

Spis treści: “...Preface -- Introduction -- Chap. 1 Classical Ciphers -- Chap. 2 Basic Concepts -- Chap. 3 Private...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Rewriting Techniques and Applications 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings /

Wydane 2008

Spis treści: “...Modular Termination of Basic Narrowing -- Linear-algebraic ?-calculus: higher-order, encodings...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Hybrid Artificial Intelligent Systems, Part I 5th International Conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010. Proceedings /

Wydane 2010

Spis treści: “... Classifier -- Boosting Algorithm with Sequence-Loss Cost Function for Structured Prediction -- Application...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Innovations in Hybrid Intelligent Systems

Wydane 2007

Spis treści: “... Social Modeling and Simulation with Fuzzy Sets -- Stage-Dependent Fuzzy-valued Loss Function in Two-Stage...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Machine Learning and Data Mining in Pattern Recognition 4th International Conference, MLDM 2005, Leipzig, Germany, July 9-11, 2005, Proceedings /

Wydane 2005

Spis treści: “... with Different Subspace Classification -- Clustering: Basics -- Using Clustering to Learn Distance Functions...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Microfinance, Risk-taking Behaviour and Rural Livelihood

Wydane 2014

Spis treści: “...Chapter 1: Structural Transformation of Rural Finance in India: A Critical Review -- Chapter 2...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty