Search Results - program one programs https array https

1

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

Published 2006

Table of Contents: “... Programming with Function Patterns -- Transformational Verification of Parameterized Protocols Using Array...”
View full text

Electronic eBook

2

Languages and Compilers for Parallel Computing 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers /

Published 2006

Table of Contents: “... Core Processors -- Code Transformations for One-Pass Analysis -- Scalable Array SSA and Array Data Flow...”
View full text

Electronic eBook

3

Interventions for Autism Spectrum Disorders Translating Science into Practice /

Published 2013

Table of Contents: “...Preface -- Section I – Foundation -- Autism Spectrum Disorder Enters the Age of Multidisciplinary...”
View full text

Electronic eBook

4

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

Published 2015

Table of Contents: “... for Verifying C Programs -- SMACK+Corral: A Modular Verifier -- Ultimate Automizer with Array Interpolation...”
View full text

Electronic eBook

5

Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April...

Published 2014

Table of Contents: “...Using the SSA-Form in a Code Generator -- Program Analysis and Optimization Parameterized...”
View full text

Electronic eBook

6

Data Manipulation with R

by Spector, Phil., Spector, Phil.
Published 2008

Subjects: “...Statistics and Computing/Statistics Programs. https://scigraph.springernature.com/ontologies...”
View full text

Electronic eBook

7

Screening the Single Euploid Embryo Molecular Genetics in Reproductive Medicine /

Published 2015

Table of Contents: “... -- Tweaking ICSI for a PGD program -- Comprehensive Chromosomal Screening from Polar Body Biopsy to Blastocyst...”
View full text

Electronic eBook

8

Guide to Java A Concise Introduction to Programming /

by Streib, James T., Streib, James T., Soma, Takako.
Published 2014

Table of Contents: “... -- Iteration Structures -- Objects: Revisited -- Strings -- Arrays -- Recursion -- Objects: Inheritance...”
View full text

Electronic eBook

9

Value-Range Analysis of C Programs Towards Proving the Absence of Buffer Overflow Vulnerabilities /

by Simon, Axel., Simon, Axel.
Published 2008

Table of Contents: “... for C -- Core C -- Related Work -- Part 1 Abstracting Soundly -- Abstract State Space -- Points...”
View full text

Electronic eBook

10

A Science of Operations Machines, Logic and the Invention of Programming /

by Priestley, Mark., Priestley, Mark.
Published 2011

Table of Contents: “... Systems -- Automating Control -- Logic and the Invention of the Computer -- Machine Code Programming...”
View full text

Electronic eBook

11

The SAGES Manual of Hernia Repair

Published 2013

Table of Contents: “...Establishing a Hernia Program and Follow-up Regimen: A Complex Systems Design for Care...”
View full text

Electronic eBook

12

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

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

Table of Contents: “... -- Introduction to Programming -- Arithmetic -- Arrays 1: Some Fundamentals -- Arrays 2: Further Examples -- Whole...”
View full text

Electronic eBook

13

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

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

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

Electronic eBook

14

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

15

Central European Functional Programming School First Central European Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures /

by Horváth, Zoltán., Horváth, Zoltán.
Published 2006

Table of Contents: “... -- Functional Array Programming in SaC -- Exploiting Purely Functional Programming to Obtain Bounded Resource...”
View full text

Electronic eBook