Zobrazeno 1 - 10
of 18 933
pro vyhledávání: '"Iltis A"'
Autor:
Kooky Rooster
Erik, aufstrebender Juniorchef einer großen, traditionsreichen Firma, hat über die Feiertage seinen ehemaligen Studienkollegen Iltis eingeladen, einen liebenswerten Chaoten im Widerstand gegen den Kapitalismus und gesellschaftliche Normen. Aus der
Autor:
Geck, Gaetano, Quenkert, Christine, Schmellenkamp, Marko, Schmidt, Jonas, Tschirbs, Felix, Vehlken, Fabian, Zeume, Thomas
The Iltis project provides an interactive, web-based system for teaching the foundations of formal methods. It is designed with the objective to allow for simple inclusion of new educational tasks; to pipeline such tasks into more complex exercises;
Externí odkaz:
http://arxiv.org/abs/2105.05763
Autor:
Geck, Gaetano, Ljulin, Artur, Peter, Sebastian, Schmidt, Jonas, Vehlken, Fabian, Zeume, Thomas
Logic is a foundation for many modern areas of computer science. In artificial intelligence, as a basis of database query languages, as well as in formal software and hardware verification --- modelling scenarios using logical formalisms and inferrin
Externí odkaz:
http://arxiv.org/abs/1804.03579
Publikováno v:
Economic Botany, 2005 Jul 01. 59(2), 101-111.
Externí odkaz:
https://www.jstor.org/stable/4256956
Autor:
Cochrane, Theodore S.
Publikováno v:
Taxon, 2017 Apr 01. 66(2), 527-532.
Externí odkaz:
https://www.jstor.org/stable/90013748
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Juárez-Vázquez, María del Carmen1,2, A., Alejandro Zamilpa3, León-Díaz, Rosalba4, Martínez-Vázquez, Mariano5, López-Torres, Adolfo6, Luna-Herrera, Julieta7, Yépez-Mulia, Lilian8, Alarcón-Aguilar, Francisco2, Jiménez-Arellanes, María Adelina1 adelinajim08@prodigy.net.mx
Publikováno v:
Pharmacognosy Journal. Sep/Oct2021, Vol. 13 Issue 5, p1225-1241. 17p.
Autor:
Song, Bo1 (AUTHOR), Kim, Ji1 (AUTHOR), Park, Jin1 (AUTHOR), Lee, Mi1 (AUTHOR), Choi, Jun1 (AUTHOR), Noh, Jin2 (AUTHOR), Song, Hyun3 (AUTHOR), Hwang, Dae1 (AUTHOR)
Publikováno v:
Pharmacognosy Magazine. Jul-Sep2020, Vol. 16 Issue 71, p644-653. 10p.
Autor:
Weber, Antje
Wie die meisten der heimischen Musteliden unterliegt auch der Waldiltis Mustela putorius zahlreichen anthropogenen Einflüssen in seinem Lebensraum. Ohne eine systematische Arterfassung und Überprüfung möglicher Einflüsse auf die Populationsbiolo
Externí odkaz:
https://tud.qucosa.de/id/qucosa%3A86633
https://tud.qucosa.de/api/qucosa%3A86633/attachment/ATT-0/
https://tud.qucosa.de/api/qucosa%3A86633/attachment/ATT-0/
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.