webOPAC der HTW

Bibliothekskatalog (1/1)

Tools and algorithms for the construction and analysis of systems 25th international conference, TACAS 2019 : held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019 : proceedings, part II Ort/Verlag/ISBN, Verlag, Jahr: Cham, Switzerland, Springer Open, [2019] Umfangsangabe: 1 Online-Ressource (xxiii, 413 Seiten) Schlagwort: Softwareentwicklung ,Systementwicklung ,Systemanalyse ,Programmverifikation ,Hardwareverifikation ,Model Checking ,Entscheidungsverfahren Schlagw2: Programmiersprache ,Programmierung ,Theoretische Informatik ISBN: 978-3-030-17465-1 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=BV045860467

Sprache: eng Titel: Tools and algorithms for the construction and analysis of systems Hrsg./Bearb.: Vojnar, Tomáš ¬[Herausgeber] Hrsg./Bearb.: Zhang, Lijun ¬[Herausgeber] Institution: TACAS <2019, Prag> Institution: ETAPS (22. : 2019 : Prag) Zusatz: 25th international conference, TACAS 2019 : held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019 : proceedings, part II Verf.Vorlag: Tomáš Vojnar, Lijun Zhang (eds.) Ort/Verlag/ISBN: Cham, Switzerland Verlag: Springer Open Umfangsangabe: 1 Online-Ressource (xxiii, 413 Seiten) Ill_Angabe: Illustrationen, Diagramme Schlagwort: Softwareentwicklung / Systementwicklung / Systemanalyse / Programmverifikation / Hardwareverifikation / Model Checking / Entscheidungsverfahren Schlagw2: Programmiersprache / Programmierung / Theoretische Informatik Notation: SS 4800 Serie/Reihe: Lecture notes in computer science ; 11428 : Advanced research in computing and software science Allg. Fussnoten: Literaturangaben

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!