Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
Альтернативы поиска:
functions computation » function computation, functions composition, function composition
programming recursion » programming decision, programming session, programming decisions
based tools » based tool, basic tools
functions computation » function computation, functions composition, function composition
programming recursion » programming decision, programming session, programming decisions
based tools » based tool, basic tools
1
Опубликовано 2010
Оглавление:
“...) -- From a Verified Kernel towards Verified Systems -- Reasoning about Computations Using Two-Levels...”Полный текст
Электронный ресурс
eКнига
2
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...”Полный текст
Электронный ресурс
eКнига
3
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...”Полный текст
Электронный ресурс
eКнига
4
Опубликовано 2008
Оглавление:
“... Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based...”Полный текст
Электронный ресурс
eКнига
5
Опубликовано 2010
Оглавление:
“... Selection Based on Soft Computing Techniques -- Obtaining the Compatibility between Musicians Using Soft...”Полный текст
Электронный ресурс
eКнига
6
Опубликовано 2010
Оглавление:
“... Facing Government Use of Cloud Computing -- Open Source Software (OSS) Adoption Framework for Local...”Полный текст
Электронный ресурс
eКнига
7
Опубликовано 2008
Оглавление:
“...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”Полный текст
Электронный ресурс
eКнига
8
Опубликовано 2007
Оглавление:
“...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...”Полный текст
Электронный ресурс
eКнига
9
Опубликовано 2010
Оглавление:
“... Universality Checking -- Liveness -- Automated Termination Analysis for Programs with Second-Order Recursion...”Полный текст
Электронный ресурс
eКнига
10
Опубликовано 2008
Оглавление:
“... Recursive Programs with Exact Predicate Abstraction -- Loop Summarization Using Abstract Transformers...”Полный текст
Электронный ресурс
eКнига
11
Опубликовано 2005
Оглавление:
“... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”Полный текст
Электронный ресурс
eКнига
12
Опубликовано 2015
Оглавление:
“...: Termination and Memory Safety of C Programs -- Cascade -- CPAchecker with Support for Recursive Programs...”Полный текст
Электронный ресурс
eКнига
13
Опубликовано 2006
Оглавление:
“... -- Predicate Abstraction of Programs with Non-linear Computation -- A Fresh Look at Testing for Asynchronous...”Полный текст
Электронный ресурс
eКнига
14
Опубликовано 2005
Оглавление:
“... Classification Rules Based on Association Rules Using Formal Concept Analysis -- Parameter Inference of Cost...”Полный текст
Электронный ресурс
eКнига
15
Опубликовано 2010
Оглавление:
“... Empirical Selection of Rule Induction Methods Based on Recursive Iteration of Resampling Methods -- Web...”Полный текст
Электронный ресурс
eКнига