בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
computation programming » communication programming, computation programmatic, computing programming
functions computation » function computation, functions composition, function composition
programming recursion » programming decision, programming session, programming decisions
recursion computing » recursion counting, decisions computing, equation computing
computing tools » computers tools, computing towards, computing theory
computation programming » communication programming, computation programmatic, computing programming
functions computation » function computation, functions composition, function composition
programming recursion » programming decision, programming session, programming decisions
recursion computing » recursion counting, decisions computing, equation computing
computing tools » computers tools, computing towards, computing theory
1
יצא לאור 2015
תוכן הענינים:
“... Recursive Functions by Virus Machines -- About models derived from colonies....”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
2
יצא לאור 2007
תוכן הענינים:
“...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
3
יצא לאור 2010
תוכן הענינים:
“...Recursive Projection Profiling for Text-Image Separation -- Risk in the Clouds?: Security Issues...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
4
5
יצא לאור 2013
תוכן הענינים:
“...-Physical Systems -- Embedding Functions into Disjunctive Logic Programs -- Reactive Designs of Interrupts...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
6
יצא לאור 2010
תוכן הענינים:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
7
תוכן הענינים:
“...Programming and Reasoning with Equations -- to Haskell -- Equational Reasoning -- Recursion...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
8
תוכן הענינים:
“... -- Reusable Actions: Functions -- Functional Programming Tools in Python -- Further Reading -- Exercises...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
9
יצא לאור 2005
תוכן הענינים:
“... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
10
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
יצא לאור 2013
תוכן הענינים:
“... and Implementing Probabilistic Concurrent Systems -- Model-Checking Higher-Order Programs with Recursive Types...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
11
יצא לאור 2006
תוכן הענינים:
“... Logical Relations for Recursive and Quantified Types -- Approaches to Polymorphism in Classical Sequent...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
12
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
יצא לאור 2005
תוכן הענינים:
“... with Recursion -- Determinacy Inference for Logic Programs -- Automatic Verification of Pointer Programs Using...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
13
יצא לאור 2005
תוכן הענינים:
“... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
14
יצא לאור 2008
תוכן הענינים:
“...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
15
יצא לאור 2008
תוכן הענינים:
“... Dynamic Logic for Recursive Procedures -- Mapped Separation Logic -- Unguessable Atoms: A Logical...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
16
יצא לאור 2008
תוכן הענינים:
“... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
17
יצא לאור 2010
תוכן הענינים:
“... Universality Checking -- Liveness -- Automated Termination Analysis for Programs with Second-Order Recursion...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
18
יצא לאור 2010
תוכן הענינים:
“... Trees Detection in Very High Resolution Images -- A Fast Recursive Approach to Autonomous Detection...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
19
יצא לאור 2010
תוכן הענינים:
“... Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions -- Combining Theorem Proving and Narrowing...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
20
יצא לאור 2015
תוכן הענינים:
“...: Termination and Memory Safety of C Programs -- Cascade -- CPAchecker with Support for Recursive Programs...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני