You and Your Research and the Elements of Style (Englisch)
Freier Zugriff
- Neue Suche nach: Wadler, Philip
- Neue Suche nach: Wadler, Philip
- Neue Suche nach: Neykova, Rumyana
- Neue Suche nach: Ng, Nicholas
In:
OASIcs, Volume 43, ICCSW 2014
: 2014 Imperial College Computing Student Workshop
;
43
;
2
;
2014
-
ISBN:
-
ISSN:
- Aufsatz (Konferenz) / Elektronische Ressource
-
Titel:You and Your Research and the Elements of Style
-
Beteiligte:
-
Erschienen in:OASIcs, Volume 43, ICCSW 2014 : 2014 Imperial College Computing Student Workshop ; 43 ; 2
-
Verlag:
- Neue Suche nach: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
-
Erscheinungsdatum:08.10.2014
-
Format / Umfang:1 pages , 363108 byte
-
Anmerkungen:OASIcs, Vol. 43, 2014 Imperial College Computing Student Workshop, pages 2-2
-
ISBN:
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Lizenzbestimmungen:
-
Datenquelle:
Inhaltsverzeichnis Konferenzband
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
From academia to industry: The story of Google DeepMindLegg, Shane et al. | 2014
- 2
-
You and Your Research and the Elements of StyleWadler, Philip et al. | 2014
- 3
-
History-Based Adaptive Work DistributionBelikov, Evgenij et al. | 2014
- 4
-
Everything you know is wrong: The amazing time traveling CPU, and other horrors of concurrencyBardsley, Ethel et al. | 2014
- 5
-
Identifying and inferring objects from textual descriptions of scenes from booksCropper, Andrew et al. | 2014
- 6
-
Predicate Abstraction in Program Verification: Survey and Current TrendsDaniel, Jakub / Parízek, Pavel et al. | 2014
- 7
-
Automatic Verification of Data Race Freedom in Device DriversDeligiannis, Pantazis / Donaldson, Alastair F. et al. | 2014
- 8
-
A survey of modelling and simulation software frameworks using Discrete Event System SpecificationFranceschini, Romain / Bisgambiglia, Paul-Antoine / Touraille, Luc / Bisgambiglia, Paul / Hill, David et al. | 2014
- 9
-
Calculating communication costs with Sessions Types and SizesFranco, Juliana / Drossopoulou, Sophia / Yoshida, Nobuko et al. | 2014
- 10
-
Symbolic Execution as DPLL Modulo TheoriesPhan, Quoc-Sang et al. | 2014
- 11
-
Towards a Programming Paradigm for Artificial Intelligence Applications Based On SimulationPührer, Jörg et al. | 2014
- 12
-
Defining and Evaluating Learner Experience for Social Adaptive E-LearningShi, Lei et al. | 2014
- 13
-
On Recent Advances in Key Derivation via the Leftover Hash LemmaSkorski, Maciej et al. | 2014
- 14
-
Axiom of Choice, Maximal Independent Sets, Argumentation and Dialogue GamesSpanring, Christof et al. | 2014