Rezultati - 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 /

Izdano 2005

Kazalo: “... and Maple: A Way of Parallelizing Computer Algebra Algorithms -- Generic Graphical User Interfaces...”
Polni tekst

Elektronski eKnjiga

2

Introduction to C++ programming /

od Malik, D. S.
Izdano 2009

Kazalo: “... -- Pointers -- Applications of arrays (searching and sorting) and the "class vector" -- Recursion....”

Knjiga

3

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

Izdano 2015

Kazalo: “... Recursive Functions by Virus Machines -- About models derived from colonies....”
Polni tekst

Elektronski eKnjiga

4

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

Izdano 2012

Kazalo: “... and Applications to Aerodynamics .-Processor Array Design with the Use of Genetic Algorithm.-A Hybrid Genetic...”
Polni tekst

Elektronski eKnjiga

5

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

Izdano 2005

Kazalo: “... -- On the Complexity of Universal Programs -- Finite Sets of Words and Computing -- Universality and Cellular Automata...”
Polni tekst

Elektronski eKnjiga

6

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

Izdano 2007

Kazalo: “...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”
Polni tekst

Elektronski eKnjiga

7

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

Izdano 2015

Kazalo: “... -- Chapter 6. On solvability for certain functional equations arising in dynamic programming -- Chapter 7...”
Polni tekst

Elektronski eKnjiga

8

C++ for programmers /

od Deitel, Paul J.
Izdano 2009

Kazalo: “... statements: part 1 -- Control Statements: part 2 -- Functions and an introduction to recursion -- Arrays...”

Knjiga

9

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

Izdano 2008

Kazalo: “... -- Automatic Coding Rule Conformance Checking Using Logic Programming -- Comprehension and Dependency Analysis...”
Polni tekst

Elektronski eKnjiga

10

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

Izdano 2005

Kazalo: “... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”
Polni tekst

Elektronski eKnjiga

11

Advanced Topics in C Core Concepts in Data Structures /

od Kalicharan, Noel., Kalicharan, Noel.
Izdano 2013

Teme: “...Programming languages (Electronic computers)....”
Polni tekst

Elektronski eKnjiga

12

Mathematica®: A Problem-Centered Approach

od Hazrat, Roozbeh., Hazrat, Roozbeh.
Izdano 2015

Kazalo: “... matching -- Functions with multiple definitions -- Recursive functions -- Linear algebra -- Graphics...”
Polni tekst

Elektronski eKnjiga

13

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

Izdano 2006

Kazalo: “... Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety -- Improved Algorithm...”
Polni tekst

Elektronski eKnjiga

14

Mathematica®: A Problem-Centered Approach

od Hazrat, Roozbeh., Hazrat, Roozbeh.
Izdano 2010

Kazalo: “...1. Introduction -- 1.1 Mathematica as a calculator -- 1.2 Numbers -- 1.3 Algebraic computations...”
Polni tekst

Elektronski eKnjiga

15

Advanced Topics in Java Core Concepts in Data Structures /

od Kalicharan, Noel., Kalicharan, Noel.
Izdano 2014

Teme: “...Java (Computer program language)....”
Polni tekst

Elektronski eKnjiga

16

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

Izdano 2010

Kazalo: “... on Parallel Machines -- Almost Linear Time Computation of the Chromatic Polynomial of a Graph of Bounded Tree...”
Polni tekst

Elektronski eKnjiga

17

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

Izdano 2015

Kazalo: “... Systems -- Verifying Concurrent Programs by Memory Unwinding -- AutoProof: Auto-Active Functional...”
Polni tekst

Elektronski eKnjiga

18

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

Izdano 2010

Kazalo: “... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...”
Polni tekst

Elektronski eKnjiga

19

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

Izdano 2010

Kazalo: “... -- Semantic Approach for Service Oriented Requirements Modeling -- Automatic Reasoning -- Extend Atomic Action...”
Polni tekst

Elektronski eKnjiga

20

Cystic Fibrosis Methods and Protocols

Izdano 2002

Kazalo: “... and Inflammation -- Analysis of Lipid Abnormalities in CF Mice -- Bioelectric Measurement of CFTR Function in Mice...”
Polni tekst

Elektronski eKnjiga

Zoži iskanje