תוצאות חיפוש - constructive computation programming concepts functions a

1

מאת Sestoft, Peter., Sestoft, Peter.
יצא לאור 2012

תוכן הענינים: “... -- A First-Order Functional Language -- High-Order Functions -- Polymorphic Types -- Imperative...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

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...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

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...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

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...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

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...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

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...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

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...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

8

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...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

9

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...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

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...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

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...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

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...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

13

Innovations in Computing Sciences and Software Engineering

יצא לאור 2010

תוכן הענינים: “... Communication of Spatial Concepts -- Risk-Based Neuro-Grid Architecture for Multimodal Biometrics -- A SQL...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

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...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

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...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

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...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

17

Computational Methods

יצא לאור 2006

תוכן הענינים: “... CLUSTERING METHOD -- ACTIVATING IRREGULAR DIMENSIONS IN OLAP -- A NEW COMPUTATIONAL METHOD OF INTERSECTION...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

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...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

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...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

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...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

צמצם חיפוש