Rezultaty - program transformation https function structures https

1

Graph Transformations 5th International Conference, ICGT 2010, Twente, The Netherlands, September 27--October 2, 2010, Proceedings /

Wydane 2010

Spis treści: “... 3. Models and Model Transformation -- Formal Analysis of Functional Behaviour for Model...”
Dokumenty pełnotekstowe

Elektroniczne E-book

2

Graph Transformations Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings /

Wydane 2006

Spis treści: “... for Graph Transformation with Negative Application Conditions -- Adaptive Star Grammars -- Structure...”
Dokumenty pełnotekstowe

Elektroniczne E-book

3

Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings /

Wydane 2007

Spis treści: “... Codes -- Hash Functions in the Dedicated-Key Setting: Design Choices and MPP Transforms -- Unrestricted...”
Dokumenty pełnotekstowe

Elektroniczne E-book

4

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

5

Implementation and Application of Functional Languages 24th International Symposium, IFL 2012...

Wydane 2013

Spis treści: “... bytecodes -- The HERMIT in the Tree: Mechanizing Program Transformations in the GHC Core Language...”
Dokumenty pełnotekstowe

Elektroniczne E-book

6

DNA Computing and Molecular Programming 19th International Conference, DNA 2013, Tempe, AZ, USA, September 22-27, 2013, Proceedings /

Wydane 2013

Spis treści: “... Serializability Analysis -- Iterative Self-assembly with Dynamic Strength Transformation and Temperature Control...”
Dokumenty pełnotekstowe

Elektroniczne E-book

7

Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings /

Wydane 2007

Spis treści: “... Proofs for Logic Program Transformations -- Core TuLiP Logic Programming for Trust Management -- Demand...”
Dokumenty pełnotekstowe

Elektroniczne E-book

8

Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS...

Wydane 2013

Spis treści: “... Bisimulation Theory for Computations and Values -- Checking Bisimilarity for Attributed Graph Transformation...”
Dokumenty pełnotekstowe

Elektroniczne E-book

9

Programming Languages 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, September 29- October 4, 2013, Proceedings /

Wydane 2013

Spis treści: “... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...”
Dokumenty pełnotekstowe

Elektroniczne E-book

10

Asymptotic Geometric Analysis Proceedings of the Fall 2010 Fields Institute Thematic Program /

Wydane 2013

Spis treści: “... Universal Minimal Flows of Groups of Automorphisms of Uncountable Structures (D. Bartosova...”
Dokumenty pełnotekstowe

Elektroniczne E-book

11

Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings /

Wydane 2010

Spis treści: “... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”
Dokumenty pełnotekstowe

Elektroniczne E-book

12

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

Wydane 2015

Spis treści: “...Statistical Randomized Encodings: A Complexity Theoretic View -- Tighter Fourier Transform Lower...”
Dokumenty pełnotekstowe

Elektroniczne E-book

13

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

Wydane 2010

Spis treści: “... Structure of Multipartite Quantum Entanglement -- Compositionality in Graph Transformation -- Session 6...”
Dokumenty pełnotekstowe

Elektroniczne E-book

14

Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...

Wydane 2013

Spis treści: “... Verification for Weak Memory via Program Transformation -- Checking and Enforcing Robustness against TSO...”
Dokumenty pełnotekstowe

Elektroniczne E-book

15

Inductive Logic Programming 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers /

Wydane 2007

Spis treści: “... Networks -- Multi-class Prediction Using Stochastic Logic Programs -- Structuring Natural Language Data...”
Dokumenty pełnotekstowe

Elektroniczne E-book

16

Principles and Practice of Constraint Programming 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008, Proceedings /

Wydane 2008

Spis treści: “... Structure Prediction with Large Neighborhood Constraint Programming Search -- An Application of Constraint...”
Dokumenty pełnotekstowe

Elektroniczne E-book

17

Programming Finite Elements in Java™

od Nikishkov, Gennadiy P., Nikishkov, Gennadiy P.
Wydane 2010

Spis treści: “... Problems -- Finite Element Program -- Finite Element Solution -- Finite Element Processor -- Finite Element...”
Dokumenty pełnotekstowe

Elektroniczne E-book

18

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...

Wydane 2013

Spis treści: “... of LTL -- A Semantic Basis for Proof Queries and Transformations -- Expressive Path Queries on Graphs...”
Dokumenty pełnotekstowe

Elektroniczne E-book

19

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

20

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

Wydane 2006

Spis treści: “... Multiplication with a Classifier Learning System -- A Language for the Compact Representation of Multiple Program...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty