Dissertations / Theses on the topic 'Formaleoni'

Koeder, Anja. "Von Ferdinand de Saussure zu einer formalen diachronischen Semantik /." [S.l. : s.n.], 1999. http://www.bsz-bw.de/cgi-bin/xvms.cgi?SWB8280392.

Lemke, Andreas. "Dimensionierung von Analogschaltungen mit formalen Methoden auf der Basis affiner Arithmetik." [S.l. : s.n.], 2004. http://deposit.ddb.de/cgi-bin/dokserv?idn=971240515.

Luig, Caspar. "Vertragsärztlicher Abrechnungsbetrug und Schadensbestimmung zur streng formalen Betrachtungsweise des Sozialrechts im Strafrecht." Frankfurt, M. Berlin Bern Bruxelles New York, NY Oxford Wien Lang, 2009. http://d-nb.info/995862346/04.

Schmidt, Christian Martin. "Schönbergs Oper : Moses und Aron : Analyse der diastematischen, formalen und musikdramatischen Komposition /." Mainz ; London ; New York : Schott, 1988. http://catalogue.bnf.fr/ark:/12148/cb35029928h.

Zylka, Johannes, and Wolfgang Müller. "Fundierung digitaler Medien im formalen Bildungswesen am Beispiel einer Fallstudie zu digitalen Medienkompetenzen." Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2011. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-76391.

Reinhardt, Simone. "Die Reichsbank in der Weimarer Republik : [eine Analyse der formalen und faktischen Unabhängigkeit] /." Frankfurt am Main [u.a.] : Lang, 2000. http://hsozkult.geschichte.hu-berlin.de/rezensionen/NG-2002-034.

Wolff, H. Ekkehard. "Afrikanische Sprachminiaturen: Zur formalen Ästhetik von Kleinformen afrikanischer Sprachkunst unter besonderer Berücksichtigung ihrer Tonalität." Universität Leipzig, 1998. https://ul.qucosa.de/id/qucosa%3A32903.

Turner, Lena [Verfasser], and Tilo [Akademischer Betreuer] Kircher. "Validierung einer neuen Skala zur operationalisierten Erfassung von formalen Denkstörungen / Lena Turner. Betreuer: Tilo Kircher." Marburg : Philipps-Universität Marburg, 2013. http://d-nb.info/1032313978/34.

Noyer, Ulf [Verfasser], and Karsten [Akademischer Betreuer] Lemmer. "Semantische Technologien zur domänenspezifischen und formalen Beschreibung von Zeitreihen in Datenbanken / Ulf Noyer ; Betreuer: Karsten Lemmer." Braunschweig : Technische Universität Braunschweig, 2013. http://d-nb.info/1175821187/34.

Krätzig, Sebastian [Verfasser]. "Bürger werden initiativ : akteurssoziologische Hintergründe eines lokalen Protests aufgrund eines formalen und symbolischen Beteiligungsdefizits / Sebastian Krätzig." Hannover : Technische Informationsbibliothek (TIB), 2017. http://d-nb.info/1141306247/34.

Bareiß, Reinhold. "Verfahren zur Propagierung von Zeitbedingungen und zur formalen Verifikation des zeitlichen Verhaltens beim Entwurf von Automatisierungssystemen /." Düsseldorf : VDI-Verl, 1993. http://www.gbv.de/dms/ilmenau/toc/152775994.PDF.

Brink, Guido. "Die Finalsätze in Mozarts Konzerten : Aspekte ihrer formalen Gestaltung und ihrer Funktion als Abschluss des Konzerts /." Kassel : G. Bosse, 2000. http://catalogue.bnf.fr/ark:/12148/cb37112088f.

Patzke, Ulrike. "Das Phänomen "Faux amis" am Beispiel des Sprachenpaares deutsch-schwedisch : Studien im Bereich der Formalen Ähnlichkeit /." Clausthal-Zellerfeld : Papierflieg, 2000. http://catalogue.bnf.fr/ark:/12148/cb388060129.

Hänisch, Corinna [Verfasser]. "Denkformen des formalen Denkens : eine qualitative empirische Studie zur spezifischen Kognition von Studienanfängern im Fach Mathematik / Corinna Hänisch." Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2012. http://d-nb.info/1021567671/34.

Kim, Dae-Wuk [Verfasser]. "Computereinsatz für die Bürgerbeteiligung am formalen Planungsprozess in Korea : Ein webbasiertes GIS für die öffentliche Planauslegung / Dae-Wuk Kim." Aachen : Shaker, 2005. http://d-nb.info/1181619238/34.

