Rezultaty - service specification program programs constraints https

Inne możliwości wyszukiwania:
service specification » service specifications , interface specification , service application
specification program » specifications program , verification program , purification program
programs constraints » progress constraints , programming constraints , problem constraints
constraints https » constraints haptic , constraints data , constraints chap
program programs » program program , programs program , program progress

Constraint Programming and Decision Making

Wydane 2014

Spis treści: “... -- Continuous If-Then Statements Are Computable -- Linear programming with Interval Type-2 fuzzy constraints...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2007

Spis treści: “... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...”
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: “... Existential Variables from Constraint Logic Programs -- Negative Ternary Set-Sharing -- Termination...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Constraint Handling Rules Current Research Topics /

Wydane 2008

Spis treści: “... Probabilistic Abductive Logic Programming with Constraint Handling Rules -- A Compositional Semantics for CHR...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Programming Languages and Systems 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012, Proceedings /

Wydane 2012

Spis treści: “... Passing Programs -- A Synchronous Language with Partial Delay Specification for Real-Time Systems...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2010

Spis treści: “...Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Database Programming Languages 10th International Symposium, DBPL 2005, Trondheim, Norway, August 28-29, 2005, Revised Selected Papers /

Wydane 2005

Spis treści: “... -- XML Subtree Queries: Specification and Composition -- On the Expressive Power of XQuery Fragments -- A...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings /

Wydane 2014

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

Elektroniczne E-book

The Yuanpei Program in Peking University A Case Study of Curriculum Innovation /

od Wang, Wanying., Wang, Wanying.
Wydane 2014

Spis treści: “... program: Background and contextual factors -- Chapter 6 Findings—Major conflicts, its process and sources...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Multiparadigm Programming in Mozart/Oz Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers /

Wydane 2005

Spis treści: “... Order Programming for Unordered Minds -- Software Engineering -- Compiling Formal Specifications to Oz...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings /

Wydane 2015

Spis treści: “... Programming -- Advances in WASP -- Improving Coordinated SMT-based System Synthesis by Utilizing Domain...”
Dokumenty pełnotekstowe

Elektroniczne E-book

B 2007: Formal Specification and Development in B 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings /

Wydane 2006

Spis treści: “... Combined B and CSP Specification to Java Programs -- Symmetry Reduction for B by Permutation Flooding...”
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: “.... The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2008

Spis treści: “...Session 1. Constraint Solving -- Symmetry Breaking for Maximum Satisfiability -- Efficient...”
Dokumenty pełnotekstowe

Elektroniczne E-book

ECOOP 2014 -- Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings /

Wydane 2014

Spis treści: “... Errors in Python/C Programs with Affine Analysis -- Safely Composable Type-Specific Languages -- Graceful...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Logic Based Program Synthesis and Transformation 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers /

Wydane 2005

Spis treści: “... of Imperative Programs by Constraint Solving -- Run-Time Profiling of Functional Logic Programs -- Constructive...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /

Wydane 2015

Spis treści: “... in Prolog -- Liveness properties in CafeOBJ-a case study for meta-level specifications -- Program Synthesis...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Rigorous Software Engineering for Service-Oriented Systems Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing /

Wydane 2011

Spis treści: “... Discovery, Orchestration and Recovery.-CC-Pi: A Constraint Language for Service Negotiation and Composition...”
Dokumenty pełnotekstowe

Elektroniczne E-book

A 25-Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULP /

Wydane 2010

Spis treści: “... Perspective -- Theoretical Foundations and Semantics of Logic Programming -- Theory-Specific Automated...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday /

Wydane 2011

Spis treści: “... Based on Answer Set Programming with Constraints: Preliminary Design -- Applications of Answer Set...”
Dokumenty pełnotekstowe

Elektroniczne E-book

1
2
3
4
5
6
7
8
9
10
11
Następna »
[12]

Redukuj rezultaty