Результаты поиска - functions computation programming recursion basic text*

Альтернативы поиска:
computation programming » communication programming , computation programmatic , computing programming
functions computation » function computation , functions composition , function composition
programming recursion » programming decision , programming session , programming decisions
recursion basic » decision basic , precision basic , recursion case
basic text » basic texts

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

Опубликовано 2006

Оглавление: “... Views on Data Types -- Recursion Schemes for Dynamic Programming -- Bimonadic Semantics for Basic...”
Полный текст

Электронный ресурс eКнига

Programming Languages and Systems 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European /

Опубликовано 2006

Оглавление: “... Logical Relations for Recursive and Quantified Types -- Approaches to Polymorphism in Classical Sequent...”
Полный текст

Электронный ресурс eКнига

Introduction to Programming Concepts with Case Studies in Python

по Üçoluk, Göktürk., Üçoluk, Göktürk., Kalkan, Sinan.
Опубликовано 2012

Оглавление: “... -- Reusable Actions: Functions -- Functional Programming Tools in Python -- Further Reading -- Exercises...”
Полный текст

Электронный ресурс eКнига

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

Опубликовано 2005

Оглавление: “... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”
Полный текст

Электронный ресурс eКнига

Theoretical Aspects of Computing -- ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings /

Опубликовано 2013

Оглавление: “...-Physical Systems -- Embedding Functions into Disjunctive Logic Programs -- Reactive Designs of Interrupts...”
Полный текст

Электронный ресурс eКнига

Mathematical Foundations of Computer Science 2005 30th International Symposium, MFCS 2005, Gdansk, Poland, August29-September 2. 2005, Proceedings /

Опубликовано 2005

Оглавление: “... Computing -- Interactive Algorithms 2005 -- Some Computational Issues in Membrane Computing...”
Полный текст

Электронный ресурс eКнига

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

Опубликовано 2006

Оглавление: “... and Structures -- Prefix-Like Complexities and Computability in the Limit -- Partial Continuous Functions...”
Полный текст

Электронный ресурс eКнига

Parallel Algorithms and Cluster Computing Implementations, Algorithms and Applications /

Опубликовано 2006

Оглавление: “...Implementions -- Parallel Programming Models for Irregular Algorithms -- Basic Approach to Parallel...”
Полный текст

Электронный ресурс eКнига

Advanced Topics in C Core Concepts in Data Structures /

по Kalicharan, Noel., Kalicharan, Noel.
Опубликовано 2013

Предметы: “...Programming languages (Electronic computers)....”
Полный текст

Электронный ресурс eКнига

The Python Workbook A Brief Introduction with Exercises and Solutions /

по Stephenson, Ben., Stephenson, Ben.
Опубликовано 2014

Оглавление: “... -- Recursion Exercises -- Part II: Solutions -- Introduction to Programming Solutions -- If Statement Exercise...”
Полный текст

Электронный ресурс eКнига

Mathematica®: A Problem-Centered Approach

по Hazrat, Roozbeh., Hazrat, Roozbeh.
Опубликовано 2015

Оглавление: “...Introduction -- Basics -- Defining functions -- Lists -- Changing heads! -- A bit of logic and set...”
Полный текст

Электронный ресурс eКнига

SOFSEM 2008: Theory and Practice of Computer Science 34th Conference on Current Trends in Theory...

Опубликовано 2008

Оглавление: “... of Computer Science -- Recursive Domain Equations of Filter Models -- Algorithmic Problems for Metrics...”
Полный текст

Электронный ресурс eКнига

SOFSEM 2005: Theory and Practice of Computer Science 31st Conference on Current Trends in Theory...

Опубликовано 2005

Оглавление: “... Evaluation -- Local Computations on Closed Unlabelled Edges: The Election Problem and the Naming Problem -- A...”
Полный текст

Электронный ресурс eКнига

Mathematica®: A Problem-Centered Approach

по Hazrat, Roozbeh., Hazrat, Roozbeh.
Опубликовано 2010

Оглавление: “... -- 10.1 Functions with local variables -- 10.2 Functions with conditions -- 11. Recursive functions -- 12...”
Полный текст

Электронный ресурс eКнига

Advanced Topics in Java Core Concepts in Data Structures /

по Kalicharan, Noel., Kalicharan, Noel.
Опубликовано 2014

Предметы: “...Java (Computer program language)....”
Полный текст

Электронный ресурс eКнига

Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings /

Опубликовано 2010

Оглавление: “... Provers for Basic Hybrid Logic -- Induction -- Automated Synthesis of Induction Axioms for Programs...”
Полный текст

Электронный ресурс eКнига

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

Опубликовано 2008

Оглавление: “...Modular Termination of Basic Narrowing -- Linear-algebraic ?-calculus: higher-order, encodings...”
Полный текст

Электронный ресурс eКнига

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

Опубликовано 2005

Оглавление: “... with Different Subspace Classification -- Clustering: Basics -- Using Clustering to Learn Distance Functions...”
Полный текст

Электронный ресурс eКнига

Сужение результатов поиска