Hakutulokset - processing programs ((programs processing) or (program processing)) array https

1

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 /

Julkaistu 2005

Sisällysluettelo: “... and FDR to Software Design -- Concurrent Programming -- Communicating Mobile Processes -- Model-Based...”
Hae kokoteksti

Elektroninen E-kirja

2

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

Julkaistu 2008

Sisällysluettelo: “... Estimation: A Signal-Based Model -- Good News: Using News Feeds with Genetic Programming to Predict Stock...”
Hae kokoteksti

Elektroninen E-kirja

3

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

Julkaistu 2010

Sisällysluettelo: “... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...”
Hae kokoteksti

Elektroninen E-kirja

4

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

Julkaistu 2015

Sisällysluettelo: “... Reliability Classification of Queueing Models for Streaming Processing Using Support Vector Machines -- A...”
Hae kokoteksti

Elektroninen E-kirja

5

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

Julkaistu 2006

Sisällysluettelo: “... -- Symbolic Analysis of Imperative Programming Languages -- Array-Structured Object Types for Mathematical...”
Hae kokoteksti

Elektroninen E-kirja

6

Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77 /

Tekijä Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Julkaistu 2012

Sisällysluettelo: “... to Programming Languages.-Introduction to Programming.-Arithmetic.-Arrays 1: Some Fundamentals.-Arrays 2: Further...”
Hae kokoteksti

Elektroninen E-kirja

7

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

Julkaistu 2010

Sisällysluettelo: “... Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs...”
Hae kokoteksti

Elektroninen E-kirja

8

Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77 /

Tekijä Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Julkaistu 2015

Sisällysluettelo: “... -- Introduction to Programming -- Arithmetic -- Arrays 1: Some Fundamentals -- Arrays 2: Further Examples -- Whole...”
Hae kokoteksti

Elektroninen E-kirja

9

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

Julkaistu 2014

Sisällysluettelo: “... Computation -- An Array-Oriented Language with Static Rank Polymorphism -- Gradual Typing for Annotated Type...”
Hae kokoteksti

Elektroninen E-kirja

10

Learn to Program with C

Tekijä Kalicharan, Noel., Kalicharan, Noel.
Julkaistu 2015

Sisällysluettelo: “...1. Elementary Programming Concepts -- 2. C The Basics -- 3. Programs with Sequence Logic -- 4...”
Hae kokoteksti

Elektroninen E-kirja

11

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Julkaistu 2010

Sisällysluettelo: “... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”
Hae kokoteksti

Elektroninen E-kirja

12

Multimedia Introduction to Programming Using Java

Tekijä Gries, David., Gries, David., Gries, Paul.
Julkaistu 2005

Sisällysluettelo: “...Basic Object-Oriented Programming -- Computers and Programming -- Object-Oriented Introduction...”
Hae kokoteksti

Elektroninen E-kirja

13

Electronics and Signal Processing Selected Papers from the 2011 International Conference...

Julkaistu 2011

Sisällysluettelo: “... Photovoltaic Cell Array -- The Performance Comparison of ANFIS and Hammerstein-Wiener Models for BLDC Motors...”
Hae kokoteksti

Elektroninen E-kirja

14

Neural Information Processing 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part V /

Julkaistu 2012

Sisällysluettelo: “... Processing -- Learn to Swing Up and Balance a Real Pole Based on Raw Visual Input Data -- GPU-Based...”
Hae kokoteksti

Elektroninen E-kirja

15

Microbial Processes and Products

Julkaistu 2005

Sisällysluettelo: “...Development of Improved Strains and Optimization of Fermentation Processes -- Experimental Design...”
Hae kokoteksti

Elektroninen E-kirja

16

Neural Information Processing 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part I /

Julkaistu 2012

Sisällysluettelo: “... Density EEG Sensor Arrays for Brain Source Localization -- A Novel Ontological Technique for Sentiment...”
Hae kokoteksti

Elektroninen E-kirja

17

Neural Information Processing 21st International Conference, ICONIP 2014, Kuching, Malaysia, November 3-6, 2014. Proceedings, Part III /

Julkaistu 2014

Sisällysluettelo: “...Signal and Image Processing -- Real Time Crowd Counting with Human Detection and Human Tracking...”
Hae kokoteksti

Elektroninen E-kirja

18

VEE Pro: Practical Graphical Programming

Tekijä Angus, Robert B., Angus, Robert B., Hulbert, Thomas E.
Julkaistu 2005

Sisällysluettelo: “...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...”
Hae kokoteksti

Elektroninen E-kirja

19

Logic Based Program Synthesis and Transformation 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers /

Julkaistu 2006

Sisällysluettelo: “... Programming with Function Patterns -- Transformational Verification of Parameterized Protocols Using Array...”
Hae kokoteksti

Elektroninen E-kirja

20

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

Julkaistu 2010

Sisällysluettelo: “... to Provability Logic -- Characterising Probabilistic Processes Logically -- fCube: An Efficient Prover...”
Hae kokoteksti

Elektroninen E-kirja

Rajaa hakua