Resultados de búsqueda - interactions constraint programing program constructing https

Buscar alternativas:
interactions constraint » interactions constraints , interaction constraints , interactive constraint
constraint programing » constraint programming , constraints programming , constrained programming
program constructing » program construction , diagram constructing , programs conducting
programing program » programming program , programs program , program program
constructing https » construction https , consulting https , constructing better

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II /

Publicado 2008

Tabla de Contenidos: “... -- Interacting Quantum Observables -- Perpetuality for Full and Safe Composition (in a Constructive Setting) -- A...”
Enlace del recurso

Electrónico eBook

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

Publicado 2007

Tabla de Contenidos: “... Matching Problems -- Session A6 -- On the Complexity of Hard-Core Set Constructions -- Approximation by DNF...”
Enlace del recurso

Electrónico eBook

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

Publicado 2014

Tabla de Contenidos: “...-complete -- Characterization of Binary Constraint System Games -- Fast Algorithms for Constructing Maximum...”
Enlace del recurso

Electrónico eBook

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings /

Publicado 2013

Tabla de Contenidos: “... Programming Competition: Preliminary Report -- WASP: A native ASP solver based on constraint learning...”
Enlace del recurso

Electrónico eBook

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

Publicado 2005

Tabla de Contenidos: “.... The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its...”
Enlace del recurso

Electrónico eBook

Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference...

Publicado 2006

Tabla de Contenidos: “... Assistants -- Exploration of the Capabilities of Constraint Programming for Software Verification...”
Enlace del recurso

Electrónico eBook

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 /

Publicado 2008

Tabla de Contenidos: “...# Programming System: Challenges and Directions -- Integrating Static Checking and Interactive Verification...”
Enlace del recurso

Electrónico eBook

Theoretical Aspects of Computing - ICTAC 2008 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, Proceedings /

Publicado 2008

Tabla de Contenidos: “... -- Everything Is PSPACE-Complete in Interaction Systems -- A New Approach for the Construction of Multiway...”
Enlace del recurso

Electrónico eBook

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

Publicado 2008

Tabla de Contenidos: “... for Software and Data Integration -- Model Construction with External Constraints: An Interactive Journey from...”
Enlace del recurso

Electrónico eBook

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

Publicado 2008

Tabla de Contenidos: “... Techniques -- A Genetic Programming Environment for System Modeling -- Mining Gene Expression Profiles...”
Enlace del recurso

Electrónico eBook

Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings /

Publicado 2005

Tabla de Contenidos: “... -- Focusing the Inverse Method for Linear Logic -- Towards a Typed Geometry of Interaction -- Constraints...”
Enlace del recurso

Electrónico eBook

Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings /

Publicado 2013

Tabla de Contenidos: “... complexity -- Logic programming and constraints -- Automated deduction and interactive theorem proving...”
Enlace del recurso

Electrónico eBook

High Confidence Software Reuse in Large Systems 10th International Conference on Software Reuse, ICSR 2008, Bejing, China, May 25-29, 2008 /

Publicado 2008

Tabla de Contenidos: “... Clone-Enabled Feature Models’ Constraints and Customization -- Performing Domain Analysis for Model...”
Enlace del recurso

Electrónico eBook

Innovations in Computing Sciences and Software Engineering

Publicado 2010

Tabla de Contenidos: “...-Invasive Man Machine Interaction -- A UML Profile for Developing Databases that Conform to the Third...”
Enlace del recurso

Electrónico eBook

Software Architecture 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013, Proceedings /

Publicado 2013

Tabla de Contenidos: “... Design Patterns -- Building Correct by Construction SOA Design Patterns: Modeling and Refinement...”
Enlace del recurso

Electrónico eBook

Dynamics of Civil Structures, Volume 2 Proceedings of the 33rd IMAC, A Conference and Exposition on Structural Dynamics, 2015 /

Publicado 2015

Tabla de Contenidos: “... constraint programming paradigm -- Model updating of a nine-story concrete core wall building -- Numerical...”
Enlace del recurso

Electrónico eBook

Engineering Societies in the Agents World VII 7th International Workshop, ESAW 2006 Dublin, Ireland, September 6-8, 2006 Revised Selected and Invited Papers /

Publicado 2007

Tabla de Contenidos: “... the Way Down” -- The Construction of Multi-agent Systems as an Engineering Discipline -- Current Issues...”
Enlace del recurso

Electrónico eBook

Model Driven Engineering Languages and Systems 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings /

Publicado 2007

Tabla de Contenidos: “... Constraints -- Guided Development with Multiple Domain-Specific Languages -- Model-Driven, Network-Context...”
Enlace del recurso

Electrónico eBook

Advances in Artificial Intelligence: Theories, Models, and Applications 6th Hellenic Conference on AI, SETN 2010, Athens, Greece, May 4-7, 2010. Proceedings /

Publicado 2010

Tabla de Contenidos: “... Selection Strategies for Constraint Satisfaction Problems -- A Feasibility Study on Low Level Techniques...”
Enlace del recurso

Electrónico eBook

Trends in Applied Intelligent Systems 23rd International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2010, Cordoba, Spain, J...

Publicado 2010

Tabla de Contenidos: “...-organization of Fuzzy Controllers -- A Mechanism of Output Constraint Handling for Analytical Fuzzy Controllers...”
Enlace del recurso

Electrónico eBook

Resultados Agrupados