webOPAC der HTW

Bibliothekskatalog (1/1)

Computer aided verification 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023 : proceedings, part III Ort/Verlag/ISBN, Verlag, Jahr: Cham, Switzerland, Springer, [2023] Umfangsangabe: 1 Online-Ressource ISBN: 978-3-031-37709-9 in die Merkliste \| übergeordnete Titel \| Persistenter Link Kopieren Sie diesen Link um auf dieses Werk Bezug zu nehmen: https://sisis.rz.htw-berlin.de/search?bvnr=BV049082946

Sprache: eng Titel: Computer aided verification Hrsg./Bearb.: Enea, Constantin ¬[Herausgeber] Hrsg./Bearb.: Lal, Akash ¬[Herausgeber] Institution: International Conference on Computer-Aided Verification (35. : 2023 : Paris) Zusatz: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023 : proceedings, part III Verf.Vorlag: Constantin Enea, Akash Lal, editors Ort/Verlag/ISBN: Cham, Switzerland Verlag: Springer Umfangsangabe: 1 Online-Ressource Serie/Reihe: Lecture notes in computer science ; 13966

weitere Optionen

Datenbank-Auswahl
Auswahl
ändern

Externe Fernleihe

Vorgehensweise:
1. Als Benutzer anmelden
2. Im Reiter Datenbank-Auswahl die gewünschten Kataloge auswählen und Recherche starten
3. In der Einzeltrefferanzeige in den Reiter Wie komme ich an das Medium? wechseln
4. Auf den Button auswählen klicken und die Fernleihmaske ergänzen (bspw. Abholort)
5. Über den Button Weiter kann die Bestellung noch einmal überprüft und anschließend abgeschickt werden
6. Fertig!

Öffnungszeiten

Bitte informieren Sie sich auf der Webseite der Bibliothek über die aktuellen Öffnungszeiten.

Anschaffungswunsch

Liebe Leserinnen und Leser, bitte nutzen Sie für Ihren Anschaffungswunsch diesen Link

Standort

Kürzel	Standort
60	Mediathek
	Zentralbibliothek Campus Treskowallee
82	Lesesaal 1, Zeitschriftenmagazin
83	Gebäude B, Zeitschriftenmagazin
90	Ausleihe
91	Lesesaal 2
92	Lesesaal 1
	Bibliothek Campus Wilhelminenhof
94, 97, 98, 99	Bibliothek Wilhelminenhof

Interne Bestellung

Vorgehensweise:
1. Im Reiter Suche eingrenzen
den Campus auswählen
2. Als Benutzer anmelden
3. Recherche durchführen
4. In der Trefferliste auf den Hinweis bestellbar achten
5. In der Einzeltrefferanzeige in den Reiter Wie komme ich an das Medium? wechseln
6. Bestellung durch Klicken auf vormerken/bestellen abschicken
7. Fertig!