Modellbildung für Synthese und Verifikation

Verfasser*in: Hoppe, Bernhard Suche nach Verfasser*in Mehr...

Jahr: 2006

Verlag: München [u.a.], Oldenbourg

Mediengruppe: Buch

faszinierende Bilder, packende Formeln, reizvolle Sätze

Verfasser*in: Erickson, Martin Suche nach Verfasser*in Mehr...

Jahr: 2015

Verlag: Berlin, Springer

Mediengruppe: Buch

mit 163 Tabellen

Verfasser*in: Bortz, Jürgen; Schuster, Christof Suche nach Verfasser*in Mehr...

Jahr: 2010

Verlag: Berlin ; Heidelberg, Springer

Reihe: Springer-Lehrbuch

Mediengruppe: Buch

eine Einführung mit Aufgaben und Lösungen

Verfasser*in: Hites, Ronald A.; Raff, Jonathan D. Suche nach Verfasser*in Mehr...

Jahr: 2017

Verlag: Weinheim, Wiley-VCH Verlag GmbH & Co. KGaA

Mediengruppe: Buch

Verfasser*in: Mössenböck, Hanspeter Suche nach Verfasser*in Mehr...

Jahr: 2019

Verlag: Heidelberg, dpunkt Verlag

Reihe: dpunkt.Lehrbuch

Mediengruppe: Buch

mit einer Einführung in Hybridstrukturen

Suche nach Verfasser*in Mehr...

Jahr: 2019

Verlag: Berlin, Springer Vieweg

Übergeordnetes Werk: Lehrbuch der Technischen Mechanik

Bandangabe: Bd. 2.

Mediengruppe: Buch

das umfassende Handbuch , [Einführung, Praxis, Musterlösungen, Kommandoreferenz ; Anleitungen, Beispiele und Übungen für zsh, ksh und bash ; mit Shell-Werkzeugen: grep, sed, awk, Zenity und mehr]

Verfasser*in: Kania, Stefan; Wolf, Jürgen Suche nach Verfasser*in Mehr...

Jahr: 2019

Verlag: Bonn, Rheinwerk Verlag GmbH

Reihe: Rheinwerk Computing

Mediengruppe: Buch

148 Aufgaben mit Lösungen

Verfasser*in: Schmidt, Jochen Suche nach Verfasser*in Mehr...

Jahr: 2019

Verlag: Wiesbaden, Springer Vieweg

Reihe: Lehrbuch

Mediengruppe: Buch

eine Einführung in die angewandte Bioinformatik

Verfasser*in: Dörpinghaus, Jens; Schaaf, Sebastian; Weil, Vera Suche nach Verfasser*in Mehr...

Jahr: 2021

Verlag: Heidelberg, O'Reilly

Mediengruppe: Buch

2. Auflage

Verfasser*in: Karsch, Jochen Suche nach Verfasser*in Mehr...

Jahr: 2022

Verlag: Köln, Müller, Rudolf

Mediengruppe: Buch