المؤلفون: Baier, Christel, Chrszon, Philipp, Dubslaff, Clemens, Klein, Joachim, Klüppelholz, Sascha

مصطلحات موضوعية: Formale Methoden, Verifikation, Exogene Koordination, formal methods, verification, exogenous coordination, info:eu-repo/classification/ddc/004, ddc:004

الاتاحة: https://tud.qucosa.de/id/qucosa%3A70851
https://tud.qucosa.de/api/qucosa%3A70851/attachment/ATT-0/

المؤلفون: Klein, Joachim, Baier, Christel, Chrszon, Philipp, Daum, Marcus, Dubslaff, Clemens, Klüppelholz, Sascha, Märcker, Steffen, Müller, David

مصطلحات موضوعية: formal methods, model checking, Formale Methoden, Modellprüfung, info:eu-repo/classification/ddc/004, ddc:004

الاتاحة: https://tud.qucosa.de/id/qucosa%3A74265
https://tud.qucosa.de/api/qucosa%3A74265/attachment/ATT-0/

المؤلفون: Chrszon, Philipp, Dubslaff, Clemens, Baier, Christel, Klein, Joachim, Klüppelholz, Sascha

مصطلحات موضوعية: formal methods, role-based systems, exogenous coordination, Formale Methoden, Rollenbasierte Systems, Exogene Koordination, info:eu-repo/classification/ddc/004, ddc:004

الاتاحة: https://tud.qucosa.de/id/qucosa%3A70791
https://tud.qucosa.de/api/qucosa%3A70791/attachment/ATT-0/

المؤلفون: Klein, Joachim, Baier, Christel, Chrszon, Philipp, Daum, Marcus, Dubslaff, Clemens, Klüppelholz, Sascha, Märcker, Steffen, Müller, David

مصطلحات موضوعية: model checking, formal methods, Formale Methoden, Modellprüfung, info:eu-repo/classification/ddc/004, ddc:004

الاتاحة: https://tud.qucosa.de/id/qucosa%3A74267
https://tud.qucosa.de/api/qucosa%3A74267/attachment/ATT-0/

المؤلفون: Setzler, Sibylle, Braun-Miller, Sibylle, Klein, Joachim, Wottke, Bärbel

المصدر: Schwäbische Heimat; Bd. 45 Nr. 3 (1994): Schwäbische Heimat; 289-290 ; 2750-4662 ; 0342-7595 ; 10.53458/sh.v45i3

مصطلحات موضوعية: Rezension | GND-Link: https://d-nb.info/gnd/4049712-4

وصف الملف: application/pdf

Relation: https://journals.wlb-stuttgart.de/index.php/sh/article/view/15184/15218

الاتاحة: https://journals.wlb-stuttgart.de/index.php/sh/article/view/15184
https://doi.org/10.53458/sh.v45i3.15184

المؤلفون: Baier, Christel, Daum, Marcus, Engel, Benjamin, Härtig, Hermann, Klein, Joachim, Klüppelholz, Sascha, Märcker, Steffen, Tews, Hendrik, Völp, Marcus

المصدر: Franck Cassez, Ralf Huuck, Gerwin Klein and Bastian Schlich (Hrsg.): Proceedings Seventh Conference on Systems Software Verification (SSV 2012), Sydney, Australia, 28-30 November 2012, Electronic Proceedings in Theoretical Computer Science 102, S.. 156–166

مصطلحات موضوعية: info:eu-repo/classification/ddc/004, ddc:004, Sonderforschungsbereich 912, Hochadaptive Energieeffiziente Systeme, Betriebssystem, Logik, Collaborative Research Centre 912, Highly Adaptive Energy-Efficient Computing, Logic in Computer Science, Operating Systems, Software Engineering, symmetry reduction

الاتاحة: https://tud.qucosa.de/id/qucosa%3A27132
https://tud.qucosa.de/api/qucosa%3A27132/attachment/ATT-1/

المؤلفون: Baier, Christel, Daum, Marcus, Engel, Benjamin, Härtig, Hermann, Klein, Joachim, Klüppelholz, Sascha, Märcker, Steffen, Tews, Hendrik, Völp, Marcus

المصدر: Formal Methods for Industrial Critical Systems: 17th International Workshop on Formal methods for industrial critical systems, Paris, France, August 27-28, 2012, Proceedings, S. 47-62, ISBN: 978-3-642-32469-7, ISSN: 0302-9743

مصطلحات موضوعية: info:eu-repo/classification/ddc/004, ddc:004, Zugriffssperre, sicherheitskritische Systeme, Logik, Betriebssystem, Markov-Kette, Sonderforschungsbereich 912, Hochadaptive Energieeffiziente Systeme, Locks, safety-critical systems, Software Engineering, Logics, operating system, Markov chain, Collaborative Research Centre 912, Highly Adaptive Energy-Efficient Computing

