Denkmäler der Tonkunst in Desterreich. VIII Jahrgang. Erster Theil, Andreas Hammerschmidt
نویسندگان
چکیده
منابع مشابه
Die Ausdrucksstärke der Logik erster Stufe mit eingebauten Prädikaten
Diese Arbeit ist in der Theoretischen Informatik positioniert, und zwar in den Fachgebieten Komplexitätstheorie, mathematische Logik und Datenbanktheorie. Die Arbeit beschäftigt sich mit der Ausdrucksstärke der Logik erster Stufe auf Strukturen mit eingebauten Prädikaten wie z.B. lineare Ordnung, Addition und Multiplikation. Die Hauptergebnisse lassen sich den drei Teilbereichen ” Arithmetik un...
متن کاملErster Workshop zur Zukunft der Entwicklung softwareintensiver, eingebetteter Systeme (ENVISION2020)
Softwareintensive, eingebettete Systeme unterstützen den Menschen schon heute in vielen Bereichen des Lebens – sichtbar und unsichtbar. Beispielsweise verbessern sie im Automobil die Sicherheit, regulieren das Klima in Gebäuden oder steuern medizinische Geräte bis hin zu ganzen Industrieanlagen. Experten prognostizieren für die Zukunft eine rasante Zunahme softwareintensiver, eingebetteter Syst...
متن کاملAutomatenbasierte Entscheidungsverfahren für Theorien der Logik erster Stufe mit Addition
v vi Inhaltsverzeichnis 1 Einleitung 1
متن کاملEine Studie zu den Merkmalen der Aufgabenschwierigkeit am Beispiel eines Informatik-Schülerwettbewerbs - Erster Teil: Aufgabenklassifizierung
Als erster Schritt einer Studie mit dem Ziel, den Kompetenzanspruch von Informatik-Aufgaben zu modellieren, wurde im Rahmen einer Umfrage unter Informatik-Didaktikern an Schulen und Universitäten eine Klassifizierung der Aufgaben eines Informatik-Schülerwettbewerbs für die Sekundarstufe erarbeitet. In diesem Artikel werden die Auswertungsmodalitäten und die Ergebnisse beschrieben, auf deren Bas...
متن کاملENVISION 2020: Erster Workshop zur Zukunft der Entwicklung softwareintensiver, eingebetteter Systeme
Softwareintensive, eingebettete Systeme unterstützen den Menschen schon heute in vielen Bereichen des Lebens – sichtbar und unsichtbar. Beispielsweise verbessern sie im Automobil die Sicherheit, regulieren das Klima in Gebäuden oder steuern medizinische Geräte bis hin zu ganzen Industrieanlagen. Experten prognostizieren für die Zukunft eine rasante Zunahme softwareintensiver, eingebetteter Syst...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Musical Times and Singing Class Circular
سال: 1901
ISSN: 0958-8434
DOI: 10.2307/3366032