Canlyniadau Chwilio - processing programs program compositional program https*

Chwilio eraill:
program compositional » program composition , program computational , problem compositional
compositional program » composition programs , computational program , compositional problems
processing programs » processing programmed , processing problems , processing products
programs program » programming program
program https » programs https , program has , program help

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

Cyhoeddwyd 2006

Tabl Cynhwysion: “...Invited Talks -- Why Use Datalog to Analyze Programs? -- Semantic Web: The Story of the RIFt so Far...”
Cael y testun llawn

Electronig eLyfr

Genetic Programming 11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008, Proceedings /

Cyhoeddwyd 2008

Tabl Cynhwysion: “...Oral Presentations -- Training Time and Team Composition Robustness in Evolved Multi-agent Systems...”
Cael y testun llawn

Electronig eLyfr

Extreme Programming and Agile Processes in Software Engineering 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings /

Cyhoeddwyd 2005

Tabl Cynhwysion: “... of the Equator: An eXPerience Implementing XP in Brazil -- Introducing Extreme Programming into a Software...”
Cael y testun llawn

Electronig eLyfr

Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...

Cyhoeddwyd 2013

Tabl Cynhwysion: “... — Where Programs Meet Provers -- Compositional Invariant Checking for Overlaid and Nested Linked Lists...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Flow -- Process Algebras for Collective Dynamics -- Contributed Talks -- On Automated Program...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2006

Tabl Cynhwysion: “... -- Compositional Reasoning for Pointer Structures -- Progress in Deriving Concurrent Programs: Emphasizing the Role...”
Cael y testun llawn

Electronig eLyfr

Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II /

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Abstraction Simplification -- Compositional Closure for Bayes Risk in Probabilistic Noninterference -- Session...”
Cael y testun llawn

Electronig eLyfr

Unconventional Programming Paradigms International Workshop UPP 2004, Le Mont Saint Michel, France...

Cyhoeddwyd 2005

Tabl Cynhwysion: “...Invited Talk -- From Quantum Physics to Programming Languages: A Process Algebraic Approach...”
Cael y testun llawn

Electronig eLyfr

Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings /

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Systems -- Session 7 -- A Quick Tour of the VeriFast Program Verifier -- Verification of Tree-Processing...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2008

Tabl Cynhwysion: “... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”
Cael y testun llawn

Electronig eLyfr

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...

Cyhoeddwyd 2014

Tabl Cynhwysion: “... Systems -- Staged Composition Synthesis -- Overlapping and Order-Independent Patterns: Definitional...”
Cael y testun llawn

Electronig eLyfr

ECOOP 2014 -- Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings /

Cyhoeddwyd 2014

Tabl Cynhwysion: “... Reflection Resolution for Java -- Constructing Call Graphs of Scala Programs -- Finding Reference-Counting...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2008

Tabl Cynhwysion: “... Support for Dynamics Patterns to Static Business Process Management Systems -- Service Composition...”
Cael y testun llawn

Electronig eLyfr

Software Composition 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings /

Cyhoeddwyd 2010

Tabl Cynhwysion: “... for Autonomous Robots -- Event-Specific Software Composition in Context-Oriented Programming -- Predicated...”
Cael y testun llawn

Electronig eLyfr

Software Composition 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers /

Cyhoeddwyd 2007

Tabl Cynhwysion: “... Conformance and Contract Compliance -- Session: Composition Design and Analysis -- A Process-Algebraic...”
Cael y testun llawn

Electronig eLyfr

Software Composition 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers /

Cyhoeddwyd 2005

Tabl Cynhwysion: “...Dynamic Languages -- On the Revival of Dynamic Languages -- Component Composition -- Composition...”
Cael y testun llawn

Electronig eLyfr

Towards the Internet of Services: The THESEUS Research Program

Cyhoeddwyd 2014

Tabl Cynhwysion: “... Interfaces in the Context of the Internet of Services -- Interactive Service Composition and Query...”
Cael y testun llawn

Electronig eLyfr

Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers /

Cyhoeddwyd 2005

Tabl Cynhwysion: “... and FDR to Software Design -- Concurrent Programming -- Communicating Mobile Processes -- Model-Based...”
Cael y testun llawn

Electronig eLyfr

Composition of Embedded Systems. Scientific and Industrial Issues 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers /

Cyhoeddwyd 2008

Tabl Cynhwysion: “... for Automotive Applications -- From MDD to Full Industrial Process: Building Distributed Real-Time Embedded...”
Cael y testun llawn

Electronig eLyfr

Constraint Solving and Language Processing First International Workshop, CSLP 2004, Roskilde...

Cyhoeddwyd 2005

Tabl Cynhwysion: “... Language Semantics Through Logical Form Composition -- Contributed Papers -- Gradience, Constructions...”
Cael y testun llawn

Electronig eLyfr

1
2
3
4
5
6
7
8
9
10
11
Nesaf »
[23]

Manylu'r Chwiliad