檢索結果 - programs action program compositional program https

搜索替代詞:
program compositional » program composition , program computational , problem compositional
compositional program » composition programs , computational program , compositional problems
programs action » programme action , programs fiction , programs active
action program » action programs , action programme , action programmes
program https » programs https , program has , program help

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /

出版 2006

書本目錄: “... by Action Languages Via Answer Set Programming -- Using Answer Set Programming for the Automatic Compilation...”
獲取全文

電子電子書

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

出版 2008

書本目錄: “... Composition of Melodic and Harmonic Music by Answer Set Programming -- On the Efficient Execution of ProbLog...”
獲取全文

電子電子書

Mathematics of Program Construction 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010, Proceedings /

出版 2010

書本目錄: “... of Object Graphs in Program Verification -- Subtyping, Declaratively -- Compositional Action System...”
獲取全文

電子電子書

Mathematics of Program Construction 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings /

出版 2006

書本目錄: “... -- Compositional Reasoning for Pointer Structures -- Progress in Deriving Concurrent Programs: Emphasizing the Role...”
獲取全文

電子電子書

Logic Programming and Nonmonotonic Reasoning 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings /

出版 2005

書本目錄: “... Dialectical Trees Efficiently in Possibilistic Defeasible Logic Programming -- Actions and Causations...”
獲取全文

電子電子書

Introduction to Programming Concepts with Case Studies in Python

由 Üçoluk, Göktürk., Üçoluk, Göktürk., Kalkan, Sinan.
出版 2012

書本目錄: “... of a Program -- Purpose and Scope of Actions -- Action Types -- Controlling Actions: Conditionals...”
獲取全文

電子電子書

Freedom and Enforcement in Action A Study in Formal Action Theory /

由 Czelakowski, Janusz., Czelakowski, Janusz.
出版 2015

書本目錄: “...Preface -- Part 1. Elements of Formal Action Theory -- Chapter 1. Elementary Action Systems...”
獲取全文

電子電子書

Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 /

出版 2012

書本目錄: “... -- Program Specialization Via a Software Verification Tool -- Model–Based Analysis Tools for Component...”
獲取全文

電子電子書

Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings /

出版 2010

書本目錄: “... -- Considerate Reasoning and the Composite Design Pattern -- RGSep Action Inference -- Best Probabilistic...”
獲取全文

電子電子書

Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings /

出版 2010

書本目錄: “... -- Skeleton Composition Using Remote Data -- Netlog, a Rule-Based Language for Distributed Programming -- Code...”
獲取全文

電子電子書

International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings /

出版 2007

書本目錄: “... -- A Model of Component-Based Programming -- Contract Based Multi-party Service Composition...”
獲取全文

電子電子書

Verification, Model Checking, and Abstract Interpretation 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings /

出版 2005

書本目錄: “... Interpretation of the Quasi-synchronous Composition of Synchronous Programs -- Termination of Polynomial Programs...”
獲取全文

電子電子書

Generative and Transformational Techniques in Software Engineering International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers /

出版 2006

書本目錄: “...Tutorials -- A Tutorial on Feature Oriented Programming and the AHEAD Tool Suite -- Model Driven...”
獲取全文

電子電子書

Satellite Events at the MoDELS 2005 Conference MoDELS 2005 International Workshop OCLWS, MoDeVA, MARTES, AOM, MTiP, WiSME, MODAUI, Nfc, MDD, WUsCaM, Montego Bay, Jamaica, October 2...

出版 2006

書本目錄: “... Modeling -- Modeling Aspect-Oriented Compositions -- Towards a Generic Aspect Oriented Design Process -- W5...”
獲取全文

電子電子書

Coordination, Organizations, Institutions, and Norms in Agent Systems III COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 2007 COIN@MALLOW 2007, Durham, U...

出版 2008

書本目錄: “... Systems -- Dynamic Composition of Electronic Institutions for Teamwork -- Organisational Artifacts...”
獲取全文

電子電子書

Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings /

出版 2014

書本目錄: “... and Refutations in Invariant-Based Programming -- Automated Theorem Prover Assisted Program Calculations...”
獲取全文

電子電子書

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

出版 2008

書本目錄: “..., and Compliant Action -- Keynote -- Modelling Coordination and Compensation -- Tools and Applications...”
獲取全文

電子電子書

Leveraging Applications of Formal Methods, Verification and Validation 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I /

出版 2012

書本目錄: “... Programming Language for Provably Correct Dynamic Analyses.- Eternal Embedded Software: Towards Innovation...”
獲取全文

電子電子書

Theoretical Aspects of Computing - ICTAC 2004 First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers /

出版 2005

書本目錄: “... Variants of DC -- Challenges in Increasing Tool Support for Programming -- A Predicate Spatial Logic...”
獲取全文

電子電子書

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21,...

出版 2010

書本目錄: “... in the EternalS Coordination Action -- Modeling and Analyzing Diversity -- Modeling and Managing System Evolution...”
獲取全文

電子電子書

縮小搜索