檢索結果 - functions computational ((programming recursion) OR (programming secrets)) 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...”
獲取全文

電子電子書

縮小搜索