Zoekresultaten - program modelling programs https array https

1

Genetic Programming 11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008, Proceedings /

Gepubliceerd in 2008

Inhoudsopgave: “... Estimation: A Signal-Based Model -- Good News: Using News Feeds with Genetic Programming to Predict Stock...”
Volledige tekst

Elektronisch E-boek

2

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

door Bradley, Aaron R., Bradley, Aaron R.
Gepubliceerd in 2011

Inhoudsopgave: “...Chap. 1, Memory: The Stack -- Chap. 2, Control -- Chap. 3, Arrays and Strings -- Chap. 4, Debugging...”
Volledige tekst

Elektronisch E-boek

3

Programming Languages 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, September 29- October 4, 2013, Proceedings /

Gepubliceerd in 2013

Inhoudsopgave: “... and Extensible Package Management System for Lua -- On the Performance of Multidimensional Array Representations...”
Volledige tekst

Elektronisch E-boek

4

A Practical Programming Model for the Multi-Core Era International Workshop on OpenMP, IWOMP 2007 Beijing, China, June 3-7, 2007, Proceedings /

Gepubliceerd in 2008

Inhoudsopgave: “... Programming Language for Distributed Memory Systems -- A New Memory Allocation Model for Parallel Search Space...”
Volledige tekst

Elektronisch E-boek

5

Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...

Gepubliceerd in 2008

Inhoudsopgave: “... Semantics for Hybrid Systems -- Full Abstraction for Linda -- Practical Programming with Higher-Order...”
Volledige tekst

Elektronisch E-boek

6

Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...

Gepubliceerd in 2010

Inhoudsopgave: “... Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs...”
Volledige tekst

Elektronisch E-boek

7

Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, Proceedings /

Gepubliceerd in 2006

Inhoudsopgave: “... -- Symbolic Analysis of Imperative Programming Languages -- Array-Structured Object Types for Mathematical...”
Volledige tekst

Elektronisch E-boek

8

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...

Gepubliceerd in 2014

Inhoudsopgave: “... Functions -- Model and Proof Generation for Heap-Manipulating Programs -- REAP: Reporting Errors Using...”
Volledige tekst

Elektronisch E-boek

9

MATLAB Programming for Numerical Analysis

door Lopez, Cesar., Lopez, Cesar.
Gepubliceerd in 2014

Onderwerpen: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Volledige tekst

Elektronisch E-boek

10

Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings /

Gepubliceerd in 2010

Inhoudsopgave: “... Models -- Characterising Space Complexity Classes via Knuth-Bendix Orders -- Focused Natural Deduction...”
Volledige tekst

Elektronisch E-boek

11

Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings /

Gepubliceerd in 2008

Inhoudsopgave: “... Bounded Model Checking -- Session 6. Verification -- On Bounded Reachability of Programs with Set...”
Volledige tekst

Elektronisch E-boek

12

A Primer on Scientific Programming with Python

door Langtangen, Hans Petter., Langtangen, Hans Petter.
Gepubliceerd in 2014

Inhoudsopgave: “... and Error Handling -- Array Computing and Curve Plotting -- Dictionaries and Strings -- Introduction...”
Volledige tekst

Elektronisch E-boek

13

Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings /

Gepubliceerd in 2010

Inhoudsopgave: “... Structures -- Regular Papers -- Temporal Reasoning for Procedural Programs -- Improved Model Checking...”
Volledige tekst

Elektronisch E-boek

14

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

Gepubliceerd in 2006

Inhoudsopgave: “... Framework for Coverability Properties of WSTS -- Complexity Results on Branching-Time Pushdown Model...”
Volledige tekst

Elektronisch E-boek

15

Beginning Java 8 Fundamentals Language Syntax, Arrays, Data Types, Objects, and Regular Expressions /

door Sharan, Kishori., Sharan, Kishori.
Gepubliceerd in 2014

Onderwerpen: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Volledige tekst

Elektronisch E-boek

16

The Square Kilometre Array: An Engineering Perspective

Gepubliceerd in 2005

Inhoudsopgave: “... Lens for the SKA -- Efficiency Analysis of Focal Plane Arrays in Deep Dishes -- Model Validation...”
Volledige tekst

Elektronisch E-boek

17

Reconfigurable Computing Accelerating Computation with Field-Programmable Gate Arrays /

door Gokhale, Maya B., Gokhale, Maya B., Graham, Paul S.
Gepubliceerd in 2005

Inhoudsopgave: “... -- Reconfigurable Logic Devices. Field-Programmable Gate Arrays. Coarse-Grained Reconfigurable Arrays. Summary...”
Volledige tekst

Elektronisch E-boek