216 Ergebnisse für: formalisierung
-
Archive und Nachlässe - IOS Regensburg
https://www.ios-regensburg.de/informationsinfrastruktur/bibliothek/bestand/archive-und-nachlaesse.html
IOS Regensburg, Leibniz-Institut für Ost- und Südosteuropaforschung, IOS, Regensburg IOS
-
Informatikdienstleistungen.de - Ihr Informatikdienstleistungen Shop
http://www.informatikdienstleistungen.de
Vorkurs Informatik, Lineare Algebra für die Informatik, Informationssysteme und Datenbanken, Algorithmen und Datenstrukturen, Grundlagen der Technischen Informatik,
-
TRACE-CHECK | Software-Wiki | FANDOM powered by Wikia
http://de.software.wikia.com/wiki/TRACE-CHECK
TRACE-CHECK ist ein Softwarewerkzeug der Firma TraceTronic GmbH zur automatischen Auswertung und Verifizierung aufgezeichneter Messdaten, im folgenden Traceanalyse genannt. Es dient der formalen Analyse von Aufzeichnungen in der Automobilindustrie. Die…
-
Hermann Weyl - Biographie - Virtueller Stadtrundgang in Hamburg (Kulturgeschichte, Wissenschaft und Technik) - Institut für Geschichte der Naturwissenschaften - Universität Hamburg
http://www.hs.uni-hamburg.de/DE/GNT/hh/biogr/weyl.htm
Keine Beschreibung vorhanden.
-
SEHEPUNKTE - Rezension von: Im Netz des Königs - Ausgabe 14 (2014), Nr. 11
http://www.sehepunkte.de/2014/11/23825.html
Rezension über Carmen Winkel: Im Netz des Königs. Netzwerke und Patronage in der preußischen Armee 1713-1786 (= Krieg in der Geschichte (KRiG); Bd. 79), Paderborn: Ferdinand Schöningh 2013, 364 S., ISBN 978-3-506-77733-1, EUR 44,90
-
luitswinda_mutter_kaiser_arnulfs_+_891
http://www.manfred-hiebl.de/mittelalter-genealogie/karolinger_ostfraenkische_linie/luitswinda_mutter_kaiser_arnulfs_891.html
Keine Beschreibung vorhanden.
-
jungle.world - Fick mein Gehirn
https://jungle.world/artikel/2017/24/fick-mein-gehirn
Michael Pivnik: Sapiosexuelle finden Intelligenz sexy
-
SEHEPUNKTE - Rezension von: Die Ahnenprobe in der Vormoderne - Ausgabe 12 (2012), Nr. 5
http://www.sehepunkte.de/2012/05/20851.html
Rezension über Elizabeth Harding / Michael Hecht (Hgg.): Die Ahnenprobe in der Vormoderne. Selektion - Initiation - Repräsentation (= Symbolische Kommunikation und gesellschaftliche Wertesysteme. Schriftenreihe des Sonderforschungsbereichs 496; Bd. 37),…
-
Mobilmachung
http://www.hls-dhs-dss.ch/textes/d/D8601.php
Das Historische Lexikon der Schweiz (HLS) ist ein wissenschaftliches Nachschlagewerk, das die Schweizer Geschichte von der Urgeschichte bis zur Gegenwart in allgemein verständlicher Form darlegt. Es ist das weltweit einzige wissenschaftliche Lexikon, das…
-
Ulf Brunnbauer - Lebenslauf - IOS Regensburg
https://www.ios-regensburg.de/personen/mitarbeiterinnen/ulf-brunnbauer/lebenslauf.html
IOS Regensburg, Leibniz-Institut für Ost- und Südosteuropaforschung, IOS, Regensburg IOS