Johnen, Christian, 1862-1938
Johnen, Christian
Christian Johnen
VIAF ID: 307168006 ( Personal )
Permalink: http://viaf.org/viaf/307168006
Preferred Forms
- 100 0 _ ‡a Christian Johnen
-
-
-
- 100 1 _ ‡a Johnen, Christian ‡d 1862-1938
- 100 1 _ ‡a Johnen, Christian, ‡d 1862-1938
-
4xx's: Alternate Name Forms (10)
5xx's: Related Names (2)
- 551 _ _ ‡a Düren ‡4 ortg ‡4 https://d-nb.info/standards/elementset/gnd#placeOfBirth
- 551 _ _ ‡a Düsseldorf ‡4 orts ‡4 https://d-nb.info/standards/elementset/gnd#placeOfDeath
Works
Title | Sources |
---|---|
Algorithmic verification of home spaces in P/T systems | |
Decidability of home space property | |
deutsche Einheitskurzschrift (Verkehrsschrift) Ihre Entwicklg u. ihr Aufbau ; Mit Abdruck u. ausführ. Erl. d. Systemurkunde, erw. Beispielsammlg u. alph. Wörterverz | |
Festbuch zur hundertjährigen Jubelfeier der deutschen Kurzschrift [Gewidm. dem Andenken ihrer Begründer Friedrich Mosengeil u. Karl Gottlieb Horstig] | |
Geschichte der Stenographie im Zusammenhang mit der allgemeinen Entwicklung der Schrift und der Schriftkürzung | |
Lehrgang der deutschen Einheitskurzschrift für den Schul-, Vereins- u. Selbstunterricht | |
Papetri : poste d'analyse des réseaux de Petri | |
PETRIREVE : proving Petri net properties with rewriting systems | |
Schriftkürzung und Kurzschrift im Altertum, Mittelater und Reformationszeitalter : mit einer Einleitung über das Wesen der Stenographie und die stenographische Wissenschaft | |
SERPE : an extensible structure for analysis of petri-nets |