Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
Альтернативы поиска:
programming technologies » programming techniques, processing technologies, packaging technologies
https functionality » its functionality, bags functionality, cross functionality
functionality using » functionality business, functionality design, functioning using
technologies https » technology https
using https » using http, nursing https, aging https
programming technologies » programming techniques, processing technologies, packaging technologies
https functionality » its functionality, bags functionality, cross functionality
functionality using » functionality business, functionality design, functioning using
technologies https » technology https
using https » using http, nursing https, aging https
1
Опубликовано 2010
Оглавление:
“...Invited Talks -- Beluga: Programming with Dependent Types, Contextual Data, and Contexts -- Using...”Полный текст
Электронный ресурс
eКнига
2
по Jungck, Peder., Jungck, Peder., An SAIC Company, CloudShield Technologies Inc., Duncan, Ralph., Mulcahy, Dwight.
Опубликовано 2011
Предметы:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”Опубликовано 2011
Полный текст
Электронный ресурс
eКнига
3
Оглавление:
“... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
Полный текст
Полный текст
Электронный ресурс
eКнига
4
Опубликовано 2008
Оглавление:
“...Marrying Words and Trees -- Simulation Using Orchestration -- Liberate Computer User from...”Полный текст
Электронный ресурс
eКнига
5
Опубликовано 2010
Оглавление:
“... for XML Using g-String -- Linear Computation of the Maximum Simultaneous Forward and Backward Bisimulation...”Полный текст
Электронный ресурс
eКнига
6
Опубликовано 2007
Оглавление:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”Полный текст
Электронный ресурс
eКнига
7
Оглавление:
“...Data Formats XML and JSON -- Web Technologies, Getting Data from the Web -- General XML Application...”
Полный текст
Полный текст
Электронный ресурс
eКнига
8
Опубликовано 2005
Оглавление:
“...-Functions for Negotiating Agents: Using Conjoint Analysis as an Alternative Approach to Expected Utility...”Полный текст
Электронный ресурс
eКнига
9
Оглавление:
“...Basics and Technology -- Navigation and User Interface -- Supply Chain Management -- Trade...”
Полный текст
Полный текст
Электронный ресурс
eКнига
10
Опубликовано 2005
Оглавление:
“... Verification with Quasar -- Proving Functional Equivalence for Program Slicing in SPARKTM -- Ada and Education...”Полный текст
Электронный ресурс
eКнига
11
Оглавление:
“...Convex Functions on Intervals -- Comparative Convexity on Intervals -- Convex Functions on a Normed...”
Полный текст
Полный текст
Электронный ресурс
eКнига
12
Оглавление:
“...Basics and Technology -- Navigation and User Interface -- Supply Chain Management -- Trade...”
Полный текст
Полный текст
Электронный ресурс
eКнига
13
Опубликовано 2010
Оглавление:
“... on Electrostatic Rigidity -- Longer MEMS Switch Lifetime Using Novel Dual-Pulse Voltage Driver -- Optimal Control...”Полный текст
Электронный ресурс
eКнига
14
Опубликовано 2006
Оглавление:
“... of Agents -- Programming Declarative Goals Using Plan Patterns -- JADL – An Agent Description Language...”Полный текст
Электронный ресурс
eКнига
15
Опубликовано 2008
Оглавление:
“... Recursive Programs with Exact Predicate Abstraction -- Loop Summarization Using Abstract Transformers...”Полный текст
Электронный ресурс
eКнига
16
Опубликовано 2010
Оглавление:
“... and Maintenance of Mouse Epiblast Stem Cells -- Functional Assays for Hematopoietic Stem Cell Self-Renewal...”Полный текст
Электронный ресурс
eКнига
17
Предметы:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Полный текст
Полный текст
Электронный ресурс
eКнига
18
Опубликовано 2005
Оглавление:
“...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”Полный текст
Электронный ресурс
eКнига
19
Опубликовано 2010
Оглавление:
“... by Incorporating Ontology Metadata Vocabulary -- Controlling Multi Algorithms Using Round Robin for University...”Полный текст
Электронный ресурс
eКнига
20
Оглавление:
“... Programming Languages -- Concurrent Constraint Functional Programming with CCFL -- A Generic Framework...”
Полный текст
Полный текст
Электронный ресурс
eКнига