Αποτελέσματα αναζήτησης - functions computational ((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

Πίνακας περιεχομένων: “... and Maple: A Way of Parallelizing Computer Algebra Algorithms -- Generic Graphical User Interfaces...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

2

Introduction to C++ programming /

ανά Malik, D. S.
Έκδοση 2009

Πίνακας περιεχομένων: “... -- Pointers -- Applications of arrays (searching and sorting) and the "class vector" -- Recursion....”

Βιβλίο

3

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....”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

4

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...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

5

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...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

6

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

Έκδοση 2007

Πίνακας περιεχομένων: “...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

7

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

Έκδοση 2015

Πίνακας περιεχομένων: “... -- Chapter 6. On solvability for certain functional equations arising in dynamic programming -- Chapter 7...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

8

C++ for programmers /

ανά Deitel, Paul J.
Έκδοση 2009

Πίνακας περιεχομένων: “... statements: part 1 -- Control Statements: part 2 -- Functions and an introduction to recursion -- Arrays...”

Βιβλίο

9

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

Έκδοση 2008

Πίνακας περιεχομένων: “... -- Automatic Coding Rule Conformance Checking Using Logic Programming -- Comprehension and Dependency Analysis...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

10

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...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

11

Advanced Topics in C Core Concepts in Data Structures /

ανά Kalicharan, Noel., Kalicharan, Noel.
Έκδοση 2013

Θέματα: “...Programming languages (Electronic computers)....”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

12

Mathematica®: A Problem-Centered Approach

ανά Hazrat, Roozbeh., Hazrat, Roozbeh.
Έκδοση 2015

Πίνακας περιεχομένων: “... matching -- Functions with multiple definitions -- Recursive functions -- Linear algebra -- Graphics...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

13

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

Έκδοση 2006

Πίνακας περιεχομένων: “... Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety -- Improved Algorithm...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

14

Mathematica®: A Problem-Centered Approach

ανά Hazrat, Roozbeh., Hazrat, Roozbeh.
Έκδοση 2010

Πίνακας περιεχομένων: “...1. Introduction -- 1.1 Mathematica as a calculator -- 1.2 Numbers -- 1.3 Algebraic computations...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

15

Advanced Topics in Java Core Concepts in Data Structures /

ανά Kalicharan, Noel., Kalicharan, Noel.
Έκδοση 2014

Θέματα: “...Java (Computer program language)....”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

16

LATIN 2010: Theoretical Informatics 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010, Proceedings /

Έκδοση 2010

Πίνακας περιεχομένων: “... on Parallel Machines -- Almost Linear Time Computation of the Chromatic Polynomial of a Graph of Bounded Tree...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

17

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

Έκδοση 2015

Πίνακας περιεχομένων: “... Systems -- Verifying Concurrent Programs by Memory Unwinding -- AutoProof: Auto-Active Functional...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

18

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings, Part I /

Έκδοση 2010

Πίνακας περιεχομένων: “... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

19

Intelligent Information Processing V 6th IFIP TC 12 International Conference, IIP 2010, Manchester, UK, October 13-16, 2010, Proceedings /

Έκδοση 2010

Πίνακας περιεχομένων: “... -- Semantic Approach for Service Oriented Requirements Modeling -- Automatic Reasoning -- Extend Atomic Action...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

20

Cystic Fibrosis Methods and Protocols

Έκδοση 2002

Πίνακας περιεχομένων: “... and Inflammation -- Analysis of Lipid Abnormalities in CF Mice -- Bioelectric Measurement of CFTR Function in Mice...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

Περιορισμός αναζήτησης