Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
Альтернативы поиска:
computation programming » communication programming, computation programmatic, computing programming
functions computation » function computation, functions composition, function composition
programming designing » programming design, programming learning, programming building
designing based » designing base, designing biases, designing case
based tools » based tool, basic tools
computation programming » communication programming, computation programmatic, computing programming
functions computation » function computation, functions composition, function composition
programming designing » programming design, programming learning, programming building
designing based » designing base, designing biases, designing case
based tools » based tool, basic tools
1
Опубликовано 2006
Оглавление:
“... Programming with Function Patterns -- Transformational Verification of Parameterized Protocols Using Array...”Полный текст
Электронный ресурс
eКнига
2
Опубликовано 2012
Оглавление:
“...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”Полный текст
Электронный ресурс
eКнига
3
по Lent, Craig S., 1956-.
Опубликовано 2013
Оглавление:
“...: Writing Your Own MATLAB Functions Chapter 8: More MATLAB Data Classes and Structures Chapter 9: Building a...”Опубликовано 2013
4
Опубликовано 2008
Оглавление:
“... Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based...”Полный текст
Электронный ресурс
eКнига
5
по Koohi, Sina Zangbari
Опубликовано 2020
Предметы:
“...Parallel programming (Computer science) - Research...”Опубликовано 2020
Полный текст
Thesis
6
Опубликовано 2006
Оглавление:
“... -- Dependable Computing -- Advances in the Design and Implementation of Group Communication Middleware -- Fault...”Полный текст
Электронный ресурс
eКнига
7
Опубликовано 2005
Оглавление:
“... Integer Programming -- Design Methods, Process and Creativity -- Examining Learning in Multiple Settings...”Полный текст
Электронный ресурс
eКнига
8
Оглавление:
“...Preface -- Introduction -- Phylogenetic Data in R -- Phylogenetic Diversity -- Functional Diversity...”
Полный текст
Полный текст
Электронный ресурс
eКнига
9
Опубликовано 2010
Оглавление:
“... Selection Based on Soft Computing Techniques -- Obtaining the Compatibility between Musicians Using Soft...”Полный текст
Электронный ресурс
eКнига
10
Опубликовано 2010
Оглавление:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”Полный текст
Электронный ресурс
eКнига
11
Опубликовано 2015
Оглавление:
“... for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare...”Полный текст
Электронный ресурс
eКнига
12
Оглавление:
“...Fundamentals of the J Programming Language -- Programming in J -- Network Calculus -- Stochastic...”
Полный текст
Полный текст
Электронный ресурс
eКнига
13
Опубликовано 2010
Оглавление:
“... Design -- A Reconfigurable Implementation of the Tate Pairing Computation over GF(2 m ) -- Session 3...”Полный текст
Электронный ресурс
eКнига
14
Опубликовано 2007
Оглавление:
“... Environments -- Application of the XTT Rule-Based Model for Formal Design and Verification of Internet Security...”Полный текст
Электронный ресурс
eКнига
15
Опубликовано 2007
Оглавление:
“...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...”Полный текст
Электронный ресурс
eКнига
16
Опубликовано 2010
Оглавление:
“... Support for HW/SW Codesign: A UML-based Design Flow -- C/C++-Based System Design -- Checkpoint and Restore...”Полный текст
Электронный ресурс
eКнига
17
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
Опубликовано 2005
Оглавление:
“...Programming with Explicit Security Policies -- Trace Partitioning in Abstract Interpretation Based...”Полный текст
Электронный ресурс
eКнига
18
Опубликовано 2006
Оглавление:
“...Types for Hierarchic Shapes -- Linear Regions Are All You Need -- Type-Based Amortised Heap-Space...”Полный текст
Электронный ресурс
eКнига
19
Опубликовано 2006
Оглавление:
“...Evolutionary Computation: from Genetic Algorithms to Genetic Programming -- Automatically Defined...”Полный текст
Электронный ресурс
eКнига
20
Опубликовано 2008
Оглавление:
“... -- Session 10: Program and Shape Analysis -- A Numerical Abstract Domain Based on Expression Abstraction...”Полный текст
Электронный ресурс
eКнига