1
Baskı/Yayın Bilgisi 2006
İçindekiler: ... Fair Exchange in Byzantine Environments -- A Security Analysis of the Precise Time Protocol (Short...
Tam Metin Erişim
Elektronik Ekitap
2
Baskı/Yayın Bilgisi 2007
İçindekiler: ... Digitized Data Logger with Wireless and Wired Communication Interface and RFID Features -- Zigbee-Based...
Tam Metin Erişim
Elektronik Ekitap
3
Baskı/Yayın Bilgisi 2005
İçindekiler: ...Regular Papers -- Accountable Anonymous E-Mail -- Protecting Consumer Data in Composite Web...
Tam Metin Erişim
Elektronik Ekitap
4
Baskı/Yayın Bilgisi 2008
İçindekiler: ... Control Architecture for Precision Assembly with the Data Distribution Service -- Smart Assembly — Data...
Tam Metin Erişim
Elektronik Ekitap
5
Baskı/Yayın Bilgisi 2010
İçindekiler: ...Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract...
Tam Metin Erişim
Elektronik Ekitap
6
Baskı/Yayın Bilgisi 2006
İçindekiler: ... when and when not to interrupt -- Formal Analysis of the Communication of Probabilistic Knowledge...
Tam Metin Erişim
Elektronik Ekitap
7
Yazar: Joshi, Bipin., Joshi, Bipin.
Baskı/Yayın Bilgisi 2007
İçindekiler: ... Windows Communication Foundation....
Tam Metin Erişim
Elektronik Ekitap
8
Baskı/Yayın Bilgisi 2007
İçindekiler: ... -- Unifying Theories of Objects -- Non-interference Properties for Data-Type Reduction of Communicating...
Tam Metin Erişim
Elektronik Ekitap
9
Yazar: Wiemann, Alan., Wiemann, Alan.
Baskı/Yayın Bilgisi 2008
İçindekiler: ...A Brief Overview of Functional Verification -- Analytical Foundation -- Exploring Functional Space...
Tam Metin Erişim
Elektronik Ekitap
10
Baskı/Yayın Bilgisi 2014
İçindekiler: ... Forces in Probabilistic Automata -- Precise Predictive Analysis for Discovering Communication Deadlocks...
Tam Metin Erişim
Elektronik Ekitap