Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
Альтернативы поиска:
programs communication » programs communicating, problems communication, program communicating
communication https » computation https
https function » its function, sites function, ups function
based https » based http
programs communication » programs communicating, problems communication, program communicating
communication https » computation https
https function » its function, sites function, ups function
based https » based http
1
Опубликовано 2008
Оглавление:
“... of Logic Programs Based on Dependency Graphs -- Type-Based Homeomorphic Embedding and Its Applications...”Полный текст
Электронный ресурс
eКнига
2
Опубликовано 2007
Оглавление:
“... -- Monitoring Architectural Properties in Dynamic Component-Based Systems -- Extra-Functional Properties...”Полный текст
Электронный ресурс
eКнига
3
по Jungck, Peder., Jungck, Peder., An SAIC Company, CloudShield Technologies Inc., Duncan, Ralph., Mulcahy, Dwight.
Опубликовано 2011
Предметы:
“...Computer Communication Networks. https://scigraph.springernature.com/ontologies/product-market...”Опубликовано 2011
Полный текст
Электронный ресурс
eКнига
4
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
Опубликовано 2010
Оглавление:
“... Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs...”Полный текст
Электронный ресурс
eКнига
5
Опубликовано 2014
Оглавление:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”Полный текст
Электронный ресурс
eКнига
6
Опубликовано 2010
Оглавление:
“... Hierarchy -- Session 1-Track C. Communication in Networks -- The Serializability of Network Codes -- How...”Полный текст
Электронный ресурс
eКнига
7
Опубликовано 2015
Оглавление:
“... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...”Полный текст
Электронный ресурс
eКнига
8
Опубликовано 2010
Оглавление:
“... Cover on k-Partite k-Uniform Hypergraphs -- Dynamic Programming for Graphs on Surfaces -- Interval...”Полный текст
Электронный ресурс
eКнига
9
Опубликовано 2008
Оглавление:
“... Networks -- Revocation Schemes for Delegation Licences -- Reusability of Functionality-Based Application...”Полный текст
Электронный ресурс
eКнига
10
Опубликовано 2008
Оглавление:
“... Verification of C Programs -- Test Construction for Mathematical Functions -- Model-Based Testing Service...”Полный текст
Электронный ресурс
eКнига
11
Опубликовано 2013
Оглавление:
“... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”Полный текст
Электронный ресурс
eКнига
12
Опубликовано 2008
Оглавление:
“...Semantics in Data and Knowledge Bases -- Invited Papers -- Data Integration through Ontologies...”Полный текст
Электронный ресурс
eКнига
13
Опубликовано 2010
Оглавление:
“... Selection Based on Soft Computing Techniques -- Obtaining the Compatibility between Musicians Using Soft...”Полный текст
Электронный ресурс
eКнига
14
Опубликовано 2010
Оглавление:
“... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...”Полный текст
Электронный ресурс
eКнига
15
Опубликовано 2006
Оглавление:
“...Keynote -- Design Patterns – 15 Years Later -- Program Query and Persistence -- codeQuest: Scalable...”Полный текст
Электронный ресурс
eКнига
16
Опубликовано 2014
Оглавление:
“... and Quality-Based Ranking -- Semantics in Environmental Search Systems. Reasoning Brokerage – New Reasoning...”Полный текст
Электронный ресурс
eКнига
17
Опубликовано 2006
Оглавление:
“... with Role-Based Access Control -- Communication of Two Stacks and Rewriting -- Equations...”Полный текст
Электронный ресурс
eКнига
18
Опубликовано 2007
Оглавление:
“... Assembly Languages for Confidentiality -- A Novel Test Case Generation Method for Prolog Programs Based...”Полный текст
Электронный ресурс
eКнига
19
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
Опубликовано 2007
Оглавление:
“... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”Полный текст
Электронный ресурс
eКнига
20
Опубликовано 2010
Оглавление:
“... for Sublinear Space Functional Programming -- Session 9 -- Liveness of Communicating Transactions (Extended...”Полный текст
Электронный ресурс
eКнига