1
Baskı/Yayın Bilgisi 2008
İçindekiler: ... Networks -- Revocation Schemes for Delegation Licences -- Reusability of Functionality-Based Application...
Tam Metin Erişim
Elektronik Ekitap
2
Baskı/Yayın Bilgisi 2007
İçindekiler: ... -- Session A4 -- Unbounded-Error One-Way Classical and Quantum Communication Complexity -- A Lower Bound...
Tam Metin Erişim
Elektronik Ekitap
3
Baskı/Yayın Bilgisi 2010
İçindekiler: ... Communications -- Viruses and Malware -- Designing a Secure Programming Language -- Forensics and Legal Issues...
Tam Metin Erişim
Elektronik Ekitap
4
Baskı/Yayın Bilgisi 2006
İçindekiler: ...: The Case of Broadcast and Multicast Encryption -- Cryptographically Sound Implementations for Communicating...
Tam Metin Erişim
Elektronik Ekitap
5
Baskı/Yayın Bilgisi 2008
İçindekiler: ... Theory of Regular Languages -- Reversible Flowchart Languages and the Structured Reversible Program...
Tam Metin Erişim
Elektronik Ekitap
6
Baskı/Yayın Bilgisi 2007
İçindekiler: ... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...
Tam Metin Erişim
Elektronik Ekitap
7
Baskı/Yayın Bilgisi 2010
İçindekiler: ...Cryptographic Hash Functions: Theory and Practice -- Cryptographic Hash Functions: Theory...
Tam Metin Erişim
Elektronik Ekitap
8
Baskı/Yayın Bilgisi 2012
İçindekiler: ... of Privacy-Protected Deleted Data -- Detecting Encryption Functions via Process Emulation and IL-Based...
Tam Metin Erişim
Elektronik Ekitap
9
Baskı/Yayın Bilgisi 2014
İçindekiler: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
Tam Metin Erişim
Elektronik Ekitap
10
Baskı/Yayın Bilgisi 2015
İçindekiler: ... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...
Tam Metin Erişim
Elektronik Ekitap
11
Baskı/Yayın Bilgisi 2010
İçindekiler: ...: Efficient Verification via Secure Computation -- Session 3-Track A1. Data Structures -- Mergeable...
Tam Metin Erişim
Elektronik Ekitap
12
Baskı/Yayın Bilgisi 2010
İçindekiler: ... Hierarchy -- Session 1-Track C. Communication in Networks -- The Serializability of Network Codes -- How...
Tam Metin Erişim
Elektronik Ekitap
13
Baskı/Yayın Bilgisi 2006
İçindekiler: ... Answers Using Genetic Programming -- Blindbuilder: A New Encoding to Evolve Lego-Like Structures...
Tam Metin Erişim
Elektronik Ekitap
14
Baskı/Yayın Bilgisi 2013
İçindekiler: ... Context-Switching and Reentrant Locking -- Reachability of Communicating Timed Processes -- Modular...
Tam Metin Erişim
Elektronik Ekitap
15
Baskı/Yayın Bilgisi 2013
İçindekiler: ... Universal Minimal Flows of Groups of Automorphisms of Uncountable Structures (D. Bartosova...
Tam Metin Erişim
Elektronik Ekitap
16
Baskı/Yayın Bilgisi 2006
İçindekiler: ... Multiplication with a Classifier Learning System -- A Language for the Compact Representation of Multiple Program...
Tam Metin Erişim
Elektronik Ekitap
17
Baskı/Yayın Bilgisi 2010
İçindekiler: ... for Sublinear Space Functional Programming -- Session 9 -- Liveness of Communicating Transactions (Extended...
Tam Metin Erişim
Elektronik Ekitap
18
Baskı/Yayın Bilgisi 2006
İçindekiler: ...Keynote -- Design Patterns – 15 Years Later -- Program Query and Persistence -- codeQuest: Scalable...
Tam Metin Erişim
Elektronik Ekitap
19
Baskı/Yayın Bilgisi 2014
İçindekiler: ... Interaction and Decision Support Systems of the Future -- Linguistics to Structure Unstructured Information...
Tam Metin Erişim
Elektronik Ekitap
20
Baskı/Yayın Bilgisi 2013
İçindekiler: ... — Where Programs Meet Provers -- Compositional Invariant Checking for Overlaid and Nested Linked Lists...
Tam Metin Erişim
Elektronik Ekitap