Önerilen Konular
Önerilen Konular
Şunu mu demek istediniz:
functions computational » functions computation, function computation, directions computational
programming recursion » programming decision, programming session, programming decisions
functions computational » functions computation, function computation, directions computational
programming recursion » programming decision, programming session, programming decisions
1
Baskı/Yayın Bilgisi 2006
İçindekiler:
“... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...”Tam Metin Erişim
Elektronik
Ekitap
2
Baskı/Yayın Bilgisi 2007
İçindekiler:
“... Handling Rules -- Computing Fuzzy Answer Sets Using dlvhex -- The Use of a Logic Programming Language...”Tam Metin Erişim
Elektronik
Ekitap
3
Baskı/Yayın Bilgisi 2010
İçindekiler:
“...) -- From a Verified Kernel towards Verified Systems -- Reasoning about Computations Using Two-Levels...”Tam Metin Erişim
Elektronik
Ekitap
4
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Baskı/Yayın Bilgisi 2013
İçindekiler:
“... -- A Discipline for Program Verification Based on Backpointers and Its Use in Observational...”Tam Metin Erişim
Elektronik
Ekitap
5
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
Baskı/Yayın Bilgisi 2005
İçindekiler:
“... with Recursion -- Determinacy Inference for Logic Programs -- Automatic Verification of Pointer Programs Using...”Tam Metin Erişim
Elektronik
Ekitap
6
Baskı/Yayın Bilgisi 2008
İçindekiler:
“... Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based...”Tam Metin Erişim
Elektronik
Ekitap
7
Baskı/Yayın Bilgisi 2006
İçindekiler:
“... Pareto Genetic Programming -- A Higher-Order Function Approach to Evolve Recursive Programs -- Trivial...”Tam Metin Erişim
Elektronik
Ekitap
8
Baskı/Yayın Bilgisi 2010
İçindekiler:
“... Selection Based on Soft Computing Techniques -- Obtaining the Compatibility between Musicians Using Soft...”Tam Metin Erişim
Elektronik
Ekitap
9
Baskı/Yayın Bilgisi 2010
İçindekiler:
“... Facing Government Use of Cloud Computing -- Open Source Software (OSS) Adoption Framework for Local...”Tam Metin Erişim
Elektronik
Ekitap
10
Baskı/Yayın Bilgisi 2014
İçindekiler:
“... -- Symbolic Resource Bound Inference for Functional Programs -- Proving Non-termination Using Max-SMT...”Tam Metin Erişim
Elektronik
Ekitap
11
Baskı/Yayın Bilgisi 2008
İçindekiler:
“...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”Tam Metin Erişim
Elektronik
Ekitap
12
Baskı/Yayın Bilgisi 2005
İçindekiler:
“... on CoInductive Streams, an Application to Eratosthenes’ Sieve -- Recursive Functions with Higher Order Domains...”Tam Metin Erişim
Elektronik
Ekitap
13
Baskı/Yayın Bilgisi 2010
İçindekiler:
“...: An Automata-Based String Analysis Tool for PHP -- Automata Theory -- When Simulation Meets Antichains...”Tam Metin Erişim
Elektronik
Ekitap
14
Baskı/Yayın Bilgisi 2007
İçindekiler:
“...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...”Tam Metin Erişim
Elektronik
Ekitap
15
İçindekiler:
“... matching -- Functions with multiple definitions -- Recursive functions -- Linear algebra -- Graphics...”
Tam Metin Erişim
Tam Metin Erişim
Elektronik
Ekitap
16
Baskı/Yayın Bilgisi 2008
İçindekiler:
“... Knowledge Based on Linear Temporal Logic LTL -- Pure Iteration and Periodicity -- Programming Experimental...”Tam Metin Erişim
Elektronik
Ekitap
17
Baskı/Yayın Bilgisi 2015
İçindekiler:
“... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”Tam Metin Erişim
Elektronik
Ekitap
18
Baskı/Yayın Bilgisi 2008
İçindekiler:
“... Recursive Programs with Exact Predicate Abstraction -- Loop Summarization Using Abstract Transformers...”Tam Metin Erişim
Elektronik
Ekitap
19
Baskı/Yayın Bilgisi 2015
İçindekiler:
“... -- HyComp: An SMT-Based Model Checker for Hybrid Systems -- C2E2: A Verification Tool for Stateflow Models...”Tam Metin Erişim
Elektronik
Ekitap
20
Baskı/Yayın Bilgisi 2005
İçindekiler:
“... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”Tam Metin Erişim
Elektronik
Ekitap