Aihe-ehdotuksia
Tarkoititko:
constructive computation » constructive communication, constructive communications, construction competitions
computation programming » communication programming, computation programmatic, computing programming
programming concurrent » programming concurrency, programming concept, programming constraint
constraint » constraints
1
Kansikuva
Tekijä Mauro, Jacopo., Mauro, Jacopo.
Julkaistu 2014
Sisällysluettelo: “...Introduction -- Constraints -- Concurrency -- Constraint Handling Rules -- Non Turing powerful...”
Hae kokoteksti
Elektroninen E-kirja
Lisää suosikkeihin
Tallennettuna:
2
Kansikuva
Julkaistu 2008
Sisällysluettelo: “... CHR??? -- Constructing Rule-Based Solvers for Intentionally-Defined Constraints -- Implementing...”
Hae kokoteksti
Elektroninen E-kirja
Lisää suosikkeihin
Tallennettuna:
3
Kansikuva
Julkaistu 2005
Sisällysluettelo: “... of Imperative Programs by Constraint Solving -- Run-Time Profiling of Functional Logic Programs -- Constructive...”
Hae kokoteksti
Elektroninen E-kirja
Lisää suosikkeihin
Tallennettuna:
4
Kansikuva
Julkaistu 2013
Sisällysluettelo: “... of Procedure Summaries for Integer Programs -- Runtime Verification Based on Register Automata -- Unbounded...”
Hae kokoteksti
Elektroninen E-kirja
Lisää suosikkeihin
Tallennettuna:
5
Kansikuva
Julkaistu 2008
Sisällysluettelo: “... Satisfiability and Model-Checking -- On-the-Fly Techniques for Game-Based Software Model Checking -- Computing...”
Hae kokoteksti
Elektroninen E-kirja
Lisää suosikkeihin
Tallennettuna:
6
Kansikuva
Julkaistu 2006
Sisällysluettelo: “... for Higher-Order Concurrent Programs -- A Region Graph Based Approach to Termination Proofs -- Verifying...”
Hae kokoteksti
Elektroninen E-kirja
Lisää suosikkeihin
Tallennettuna:
7
Kansikuva
Julkaistu 2008
Sisällysluettelo: “... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”
Hae kokoteksti
Elektroninen E-kirja
Lisää suosikkeihin
Tallennettuna:
8
Kansikuva
Julkaistu 2007
Sisällysluettelo: “... -- Equational Systems and Free Constructions (Extended Abstract) -- Categorical Views on Computations on Trees...”
Hae kokoteksti
Elektroninen E-kirja
Lisää suosikkeihin
Tallennettuna:
9
Kansikuva
Julkaistu 2010
Sisällysluettelo: “... Constraints Can Be Resolved – The Lovász Local Lemma and Satisfiability -- Session 1-Track A. Combinatorial...”
Hae kokoteksti
Elektroninen E-kirja
Lisää suosikkeihin
Tallennettuna:
10
Kansikuva
Julkaistu 2007
Sisällysluettelo: “... Constraint-Based Language for Specifying Service Level Agreements -- A Calculus for Orchestration of Web...”
Hae kokoteksti
Elektroninen E-kirja
Lisää suosikkeihin
Tallennettuna:
11
Kansikuva
Julkaistu 2008
Sisällysluettelo: “... -- Recasting Constraint Automata into Büchi Automata -- A Complete Realisability Semantics for Intersection...”
Hae kokoteksti
Elektroninen E-kirja
Lisää suosikkeihin
Tallennettuna:
12
Kansikuva
Julkaistu 2014
Sisällysluettelo: “... Reflection Resolution for Java -- Constructing Call Graphs of Scala Programs -- Finding Reference-Counting...”
Hae kokoteksti
Elektroninen E-kirja
Lisää suosikkeihin
Tallennettuna:
13
Kansikuva
Julkaistu 2010
Sisällysluettelo: “...Section I: Evolutionary Design -- A Concurrent-Hybrid Evolutionary Algorithm for Geometric...”
Hae kokoteksti
Elektroninen E-kirja
Lisää suosikkeihin
Tallennettuna:
14
Kansikuva
Julkaistu 2005
Sisällysluettelo: “... -- Program Construction -- On the Stability Semantics of Combinational Programs -- Generating C Code from...”
Hae kokoteksti
Elektroninen E-kirja
Lisää suosikkeihin
Tallennettuna:
15
Kansikuva
Julkaistu 2007
Sisällysluettelo: “...: Making Parametric Shape Analysis Competitive -- Session VII: Concurrent Program Verification -- Fast...”
Hae kokoteksti
Elektroninen E-kirja
Lisää suosikkeihin
Tallennettuna:
16
Kansikuva
Julkaistu 2010
Sisällysluettelo: “... Techniques -- Economic Path Scheduling for Mobile Agent System on Computer Network -- A Database-Based...”
Hae kokoteksti
Elektroninen E-kirja
Lisää suosikkeihin
Tallennettuna:
17
Kansikuva
Julkaistu 2010
Sisällysluettelo: “... -- Using Redundant Constraints for Refinement -- Methods for Knowledge Based Controlling of Distributed...”
Hae kokoteksti
Elektroninen E-kirja
Lisää suosikkeihin
Tallennettuna:
18
Kansikuva
Julkaistu 2012
Sisällysluettelo: “... Constraint Satisfaction Games -- A Polynomial-Time Algorithm for Computing the Maximum Common -- Subgraph...”
Hae kokoteksti
Elektroninen E-kirja
Lisää suosikkeihin
Tallennettuna:
19
Kansikuva
Julkaistu 2005
Sisällysluettelo: “... Random Boolean Function -- Concurrent Constraint-Based Memory Machines: A Framework for Java Memory...”
Hae kokoteksti
Elektroninen E-kirja
Lisää suosikkeihin
Tallennettuna:
20
Kansikuva
Julkaistu 2007
Sisällysluettelo: “... Performability in Component-Based Systems -- Multimedia Retrieval Algorithmics -- Foundations of Computer Science...”
Hae kokoteksti
Elektroninen E-kirja
Lisää suosikkeihin
Tallennettuna:
Työkalut: RSS-syöte — Lähetä haku sähköpostilla — Tallenna haku