CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees Thomas Bauereiß∗ , Armando Pesenti Gritti† , Andrei Popescu‡§ , Franco Raimondi‡ ∗ German Research Center for A

Source URL: www.ieee-security.org

Slock.it is an innovative, award-winning German startup in a unique position to be able to scale rapidly. Using our technologies, we help IoT devices to connect to Blockchain and, for instance, to participate as autonomo

Source URL: slock.it

• Computing
• Cryptocurrencies
• Software engineering
• Emerging technologies
• Blockchains
• Computer programming
• Ethereum
• Cross-platform software
• Internet of things
• Rust

Guide on the fuel economy, CO2-Emissions and power consumption of all New Passenger Car Models, offered for Sale on the German Market

Source URL: www.dat.de

DYNALLOY: AN EXTENSION OF ALLOY FOR WRITING AND ANALYZING BEHAVIOURAL MODELS Germán Regis | César Cornejo | Simón Gutiérrez Brida | Mariano Politano | Fernando Raverta | Pablo Ponzio | Nazareno Aguirre | Juan Pablo G

Source URL: alloytools.org

• Formal methods
• Logic puzzles
• River crossing puzzle
• CH
• Alloy
• Software engineering
• Theoretical computer science

The German text is solely decisive. Tripartite declaration on the future of work and social partnership in Switzerland in the digital business age We, as the tripartite representatives of the State, and employer and tr

Source URL: www.newsd.admin.ch

• Labour relations
• Economy
• Business
• Employment
• International Labour Organization
• United Nations Development Group
• Tripartism
• Social dialogue
• Decent work
• Guy Ryder
• Social partners
• Labour law

Seagull World Literature presents a splendid and constantly growing list of must-read books from all corners of the globe—some originally in English, others in outstanding English translation from French, German, Itali

Source URL: panmacmillan.co.in

• Continental philosophy
• HB
• Roland Barthes
• Philosophy

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

Source URL: www.energiewende2018.com

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

We are pleased to announce that METR has closed its seed round with three new investors on board. The three new investors are business angels who are well acquainted with both the German real estate and energy markets an

Source URL: metr.systems

• Utility submeter
• Water supply
• Inter
• Television

Business Services (en) IT-Security Vendors / System Integrators German-speaking Content Creation Marketing Services - Infopoint Security combines Marketing and PR duties. Get more visbility in the German-speaking DACH-ma

Source URL: www.infopoint-security.de

• Security engineering
• LinkedIn
• Recruitment
• Social media
• Computer security
• Security
• Cyberspace

The Impact of Length of the School Year on Student Performance and Earnings: Evidence from the German Short School Years Jörn-Ste¤en Pischke LSE January 2006

Source URL: econ.lse.ac.uk

• Secondary education
• Education
• Student
• Education in Germany
• Tenth grade
• Ninth grade
• Academic degree
• Seventh grade