Canlyniadau Chwilio - ((computation implementation) OR (formulation implementation)) techniques deciding between based*

Chwilio eraill:
computation implementation » computational implementation , population implementation , computing implementation
techniques deciding » techniques defining , techniques recording , techniques designing
deciding between » decisions between , reading between , decision between
between based » between basic , between basal , between band
formulation » formation

DNA Computing 13th International Meeting on DNA Computing, DNA13, Memphis, TN, USA, June 4-8, 2007, Revised Selected Papers /

Cyhoeddwyd 2008

Tabl Cynhwysion: “... Between DNA Sequences -- Novel Techniques for DNA Computing in vitro -- Heuristic Solution to a 10-City...”
Cael y testun llawn

Electronig eLyfr

Computer Science -- Theory and Applications First International Symposium on Computer Science...

Cyhoeddwyd 2006

Tabl Cynhwysion: “...Invited Papers -- Non-black-box Techniques in Cryptography -- Complexity of Polynomial...”
Cael y testun llawn

Electronig eLyfr

Agility Across Time and Space Implementing Agile Methods in Global Software Projects /

Cyhoeddwyd 2010

Tabl Cynhwysion: “...Motivation -- Fundamentals of Agile Distributed Software Development -- Transition -- Implementing...”
Cael y testun llawn

Electronig eLyfr

Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings /

Cyhoeddwyd 2010

Tabl Cynhwysion: “...: Judgement Day -- Invited Talk -- Logic between Expressivity and Complexity -- Verification -- Multi-Prover...”
Cael y testun llawn

Electronig eLyfr

Logic and Theory of Algorithms 4th Conference on Computability in Europe, CiE 2008 Athens, Greece, June 15-20, 2008, Proceedings /

Cyhoeddwyd 2008

Tabl Cynhwysion: “... Problem for Discounted Games -- Implementing Spi Calculus Using Nominal Techniques -- An Enhanced Theory...”
Cael y testun llawn

Electronig eLyfr

Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings /

Cyhoeddwyd 2005

Tabl Cynhwysion: “...-linear Robust Discrete Time Hybrid Systems -- Computation Platform for Automatic Analysis of Embedded...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2013

Tabl Cynhwysion: “... -- Decidability and implementation of parameterized logic programs -- Non-monotonic Temporal Goals...”
Cael y testun llawn

Electronig eLyfr

Business Process Management 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010, Proceedings /

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Processes -- BPM in Practice: Who Is Doing What? -- Correctness -- How to Implement a Theory of Correctness...”
Cael y testun llawn

Electronig eLyfr

The Semantic Web – ISWC 2005 4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, November 6-10, 2005, Proceedings /

Cyhoeddwyd 2005

Tabl Cynhwysion: “... -- Constructing Complex Semantic Mappings Between XML Data and Ontologies -- Stable Model Theory for Extended RDF...”
Cael y testun llawn

Electronig eLyfr

Inductive Logic Programming 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers /

Cyhoeddwyd 2007

Tabl Cynhwysion: “... -- Integration of Learning and Reasoning Techniques -- Injecting Life with Computers -- Special Issue Extended...”
Cael y testun llawn

Electronig eLyfr

Rewriting and Typed Lambda Calculi Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proc...

Cyhoeddwyd 2014

Tabl Cynhwysion: “...) -- Tree Automata with Height Constraints between Brothers -- A Coinductive Confluence Proof for Infinitary...”
Cael y testun llawn

Electronig eLyfr

Frameworks for Modeling Cognition and Decisions in Institutional Environments A Data-Driven Approach /

gan Vallbé, Joan-Josep., Vallbé, Joan-Josep.
Cyhoeddwyd 2015

Pynciau: “...Computers....”
Cael y testun llawn

Electronig eLyfr

Manylu'r Chwiliad