Search Results - using complete program functionality design https

Search alternatives:
program functionality » protein functionality , programs functional , supra functionality
functionality design » functional design , function design , functionality needs
complete program » computer program , complete problems
using complete » using incomplete , using complex , using complexity
design https » vision https

Drawing Programs: The Theory and Practice of Schematic Functional Programming

by Addis, Tom., Addis, Tom., Addis, Jan.
Published 2010

Table of Contents: “...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...”
View full text

Electronic eBook

Compiler Design Analysis and Transformation /

by Seidl, Helmut., Seidl, Helmut., Wilhelm, Reinhard., Hack, Sebastian.
Published 2012

Table of Contents: “... -- Functional Programs -- References -- Index....”
View full text

Electronic eBook

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /

Published 2006

Table of Contents: “...Invited Talks -- Why Use Datalog to Analyze Programs? -- Semantic Web: The Story of the RIFt so Far...”
View full text

Electronic eBook

Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...

Published 2005

Table of Contents: “... with Recursion -- Determinacy Inference for Logic Programs -- Automatic Verification of Pointer Programs Using...”
View full text

Electronic eBook

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II /

Published 2006

Table of Contents: “... and Relative Completeness of Logics for Higher-Order Functions -- Interpreting Polymorphic FPC into Domain...”
View full text

Electronic eBook

Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I /

Published 2010

Table of Contents: “...-Track A2. Security -- Online Network Design with Outliers -- Efficient Completely Non-malleable Public...”
View full text

Electronic eBook

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I /

Published 2006

Table of Contents: “... -- Deterministic Extractors for Independent-Symbol Sources -- Randomness -- Gap Amplification in PCPs Using Lazy...”
View full text

Electronic eBook

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I /

Published 2015

Table of Contents: “... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...”
View full text

Electronic eBook

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

Event-Based Programming Taking Events to the Limit /

by Faison, Ted., Faison, Ted.
Published 2006

Table of Contents: “... Firing -- Event-Based Interaction Patterns -- Functional Roles -- Case Study 1: A System Browser -- Case...”
View full text

Electronic eBook

Programming Language Concepts

by Sestoft, Peter., Sestoft, Peter.
Published 2012

Table of Contents: “... -- A First-Order Functional Language -- High-Order Functions -- Polymorphic Types -- Imperative...”
View full text

Electronic eBook

Programming Languages: Principles and Paradigms

by Gabbrielli, Maurizio., Gabbrielli, Maurizio., Martini, Simone.
Published 2010

Table of Contents: “... Abstraction -- The Object-Oriented Paradigm -- The Functional Paradigm -- The Logic Programming Paradigm -- A...”
View full text

Electronic eBook

VEE Pro: Practical Graphical Programming

by Angus, Robert B., Angus, Robert B., Hulbert, Thomas E.
Published 2005

Table of Contents: “... the Vehicle Radiator -- Using VEE Pro to Create UserFunctions -- Using VEE Pro for Application Simulations...”
View full text

Electronic eBook

Beginning C# Object-Oriented Programming

by Clark, Dan., Clark, Dan.
Published 2011

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

Electronic eBook

Discrete Mathematics Using a Computer

by O'Donnell, John., O'Donnell, John., Hall, Cordelia., Page, Rex.
Published 2006

Table of Contents: “...Programming and Reasoning with Equations -- to Haskell -- Equational Reasoning -- Recursion...”
View full text

Electronic eBook

Software Engineering 1 Abstraction and Modelling /

by Bjørner, Dines., Bjørner, Dines.
Published 2006

Table of Contents: “...Opening -- Discrete Mathematics -- Numbers -- Sets -- Cartesians -- Types -- Functions -- A...”
View full text

Electronic eBook

Abstract Computing Machines A Lambda Calculus Perspective /

by Kluge, Werner., Kluge, Werner.
Published 2005

Table of Contents: “...Algorithms and Programs -- An Algorithmic Language -- The ?-Calculus -- The se(m)cd Machine...”
View full text

Electronic eBook

High-Level Verification Methods and Tools for Verification of System-Level Designs /

by Kundu, Sudipta., Kundu, Sudipta., Lerner, Sorin., Gupta, Rajesh K.
Published 2011

Table of Contents: “...Introduction -- Related Work -- Background -- Execution-based Model Checking for High-Level Designs...”
View full text

Electronic eBook

Expert Spring MVC and Web Flow

by Yates, Colin., Yates, Colin., Ladd, Seth., Devijver, Steven., Davison, Darren.
Published 2006

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

Electronic eBook

Pro Spring MVC: With Web Flow

by Deinum, Marten., Deinum, Marten., Serneels, Koen., Yates, Colin., Ladd, Seth., Vervaet, Erwin., Vanfleteren, Christophe.
Published 2012

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

Electronic eBook

Narrow Search