Suchergebnis

Cover von Grundlagen des maschinellen Beweisens

Grundlagen des maschinellen Beweisens
eine Einführung für Informatiker und Mathematiker
Verfasser/in: Hofbauer, Dieter; Kutsche, Ralf-Detlef Suche nach diesem Verfasser
Jahr: 1989
Mediengruppe: B.Sach.Erw/L.sagg.ad
Cover von etz

etz
Elektrotechnik und Automation
VDE - Verband der Elektrotechnik, Elektronik, Informationstechnik
Mediengruppe: Zeitschrift/Rivista
Cover von STEP-7-Crashkurs [Medienkombination]

STEP-7-Crashkurs [Medienkombination]
extended ; Einführung und Vertiefung in die STEP-7-Programmiersprache mit S7-CPU-Übersicht ; mit STEP-7-Befehlsliste, inkl. Simulationssoftware auf CD-ROM (60 Tage Demo)
Verfasser/in: Habermann, Matthias; Weiß, Torsten Suche nach diesem Verfasser
Jahr: 2006
Mediengruppe: B.Sach.Erw/L.sagg.ad
Cover von Smart City

Smart City
technische Fundamente und erfolgreiche Anwendungen
Verfasser/in: Lauzi, Markus Suche nach diesem Verfasser
Jahr: 2019
Mediengruppe: B.Sach.Erw/L.sagg.ad
OPEN V 10.1.3.0