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