Sander, Cristiane. "Partizipation als Bildungsprozess in non-formalen Organisationen des Aufwachsens : Beobachtungen zu einem vergessenen Zusammenhang anhand der Jugendverbände der Bundesrepublik Deutschland /." Kassel : Kassel Univ. Press, 2008. http://d-nb.info/989620131/04.

Arn, Patric [Verfasser], and Andreas [Akademischer Betreuer] Kagermeier. "Strukturelle Qualitätsaspekte der formalen Tourismus-bildung in Entwicklungs- und Schwellenländern (Afrikas) -Anhand des Fallbeispiels Namibia / Patric Arn ; Betreuer: Andreas Kagermeier." Trier : Universität Trier, 2015. http://d-nb.info/1197702199/34.

Torka, Philipp J. [Verfasser], Manfred [Akademischer Betreuer] Broy, and Florian [Akademischer Betreuer] Matthes. "Dienstorientierte Architekturen: Eine konzeptuelle Herleitung auf Basis eines formalen Prozessmodells / Philipp J. Torka. Gutachter: Manfred Broy ; Florian Matthes. Betreuer: Manfred Broy." München : Universitätsbibliothek der TU München, 2013. http://d-nb.info/104380224X/34.

Sander, Cristiane [Verfasser]. "Partizipation als Bildungsprozess in non-formalen Organisationen des Aufwachsens - Beobachtungen zu einem vergessenen Zusammenhang anhand der Jugendverbände der Bundesrepublik Deutschland / Cristiane Sander." Kassel : Kassel University Press, 2008. http://d-nb.info/1006920080/34.

Becker, Jens Eckart [Verfasser], and J. [Akademischer Betreuer] Becker. "Methodischer Beitrag zum neuen Einsatz von Techniken der formalen Verifikation bei seriellen Busprotokollen im automobilen Umfeld / Jens Eckart Becker. Betreuer: J. Becker." Karlsruhe : KIT-Bibliothek, 2014. http://d-nb.info/1078957797/34.

Enderlein, Axel [Verfasser]. "Der Begriff der Freiheit als Tatbestandsmerkmal der Grundrechte. : Konzeption und Begründung eines einheitlichen, formalen Freiheitsbegriffs, dargestellt am Beispiel der Kunstfreiheit. / Axel Enderlein." Berlin : Duncker & Humblot, 2019. http://d-nb.info/1238264204/34.

Pfeffer, Johannes [Verfasser], Leon [Gutachter] Urbas, Leon [Akademischer Betreuer] Urbas, and Detlef [Gutachter] Zühlke. "App-Orchestrierung als Methode zur formalen Modellierung von App-Ensembles für industrielle Geschäftsprozesse / Johannes Pfeffer ; Gutachter: Leon Urbas, Detlef Zühlke ; Betreuer: Leon Urbas." Dresden : Technische Universität Dresden, 2021. http://d-nb.info/1231917326/34.

Kraft, Daniel [Verfasser], and Rüdiger [Akademischer Betreuer] Heim. "Sozialbeziehungen von Jugendlichen im non-formalen Setting des Sportvereins – Weisen sportive Settings besondere Muster und Ausprägungen sozialer Beziehungen auf? / Daniel Kraft ; Betreuer: Rüdiger Heim." Heidelberg : Universitätsbibliothek Heidelberg, 2019. http://d-nb.info/1177045699/34.

Büchse, Matthias. "Algebraic decoder specification: coupling formal-language theory and statistical machine translation." Doctoral thesis, Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2015. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-159266.

Nowottny, Vera [Verfasser], Karl [Akademischer Betreuer] Schawelka, Hermann [Akademischer Betreuer] Stamm, and Gerhard [Gutachter] Glüher. "Die Camera Obscura als Kondensationsmobil : Der Weg von der formalen Ästhetik in der Fotografie bis hin zum künstlerischen Akt des Atmens / Vera Nowottny ; Gutachter: Gerhard Glüher ; Karl Schawelka, Hermann Stamm." Weimar : Promotionsstudiengang Kunst und Design/Freie Kunst/Medienkunst (Ph.D), 2014. http://d-nb.info/1116284650/34.

Farwick, Susanne. "Studien zur zeitgenössischen Musik für Flöte solo in der zweiten Hälfte des 20. Jahrhunderts analytische Betrachtungen zu formalen, aussermusikalischen, nationalen sowie klangästhetischen Aspekten in der Musik für Flöte solo von 1950 bis 2006." Frankfurt, M. Berlin Bern Bruxelles New York, NY Oxford Wien Lang, 2008. http://d-nb.info/992625025/04.

