Search Results - programming logics programming https array https

1

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

Published 2010

Table of Contents: “...The Complexity of Partial-Observation Parity Games -- Awareness in Games, Awareness in Logic...”
View full text

Electronic eBook

2

Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings /

Published 2008

Table of Contents: “... over Positive Temporal Templates -- A Logic of Singly Indexed Arrays -- Session 10. Modal and Temporal...”
View full text

Electronic eBook

3

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

4

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

5

Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...

Published 2008

Table of Contents: “... Encodings and Dependent Types -- Functional and Logic Programming -- Programming in JoCaml (Tool...”
View full text

Electronic eBook

6

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

Published 2014

Table of Contents: “... Computation -- An Array-Oriented Language with Static Rank Polymorphism -- Gradual Typing for Annotated Type...”
View full text

Electronic eBook

7

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

8

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

Published 2010

Table of Contents: “... for Java Threads -- A Grammar-Based Approach to Invertible Programs -- Faulty Logic: Reasoning about Fault...”
View full text

Electronic eBook

9

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

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

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

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

Subjects: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
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 2012

Table of Contents: “... to Programming Languages.-Introduction to Programming.-Arithmetic.-Arrays 1: Some Fundamentals.-Arrays 2: Further...”
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 2015

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

Electronic eBook

14

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

15

Learn to Program with C

by Kalicharan, Noel., Kalicharan, Noel.
Published 2015

Table of Contents: “...1. Elementary Programming Concepts -- 2. C The Basics -- 3. Programs with Sequence Logic -- 4...”
View full text

Electronic eBook

16

MATLAB Programming for Numerical Analysis

by Lopez, Cesar., Lopez, Cesar.
Published 2014

Subjects: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text

Electronic eBook

17

Reconfigurable Computing Accelerating Computation with Field-Programmable Gate Arrays /

by Gokhale, Maya B., Gokhale, Maya B., Graham, Paul S.
Published 2005

Table of Contents: “... -- Reconfigurable Logic Devices. Field-Programmable Gate Arrays. Coarse-Grained Reconfigurable Arrays. Summary...”
View full text

Electronic eBook