• Suche: Principles of model checking
Das Gesuchte nicht gefunden? Schauen Sie in der Onleihe oder machen Sie einen Kaufvorschlag
Filter-Optionen

Bücher & mehr

Bücher, Zeitschriften, Online-Medien und mehr aus Ihrer Bibliothek

Treffer 1 - 20 von 5.707 für Suche: 'Principles of model checking', Suchdauer: 0,49s
1
Baier, Christel
Cambridge [u.a.] : MIT Press, 2008
Buch
Zur Merkliste hinzufügen
2
Ying, Mingsheng (Verfasser)
Cambridge : Cambridge University Press, 2021
E-Book
Zur Merkliste hinzufügen
3
Dunets, Andriy
Augsburg : Universität Augsburg, 2009
E-Book
Zur Merkliste hinzufügen
4
Clarke, Edmund M.
Cambridge, MA [u.a.] : MIT Press, 1999
Buch
Zur Merkliste hinzufügen
5
Edelkamp, Stefan
[Wadern] : [Internat. Begegnungs- und Forschungszentrum für Informatik], [2007]
E-Book
Zur Merkliste hinzufügen
6
Gehnen, Christina (Verfasser)
Aachen : Universitätsbibliothek der RWTH Aachen, 2021
E-Book
Zur Merkliste hinzufügen
7
Bendisposto, Jens Marco (Verfasser)
Düsseldorf : Universitäts- und Landesbibliothek der Heinrich-Heine-Universität Düsseldorf, 2015
E-Book
Zur Merkliste hinzufügen
8
Winkler, Tobias (Verfasser)
Aachen : Universitätsbibliothek der RWTH Aachen, 2022
E-Book
Zur Merkliste hinzufügen
9
Brunner, Julian M. (Verfasser)
München : Universitätsbibliothek der TU München, 2022
E-Book
Zur Merkliste hinzufügen
10
Doan, Thi Thu Ha (Verfasser)
Freiburg : Universität, 2024
E-Book
Zur Merkliste hinzufügen
11
Schlich, Bastian
Aachen : RWTH, 2008
E-Book
Zur Merkliste hinzufügen
12
Schlich, Bastian (Verfasser)
2008
E-Book
Zur Merkliste hinzufügen
13
Ben-Ari, Mordechai (Verfasser)
1st ed. 2008
London : Springer London, 2008
E-Book
Zur Merkliste hinzufügen
14
Merz, Florian (Verfasser)
Karlsruhe : KIT-Bibliothek, 2016
E-Book
Zur Merkliste hinzufügen
15
Gückel, Dominique (Verfasser)
Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2015
E-Book
Zur Merkliste hinzufügen
16
Gückel, Donimique Marcel (Verfasser)
Aachen : RWTH Aachen, 2014
E-Book
Zur Merkliste hinzufügen
17
Leblebici, Erhan (Verfasser)
Darmstadt, 2018
E-Book
Zur Merkliste hinzufügen
18
Muñiz Rodríguez, Marco Antonio (Verfasser)
Freiburg : Universität, 2015
E-Book
Zur Merkliste hinzufügen
19
Nopper, Tobias
Freiburg im Breisgau : Univ., 2004
E-Book
Zur Merkliste hinzufügen
20
Ganzow, Tobias (Verfasser)
Aachen : Hochschulbibliothek Rheinisch-Westfälische Technischen Hochschule Aachen, 2012
E-Book
Zur Merkliste hinzufügen

Mehr Treffer in Bücher & mehr


Artikel & mehr

Wird geladen...