Hakutulokset - programs case programming https array https

1

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

2

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

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

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

Elektroninen E-kirja

3

Guide to Fortran 2008 Programming

Tekijä Brainerd, Walter S., Brainerd, Walter S.
Julkaistu 2015

Sisällysluettelo: “...Introduction to Programming in Fortran -- Control Constructs -- Modules and Procedures -- Arrays...”
Hae kokoteksti

Elektroninen E-kirja

4

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

Julkaistu 2010

Sisällysluettelo: “... Encoding of Unification in -- Generating Combinatorial Test Cases by Efficient SAT Encodings Suitable...”
Hae kokoteksti

Elektroninen E-kirja

5

Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /

Julkaistu 2015

Sisällysluettelo: “... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”
Hae kokoteksti

Elektroninen E-kirja

6

Bioconductor Case Studies

Tekijä Hahne, Florian., Hahne, Florian., Huber, Wolfgang., Gentleman, Robert., Falcon, Seth.
Julkaistu 2008

Sisällysluettelo: “... Color Arrays -- Fold Changes, Log Ratios, Background Correction, Shrinkage Estimation, and Variance...”
Hae kokoteksti

Elektroninen E-kirja

7

Implementation and Application of Functional Languages 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers /

Julkaistu 2007

Sisällysluettelo: “...On Optimising Shape-Generic Array Programs Using Symbolic Structural Information -- Index Vector...”
Hae kokoteksti

Elektroninen E-kirja

8

Global Poverty Alleviation: A Case Book

Julkaistu 2014

Sisällysluettelo: “...Table of Contents -- Introduction -- Case Methodologies -- Chapter 1: Technology and Capacity...”
Hae kokoteksti

Elektroninen E-kirja

9

Adobe ColdFusion Anthology The Best of The Fusion Authority /

Tekijä Dinowitz, Michael., Dinowitz, Michael., Dinowitz, Judith.
Julkaistu 2010

Sisällysluettelo: “... Returning an Array of Components -- Sending E-mail the Right Way -- ColdFusion and Microsoft Exchange...”
Hae kokoteksti

Elektroninen E-kirja

10

Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings /

Julkaistu 2015

Sisällysluettelo: “... -- Accepted Papers -- Scalable incremental test-case generation from large behavior models -- Test Case...”
Hae kokoteksti

Elektroninen E-kirja

11

Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers /

Julkaistu 2014

Sisällysluettelo: “...Classifying and Solving Horn Clauses for Verification -- Static Analysis of Programs with Imprecise...”
Hae kokoteksti

Elektroninen E-kirja

12

Numerical Python A Practical Techniques Approach for Industry /

Tekijä Johansson, Robert., Johansson, Robert.
Julkaistu 2015

Sisällysluettelo: “...1. Introduction to computing with Python -- 2. Vectors, matrices and multidimensional arrays -- 3...”
Hae kokoteksti

Elektroninen E-kirja

13

Languages and Compilers for High Performance Computing 17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers /

Julkaistu 2005

Sisällysluettelo: “... SPEC2000FP Benchmarks -- An Offline Approach for Whole-Program Paths Analysis Using Suffix Arrays...”
Hae kokoteksti

Elektroninen E-kirja

14

Recent Advances in Parallel Virtual Machine and Message Passing Interface 13th European PVM/MPI User's Group Meeting, Bonn, Germany, September 17-20, 2006, Proceedings /

Julkaistu 2006

Sisällysluettelo: “... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...”
Hae kokoteksti

Elektroninen E-kirja

15

Logics in Artificial Intelligence 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings /

Julkaistu 2006

Sisällysluettelo: “...Invited Talks -- From Inductive Logic Programming to Relational Data Mining -- Answer Set...”
Hae kokoteksti

Elektroninen E-kirja

16

CSS Mastery Advanced Web Standards Solutions /

Tekijä Moll, Cameron., Moll, Cameron., Budd, Andy., Collison, Simon.
Julkaistu 2006

Aiheet: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Hae kokoteksti

Elektroninen E-kirja

17

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 23-29, 2...

Julkaistu 2010

Sisällysluettelo: “... -- Web Science: The Digital-Heritage Case -- Model-Driven Software Product Line Testing: An Integrated...”
Hae kokoteksti

Elektroninen E-kirja

18

Grammatical Inference: Algorithms and Applications 8th International Colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006, Proceedings /

Julkaistu 2006

Sisällysluettelo: “... -- Grammatical Inference in Practice: A Case Study in the Biomedical Domain -- Inferring Grammar Rules...”
Hae kokoteksti

Elektroninen E-kirja

19

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

Julkaistu 2007

Sisällysluettelo: “... Automata: The Case of Rule 90 -- Methods and Tools of Parallel Programming of Multicomputers -- Intensive...”
Hae kokoteksti

Elektroninen E-kirja

20

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

Julkaistu 2010

Sisällysluettelo: “... Schemes for Scheduling Divisible Loads -- Semi-online Preemptive Scheduling: Study of Special Cases...”
Hae kokoteksti

Elektroninen E-kirja

Rajaa hakua