Zobrazeno 1 - 10
of 336
pro vyhledávání: '"Stufe"'
Autor:
Guido Löhrer
Publikováno v:
Acta Universitatis Lodziensis: Folia Philosophica, Iss 32, Pp 141-163 (2018)
In Platons Apologie des Sokrates zeichnet sich eine auf menschliche Art weise Person durch ihre Fähigkeit aus, den epistemischen Status und den Wert ihrer Meinungen über Sachverhalte korrekt zu beurteilen. Sie weiß, ob es sich bei ihnen um Wissen
Externí odkaz:
https://doaj.org/article/282ae6d8fb814b66b2a2ad5b34da04ca
Autor:
REZNICK, BRUCE, TOKCAN, NERIMAN
Publikováno v:
Proceedings of the American Mathematical Society, 2017 Dec 01. 145(12), 5169-5177.
Externí odkaz:
https://www.jstor.org/stable/90015394
Publikováno v:
Crain's Detroit Business. 9/26/2016, Vol. 32 Issue 39, p0007-0007. 1p.
Publikováno v:
Schadensfallanalysen metallischer Bauteile 2
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0b9ac9d033559f105f194e1d79336362
https://doi.org/10.3139/9783446470538.027
https://doi.org/10.3139/9783446470538.027
Autor:
Hilpold, Peter
Publikováno v:
Common Market Law Review. Oct2016, Vol. 53 Issue 5, p1466-1468. 3p.
Autor:
Rain, Sophie
Aggregate werden h��ufig f��r Software Verifikation verwendet und sind besonders wichtig f��r Smart Contracts, nachdem diese Transaktionen von Kryptow��hrungen zwischen Konten t��tigen. Die formale Verifikation von Smart Contracts
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::864362994ccab397f570b1be5b53e000
Autor:
Schiffer, Felix
Wir untersuchen die Redukte eines abzählbar unendlichen Vektorraums über einem Primkörper ungerader Charakteristik. Insbesondere beantworten wir die Frage, ob die Anzahl solcher Redukte bis auf Interdefinierbarkeit endlich ist oder nicht. Wir verw
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c666119c82d83839e0a15ba24bf28b5d
Autor:
Zarrieß, Benjamin, Claßen, Jens
The Golog action programming language is a powerful means to express high-level behaviours in terms of programs over actions defined in a Situation Calculus theory. In particular for physical systems, verifying that the program satisfies certain desi
Externí odkaz:
https://tud.qucosa.de/id/qucosa%3A79571
https://tud.qucosa.de/api/qucosa%3A79571/attachment/ATT-0/
https://tud.qucosa.de/api/qucosa%3A79571/attachment/ATT-0/
Autor:
Meyer, Stephan, Claus, Thorsten
Publikováno v:
E-Learning an sächsischen Hochschulen. - Dresden : TUDPress, 2009
Das Internationale Hochschulinstitut Zittau (IHI Zittau) verfügt über langjährige Erfahrungen im Bereich der elektronisch- unterstützten Lehre, insbesondere beim Einsatz von Videokonferenzen und korrelierenden multimedialen Applikationen. Darübe
Externí odkaz:
https://slub.qucosa.de/id/qucosa%3A218
https://slub.qucosa.de/api/qucosa%3A218/attachment/ATT-0/
https://slub.qucosa.de/api/qucosa%3A218/attachment/ATT-0/