Sökresultat - structure computational ((programming using) or (programming solving)) arrays via*

1

Introduction to Programming with Fortran with coverage of Fortran 90, 95, 2003 and 77 /

av Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Publicerad 2006

Innehållsförteckning: “... Solving -- to Programming Languages -- to Programming -- Arithmetic -- Arrays 1 Some Fundamentals...”
Hämta fulltext

Elektronisk E-bok

2

Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS...

Publicerad 2008

Innehållsförteckning: “... Games with Few Random Vertices Are Easy to Solve -- The Complexity of Nash Equilibria in Infinite...”
Hämta fulltext

Elektronisk E-bok

3

A Primer on Scientific Programming with Python

av Langtangen, Hans Petter., Langtangen, Hans Petter.
Publicerad 2014

Innehållsförteckning: “... and Error Handling -- Array Computing and Curve Plotting -- Dictionaries and Strings -- Introduction...”
Hämta fulltext

Elektronisk E-bok

4

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

Publicerad 2010

Innehållsförteckning: “... of Comparative Similarity over Arbitrary Distance Spaces -- Extended Computation Tree Logic -- Using Causal...”
Hämta fulltext

Elektronisk E-bok

5

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

Publicerad 2005

Innehållsförteckning: “... -- On the Use of Gröbner Bases for Computing the Structure of Finite Abelian Groups -- Normal Forms...”
Hämta fulltext

Elektronisk E-bok

6

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings /

Publicerad 2014

Innehållsförteckning: “... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”
Hämta fulltext

Elektronisk E-bok

7

Euro-Par 2015: Parallel Processing 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings /

Publicerad 2015

Innehållsförteckning: “... Problem Arising in Edge Plasma Physics Using Hybrid MPI/OpenMP Programming -- Behavioral Non-Portability...”
Hämta fulltext

Elektronisk E-bok

8

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

Publicerad 2005

Innehållsförteckning: “... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”
Hämta fulltext

Elektronisk E-bok

9

Applications of Evolutionary Computation EvoApplications 2010: EvoCOMNET, EvoENVIRONMENT, EvoFIN...

Publicerad 2010

Innehållsförteckning: “... Probabilities to Improve the Generation of Creative Musical Structures -- Dynamic Musical Orchestration Using...”
Hämta fulltext

Elektronisk E-bok

10

Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013, Proceedings /

Publicerad 2013

Innehållsförteckning: “... Envelope -- Uniform Interpolation of ALC-Ontologies Using Fixpoints -- Abduction in Logic Programming...”
Hämta fulltext

Elektronisk E-bok

11

Transactions on Engineering Technologies International MultiConference of Engineers and Computer Scientists 2013 /

Publicerad 2014

Innehållsförteckning: “... Performance Using NK Simulation Method -- 9 Computing Implied Volatilities For Exchange-Traded Options...”
Hämta fulltext

Elektronisk E-bok