检索结果 - interactive transformation program program constructs https

搜索替代词:
interactive transformation » interactive transformations , interaction transformation , interactions transformation
transformation program » transformation programme , transformation process , transformation protocol
program constructs » program construction , program constructing , programming constructs
constructs https » construction https , constructs loops , constructs arti
program program » programs program , programming program

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

出版 2007

书本目录: “... Matching Problems -- Session A6 -- On the Complexity of Hard-Core Set Constructions -- Approximation by DNF...”
获取全文

电子电子书

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

出版 2013

书本目录: “...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”
获取全文

电子电子书

Generative Programming and Component Engineering 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings /

出版 2005

书本目录: “... Programs Using Lexical Join Point Information -- Meta-programming and Transformation -- Generalized Type...”
获取全文

电子电子书

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

出版 2005

书本目录: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
获取全文

电子电子书

Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday /

出版 2007

书本目录: “... Tractable Classes of Horn Clauses -- Infering Ownership Types for Encapsulated Object-Oriented Program...”
获取全文

电子电子书

Constructing Correct Software

由 Cooke, D. John., Cooke, D. John.
出版 2005

书本目录: “...Preliminaries -- The Technical Background -- On Programming -- Fundamentals -- Algorithm Extraction...”
获取全文

电子电子书

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

出版 2006

书本目录: “... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...”
获取全文

电子电子书

Interactive Theorem Proving Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings /

出版 2012

书本目录: “..., the Reals, and the Real Algebraic Numbers -- Construction of Real Algebraic Numbers in Coq -- A Refinement...”
获取全文

电子电子书

Implementation and Application of Functional Languages 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers /

出版 2005

书本目录: “... Transformations -- The Feasibility of Interactively Probing Quiescent Properties of GUI Applications -- A...”
获取全文

电子电子书

Software Composition 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings /

出版 2008

书本目录: “... -- Practical Conflict Resolution for the Composition of Program Transformations....”
获取全文

电子电子书

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 /

出版 2008

书本目录: “...# Programming System: Challenges and Directions -- Integrating Static Checking and Interactive Verification...”
获取全文

电子电子书

Algebraic Methodology and Software Technology 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings /

出版 2006

书本目录: “...Invited Talks -- Incremental Software Construction with Refinement Diagrams -- Recursive Program...”
获取全文

电子电子书

Information Processing and Management of Uncertainty in Knowledge-Based Systems 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part...

出版 2010

书本目录: “... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”
获取全文

电子电子书

Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /

出版 2008

书本目录: “... Sacrificing Productivity -- The High Road to Formal Validation: -- Modeling Workflows, Interaction Patterns...”
获取全文

电子电子书

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

出版 2008

书本目录: “... -- Model Transformation as an Optimization Problem -- Example-Based Program Transformation -- Detecting...”
获取全文

电子电子书

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

出版 2008

书本目录: “... -- Everything Is PSPACE-Complete in Interaction Systems -- A New Approach for the Construction of Multiway...”
获取全文

电子电子书

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

出版 2008

书本目录: “... Techniques -- A Genetic Programming Environment for System Modeling -- Mining Gene Expression Profiles...”
获取全文

电子电子书

Parallel Computing Technologies 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings /

出版 2005

书本目录: “... Parallel Algorithms for Spatial Dynamics Simulation -- Situated Agents Interaction: Coordinated Change...”
获取全文

电子电子书

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

出版 2008

书本目录: “... Patterns -- Conquering Fine-Grained Blends of Design Patterns -- Pattern-Based Transformation Rules...”
获取全文

电子电子书

Innovations in Computing Sciences and Software Engineering

出版 2010

书本目录: “...-Invasive Man Machine Interaction -- A UML Profile for Developing Databases that Conform to the Third...”
获取全文

电子电子书

1
2
3
4
5
下一个 »
[5]

缩小搜索