Søgeresultater - programming model programming recursion arrays

1

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

Udgivet 2006

Indholdsfortegnelse: “... Abstraction of Recursive Programs -- Relative Safety -- Resource Usage Analysis for the ?-Calculus -- Semantic...”
Få fuldtekst

Electronisk eBog

2

Guide to Java A Concise Introduction to Programming /

af Streib, James T., Streib, James T., Soma, Takako.
Udgivet 2014

Indholdsfortegnelse: “... -- Iteration Structures -- Objects: Revisited -- Strings -- Arrays -- Recursion -- Objects: Inheritance...”
Få fuldtekst

Electronisk eBog

3

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 /

Udgivet 2005

Indholdsfortegnelse: “... and FDR to Software Design -- Concurrent Programming -- Communicating Mobile Processes -- Model-Based...”
Få fuldtekst

Electronisk eBog

4

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

Udgivet 2008

Indholdsfortegnelse: “... in Declarative Authorization Policies -- Unification of Arrays in Spreadsheets with Logic Programming...”
Få fuldtekst

Electronisk eBog

5

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

Udgivet 2008

Indholdsfortegnelse: “... Linear Constraints for Moding CLP( ) Programs -- On Polymorphic Recursion, Type Systems, and Abstract...”
Få fuldtekst

Electronisk eBog

6

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

Udgivet 2012

Indholdsfortegnelse: “... and Stochastic Methods for Modeling Highly Heterogeneous Media Robust Solvers for Symmetric Positive Definite...”
Få fuldtekst

Electronisk eBog

7

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

Udgivet 2005

Indholdsfortegnelse: “... Numbers of Arrangements in Practice -- A MAPLE Symbolic-Numeric Program for Solving the 2D-Eigenvalue...”
Få fuldtekst

Electronisk eBog

8

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...

Udgivet 2015

Indholdsfortegnelse: “...: Termination and Memory Safety of C Programs -- Cascade -- CPAchecker with Support for Recursive Programs...”
Få fuldtekst

Electronisk eBog

9

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

Udgivet 2008

Indholdsfortegnelse: “... on Cell Broadband Engine -- Parallel Algorithm for Conflict Graph on OTIS-Triangular Array -- A Deadlock...”
Få fuldtekst

Electronisk eBog

10

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...

Udgivet 2007

Indholdsfortegnelse: “...-objective Model Checking of Markov Decision Processes -- PReMo: An Analyzer for Probabilistic Recursive...”
Få fuldtekst

Electronisk eBog

11

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...

Udgivet 2005

Indholdsfortegnelse: “...Formal Approaches in Modelling -- On the Physical Formal and Semantic Frontiers Between Human...”
Få fuldtekst

Electronisk eBog

12

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

Udgivet 2005

Indholdsfortegnelse: “... Algorithms for Two-Dimensional Rectangular Arrays -- Register Complexity of LOOP-, WHILE-, and GOTO-Programs...”
Få fuldtekst

Electronisk eBog

13

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

Udgivet 2015

Indholdsfortegnelse: “... Recursive Functions by Virus Machines -- About models derived from colonies....”
Få fuldtekst

Electronisk eBog

14

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

Udgivet 2007

Indholdsfortegnelse: “... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”
Få fuldtekst

Electronisk eBog

15

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

Udgivet 2010

Indholdsfortegnelse: “... with an e-Learning 2.0 Authoring System -- Cognitive Modeling and Human Reasoning -- Robotic Orientation...”
Få fuldtekst

Electronisk eBog

16

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

Udgivet 2010

Indholdsfortegnelse: “... in the Future of Intelligent Information Processing -- Knowledge Mining Biological Network Models...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning