תוצאות חיפוש - functions computation ((programming secrets) OR (programming recursion)) arrays a~

1

Implementation of Functional Languages 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers /

יצא לאור 2005

תוכן הענינים: “... -- Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs -- Dynamic Chunking...”
קבל טקסט מלא

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

2

Introduction to C++ programming /

מאת Malik, D. S.
יצא לאור 2009

תוכן הענינים: “...An overview of computers and programming languages -- Basic elements of C++ -- Input/output...”

ספר

3

Mathematica®: A Problem-Centered Approach

מאת Hazrat, Roozbeh., Hazrat, Roozbeh.
יצא לאור 2015

תוכן הענינים: “...Introduction -- Basics -- Defining functions -- Lists -- Changing heads! -- A bit of logic and set...”
קבל טקסט מלא

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

4

Membrane Computing 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers /

יצא לאור 2015

תוכן הענינים: “... Recursive Functions by Virus Machines -- About models derived from colonies....”
קבל טקסט מלא

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

5

Mathematica®: A Problem-Centered Approach

מאת Hazrat, Roozbeh., Hazrat, Roozbeh.
יצא לאור 2010

נושאים: “...Programming languages (Electronic computers)....”
קבל טקסט מלא

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

6

Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers /

יצא לאור 2012

תוכן הענינים: “... and Applications to Aerodynamics .-Processor Array Design with the Use of Genetic Algorithm.-A Hybrid Genetic...”
קבל טקסט מלא

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

7

Machines, Computations, and Universality 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers /

יצא לאור 2005

תוכן הענינים: “... -- On the Complexity of Universal Programs -- Finite Sets of Words and Computing -- Universality and Cellular Automata...”
קבל טקסט מלא

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

8

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /

יצא לאור 2007

תוכן הענינים: “...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...”
קבל טקסט מלא

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

9

Mathematics and Computing ICMC, Haldia, India, January 2015 /

יצא לאור 2015

תוכן הענינים: “... -- Chapter 3. A Study of Generalized Invex Functions on Riemannian Manifold -- Chapter 4. Second order...”
קבל טקסט מלא

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

10

C++ for programmers /

מאת Deitel, Paul J.
יצא לאור 2009

תוכן הענינים: “... statements: part 1 -- Control Statements: part 2 -- Functions and an introduction to recursion -- Arrays...”

ספר

11

Practical Aspects of Declarative Languages 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, Proceedings /

יצא לאור 2008

תוכן הענינים: “...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”
קבל טקסט מלא

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

12

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Select...

יצא לאור 2005

תוכן הענינים: “... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”
קבל טקסט מלא

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

13

Advanced Topics in C Core Concepts in Data Structures /

מאת Kalicharan, Noel., Kalicharan, Noel.
יצא לאור 2013

נושאים: “...Programming languages (Electronic computers)....”
קבל טקסט מלא

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

14

Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings /

יצא לאור 2006

תוכן הענינים: “... Abstraction of Recursive Programs -- Relative Safety -- Resource Usage Analysis for the ?-Calculus -- Semantic...”
קבל טקסט מלא

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