Søgeresultater - interaction constraints programming programming cases https

Søg alternativer:
interaction constraints » information constraints , informational constraints , contestations constraints
constraints programming » constraint programming , constrained programming , constraint programing
programming programming » programming programmed , programming program
programming cases » programming case , programming based , programming courses
cases https » atlases https , spaces https , nurses https

Principles and Practice of Constraint Programing-CP 2013 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings /

Udgivet 2013

Indholdsfortegnelse: “... String Constraints: The Case for Constraint Programming -- Blowing Holes in Various Aspects...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2008

Indholdsfortegnelse: “... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...”
Få fuldtekst

Electronisk eBog

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /

Udgivet 2014

Indholdsfortegnelse: “...-complete -- Characterization of Binary Constraint System Games -- Fast Algorithms for Constructing Maximum...”
Få fuldtekst

Electronisk eBog

Logic Programs, Norms and Action Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday /

Udgivet 2012

Indholdsfortegnelse: “... Logic Programs.- Semi-negative Abductive Logic Programs with Implicative Integrity Constraints...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2015

Indholdsfortegnelse: “... with exception from past legal cases using ASP -- Online Action Language oBC+.-aspartame: Solving Constraint...”
Få fuldtekst

Electronisk eBog

Applications of Declarative Programming and Knowledge Management 19th International Conference...

Udgivet 2013

Indholdsfortegnelse: “... for Computing Ordinal Conditional Functions Using Constraint Logic Programming -- A Descriptive Approach...”
Få fuldtekst

Electronisk eBog

Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers /

Udgivet 2010

Indholdsfortegnelse: “... and Interaction Diagrams -- Applicability of the BLAST Model Checker: An Industrial Case Study -- ? K –constraints...”
Få fuldtekst

Electronisk eBog

Model Driven Engineering Languages and Systems 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings /

Udgivet 2006

Indholdsfortegnelse: “... -- MDA in Software Development -- Adopting Model Driven Software Development in Industry – A Case Study...”
Få fuldtekst

Electronisk eBog

Case-Based Reasoning Research and Development 6th International Conference on Case-Based Reasoning...

Udgivet 2005

Indholdsfortegnelse: “... Learning -- Using CBR to Select Solution Strategies in Constraint Programming -- Case-Based Art...”
Få fuldtekst

Electronisk eBog

Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings /

Udgivet 2015

Indholdsfortegnelse: “... Consistency: An Experience Report on a Middle-Sized Case Study -- A constraint optimization model for analysis...”
Få fuldtekst

Electronisk eBog

CONCUR 2005 - Concurrency Theory 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “... -- Contributed Papers -- Games Other People Play -- Type-Directed Concurrency -- Multiport Interaction Nets...”
Få fuldtekst

Electronisk eBog

Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings /

Udgivet 2015

Indholdsfortegnelse: “... -- Memory Management Test-Case Generation of C Programs using Bounded Model Checking -- Techniques...”
Få fuldtekst

Electronisk eBog

Computational Intelligence for Knowledge-Based System Design 13th IPMU Conference, Dortmund, Germany, June 28 - July 2, 2010. Proceedings /

Udgivet 2010

Indholdsfortegnelse: “... -- Probabilistic Rough Set Approaches to Ordinal Classification with Monotonicity Constraints -- Web Page...”
Få fuldtekst

Electronisk eBog

Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions /

Udgivet 2008

Indholdsfortegnelse: “...# Programming System: Challenges and Directions -- Integrating Static Checking and Interactive Verification...”
Få fuldtekst

Electronisk eBog

Diagrammatic Representation and Inference 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... -- Visual Programming with Interaction Nets -- Theoretical Aspects -- Spider Diagrams of Order and a...”
Få fuldtekst

Electronisk eBog

Model Driven Engineering Languages and Systems 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... for Software and Data Integration -- Model Construction with External Constraints: An Interactive Journey from...”
Få fuldtekst

Electronisk eBog

Models in Software Engineering Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers /

Udgivet 2007

Indholdsfortegnelse: “... Features in Aspect-Based Product Lines with Use Case Slices: An Exploratory Case Study -- Join Point...”
Få fuldtekst

Electronisk eBog

Artificial Intelligence: Theories, Models and Applications 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... Techniques -- A Genetic Programming Environment for System Modeling -- Mining Gene Expression Profiles...”
Få fuldtekst

Electronisk eBog

Diagrammatic Representation and Inference 4th International Conference, Diagrams 2006, Stanford, CA, USA, June 28-30, 2006, Proceedings /

Udgivet 2006

Indholdsfortegnelse: “... Routines Using Constraint Programming -- Deduction with Euler Circles: Diagrams That Hurt -- Diagrams...”
Få fuldtekst

Electronisk eBog

Intelligent Information and Database Systems Second International Conference, ACIIDS 2010, Hue City, Vietnam, March 24-26, 2010, Proceedings, Part II /

Udgivet 2010

Indholdsfortegnelse: “... -- MACRO-SYS: An Interactive Macroeconomics Simulator for Advanced Learning -- Managing Web Services...”
Få fuldtekst

Electronisk eBog

1
2
3
4
5
6
7
Næste »
[7]

Indsnæver søgning