8,930 research outputs found
Fachspezifischer Anhang zur SPoL (Teil III): Studienfach Informatik im Studiengang L3 vom 4.7.2011 : genehmigt durch das Präsidium der Johann Wolfgang Goethe-Universität am 27.09.2011
Get PDFVariations on a Theme: A Bibliography on Approaches to Theorem Proving Inspired From Satchmo
Get PDFThis articles is a structured bibliography on theorem provers,
approaches to theorem proving, and theorem proving applications inspired
from Satchmo, the model generation theorem prover developed
in the mid 80es of the 20th century at ECRC, the European Computer-
Industry Research Centre. Note that the bibliography given in this article
is not exhaustive
Fachspezifischer Anhang zur SPoL (Teil III): Studienfach Informatik in den Studiengängen L2 vom 4.7.2011 : genehmigt durch das Präsidium der Johann Wolfgang Goethe-Universität am 27.09.2011
Get PDFIdeen fĂĽr die Neugestaltung der Programmierausbildung durch Entwicklung von Webanwendungen
Get PDF--
Fachspezifischer Anhang zur SPoL (Teil III): Studienfach Informatik in den Studiengängen L5 vom 04.07.2011 : genehmigt durch das Präsidium der Johann Wolfgang Goethe-Universität Frankfurt am Main am 27.09.2011
Get PDF
Annual Report 1999 / Department for Computer Science
Get PDFSelbstdarstellung des Instituts fĂĽr Informatik der BTU Cottbus und Berichte der LehrstĂĽhle fĂĽr das Jahr 1999.Presentation of the Department for Computer Science of the BTU Cottbus and reports of the chairs at the department for the year 1999
Realisierung eines Kalibrierprototypen mit rechnergestĂĽtzter Steuerung und Automatisierung
No full textOrdnung der Johann Wolfgang Goethe–Universität Frankfurt am Main für den Bachelorstudiengang Bioinformatik vom 16.11.2009 : genehmigt durch das Präsidium der Johann Wolfgang Goethe-Universität am 15.02.2011
Get PDF- …
