Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten 2. bis 5. Oktober 2025: Der Kartenlesesaal in Leipzig ist geschlossen. // 2 to 5 October 2025: The map reading room in Leipzig is closed.
 
 

Ergebnis der Suche nach: "Dresden"



Treffer 85074 von 85308 < < > <



Bücher
Link zu diesem Datensatz https://d-nb.info/550514058
Titel Vorträge von der Thematischen Konferenz KNWWT Methodik der Programmierung und Programmverifikation : vom 10. - 15. Mai 1976 in Dresden / Weiterbildungszentrum für Math. Kybernetik u. Rechentechnik, Techn. Univ. Dresden, Sekt. Mathematik. [Hrsg. von d. Techn. Univ. Dresden, Direktorat für Weiterbildung]
Organisation(en) Thematische Konferenz Methodik der Programmierung und Programmverifikation (1976 : Dresden) (Verfasser)
Problemkommission für Multilaterale Zusammenarbeit der Akademien der Wissenschaften der Sozialistischen Länder zu Wissenschaftlichen Fragen der Rechentechnik (Herausgebendes Organ)
Technische Universität Dresden. Weiterbildungszentrum Mathematische Kybernetik und Rechentechnik (Herausgebendes Organ)
Verlag Dresden : Techn. Univ., Direktorat für Weiterbildung
Umfang/Format 21 cm
Anmerkungen Beitr. teilw. dt., teilw. engl., teilw. russ. - Teilw. in kyrill. Schr. - Nebent.: Beiträge zur KNWWT-Konferenz Methodik der Programmierung und Programmverifikation. - Literaturangaben
Sachgruppe(n) 19 Recht
Zugehörige Bände 2 Publikationen
  1. Vorträge von der Thematischen Konferenz KNWWT Methodik der Programmierung und Programmverifikation / Teil 1.
    1977
  2. Vorträge von der Thematischen Konferenz KNWWT Methodik der Programmierung und Programmverifikation / Teil 2.
    1977





Treffer 85074 von 85308
< < > <


E-Mail-IconAdministration