News Holger Hermanns

(1 - 30 von 30
)

Bahn- und Flugverkehr Saarländische Wissenschaftler sorgen für Sicherheit

www.business-on.de
[saarlorlux.business-on.de] - An dem Sonderforschungsbereich AVACS – das steht für „Automatic Verification and Analysis of Complex Systems“- sind von der Universität des Saarlandes neben Bernd Finkbeiner die Professoren Reinhard Wilhelm, Sebastian Hack und Holger Hermanns sowie die

Heise.de: Test für bessere Akkuüberwachung: Batterietechnik aus dem Saarland im...

Ein Nano-Satellit ist auch dank Forschern aus Saarbrücken auf Weltraum-Mission. Und zwar sparsamer als andere Modelle. Auch Technik auf der Erde könnte von dem...

Gebürtiger Papenburger erhält | NOZ

www.noz.de
Der gebürtige Papenburger und Informatik-Professor Holger Hermanns hat einen mit 2,4 Millionen Euro dotierten Forschungspreis erhalten.

Der Weg zur fehlerfreien Software - Innovations Report

www.innovations-report.de
· Gemeinsam mit Reinhard Wilhelm, Professor für Übersetzerbau der Saar-Uni, und Bernd Finkbeiner, Professor für Reaktive Systeme, ist Holger Hermanns am ...

Campus Event Calendar: Holger Hermanns ( in vhs-Zentrum...

domino.mpi-inf.mpg.de
Speaker: Holger Hermanns. coming from: Fachrichtung Informatik - Saarbrücken. Speakers Bio: Event Type: Lecture. Visibility: D1, D2, D3, D4, ...

Wenn Philosophie auf Informatik trifft - WELT

www.welt.de
Wenn Philosophie auf Informatik trifft

Bild.de: Uni-Forscher stolz - Saar-Technik glänzt im Weltall! | Regional |...

Saarbrücken – Er ist klein, leicht und schafft es in 90 Minuten um die Erde! Seit einem Jahr fliegt Nano-Satellit GOMX-3 schon durchs Weltall – und macht...

Informatiker der Universität des Saarlandes optimieren...

www.saarbruecker-zeitung.de
29. Dez · Professor Holger Hermanns zeigt einen Nano-Satelliten. Foto: Oliver Dietze/UDS/Oliver Dietze Saarbrücken Durch einen Ablauf-Planer sollen Kleinst-Satelliten ihre Energie noch effizienter ...

Pastor Holger Hermann ab Februar in Verden | Verden

www.kreiszeitung.de
Januar, 24 Uhr, die Möglichkeit haben, Einwände gegen die Ernennung Holger Hermanns zum neuen Gemeindepastor geltend zu machen.

Batterietechnik aus dem Saarland im Orbit: Sparschweine im Weltall

www.handelsblatt.com
SaarbrückenHolger Hermanns schaut auf die interaktive Landkarte auf seinem Laptop und lächelt. „Da ist er“, sagt der Informatik-Professor zu ...

News — Institut für Informatik

www.informatik.uni-freiburg.de
Colloquium of the Faculty of Engineering, October 24, Prof. Holger Hermanns, Uni Saarland, "Power grid stability despite renewable instability"

Das entfesselte Elektrorad

www.saarbruecker-zeitung.de
Ob Auto oder elektrische Zahnbürste – kein digitales Gerät kommt ohne spezielle Steuerchips aus, die in der Fachwelt als „Embedded Systems“ bezeichnet

Die fliegende Spardose

www.saarbruecker-zeitung.de
Informatiker der Saar-Universität wollen bei einer Weltraum-Mission ein neues, präziseres Verfahren zur Berechnung der Kapazität von Akkumulatoren entwickeln....

Saarbrücker Professor Volker Hermanns koppelt alte Technik mit einem...

www.saarbruecker-zeitung.de
Der Saarbrücker Professor Volker Hermanns koppelt uralte Technik mit einem modernen Hybridantrieb.

Aus dem All auf die Straße - it-daily.net

www.it-daily.net
Immer aktuelle IT-News. Shortnews zu IT und Computer. IT Nachrichten auf einem Blick.

200 years of the bicycle—computer scientists electrify historic...

phys.org
Professor Holger Hermanns riding the Dandy Horse, in the background Florian Schiessl, on the right the Belgian bicycle engineer Dries ...

FSEN : Fundamentals of Software Engineering

www.wikicfp.com
FSEN : Fundamentals of Software Engineering

E-Bike-Technik - Ein EnergyBus für den mündigen Radfahrer (Archiv)

www.deutschlandfunk.de
Elektrofahrräder werden immer beliebter. Informatiker warnen aber, dass E-Bikes künftig mit Elektronik gespickt sein werden. Die Besitzer werden ihr Rad dann...

FORMATS : 16th International Conference on Formal Modeling and...

www.wikicfp.com
FORMATS : 16th International Conference on Formal Modeling and Analysis of Timed Systems

From space to the streets: New battery model | EurekAlert!

www.eurekalert.org
Nano satellites weighing just a few kilograms orbit the Earth. Pivotal point of these miniature computers are their solar-powered batteries. Computer...

ICT.OPEN 2018: The Conference for ICT-Research in the Netherlands |...

www.rug.nl
We are delighted to announce the following keynote speakers: Holger Hermanns (Saarland University, Saarbrücken, Germany) Maarja Kruusmaa (Tallinn ...

Max-Planck-Institut für Informatik: News

www.mpi-inf.mpg.de
Holger Hermanns, professor for computer science at Saarland University, was awarded an Advanced Grant by the European Research Council [Link]. This grant ...

Info - U-Today

www.utoday.nl
For more information please contact Holger Hermanns (.nl). Federatieve Databases ( ). Voor INF-studenten. De docent van dit vak ...

Modellierung : Modellierung 2014

www.wikicfp.com
Modellierung : Modellierung 2014

Programmkomitee: MODELLIERUNG 2016

www.modellierung2016.org
... Universität Paderborn; Hans-Georg Fill, Universität Wien; Ulrich Frank, Universität Duisburg-Essen; Holger Hermanns, Universität des Saarlands; Jan Jürjens, ...

Campus Event Calendar: Dr. Holger Hermanns ( in FR...

domino.mpi-inf.mpg.de
3. Nov Dr. Holger Hermanns. From: Universität Twente, Niederlande ...
+1