Verifikation
– Buch gebraucht, antiquarisch & neu kaufen
Zu Verifikation
passende Sparten
621 Treffer in
Bücher
gebraucht
Neuware
Verifikation durch Kooperation
Rafael Biermann
Europa Union Verlag GmbH
, TaschenbuchISBN: 3771303753
Zustand: deutliche Gebrauchsspuren
Dieses Bild ist kein Original-Foto des angebotenen Exemplars. Abweichungen sind möglich.
GI — 14. Jahrestagung - Braunschweig, 2.–4. Oktober 1984 Proceedings
Ehrich, H.-D.
Springer Berlin
, 1984, TaschenbuchISBN: 3540138617
Neuware
mehr Info >>
wird gespeichert …
Dieses Bild ist kein Original-Foto des angebotenen Exemplars. Abweichungen sind möglich.
Bewegungssteuerung durch Rechnersehen - Ein Verfahren zur Erfassung und Steuerung räumlicher Bewegungsvorgänge in Echtzeit
Hans-Joachim Wünsche
Springer Berlin
, 1988, TaschenbuchISBN: 3540501401
Neuware
mehr Info >>
wird gespeichert …
Vérité et vérification / Wahrheit und Verifikation
Breda, H. L. van
Springer Netherlands
, 1974, GebundenISBN: 9024717027
Neuware
Dieses Bild ist kein Original-Foto des angebotenen Exemplars. Abweichungen sind möglich.
Rechnergestützter Entwurf und Architektur mikroelektronischer Systeme - GME/GI/ITG-Fachtagung Dortmund, 1./2. Oktober 1990
Bernd Reusch
Springer Berlin
, 1990, TaschenbuchISBN: 3540531637
Neuware
mehr Info >>
wird gespeichert …
Dieses Bild ist kein Original-Foto des angebotenen Exemplars. Abweichungen sind möglich.
Modellbildung, Simulation und Identifikation dynamischer Systeme
Möller, Dietmar P.F.
Springer Berlin
, 1992, TaschenbuchISBN: 3540551557
Neuware
mehr Info >>
wird gespeichert …
Dieses Bild ist kein Original-Foto des angebotenen Exemplars. Abweichungen sind möglich.
Programmverifikation - Sequentielle, parallele und verteilte Programme
Apt, Krzysztof R.; Olderog, Ernst-Rüdiger
Springer Berlin
, 1994, TaschenbuchISBN: 3540574794
Neuware
mehr Info >>
wird gespeichert …
Aufgaben zum Skriptum Informatik.
Jochen Ludewig
Vieweg+Teubner Verlag
, 1992.ISBN: 3519021552
Zustand: gebraucht; gut
Vitalität und Handschrift. Forschungsmethoden - Erscheinungsformen, Deutung - Verifikation / Mit zahlreichen Schriftproben in Zweifarbendruck
Carl Gross
Bonn, Röhrscheid
, 1950Zustand: gutes Exemplar
mehr Info >>
wird gespeichert …
Dieses Bild ist kein Original-Foto des angebotenen Exemplars. Abweichungen sind möglich.
PEARL 92 - Workshop über Realzeitsysteme Fachtagung der GI-Fachgruppe 4.4.2 Echtzeitprogrammierung, PEARL Boppard, 3./4. Dezember 1992
Peter Holleczek
Springer Berlin
, 1992, TaschenbuchISBN: 3540562672
Neuware
mehr Info >>
wird gespeichert …
Dieses Bild ist kein Original-Foto des angebotenen Exemplars. Abweichungen sind möglich.
Neuronale Netze für technische Anwendungen
Berns, Karsten; Kolb, Thorsten
Springer Berlin
, 1994, TaschenbuchISBN: 3540582517
Neuware
mehr Info >>
wird gespeichert …
Dieses Bild ist kein Original-Foto des angebotenen Exemplars. Abweichungen sind möglich.
Modellbildung in der Informatik
Broy, Manfred; Steinbrüggen, Ralf
Springer Berlin
, 2013, TaschenbuchISBN: 9783642622670
Neuware
mehr Info >>
wird gespeichert …
Dieses Bild ist kein Original-Foto des angebotenen Exemplars. Abweichungen sind möglich.
Künstliche Intelligenz - Theoretische Grundlagen und Anwendungsfelder Frühjahrsschulen, Dassel, 8.–16. März 1985 und 8.–16.März 1986
Christaller, Thomas; Hein, Hans-Werner; Richter, Michael M.
Springer Berlin
, 1988, TaschenbuchISBN: 3540189033
Neuware
mehr Info >>
wird gespeichert …
Systemsimulationen zur funktionalen Verifikation
Stefan Joeres
Südwestdeutscher Verlag für Hochschulschriften
, 04.03.2009, TaschenbuchISBN: 9783838102252
Neuware
Dieses Bild ist kein Original-Foto des angebotenen Exemplars. Abweichungen sind möglich.
Guaranteed Verification of Dynamic Systems
Stefan Schwab
KIT Scientific Publishing
, 2022, TaschenbuchISBN: 9783731509653
Neuware
mehr Info >>
wird gespeichert …
Verifikation durch Kooperation
Rafael Biermann
Europa Union Verlag GmbH
, TaschenbuchISBN: 3771303753
Zustand: leichte Gebrauchsspuren
Dieses Bild ist kein Original-Foto des angebotenen Exemplars. Abweichungen sind möglich.
Modellbildung in der Informatik
Broy, Manfred; Steinbrüggen, Ralf
Springer Berlin
ISBN: 3540442928
Zustand: wie neu
mehr Info >>
wird gespeichert …
Die Rolle der Verifikation bei den Verhandlungen über Abrüstung und Rüstungskontrolle 1945 -1987
Karl-Heinz Krapp
Shaker Verlag
, 1995.ISBN: 3826552202
Zustand: gebraucht; mittelmäßig
mehr Info >>
wird gespeichert …
Dieses Bild ist kein Original-Foto des angebotenen Exemplars. Abweichungen sind möglich.
Modellbildung in der Informatik
Broy, Manfred; Steinbrüggen, Ralf
Springer Berlin
, 2003, GebundenISBN: 3540442928
Neuware
mehr Info >>
wird gespeichert …