Søgeresultater - interactions transformation programming programming constructs https

Søg alternativer:
interactions transformation » interaction transformation , interactions biotransformation , international transformation
transformation programming » transformations programming , transformation programme , transformation programmed
programming programming » programming programmed , programming program
programming constructs » programming concepts , programming contest
constructs https » construction https , constructs loops , constructs arti

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

Udgivet 2007

Indholdsfortegnelse: “... Matching Problems -- Session A6 -- On the Complexity of Hard-Core Set Constructions -- Approximation by DNF...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2013

Indholdsfortegnelse: “...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2005

Indholdsfortegnelse: “... Programs Using Lexical Join Point Information -- Meta-programming and Transformation -- Generalized Type...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2005

Indholdsfortegnelse: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
Få fuldtekst

Electronisk eBog

Constructing Correct Software

af Cooke, D. John., Cooke, D. John.
Udgivet 2005

Indholdsfortegnelse: “...Preliminaries -- The Technical Background -- On Programming -- Fundamentals -- Algorithm Extraction...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2007

Indholdsfortegnelse: “... Tractable Classes of Horn Clauses -- Infering Ownership Types for Encapsulated Object-Oriented Program...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2006

Indholdsfortegnelse: “... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2012

Indholdsfortegnelse: “..., the Reals, and the Real Algebraic Numbers -- Construction of Real Algebraic Numbers in Coq -- A Refinement...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2005

Indholdsfortegnelse: “... Transformations -- The Feasibility of Interactively Probing Quiescent Properties of GUI Applications -- A...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2008

Indholdsfortegnelse: “... -- Practical Conflict Resolution for the Composition of Program Transformations....”
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

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

Udgivet 2010

Indholdsfortegnelse: “... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”
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: “... -- Model Transformation as an Optimization Problem -- Example-Based Program Transformation -- Detecting...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2008

Indholdsfortegnelse: “... -- Everything Is PSPACE-Complete in Interaction Systems -- A New Approach for the Construction of Multiway...”
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

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

Udgivet 2006

Indholdsfortegnelse: “...Invited Talks -- Incremental Software Construction with Refinement Diagrams -- Recursive Program...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2005

Indholdsfortegnelse: “... Parallel Algorithms for Spatial Dynamics Simulation -- Situated Agents Interaction: Coordinated Change...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2008

Indholdsfortegnelse: “... Patterns -- Conquering Fine-Grained Blends of Design Patterns -- Pattern-Based Transformation Rules...”
Få fuldtekst

Electronisk eBog

Innovations in Computing Sciences and Software Engineering

Udgivet 2010

Indholdsfortegnelse: “...-Invasive Man Machine Interaction -- A UML Profile for Developing Databases that Conform to the Third...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2008

Indholdsfortegnelse: “... Sacrificing Productivity -- The High Road to Formal Validation: -- Modeling Workflows, Interaction Patterns...”
Få fuldtekst

Electronisk eBog

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

Indsnæver søgning