Search Results - general computational programming recursion arrays a

Search alternatives:
computational programming » computation programming , computational program , computing programming
general computational » neural computational , generation computational , mengenai computational
programming recursion » programming decision , programming session , programming decisions
recursion arrays » recursion versus
arrays a » arrays _

Computer Algebra in Scientific Computing 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings /

Published 2005

Table of Contents: “... Numbers of Arrangements in Practice -- A MAPLE Symbolic-Numeric Program for Solving the 2D-Eigenvalue...”
View full text

Electronic eBook

Multimedia Introduction to Programming Using Java

by Gries, David., Gries, David., Gries, Paul.
Published 2005

Table of Contents: “...Basic Object-Oriented Programming -- Computers and Programming -- Object-Oriented Introduction...”
View full text

Electronic eBook

Mathematica®: A Problem-Centered Approach

by Hazrat, Roozbeh., Hazrat, Roozbeh.
Published 2010

Table of Contents: “...1. Introduction -- 1.1 Mathematica as a calculator -- 1.2 Numbers -- 1.3 Algebraic computations...”
View full text

Electronic eBook

Distributed Computing and Networking 9th International Conference, ICDCN 2008, Kolkata, India, January 5-8, 2008, Proceedings /

Published 2008

Table of Contents: “... on Cell Broadband Engine -- Parallel Algorithm for Conflict Graph on OTIS-Triangular Array -- A Deadlock...”
View full text

Electronic eBook

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

Published 2015

Table of Contents: “...Information Theory in Genome Analysis -- Towards a Theory of Life -- An Excursion through...”
View full text

Electronic eBook

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

Published 2012

Table of Contents: “... for Modelling with Intuitionistic Fuzzy Estimations: Part 1.-A Generalized Net with an ACO-Algorithm...”
View full text

Electronic eBook

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

Published 2005

Table of Contents: “... -- On the Complexity of Universal Programs -- Finite Sets of Words and Computing -- Universality and Cellular Automata...”
View full text

Electronic eBook

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

Published 2005

Table of Contents: “... -- Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs -- Dynamic Chunking...”
View full text

Electronic eBook

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

Published 2007

Table of Contents: “...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...”
View full text

Electronic eBook

Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers /

Published 2005

Table of Contents: “... and Simulation -- Process Algebra: A Unifying Approach -- Linking Theories of Concurrency -- Hardware Synthesis...”
View full text

Electronic eBook

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

Published 2005

Table of Contents: “... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”
View full text

Electronic eBook

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

Published 2006

Table of Contents: “... Abstraction of Recursive Programs -- Relative Safety -- Resource Usage Analysis for the ?-Calculus -- Semantic...”
View full text

Electronic eBook

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice o...

Published 2015

Table of Contents: “... for Verifying C Programs -- SMACK+Corral: A Modular Verifier -- Ultimate Automizer with Array Interpolation...”
View full text

Electronic eBook

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

Published 2010

Table of Contents: “... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...”
View full text

Electronic eBook

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of...

Published 2007

Table of Contents: “...-Dependence Analysis and Program Transformation for Symbolic Execution -- JPF–SE: A Symbolic Execution...”
View full text

Electronic eBook

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

Published 2010

Table of Contents: “... Building and Reasoning -- Applications of CBR in Oil Well Drilling: A General Overview -- Data Mining...”
View full text

Electronic eBook

Narrow Search