Search Results - programs case program https array https

1

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

Published 2006

Table of Contents: “... -- Symbolic Analysis of Imperative Programming Languages -- Array-Structured Object Types for Mathematical...”
View full text

Electronic eBook

2

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

by Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Published 2006

Table of Contents: “... Solving -- to Programming Languages -- to Programming -- Arithmetic -- Arrays 1 Some Fundamentals...”
View full text

Electronic eBook

3

Guide to Fortran 2008 Programming

by Brainerd, Walter S., Brainerd, Walter S.
Published 2015

Table of Contents: “...Introduction to Programming in Fortran -- Control Constructs -- Modules and Procedures -- Arrays...”
View full text

Electronic eBook

4

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

Published 2010

Table of Contents: “... Encoding of Unification in -- Generating Combinatorial Test Cases by Efficient SAT Encodings Suitable...”
View full text

Electronic eBook

5

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

Published 2015

Table of Contents: “... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”
View full text

Electronic eBook

6

Bioconductor Case Studies

by Hahne, Florian., Hahne, Florian., Huber, Wolfgang., Gentleman, Robert., Falcon, Seth.
Published 2008

Table of Contents: “... Color Arrays -- Fold Changes, Log Ratios, Background Correction, Shrinkage Estimation, and Variance...”
View full text

Electronic eBook

7

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

Published 2007

Table of Contents: “...On Optimising Shape-Generic Array Programs Using Symbolic Structural Information -- Index Vector...”
View full text

Electronic eBook

8

Global Poverty Alleviation: A Case Book

Published 2014

Table of Contents: “...Table of Contents -- Introduction -- Case Methodologies -- Chapter 1: Technology and Capacity...”
View full text

Electronic eBook

9

Numerical Python A Practical Techniques Approach for Industry /

by Johansson, Robert., Johansson, Robert.
Published 2015

Table of Contents: “...1. Introduction to computing with Python -- 2. Vectors, matrices and multidimensional arrays -- 3...”
View full text

Electronic eBook

10

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

Published 2015

Table of Contents: “... -- Accepted Papers -- Scalable incremental test-case generation from large behavior models -- Test Case...”
View full text

Electronic eBook

11

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

Published 2014

Table of Contents: “...Classifying and Solving Horn Clauses for Verification -- Static Analysis of Programs with Imprecise...”
View full text

Electronic eBook

12

Adobe ColdFusion Anthology The Best of The Fusion Authority /

by Dinowitz, Michael., Dinowitz, Michael., Dinowitz, Judith.
Published 2010

Table of Contents: “... Returning an Array of Components -- Sending E-mail the Right Way -- ColdFusion and Microsoft Exchange...”
View full text

Electronic eBook

13

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

Published 2005

Table of Contents: “... SPEC2000FP Benchmarks -- An Offline Approach for Whole-Program Paths Analysis Using Suffix Arrays...”
View full text

Electronic eBook

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 /

Published 2006

Table of Contents: “... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...”
View full text

Electronic eBook

15

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

Published 2006

Table of Contents: “... -- Grammatical Inference in Practice: A Case Study in the Biomedical Domain -- Inferring Grammar Rules...”
View full text

Electronic eBook

16

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

Published 2006

Table of Contents: “...Invited Talks -- From Inductive Logic Programming to Relational Data Mining -- Answer Set...”
View full text

Electronic eBook

17

CSS Mastery Advanced Web Standards Solutions /

by Moll, Cameron., Moll, Cameron., Budd, Andy., Collison, Simon.
Published 2006

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

Electronic eBook

18

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...

Published 2010

Table of Contents: “... -- Web Science: The Digital-Heritage Case -- Model-Driven Software Product Line Testing: An Integrated...”
View full text

Electronic eBook

19

Theoretical Aspects of Computing - ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings /

Published 2005

Table of Contents: “... Relations -- Languages and Process Calculi for Network Aware Programming – Short Summary - -- Stochastic...”
View full text

Electronic eBook

20

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice o...

Published 2014

Table of Contents: “... for Flat Array Properties -- SATMC: A SAT-Based Model Checker for Security-Critical Systems -- IC3 Modulo...”
View full text

Electronic eBook

Narrow Search