KOBV-Portal

Bitte aktivieren Sie Javascript in Ihrem Browser um alle Funktionen des KOBV-Portals nutzen zu können.

rss

Ihre E-Mail wurde erfolgreich gesendet. Bitte prüfen Sie Ihren Maileingang.

Leider ist ein Fehler beim E-Mail-Versand aufgetreten. Bitte versuchen Sie es erneut.

Vorgang fortführen?

Treffer pro Seite

Treffer 1 - 1 | 1 Treffer

Alles auswählen Exportieren

1

Online-Ressource

Online-Ressource

Tools and algorithms for the construction and analysis of systems : 29th International Conference, TACAS 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022 [sic!], Paris, France, April 22–27, 2023 : proceedings, part II (2023)

International Conference on Tools and Algorithms for the Construction and Analysis of Systems 29. 2023 Paris ; Sankaranarayanan, Sriram ; Sharygina, Natasha ; [weitere]

Cham, Switzerland :Springer,

Dazugehörige Titel

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

almafu_BV048918420

Umfang: 1 Online-Ressource.

ISBN: 978-3-031-30820-8

Serie: Lecture notes in computer science 13994

Weitere Ausg.: Erscheint auch als Druck-Ausgabe ISBN 978-3-031-30819-2

Sprache: Englisch

Schlagwort(e): Konferenzschrift ; Konferenzschrift ; Konferenzschrift ; Konferenzschrift

DOI: 10.1007/978-3-031-30820-8

URL: Volltext (kostenfrei)

URL: Volltext (kostenfrei)

URL: Volltext (kostenfrei)

URL: Volltext (kostenfrei)

URL: Volltext (kostenfrei)

URL: Volltext (kostenfrei)

URL: Volltext (kostenfrei)

URL: Volltext (kostenfrei)

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

BibTip

Andere fanden auch interessant ...

Online-Ressource

FU Berlin

EUV Frankfurt

TH Brandenburg

HTW Berlin

FH Potsdam

Charité

BTU Cottbus

Treffer 1 - 1 | 1 Treffer

Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie auf den KOBV Seiten zum Datenschutz