Tag Suche nach HOL

Alles Wichtige zu Eine formale algorithmische Synthese digitaler Schaltungen Eine formale algorithmische Synthese digitaler Schaltungen gehört zur Kategorie Sachbuch und stammt von...

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:...

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...