Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
programs communicating » program communicating, programming communicating, process communicating
communicating https » communications https, communication https, communication http
https function » its function, sites function, ups function
based https » based http
programs communicating » program communicating, programming communicating, process communicating
communicating https » communications https, communication https, communication http
https function » its function, sites function, ups function
based https » based http
1
Argitaratua 2008
Aurkibidea:
“... of Logic Programs Based on Dependency Graphs -- Type-Based Homeomorphic Embedding and Its Applications...”Testu osoa
Baliabide elektronikoa
eBook
2
Argitaratua 2007
Aurkibidea:
“... -- Monitoring Architectural Properties in Dynamic Component-Based Systems -- Extra-Functional Properties...”Testu osoa
Baliabide elektronikoa
eBook
3
nork Jungck, Peder., Jungck, Peder., An SAIC Company, CloudShield Technologies Inc., Duncan, Ralph., Mulcahy, Dwight.
Argitaratua 2011
Gaiak:
“...Computer Communication Networks. https://scigraph.springernature.com/ontologies/product-market...”Argitaratua 2011
Testu osoa
Baliabide elektronikoa
eBook
4
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
Argitaratua 2010
Aurkibidea:
“... Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs...”Testu osoa
Baliabide elektronikoa
eBook
5
Argitaratua 2014
Aurkibidea:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”Testu osoa
Baliabide elektronikoa
eBook
6
Argitaratua 2010
Aurkibidea:
“... Hierarchy -- Session 1-Track C. Communication in Networks -- The Serializability of Network Codes -- How...”Testu osoa
Baliabide elektronikoa
eBook
7
Argitaratua 2015
Aurkibidea:
“... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...”Testu osoa
Baliabide elektronikoa
eBook
8
Argitaratua 2010
Aurkibidea:
“... Cover on k-Partite k-Uniform Hypergraphs -- Dynamic Programming for Graphs on Surfaces -- Interval...”Testu osoa
Baliabide elektronikoa
eBook
9
Argitaratua 2008
Aurkibidea:
“... Networks -- Revocation Schemes for Delegation Licences -- Reusability of Functionality-Based Application...”Testu osoa
Baliabide elektronikoa
eBook
10
Argitaratua 2008
Aurkibidea:
“... Verification of C Programs -- Test Construction for Mathematical Functions -- Model-Based Testing Service...”Testu osoa
Baliabide elektronikoa
eBook
11
Argitaratua 2013
Aurkibidea:
“... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”Testu osoa
Baliabide elektronikoa
eBook
12
Argitaratua 2008
Aurkibidea:
“...Semantics in Data and Knowledge Bases -- Invited Papers -- Data Integration through Ontologies...”Testu osoa
Baliabide elektronikoa
eBook
13
Argitaratua 2010
Aurkibidea:
“... Selection Based on Soft Computing Techniques -- Obtaining the Compatibility between Musicians Using Soft...”Testu osoa
Baliabide elektronikoa
eBook
14
Argitaratua 2010
Aurkibidea:
“... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...”Testu osoa
Baliabide elektronikoa
eBook
15
Argitaratua 2006
Aurkibidea:
“... with Role-Based Access Control -- Communication of Two Stacks and Rewriting -- Equations...”Testu osoa
Baliabide elektronikoa
eBook
16
Argitaratua 2010
Aurkibidea:
“... for Sublinear Space Functional Programming -- Session 9 -- Liveness of Communicating Transactions (Extended...”Testu osoa
Baliabide elektronikoa
eBook
17
Argitaratua 2007
Aurkibidea:
“... Assembly Languages for Confidentiality -- A Novel Test Case Generation Method for Prolog Programs Based...”Testu osoa
Baliabide elektronikoa
eBook
18
Argitaratua 2006
Aurkibidea:
“...Keynote -- Design Patterns – 15 Years Later -- Program Query and Persistence -- codeQuest: Scalable...”Testu osoa
Baliabide elektronikoa
eBook
19
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
Argitaratua 2007
Aurkibidea:
“... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”Testu osoa
Baliabide elektronikoa
eBook
20
Argitaratua 2008
Aurkibidea:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”Testu osoa
Baliabide elektronikoa
eBook