Tag Suche
Tag Suche nach HOL
Modellbildung in der Informatik (Xpert.press) | Autor, ISBN und Ausgabedetails
Modellbildung in der Informatik (Xpert.press) - Buchbeschreibung, Ausstattung und ISBN Modellbildung in der Informatik (Xpert.press) gehört zur Kategorie Sachbuch und stammt von Ma...Artikel lesenRalf Steinbrüggen | Autoren*in-Profil
Ralf Steinbrüggen im Überblick Als externe Referenz ist die Open-Library-ID OL4040988A hinterlegt. Wichtige Angaben Externe Kennung: OL4040988A Rolle im Datensatz: author Letztes O...Artikel lesenEine formale algorithmische Synthese digitaler Schaltungen | Inhalt & Buchinfos
Alles Wichtige zu Eine formale algorithmische Synthese digitaler Schaltungen Eine formale algorithmische Synthese digitaler Schaltungen gehört zur Kategorie Sachbuch und stammt von...Artikel lesenKai Kapp | Kurzprofil & Referenzen
Kai Kapp im Überblick Für externe Zuordnungen ist außerdem die Open-Library-ID OL7206120A vorhanden. Hinterlegte Eckdaten Zuletzt mit Open Library abgeglichen am: 2014-07-29 04:21:...Artikel lesenManfred Broy | Biografische Angaben
Kurzprofil von Manfred Broy Als externe Referenz ist die Open-Library-ID OL2679411A hinterlegt. Hinterlegte Eckdaten Rolle im Datensatz: author Zuletzt mit Open Library abgeglichen...Artikel lesenUniv.-Verl. Karlsruhe | Kurzprofil des Verlags
Kurzprofil von Univ.-Verl. Karlsruhe Univ.-Verl. Karlsruhe ist hier als Verlag erfasst und kann zur Einordnung von Buchausgaben herangezogen werden. So kann Univ.-Verl. Karlsruhe b...Artikel lesenSpringer | Buchverlag im Überblick
Springer im Überblick Springer ist hier als Verlag erfasst und kann zur Einordnung von Buchausgaben herangezogen werden. Gerade für einen schnellen Überblick über Verlagsangaben is...Artikel lesen