![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
ICCSW 2014: London, United Kingdom
- Rumyana Neykova, Nicholas Ng:
2014 Imperial College Computing Student Workshop, ICCSW 2014, September 25-26, 2014, London, United Kingdom. OASIcs 43, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2014, ISBN 978-3-939897-76-7 - Rumyana Neykova, Nicholas Ng:
Frontmatter, Table of Contents, Preface, Workshop Organization. - Shane Legg:
From academia to industry: The story of Google DeepMind. 1 - Philip Wadler:
You and Your Research and the Elements of Style. 2 - Evgenij Belikov:
History-Based Adaptive Work Distribution. 3-10 - Ethel Bardsley:
Everything you know is wrong: The amazing time traveling CPU, and other horrors of concurrency. 11-18 - Andrew Cropper:
Identifying and inferring objects from textual descriptions of scenes from books. 19-26 - Jakub Daniel
, Pavel Parízek
:
Predicate Abstraction in Program Verification: Survey and Current Trends. 27-35 - Pantazis Deligiannis
, Alastair F. Donaldson:
Automatic Verification of Data Race Freedom in Device Drivers. 36-39 - Romain Franceschini, Paul-Antoine Bisgambiglia
, Luc Touraille, Paul Bisgambiglia, David R. C. Hill:
A survey of modelling and simulation software frameworks using Discrete Event System Specification. 40-49 - Juliana Franco, Sophia Drossopoulou, Nobuko Yoshida
:
Calculating communication costs with Sessions Types and Sizes. 50-57 - Quoc-Sang Phan
:
Symbolic Execution as DPLL Modulo Theories. 58-65 - Jörg Pührer:
Towards a Programming Paradigm for Artificial Intelligence Applications Based On Simulation. 66-73 - Lei Shi
:
Defining and Evaluating Learner Experience for Social Adaptive E-Learning. 74-82 - Maciej Skorski
:
On Recent Advances in Key Derivation via the Leftover Hash Lemma. 83-90 - Christof Spanring:
Axiom of Choice, Maximal Independent Sets, Argumentation and Dialogue Games. 91-98
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.