Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs communicating » program communicating, programming communicating, process communicating
communicating https » communications https, communication https, communication http
function structures » functions structures, function structure, functional structures
https function » its function, sites function, ups function
programs communicating » program communicating, programming communicating, process communicating
communicating https » communications https, communication https, communication http
function structures » functions structures, function structure, functional structures
https function » its function, sites function, ups function
1
Published 2008
Table of Contents:
“... Networks -- Revocation Schemes for Delegation Licences -- Reusability of Functionality-Based Application...”View full text
Electronic
eBook
2
Published 2007
Table of Contents:
“... -- Session A4 -- Unbounded-Error One-Way Classical and Quantum Communication Complexity -- A Lower Bound...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... Communications -- Viruses and Malware -- Designing a Secure Programming Language -- Forensics and Legal Issues...”View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“...: The Case of Broadcast and Multicast Encryption -- Cryptographically Sound Implementations for Communicating...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“... Theory of Regular Languages -- Reversible Flowchart Languages and the Structured Reversible Program...”View full text
Electronic
eBook
6
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
Published 2007
Table of Contents:
“... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“...Cryptographic Hash Functions: Theory and Practice -- Cryptographic Hash Functions: Theory...”View full text
Electronic
eBook
8
Published 2012
Table of Contents:
“... of Privacy-Protected Deleted Data -- Detecting Encryption Functions via Process Emulation and IL-Based...”View full text
Electronic
eBook
9
Published 2014
Table of Contents:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”View full text
Electronic
eBook
10
Published 2015
Table of Contents:
“... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“...: Efficient Verification via Secure Computation -- Session 3-Track A1. Data Structures -- Mergeable...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“... Hierarchy -- Session 1-Track C. Communication in Networks -- The Serializability of Network Codes -- How...”View full text
Electronic
eBook
13
Published 2006
Table of Contents:
“... Answers Using Genetic Programming -- Blindbuilder: A New Encoding to Evolve Lego-Like Structures...”View full text
Electronic
eBook
14
Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS...
Published 2013
Table of Contents:
“... Context-Switching and Reentrant Locking -- Reachability of Communicating Timed Processes -- Modular...”View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“... Multiplication with a Classifier Learning System -- A Language for the Compact Representation of Multiple Program...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“... for Sublinear Space Functional Programming -- Session 9 -- Liveness of Communicating Transactions (Extended...”View full text
Electronic
eBook
17
Published 2006
Table of Contents:
“...Keynote -- Design Patterns – 15 Years Later -- Program Query and Persistence -- codeQuest: Scalable...”View full text
Electronic
eBook
18
Published 2013
Table of Contents:
“... Universal Minimal Flows of Groups of Automorphisms of Uncountable Structures (D. Bartosova...”View full text
Electronic
eBook
19
Published 2014
Table of Contents:
“... Interaction and Decision Support Systems of the Future -- Linguistics to Structure Unstructured Information...”View full text
Electronic
eBook
20
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Published 2013
Table of Contents:
“... — Where Programs Meet Provers -- Compositional Invariant Checking for Overlaid and Nested Linked Lists...”View full text
Electronic
eBook