Resultats de la cerca - programming modeling programming recursion versus a

Alternatives de cerca:
programming recursion » programming decision , programming session , programming decisions
programming modeling » programming model , programming models , programming building
modeling programming » modular programming , computing programming , using programming
recursion versus » deduction versus , inclusion versus , recursion arrays
versus a » versus _

Unifying Theories of Programming Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, Proceedings /

Publicat 2010

Taula de continguts: “... -- Unifying Recursion in Partial, Total and General Correctness -- Halting Still Standing – Programs versus...”
Obtenir text complet

Electrònic eBook

CONCUR 2005 - Concurrency Theory 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings /

Publicat 2005

Taula de continguts: “...Invited Lectures -- Static Analysis Versus Model Checking for Bug Finding -- The Benefits...”
Obtenir text complet

Electrònic eBook

Computer Science - Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013, Proceedings /

Publicat 2013

Taula de continguts: “... the Recursive Method -- Boolean Language Operations on Nondeterministic Automata with a Pushdown of Constant...”
Obtenir text complet

Electrònic eBook

High Performance Computing for Computational Science - VECPAR 2004 6th International Conference, Valencia, Spain, June 28-30, 2004, Revised Selected and Invited Papers /

Publicat 2005

Taula de continguts: “... Multidisciplinary Computational Software for Modeling a Modern Manufacturing Process -- Automatically Tuned FFTs...”
Obtenir text complet

Electrònic eBook

Product-Focused Software Process Improvement 7th International Conference, PROFES 2006, Amsterdam, The Netherlands, June 12-14, 2006, Proceedings /

Publicat 2006

Taula de continguts: “... Up -- Refinement of Software Architectures by Recursive Model Transformations -- A UML-Based Process...”
Obtenir text complet

Electrònic eBook

Computation and Logic in the Real World Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings /

Publicat 2007

Taula de continguts: “...: An Update -- RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice...”
Obtenir text complet

Electrònic eBook

SOFSEM 2005: Theory and Practice of Computer Science 31st Conference on Current Trends in Theory and Practice of Computer Science, Liptovský Ján, Slovakia, January 22-28, 2005, Pro...

Publicat 2005

Taula de continguts: “... Generation for Web Communities Modeling -- Recursion Versus Replication in Simple Cryptographic Protocols...”
Obtenir text complet

Electrònic eBook

KI 2007: Advances in Artificial Intelligence 30th Annual German Conference on AI, KI 2007, Osnabrück, Germany, September 10-13, 2007, Proceedings /

Publicat 2007

Taula de continguts: “... Markov Logic to Model Probability Distributions in Relational Domains -- A Multilingual Framework...”
Obtenir text complet

Electrònic eBook

Machine Learning: ECML 2007 18th European Conference on Machine Learning, Warsaw, Poland, September 17-21, 2007, Proceedings /

Publicat 2007

Taula de continguts: “... Models: Ordering-Search Versus Structure-Search -- A Simple Lexicographic Ranker and Probability...”
Obtenir text complet

Electrònic eBook

Refinar cerca