<--- Back to Details
First PageDocument Content
Walther Meissner / Wien / Vienna University of Technology / Kiel Institute for the World Economy / Germany / Leibniz-Institut für Festkörper- und Werkstoffforschung / Indo-European languages
Date: 2010-05-11 05:07:02
Walther Meissner
Wien
Vienna University of Technology
Kiel Institute for the World Economy
Germany
Leibniz-Institut für Festkörper- und Werkstoffforschung
Indo-European languages

Programme HIGH Tc 25. Workshop on

Add to Reading List

Source URL: www.imc.tuwien.ac.at

Download Document from Source Website

File Size: 145,37 KB

Share Document on Facebook

Similar Documents

Software engineering / Computer programming / Computing / Cross-platform software / High-level programming languages / Web programming / Functional programming / Subroutines / JavaScript / Const / Stack machine / Stack trace

Bringing the Web up to Speed with WebAssembly Andreas Haas Andreas Rossberg Derek L. Schuff∗ Ben L. Titzer ∗ Google GmbH, Germany / Google Inc, USA {ahaas,rossberg,dschuff,titzer}@google.com

DocID: 1xVRR - View Document

Prof. Dr. Martin Fränzle Department of Computing Science University of OldenburgOldenburg Germany Email:

DocID: 1xVP1 - View Document

Computing / Software / Universal Windows Platform apps / Internet / Hacker conventions / Security BSides / Unconferences / Twitter / Sponsor / Tor / Target Corporation / TED

Security BSides Munich Conference Sponsoring Kit SpringMünchen, Germany www.bsidesmunich.org

DocID: 1xVO1 - View Document

Energy / Universe / Energy economics / Energy policy / Nature / Renewable energy / Energy transition / The Third Industrial Revolution / Jeremy Rifkin / Energy development / Sustainable energy / Energy industry

Microsoft Word2015_Digital Germany_For March 26th German Energy Transition Dialogue Event.docx

DocID: 1xVxW - View Document

Theoretical computer science / NP-complete problems / Logic in computer science / Constraint programming / Electronic design automation / Formal methods / Satisfiability modulo theories / Solver / Benchmark / Unsatisfiable core / Lis

13th International Satisfiability Modulo Theories Competition (SMT-COMP 2018): Rules and Procedures Matthias Heizmann University of Freiburg Germany

DocID: 1xVxR - View Document