منابع مشابه
Die Schrift des Rufus von Ephesos über die Gelbsucht
The greater part of this book is devoted to a study of Aristotle's theory of heredity in the De generatione animalium. Morsink argued that Aristotle is there engaging in dialectical dispute against the pangenesis theory of inheritance as advocated in "Hippocrates" On semen and On the nature of the child, and that Aristotle's own explanation in terms of form provided by the male parent and matte...
متن کاملÜber die Effizienz des Automatischen Testens
Wir analysieren die Effizienz des zufälligen und systematischen Ansatzes zum automatischen Programmtesten. Dabei nutzen wir wenige, einfache, jedoch realistische Annahmen um ein generelles probabilistisches Modell für das Softwaretesten zu entwickeln. Die zwei wichtigsten Ziele des automatischen Softwaretestens sind (i) in minimaler Zeit mit einem gewissen Zuversichtsgrad x festzustellen, daß d...
متن کاملWas ist Informatik-Didaktik? Gedanken über die Fachkenntniss des Informatiklehrers
Zusammenfassung. Die steigende Nachfrage nach Informatikunterricht verschiedener Art (an öffentlichen und Berufsschulen, innerbetriebliche Aus-und Weiterbildung etc) wirft die Frage der geeigneten Ausbildung der Lehrkräfte auf. Der Artikel beschreibt den Kern eines für Mathematik-und Informatik-Studenten konzipierten Ausbildungsgangs für zukünftige Informatik-Lehrkräfte. Algorithmen und Datenst...
متن کاملBericht über die GWAI'90
Worten: elf) aus der (zur Zeit der Abfassung des Berichts) "Noch-DDR" (ich hoffe, daß Ingrid Matthäus-Meier Recht behält, die einmal anläßlich einer Parlamentsdebatte gesagt hat: "Ein Kennzeichen der deutschen Sprache ist ihre Unkaputtmachbarkeit.").
متن کاملÜber die Präzision interprozeduraler Analysen
In this work, we examine two approaches to interprocedural data-flow analysis of Sharir and Pnueli in terms of precision: the functional and the call-string approach. In doing so, not only the theoretical best, but all solutions are regarded which occur when using abstract interpretation or widening additionally. It turns out that the solutions of both approaches coincide. This property is pres...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annalen der Physik
سال: 1915
ISSN: 0003-3804,1521-3889
DOI: 10.1002/andp.19153532102