1. Aufl, 2024
Programming and Software Engineering : 12327
1st ed. 2020, 2020
Bibliothek der Nachhaltigkeit / Wiederentdeckungen für das Anthropozän
2019
Programming and Software Engineering : 11687
1st ed. 2019, 2019
2015
- Link zum Volltext
2014
IT kompakt
3. Aufl. 2013, 2013
- Link zum Volltext
2013
6., überarb. und erw. Aufl, 2013
- Link zum Volltext
überarbeitete und erweiterte Auflage, [2013]
- Link zum Volltext
2013
2013
6., überarb. und erw. Aufl, 2013
Signatur: TZV1694(6)
Fortschritt-Berichte VDI : Reihe 8, Meß-, Steuerungs- und Regelungstechnik : 1211 (Alle Bände), Berichte aus dem Institut für Automatisierungstechnik und Mechatronik der TU Darmstadt
Als Ms. gedr, 2012
Signatur: WFA1567-1211
2012
2011
2011
Aktive Filter
Suchergebnisse filtern
Filter anzeigenArt des Mediums
Autor / Autorin
- Kopetz, Hermann
- Bobrik, Annette
- Krallmann, Hermann
- Levina, Olga
- Maybeck, Peter S
- Yourdon, Edward
- Barnett, Stephen
- Brown, William J
- Coad, Peter
- Graf, Susanne
- Klein, Peter
- Murota, Kazuo
- Oppenheim, Alan V
- Siegfried, Robert
- Steffen, Bernhard
- Vidyasagar, Mathukumalli
- Willsky, Alan S
- Šiljak, Dragoslav D
- Ahrens, Klaus
- Akyildiz, Ian Fuat
Erscheinungsform
Schlagwort
- Computer science
- Software engineering
- Softwareentwicklung
- Verifikation
- Systementwurf
- Formale Methode
- Logic design
- Systemtheorie
- Kontrolltheorie
- Computer Communication Networks
- Echtzeitsystem
- Computersimulation
- Hybrides System
- Model Checking
- Datenverarbeitung
- Eingebettetes System
- Hardwareentwurf
- Information systems
- Management
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt
Systemstelle
Art des Inhalts