Resultados da busca - programming modeling programming recursion arrays

Buscas alternativas:
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 arrays » recursion versus

Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings /

Publicado em 2006

Sumário: “... Abstraction of Recursive Programs -- Relative Safety -- Resource Usage Analysis for the ?-Calculus -- Semantic...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Guide to Java A Concise Introduction to Programming /

por Streib, James T., Streib, James T., Soma, Takako.
Publicado em 2014

Sumário: “... -- Iteration Structures -- Objects: Revisited -- Strings -- Arrays -- Recursion -- Objects: Inheritance...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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 /

Publicado em 2005

Sumário: “... and FDR to Software Design -- Concurrent Programming -- Communicating Mobile Processes -- Model-Based...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Practical Aspects of Declarative Languages 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, Proceedings /

Publicado em 2008

Sumário: “... in Declarative Authorization Policies -- Unification of Arrays in Spreadsheets with Logic Programming...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Static Analysis 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings /

Publicado em 2008

Sumário: “... Linear Constraints for Moding CLP( ) Programs -- On Polymorphic Recursion, Type Systems, and Abstract...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers /

Publicado em 2012

Sumário: “... and Stochastic Methods for Modeling Highly Heterogeneous Media Robust Solvers for Symmetric Positive Definite...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Computer Algebra in Scientific Computing 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings /

Publicado em 2005

Sumário: “... Numbers of Arrangements in Practice -- A MAPLE Symbolic-Numeric Program for Solving the 2D-Eigenvalue...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice o...

Publicado em 2015

Sumário: “...: Termination and Memory Safety of C Programs -- Cascade -- CPAchecker with Support for Recursive Programs...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Distributed Computing and Networking 9th International Conference, ICDCN 2008, Kolkata, India, January 5-8, 2008, Proceedings /

Publicado em 2008

Sumário: “... on Cell Broadband Engine -- Parallel Algorithm for Conflict Graph on OTIS-Triangular Array -- A Deadlock...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of...

Publicado em 2007

Sumário: “...-objective Model Checking of Markov Decision Processes -- PReMo: An Analyzer for Probabilistic Recursive...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Select...

Publicado em 2005

Sumário: “...Formal Approaches in Modelling -- On the Physical Formal and Semantic Frontiers Between Human...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Machines, Computations, and Universality 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers /

Publicado em 2005

Sumário: “... Algorithms for Two-Dimensional Rectangular Arrays -- Register Complexity of LOOP-, WHILE-, and GOTO-Programs...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Membrane Computing 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers /

Publicado em 2015

Sumário: “... Recursive Functions by Virus Machines -- About models derived from colonies....”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /

Publicado em 2007

Sumário: “... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Advances in Artificial Intelligence - IBERAMIA 2010 12th Ibero-American Conference on AI, Bahía Blanca, Argentina, November 1-5, 2010, Proceedings /

Publicado em 2010

Sumário: “... with an e-Learning 2.0 Authoring System -- Cognitive Modeling and Human Reasoning -- Robotic Orientation...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Intelligent Information Processing V 6th IFIP TC 12 International Conference, IIP 2010, Manchester, UK, October 13-16, 2010, Proceedings /

Publicado em 2010

Sumário: “... in the Future of Intelligent Information Processing -- Knowledge Mining Biological Network Models...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Refinar a Busca