الاتاحة: https://tud.qucosa.de/id/qucosa%3A27128
https://tud.qucosa.de/api/qucosa%3A27128/attachment/ATT-0/

المؤلفون: Klein, Joachim Alexander

Thesis Advisors: Theron, Jacques Petrus Johan, Schnabel, W.

مصطلحات موضوعية: Auto-cybernetics, Personality, Young Leaders, Emerging Adulthood, Self-Regulation, Self-Management, Cybernetics, Church Development, Leadership, Personality Development, 253, Christian leadership, Psychology, Religious aspects, Christianity, Church growth

وصف الملف: 1 online resource (194 leaves); application/pdf

الاتاحة: http://hdl.handle.net/10500/13110

المؤلفون: Klein, Joachim

مصطلحات موضوعية: Volkswirtschaftliche Fakultät

وصف الملف: application/pdf

Relation: http://edoc.ub.uni-muenchen.de/10608/

الاتاحة: http://edoc.ub.uni-muenchen.de/10608/1/Klein_Joachim.pdf
http://nbn-resolving.de/urn:nbn:de:bvb:19-106081

المؤلفون: Jantsch, Simon, Müller, David, Baier, Christel, Klein, Joachim

مصطلحات موضوعية: Computer Science - Formal Languages and Automata Theory

URL الوصول: http://arxiv.org/abs/1907.02887

المؤلفون: Hutschenreiter, Lisa, Baier, Christel, Klein, Joachim

المصدر: EPTCS 256, 2017, pp. 16-30

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/1709.02093

المؤلفون: Klein, Joachim

المصدر: Zeitschrift für Slavische Philologie, 2021 Jan 01. 77(2), 283-296.

URL الوصول: https://www.jstor.org/stable/45473316

المؤلفون: Klein, Joachim

المصدر: Wiener Slavistisches Jahrbuch, 2021 Jan 01. 9, 104-114.

URL الوصول: https://www.jstor.org/stable/10.13173/wienslavjahr.9.2021.0104

المؤلفون: Baier, Christel, Klein, Joachim, Klüppelholz, Sascha, Wunderlich, Sascha

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Discrete Mathematics, G.3, D.2.4

URL الوصول: http://arxiv.org/abs/1701.05389

المؤلفون: Stemmer, Renate, Büchler, Britta, Büttner, Matthias, Dera-Ströhm, Christina, Klein, Joachim, Gianicolo, Emilio

المساهمون: German Innovation Fund of the Federal Joint Committee, Katholische Hochschule Mainz

المصدر: BMC Health Services Research ; volume 23, issue 1 ; ISSN 1472-6963

الاتاحة: http://dx.doi.org/10.1186/s12913-023-09460-1
https://link.springer.com/content/pdf/10.1186/s12913-023-09460-1.pdf
https://link.springer.com/article/10.1186/s12913-023-09460-1/fulltext.html

المؤلفون: Baier, Christel, Kiefer, Stefan, Klein, Joachim, Müller, David, Worrell, James

المساهمون: Center for Evolutionary and Theoretical Immunology, Engineering and Physical Sciences Research Council, The Royal Society, Deutsche Forschungsgemeinschaft

المصدر: Journal of Computer and System Sciences ; volume 136, page 113-134 ; ISSN 0022-0000

الاتاحة: http://dx.doi.org/10.1016/j.jcss.2023.03.005
https://api.elsevier.com/content/article/PII:S0022000023000442?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S0022000023000442?httpAccept=text/plain

المؤلفون: Baier, Christel, Kiefer, Stefan, Klein, Joachim, Müller, David, Worrell, James

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Formal Languages and Automata Theory, D.2.4, F.3.1

URL الوصول: http://arxiv.org/abs/1605.00950

المؤلفون: Klein, Joachim

Thesis Advisors: Baier, Christel, Steffen, Martin, Technische Universität Dresden

مصطلحات موضوعية: info:eu-repo/classification/ddc/004, ddc:004, Synthese, kompositionell, allgemeinst, Controller, LTL, Determinisierung, Reo, CARML, RSL, synthesis, compositional, most general, controller, LTL, determinization, Reo, CARML, RSL

الاتاحة: https://tud.qucosa.de/id/qucosa%3A27357
https://tud.qucosa.de/api/qucosa%3A27357/attachment/ATT-0/

المؤلفون: Klein, Joachim, Alwon, Hartmut

الاتاحة: http://data.europeana.eu/aggregation/europeana/2020801/dmglib_handler_docum_34906009

المؤلفون: Stutschewsky, Joachim, 1891-1982

المساهمون: Klein, Joachim M.

مصطلحات موضوعية: Jews -- Music -- History and criticism, Klezmer music -- History and criticism