Search Results - program manipulation https function structures https

1

Programming for Engineers A Foundational Approach to Learning C and Matlab /

by Bradley, Aaron R., Bradley, Aaron R.
Published 2011

Subjects: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text

Electronic eBook

2

Programming Languages An Active Learning Approach /

by Lee, Kent D., Lee, Kent D.
Published 2008

Table of Contents: “... Programming with Ruby -- Functional Programming in Standard ML -- Language Implementation in Standard ML...”
View full text

Electronic eBook

3

Types for Proofs and Programs International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers /

Published 2006

Table of Contents: “... Few Constructions on Constructors -- Tactic-Based Optimized Compilation of Functional Programs...”
View full text

Electronic eBook

4

Approaches to Probabilistic Model Learning for Mobile Manipulation Robots

by Sturm, Jürgen., Sturm, Jürgen.
Published 2013

Table of Contents: “... State Estimation using Tactile Sensors -- Learning Manipulation Tasks by Demonstration -- Conclusions....”
View full text

Electronic eBook

5

Advanced Topics in C Core Concepts in Data Structures /

by Kalicharan, Noel., Kalicharan, Noel.
Published 2013

Subjects: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text

Electronic eBook

6

Advanced Topics in Java Core Concepts in Data Structures /

by Kalicharan, Noel., Kalicharan, Noel.
Published 2014

Subjects: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text

Electronic eBook

7

Mathematics of Program Construction 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings /

Published 2006

Table of Contents: “... Manipulation -- Improving Saddleback Search: A Lesson in Algorithm Design -- Loopless Functional Algorithms...”
View full text

Electronic eBook

8

Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...

Published 2015

Table of Contents: “... and Termination of Heap-Manipulating Programs -- Full Reduction in the Face of Absurdity -- CoLoSL: Concurrent...”
View full text

Electronic eBook

9

VEE Pro: Practical Graphical Programming

by Angus, Robert B., Angus, Robert B., Hulbert, Thomas E.
Published 2005

Table of Contents: “...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...”
View full text

Electronic eBook

10

Languages and Compilers for Parallel Computing 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers /

Published 2006

Table of Contents: “... Design -- Manipulating MAXLIVE for Spill-Free Register Allocation -- Optimizing Packet Accesses for a...”
View full text

Electronic eBook

11

Reliable Implementation of Real Number Algorithms: Theory and Practice International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers /

Published 2008

Table of Contents: “... for the Exponential Function in the IEEE 754r decimal64 Format -- Robustness and Randomness -- Topological...”
View full text

Electronic eBook

12

Critical Infrastructure Protection IV Fourth Annual IFIP WG 11.10 International Conference on Critical Infrastructure Protection, ICCIP 2010, Washington, DC, USA, March 15-17, 2010...

Published 2010

Table of Contents: “... Signal Manipulations in Non-Linear Chemical Processes -- Distributed Intrusion Detection System for SCADA...”
View full text

Electronic eBook

13

Rewriting Techniques and Applications 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings /

Published 2008

Table of Contents: “... for Rewriting Approximations -- A Needed Rewriting Strategy for Data-Structures with Pointers -- Effectively...”
View full text

Electronic eBook

14

Global Optimization and Constraint Satisfaction Second International Workshop, COCOS 2003, Lausanne, Switzerland, Nevember 18-21, 2003, Revised Selected Papers /

Published 2005

Table of Contents: “... Backtracking: Exploiting the Structure in Continuous CSPs -- Accelerating Consistency Techniques and Prony’s...”
View full text

Electronic eBook

15

Optimization—Theory and Practice

by Forst, Wilhelm., Forst, Wilhelm., Hoffmann, Dieter.
Published 2010

Table of Contents: “... Methods -- 7. Semidefinite Optimization: Selected Special Cases, The S-Procedure, The Function log°det...”
View full text

Electronic eBook

16

Computer Algebra in Scientific Computing 12th International Workshop, CASC 2010, Tsakhadzor, Armenia, September 6-12, 2010, Proceedings /

Published 2010

Table of Contents: “... Functions by Generic Symbolic Convexity Tests -- Term Cancellations in Computing Floating-Point Gröbner...”
View full text

Electronic eBook

17

Arithmetic of Finite Fields Third International Workshop, WAIFI 2010, Istanbul, Turkey, June 27-30, 2010, Proceedings /

Published 2010

Table of Contents: “...Invited Talk 1 -- Recursive Towers of Function Fields over Finite Fields -- Efficient Finite Field...”
View full text

Electronic eBook

18

Graph Transformations Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings /

Published 2006

Table of Contents: “... Manipulation -- Narrowing Data-Structures with Pointers -- Molecular Analysis of Metabolic Pathway with Graph...”
View full text

Electronic eBook

19

Algebraic Biology Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008, Proceedings /

Published 2008

Table of Contents: “... Algebra and Consciousness: A Theory of Structural Functionality in Neural Nets -- An Algorithm...”
View full text

Electronic eBook

20

Algebraic Biology Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007, Proceedings /

Published 2007

Table of Contents: “...: The Toric Variety of Nested Canalyzing Functions -- Membrane Computing as a Framework for Bio-modeling...”
View full text

Electronic eBook

Narrow Search