Rezultaty - communication foundations formal expressions code five

Inne możliwości wyszukiwania:
communication foundations » communication foundation , communication education , communication collections
foundations formal » foundations ferment , foundations from
formal expressions » form expressions , facial expressions , form expression
expressions code » expressions some , expressions hotel , expressions due
code five » code files , case five , code fish

Concurrent Programming: Algorithms, Principles, and Foundations

od Raynal, Michel., Raynal, Michel.
Wydane 2013

Spis treści: “... Memory Approach -- Chap. 10 - Transactional Memory -- Part V - On the Foundations Side: From Safe Bits...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings /

Wydane 2008

Spis treści: “... of Communication Faults -- Algebraic Graph Algorithms -- Contributed Papers -- Question/Answer Games on Towers...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS...

Wydane 2013

Spis treści: “... Context-Switching and Reentrant Locking -- Reachability of Communicating Timed Processes -- Modular...”
Dokumenty pełnotekstowe

Elektroniczne E-book

FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science 27th International...

Wydane 2007

Spis treści: “... Graphs -- Communication Lower Bounds Via the Chromatic Number -- The Deduction Theorem for Strong...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Algebraic Methodology and Software Technology 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings /

Wydane 2006

Spis treści: “... Interpretation of FIFO Queues -- Assessing the Expressivity of Formal Specification Languages -- Fork Algebras...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part I /

Wydane 2014

Spis treści: “... and Computational Game Theory -- Random Deterministic Automata -- Communication Complexity Theory: Thirty-Five Years...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013, Proceedings /

Wydane 2013

Spis treści: “... Problem.- Dynamic Communicating Automata and Branching High-Level MSCs.- Visibly Pushdown Automata...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Mathematical Knowledge Management 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers /

Wydane 2006

Spis treści: “... Formal Proofs -- Session V: MKManagement Tools -- Semantic Matching for Mathematical Services...”
Dokumenty pełnotekstowe

Elektroniczne E-book

The Deductive Spreadsheet

od Cervesato, Iliano., Cervesato, Iliano.
Wydane 2013

Spis treści: “... The Traditional Spreadsheet -- Chap. 4 The Relational Spreadsheet -- Chap. 5 The Logical Spreadsheet -- Chap. 6...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Proceedings of the IFIP TC 11 23rd International Information Security Conference IFIP 20th World Computer Congress, IFIP SEC'08, September 7-10, 2008, Milano, Italy /

Wydane 2008

Spis treści: “...Hiding in Groups: On the Expressiveness of Privacy Distributions -- Practical Privacy-Preserving...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Ant Colony Optimization and Swarm Intelligence 6th International Conference, ANTS 2008, Brussels, Belgium, September 22-24, 2008, Proceedings /

Wydane 2008

Spis treści: “... of Multiple Objects -- Formal Modeling of BeeAdHoc: A Bio-inspired Mobile Ad Hoc Network Routing Protocol...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Advanced Data Mining and Applications 6th International Conference, ADMA 2010, Chongqing, China, November 19-21, 2010, Proceedings, Part I /

Wydane 2010

Spis treści: “...Data Mining Foundations -- Cost Sensitive Classification in Data Mining -- Web Users Access Paths...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Database and Expert Systems Applications 16th International Conference, DEXA 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings /

Wydane 2005

Spis treści: “... Language Coding LOD Control and Media Transition -- A Histogram-Based Selectivity Estimator for Skewed XML...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty