Priporočene teme znotraj vašega iskanja.
Priporočene teme znotraj vašega iskanja.
Poišči alternative:
computation programming » communication programming, computation programmatic, computing programming
programming recursion » programming decision, programming session, programming decisions
function computation » function computing, function decomposition, section computational
recursion 2 » recursion _, recursion a, recursion 274
2 tools » 1 tools
computation programming » communication programming, computation programmatic, computing programming
programming recursion » programming decision, programming session, programming decisions
function computation » function computing, function decomposition, section computational
recursion 2 » recursion _, recursion a, recursion 274
2 tools » 1 tools
1
Izdano 2015
Kazalo:
“...: Termination and Memory Safety of C Programs -- Cascade -- CPAchecker with Support for Recursive Programs...”Polni tekst
Elektronski
eKnjiga
2
Izdano 2010
Kazalo:
“... Universality Checking -- Liveness -- Automated Termination Analysis for Programs with Second-Order Recursion...”Polni tekst
Elektronski
eKnjiga
3
Izdano 2010
Kazalo:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”Polni tekst
Elektronski
eKnjiga
4
Izdano 2007
Kazalo:
“...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...”Polni tekst
Elektronski
eKnjiga
5
Izdano 2005
Kazalo:
“... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”Polni tekst
Elektronski
eKnjiga
6
Izdano 2010
Kazalo:
“...Recursive Projection Profiling for Text-Image Separation -- Risk in the Clouds?: Security Issues...”Polni tekst
Elektronski
eKnjiga
7
Kazalo:
“... -- Reusable Actions: Functions -- Functional Programming Tools in Python -- Further Reading -- Exercises...”
Polni tekst
Polni tekst
Elektronski
eKnjiga
8
Kazalo:
“...1. Terms and Relations -- 2. The Language PCF -- 3. From Evaluation to Interpretation -- 4...”
Polni tekst
Polni tekst
Elektronski
eKnjiga
9
Kazalo:
“...Programming and Reasoning with Equations -- to Haskell -- Equational Reasoning -- Recursion...”
Polni tekst
Polni tekst
Elektronski
eKnjiga
10
Izdano 2008
Kazalo:
“... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”Polni tekst
Elektronski
eKnjiga
11
Izdano 2005
Kazalo:
“... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”Polni tekst
Elektronski
eKnjiga
12
Izdano 2006
Kazalo:
“... -- Predicate Abstraction of Programs with Non-linear Computation -- A Fresh Look at Testing for Asynchronous...”Polni tekst
Elektronski
eKnjiga
13
Izdano 2006
Kazalo:
“... Logical Relations for Recursive and Quantified Types -- Approaches to Polymorphism in Classical Sequent...”Polni tekst
Elektronski
eKnjiga
14
Izdano 2010
Kazalo:
“... Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions -- Combining Theorem Proving and Narrowing...”Polni tekst
Elektronski
eKnjiga
15
Izdano 2010
Kazalo:
“... Trees Detection in Very High Resolution Images -- A Fast Recursive Approach to Autonomous Detection...”Polni tekst
Elektronski
eKnjiga
16
Izdano 2010
Kazalo:
“... and Affine Lambda Calculus -- Beluga: A Framework for Programming and Reasoning with Deductive Systems...”Polni tekst
Elektronski
eKnjiga
17
Izdano 2010
Kazalo:
“... Logical Systems -- The Description Logic for Relational Databases -- Non-Functional Requirements...”Polni tekst
Elektronski
eKnjiga