בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
programming recursion » programming decision, programming session, programming decisions
function computation » function computing, function decomposition, section computational
programming recursion » programming decision, programming session, programming decisions
function computation » function computing, function decomposition, section computational
1
יצא לאור 2006
תוכן הענינים:
“... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
2
יצא לאור 2007
תוכן הענינים:
“... Handling Rules -- Computing Fuzzy Answer Sets Using dlvhex -- The Use of a Logic Programming Language...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
3
יצא לאור 2010
תוכן הענינים:
“...) -- From a Verified Kernel towards Verified Systems -- Reasoning about Computations Using Two-Levels...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
4
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
יצא לאור 2013
תוכן הענינים:
“... -- A Discipline for Program Verification Based on Backpointers and Its Use in Observational...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
5
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...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
6
יצא לאור 2008
תוכן הענינים:
“... Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
7
יצא לאור 2006
תוכן הענינים:
“... Pareto Genetic Programming -- A Higher-Order Function Approach to Evolve Recursive Programs -- Trivial...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
8
יצא לאור 2010
תוכן הענינים:
“... Selection Based on Soft Computing Techniques -- Obtaining the Compatibility between Musicians Using Soft...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
9
יצא לאור 2010
תוכן הענינים:
“... Facing Government Use of Cloud Computing -- Open Source Software (OSS) Adoption Framework for Local...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
10
יצא לאור 2014
תוכן הענינים:
“... -- Symbolic Resource Bound Inference for Functional Programs -- Proving Non-termination Using Max-SMT...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
11
יצא לאור 2008
תוכן הענינים:
“...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
12
יצא לאור 2005
תוכן הענינים:
“... on CoInductive Streams, an Application to Eratosthenes’ Sieve -- Recursive Functions with Higher Order Domains...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
13
יצא לאור 2010
תוכן הענינים:
“...: An Automata-Based String Analysis Tool for PHP -- Automata Theory -- When Simulation Meets Antichains...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
14
יצא לאור 2007
תוכן הענינים:
“...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
15
תוכן הענינים:
“... matching -- Functions with multiple definitions -- Recursive functions -- Linear algebra -- Graphics...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
16
יצא לאור 2008
תוכן הענינים:
“... Knowledge Based on Linear Temporal Logic LTL -- Pure Iteration and Periodicity -- Programming Experimental...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
17
יצא לאור 2015
תוכן הענינים:
“... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
18
יצא לאור 2008
תוכן הענינים:
“... Recursive Programs with Exact Predicate Abstraction -- Loop Summarization Using Abstract Transformers...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
19
יצא לאור 2015
תוכן הענינים:
“... -- HyComp: An SMT-Based Model Checker for Hybrid Systems -- C2E2: A Verification Tool for Stateflow Models...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
20
יצא לאור 2005
תוכן הענינים:
“... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני