Önerilen Konular
Önerilen Konular
Şunu mu demek istediniz:
program communicating » proposal communicating, form 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
program communicating » proposal communicating, form 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
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
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
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
Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS...
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
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
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



