Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II

edited by Shuvendu K. Lahiri, Chao Wang

1st ed. 2020. - Cham: Springer International Publishing; Imprint: Springer, 2020

Online Buch, Datenträger, Online-Ressource - 1 Online-Ressource (XVIII, 683 p. 719 illus., 94 illus. in color)

Zugriff:

DOI-Link (Volltext)

FH Münster, Hochschulbibliothek (DE-836), Bibliothekskatalog
Fachhochschule Dortmund, Hochschulbibliothek (DE-Dm13), Bibliothekskatalog
Fachhochschule Südwestfalen, Fachbibliothek Hagen, Zentralbibliothek (DE-Hag4), Bibliothekskatalog
Hochschul- und Kreisbibliothek Bonn-Rhein-Sieg (DE-1044), Bibliothekskatalog
Hochschulbibliothek Trier (DE-Tr5), Bibliothekskatalog
Hochschulbibliothek der Fachhochschule Aachen (DE-A96), Bibliothekskatalog
Hochschulbibliothek der Hochschule Düsseldorf (DE-Due62), Bibliothekskatalog
Hochschule Bielefeld – University of Applied Sciences and Arts, Hochschulbibliothek (DE-Bi10), Bibliothekskatalog
Hochschule Bochum, Hochschulbibliothek (DE-Bm40), Bibliothekskatalog
Hochschule Hamm-Lippstadt, Bibliothek Hamm (DE-1871)
Hochschule Koblenz, Bibliothek RheinMoselCampus (DE-987), Bibliothekskatalog
Hochschule Koblenz, RheinAhrCampus, Bibliothek (DE-1105), Bibliothekskatalog
Hochschule Niederrhein, Bibliothek (DE-829), Bibliothekskatalog
Hochschule Rhein-Waal, Bibliothek (DE-1383), Bibliothekskatalog
Hochschule Ruhr West, Hochschulbibliothek (DE-1393), Bibliothekskatalog
Hochschule Worms, Hochschulbibliothek (DE-1117)
Hochschule für Gesundheit, Hochschulbibliothek (DE-1866), Bibliothekskatalog
Hochschule für Wirtschaft und Gesellschaft Ludwigshafen, Bibliothek (DE-1116), Bibliothekskatalog
Katholische Hochschule Nordrhein-Westfalen (katho), Hochschulbibliothek (DE-1032)
Rheinische Hochschule Köln gGmbH, Bibliothek (DE-1140)
Ruhr-Universität Bochum, Universitätsbibliothek (DE-294), Bibliothekskatalog
Technische Hochschule Georg Agricola, Hochschulbibliothek (DE-Bm1), Bibliothekskatalog
Technische Hochschule Köln, Hochschulbibliothek (DE-832), Bibliothekskatalog
Technische Hochschule Ostwestfalen-Lippe, Service Kommunikation Information Medien (DE-743), Bibliothekskatalog
Universitäts- und Landesbibliothek Bonn (DE-5), Bibliothekskatalog
Universitäts- und Landesbibliothek Düsseldorf (DE-61), Bibliothekskatalog
Universitäts- und Landesbibliothek Münster, Zentralbibliothek (DE-6), Bibliothekskatalog
Universitäts- und Stadtbibliothek Köln, Hauptabteilung (DE-38), Bibliothekskatalog
Universitätsbibliothek Bielefeld (DE-361), Bibliothekskatalog
Universitätsbibliothek Dortmund (DE-290), Bibliothekskatalog
Universitätsbibliothek Duisburg-Essen (DE-465), Bibliothekskatalog
Universitätsbibliothek Koblenz (DE-Kob7), Bibliothekskatalog
Universitätsbibliothek Paderborn (DE-466), Bibliothekskatalog
Universitätsbibliothek Siegen (DE-467), Bibliothekskatalog
Universitätsbibliothek Trier (DE-385), Bibliothekskatalog
Universitätsbibliothek Wuppertal (DE-468), Bibliothekskatalog
Universitätsbibliothek der Fernuniversität (DE-708), Bibliothekskatalog
Universitätsbibliothek der RPTU in Kaiserslautern (DE-386), Bibliothekskatalog
Universitätsbibliothek der RWTH Aachen (DE-82), Bibliothekskatalog
Westfälische Hochschule Gelsenkirchen Bocholt Recklinghausen, Hochschulbibliothek (DE-1010), Bibliothekskatalog
ZB MED - Informationszentrum Lebenswissenschaften, Köln (DE-38M), Bibliothekskatalog
Zentralbibliothek der Sportwissenschaften der Deutschen Sporthochschule Köln (DE-Kn41), Bibliothekskatalog

Titel:	Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II
Verantwortlichkeitsangabe:	edited by Shuvendu K. Lahiri, Chao Wang
Autor/in / Beteiligte Person:	Lahiri, Shuvendu K. [Herausgeber/in] ; Wang, Chao [Herausgeber/in]
Link:	DOI-Link (Volltext)
Verwandtes Werk:	Theoretical Computer Science and General Issues Printed edition Printed edition
Ausgabe:	1st ed. 2020
Veröffentlichung:	Cham: Springer International Publishing; Imprint: Springer, 2020
Medientyp:	Buch
Datenträgertyp:	Datenträger, Online-Ressource
Umfang:	1 Online-Ressource (XVIII, 683 p. 719 illus., 94 illus. in color)
ISBN:	9783030532918; 3030532917
DOI:	10.1007/978-3-030-53291-8
Schlagwort:	Software engineering Computers Artificial intelligence Computer organization Computer hardware Computer simulation
Sonstiges:	Online-Ressource [Kann nicht per Fernleihe bestellt werden!] Gesamttitelangabe: Theoretical Computer Science and General Issues ; 12225 Sprache: Englisch hbz Verbund-ID: HT020544228

Klicken Sie ein Format an und speichern Sie dann die Daten oder geben Sie eine Empfänger-Adresse ein und lassen Sie sich per Email zusenden.

BibTeX Citavi, JabRef, u.a.
(Literaturverwaltung)

PDF kein Volltext!
(Merkzettel, Notizen)

RIS Endnote, Citavi u.a.
(Literaturverwaltung)

MODS
(XML zur Weiterverarbeitung)

oder

Wählen Sie das für Sie passende Zitationsformat und kopieren Sie es dann in die Zwischenablage, lassen es sich per Mail zusenden oder speichern es als PDF-Datei.

Gewünschter Zitations-Stil:

oder

Bitte prüfen Sie, ob die Zitation formal korrekt ist, bevor Sie sie in einer Arbeit verwenden. Benutzen Sie gegebenenfalls den "Exportieren"-Dialog, wenn Sie ein Literaturverwaltungsprogramm verwenden und die Zitat-Angaben selbst formatieren wollen.