Результаты поиска - constructive computing programming concepts functions a

1

по Sestoft, Peter., Sestoft, Peter.
Опубликовано 2012

Оглавление: “... -- A First-Order Functional Language -- High-Order Functions -- Polymorphic Types -- Imperative...”
Полный текст

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

2

Drawing Programs: The Theory and Practice of Schematic Functional Programming

по Addis, Tom., Addis, Tom., Addis, Jan.
Опубликовано 2010

Оглавление: “...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...”
Полный текст

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

3

A Beginner's Guide to Scala, Object Orientation and Functional Programming

по Hunt, John., Hunt, John.
Опубликовано 2014

Оглавление: “... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
Полный текст

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

4

Implementation and Application of Functional Languages 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers /

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

Оглавление: “... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...”
Полный текст

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

5

Implementation and Application of Functional Languages 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers /

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

Оглавление: “...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”
Полный текст

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

6

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference...

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

Оглавление: “... -- Non-cumulative Resource Analysis -- Value Slice: A New Slicing Concept for Scalable Property Checking...”
Полный текст

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

7

Epistemic Complexity and Knowledge Construction Morphogenesis, symbolic dynamics and beyond /

по Carsetti, A., Carsetti, A.
Опубликовано 2013

Оглавление: “... automata and self-organization. - 2. Embodiment Processes and Biological Computing -- 1. The game of life...”
Полный текст

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

8

Guide to Scientific Computing in C++

по Pitt-Francis, Joe., Pitt-Francis, Joe., Whiteley, Jonathan.
Опубликовано 2012

Оглавление: “...Getting Started -- Flow of Control -- File Input and Output -- Pointers -- Blocks, Functions...”
Полный текст

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

9

Programs, Proofs, Processes 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings /

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

Оглавление: “... -- Three Roots for Leibniz’s Contribution to the Computational Conception of Reason -- Development of a...”
Полный текст

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

10

Introduction to C++ Programming and Graphics

по Pozrikidis, Constantine., Pozrikidis, Constantine.
Опубликовано 2007

Оглавление: “...Computers and Computing -- General Features of C++ -- Programming in C++ -- User-Defined Functions...”
Полный текст

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

11

A Computational Model of Natural Language Communication Interpretation, Inference, and Production in Database Semantics /

по Hausser, Roland R., Hausser, Roland R.
Опубликовано 2006

Оглавление: “... Structure and Algorithm -- Concept Types and Concept Tokens -- Forms of Thinking -- The Major Constructions...”
Полный текст

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

12

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part III /

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

Оглавление: “... for Clothing Thermal Functional Performance -- A Question Understanding Model Based on Knowledge Points...”
Полный текст

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

13

Innovations in Computing Sciences and Software Engineering

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

Оглавление: “... Communication of Spatial Concepts -- Risk-Based Neuro-Grid Architecture for Multimodal Biometrics -- A SQL...”
Полный текст

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

14

Inductive Logic Programming 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008, Proceedings /

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

Оглавление: “...-Based ILP Systems -- Learning Aggregate Functions with Neural Networks Using a Cascade-Correlation...”
Полный текст

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

15

VEE Pro: Practical Graphical Programming

по Angus, Robert B., Angus, Robert B., Hulbert, Thomas E.
Опубликовано 2005

Оглавление: “...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...”
Полный текст

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

16

Network Performance Analysis Using the J Programming Language /

по Holt, Alan., Holt, Alan.
Опубликовано 2008

Оглавление: “...Fundamentals of the J Programming Language -- Programming in J -- Network Calculus -- Stochastic...”
Полный текст

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

17

Computational Methods

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

Оглавление: “... CLUSTERING METHOD -- ACTIVATING IRREGULAR DIMENSIONS IN OLAP -- A NEW COMPUTATIONAL METHOD OF INTERSECTION...”
Полный текст

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

18

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

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

Оглавление: “.... The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its...”
Полный текст

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

19

Higher-Order Computability

по Longley, John., Longley, John., Normann, Dag.
Опубликовано 2015

Оглавление: “... of Lambda Algebras -- Kleene Computability in a Total Setting -- Nested Sequential Procedures -- PCF and Its...”
Полный текст

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

20

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided...

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

Оглавление: “... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”
Полный текст

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

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