Habben, Imke [Verfasser], and Knut [Akademischer Betreuer] Schwippert. "Einflüsse formalen, nichtformalen und informellen Lernens auf die Lesekompe-tenz bei Kindern mit und ohne Migrationshintergrund in der Sekundarstufe I : eine explorative Untersuchung anhand von Sprachstanddaten der Studie SPRABILON ; Sprachentwicklung bilingualer Kinder in longitudinaler Perspektive / Imke Habben. Betreuer: Knut Schwippert." Hamburg : Staats- und Universitätsbibliothek Hamburg, 2014. http://d-nb.info/105700197X/34.

Düsel, Horst Knauf Rainer. "Konzeption und Realisierung von Methoden der formalen Verifikation von Storyboards /." 2007. http://www.gbv.de/dms/ilmenau/abs/527229229duese.txt.

Ferdinand, Peter [Verfasser]. "Lernziel: Kompetenz : innovatives Lernen in formalen Systemen / von Peter Ferdinand." 2005. http://d-nb.info/976191725/34.

Nienhaus, Burchard Eduard. "Untersuchungen zur Inzidenz und zur formalen Genese des Endometriumkarzinoms beim deutschen Hausrind /." 2001. http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=009502944&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA.

Koeder, Anja [Verfasser]. "Von Ferdinand de Saussure zu einer formalen diachronischen Semantik / von Anja Koeder." 1999. http://d-nb.info/958128987/34.

Pfeffer, Johannes. "App-Orchestrierung als Methode zur formalen Modellierung von App-Ensembles für industrielle Geschäftsprozesse." 2018. https://tud.qucosa.de/id/qucosa%3A74039.

Rath, Christian [Verfasser]. "Morphologische Untersuchungen zur formalen Pathogenese der Sialadenose menschlicher Speicheldrüsen / vorgelegt von Christian Rath." 2007. http://d-nb.info/985299509/34.

Lemke, Andreas [Verfasser]. "Dimensionierung von Analogschaltungen mit formalen Methoden auf der Basis affiner Arithmetik / von Andreas Lemke." 2004. http://d-nb.info/971240515/34.

Garschhammer, Markus [Verfasser]. "Dienstgütebehandlung im Dienstlebenszyklus : von der formalen Spezifikation zur rechnergestützten Umsetzung / vorgelegt von Markus Garschhammer." 2004. http://d-nb.info/974454982/34.

Petersen, Wiebke [Verfasser]. "Zur Minimalität von Pāṇinis Śivasūtras : eine Untersuchung mit Methoden der formalen Begriffsanalyse / vorgelegt von Wiebke Petersen". 2008. http://d-nb.info/1007126175/34.

Aßfalg, Simone Isabel [Verfasser]. "Cerebrale Korrelate der selektiven Aufmerksamkeit bei schizophrenen Patienten mit formalen Denkstörungen : eine kontrollierte H215=-PET-Studie / vorgelegt von Simone Isabel Aßfalg." 2004. http://d-nb.info/973583665/34.

Nowak, Sean [Verfasser]. "Schrift auf den Goldbrakteaten der Völkerwanderungszeit : Untersuchungen zu den Formen der Schriftzeichen und zu formalen und inhaltlichen Aspekten der Inschriften / Sean Nowak." 2003. http://d-nb.info/972659439/34.

Kikova, Teodora Meyer-Berg Georg. "Entwicklung von Software für eine attributierte, graphenbasierte Datenverarbeitung unter realen Randbedingungen des Chip-Gehäuse CoDesigns zur Definition und formalen Verifikation der elektrischen Verbindungen von verpackten Halbleiterbauelementen /." 2006. http://www.gbv.de/dms/ilmenau/abs/523972296kikov.txt.

Dandl, Herbert [Verfasser]. "Arbeit und Beruf im historischen Prozess : Studie zur inhaltlichen und formalen Gestaltung des sozialen, politischen, ökonomischen und technologischen Kontextes im Ausstellungskonzept des Modellversuchs VISUBA / Herbert Dandl." 2006. http://d-nb.info/997487283/34.

Büchse, Matthias. "Algebraic decoder specification: coupling formal-language theory and statistical machine translation: Algebraic decoder specification: coupling formal-language theory and statistical machine translation." Doctoral thesis, 2014. https://tud.qucosa.de/id/qucosa%3A28493.