Rezultaty - parallel about programs function function https

Inne możliwości wyszukiwania:
programs function » programs functional , programme function , programs fiction
function function » function functional , functions functional , function dysfunction
parallel about » parallel ant , parallel agent , parallel aco
about programs » agent programs , sport programs
function https » functions https , fiction https

Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings /

Wydane 2006

Spis treści: “...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...”
Dokumenty pełnotekstowe

Elektroniczne E-book

The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday /

Wydane 2013

Spis treści: “... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2006

Spis treści: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Wydane 2008

Spis treści: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...

Wydane 2015

Spis treści: “... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Wydane 2005

Spis treści: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
Dokumenty pełnotekstowe

Elektroniczne E-book

A Primer on Scientific Programming with Python

od Langtangen, Hans Petter., Langtangen, Hans Petter.
Wydane 2014

Spis treści: “...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings /

Wydane 2006

Spis treści: “... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...”
Dokumenty pełnotekstowe

Elektroniczne E-book

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings /

Wydane 2005

Spis treści: “...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Automatic SIMD Vectorization of SSA-based Control Flow Graphs

od Karrenberg, Ralf., Karrenberg, Ralf.
Wydane 2015

Hasła przedmiotowe: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings /

Wydane 2006

Spis treści: “... -- On Rational Trees -- Reasoning About States of Probabilistic Sequential Programs -- Concurrent Games with Tail...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Visual C# 2010 Recipes A Problem-Solution Approach /

od Jones, Allen., Jones, Allen., MacDonald, Matthew., Rajan, Rakesh., Freeman, Adam.
Wydane 2010

Spis treści: “... -- Unmanaged Code Interoperability -- Commonly Used Interfaces and Patterns -- Windows Integration -- Parallel...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Expert F# 3.0

od Syme, Don., Syme, Don., Granicz, Adam., Cisternino, Antonio.
Wydane 2012

Hasła przedmiotowe: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings /

Wydane 2015

Spis treści: “... Ordered Restarting Automata -- Reversible Languages -- Garbage Collection for Reversible Functional...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings /

Wydane 2015

Spis treści: “... Terms and Parallel Substitutions -- ModuRes: a Coq Library for Modular Reasoning about Concurrent...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Requirements Engineering: Foundation for Software Quality 21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings /

Wydane 2015

Spis treści: “... -- Modeling and Reasoning about Information Quality Requirements -- Detecting and Correcting Outdated...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Recent Advances in Phototrophic Prokaryotes

Wydane 2010

Spis treści: “... -- Beyond the Genome: Functional Studies of Phototrophic Sulfur Oxidation -- Multicellularity in a...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Frontiers of Computational Science Proceedings of the International Symposium on Frontiers of Computational Science 2005 /

Wydane 2007

Spis treści: “... Parallel Computing Framework for Nonexperts of Computers: Easy Installation, Programming and Execution...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Advances in Automatic Differentiation

Wydane 2008

Spis treści: “... Differentiation -- Algorithmic Differentiation of Implicit Functions and Optimal Values -- Using Programming...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Mathematical Software - ICMS 2006 Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006, Proceedings /

Wydane 2006

Spis treści: “... Linear Programming -- A Parallel, Asynchronous Method for Derivative-Free Nonlinear Programs...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty