Direkt zum Inhalt

Zeitschriften Datenbank

Inhalt

Neue Suche

Abstracts / Workshop on Formal Verification

New York, NY : Assoc. for Computing Machinery 1980

Diesen Titel auf die Merkliste setzen
Optionen
ExportierenMARC21xmlJSON-LDTurtleRDF/XMLFeedback
Bestellen
Mehr Titelinformationen
ZDB-ID

1036665-9  

Titel

Abstracts / Workshop on Formal Verification

Körperschaft

VERkshop 

Erschienen

New York, NY : Assoc. for Computing Machinery

Erscheinungsverlauf

1.1980

Frühere/spätere Titel

Forts.:  VERkshop: Contributions from VERkshop 

Weitere Titelhinweise

Einzelne Bd. zugl. Bd. von 1=5,3 von "Software engineering notes"

Standardnummern

OCLC-Nr.: 1071563804

Sacherschließung

DDC-Sachgruppen der ZDB: 004 Informatik 

Erscheinungsform

Zeitschrift

Veröffentlichungsform

Kongressbericht

Erscheinungsland

Vereinigte Staaten, USA, United States 

Medientyp

Druckausgabe

IDN

015689131

Letzte Änderung

13-04-23

Schließenx Zu diesem Titel werden keine Lieferdienste angeboten

Bestand filtern

Bestand filtern
Bestand filtern

Erscheinungsjahr

Fernleihregion

Ort der Bibliothek

Titel exportieren
Schließen x
Sortierung
Alle Bestände anzeigen
Berlin SBB Haus Potsdamer Str
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BER, DE-1a]
Bestand
Signatur
29 SA 1609
Standort
Außenmagazin
Bestand
37.1976; 256.1987
Fernleihe
ja, Kopie und Ausleihe
Bestand
[Bestand s. GVK (Link anklicken)]
Fernleihe
ja, Kopie und Ausleihe
URL
https://gvk.k10plus.de/CLK?IKT=1052&TRM=... 
Berlin SBB Haus Unter d.Linden
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BER, DE-1]
Bestand
Signatur
Kt 392/48-382
Bestand
7.1972
Fernleihe
ja, Kopie und Ausleihe
Göttingen SUB
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[NIE, DE-7]
Bestand
Signatur
vorh. in: 8 Z MED 357
Bestand
7.1972
[Enthalten in: Acta physiologica Scandinavica / Supplementum]
Fernleihe
ja, nur Papierkopie
Signatur
vorh. in: 8 Z MED 282
Bestand
37.1976
[Enthalten in: Acta medica Scandinavica / Supplementum]
Fernleihe
ja, nur Papierkopie
Signatur
vorh. in: 8 Z MED 278
Bestand
189.1984; 229.1986; 231.1986; 256.1987; 269.1988
[Enthalten in: Acta chirurgica Scandinavica / Supplement]
Fernleihe
ja, nur Papierkopie
Hamburg SUB
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[HAM, DE-18]
Bestand
Bestand
[Bestand s. GVK (Link anklicken)]
Fernleihe
ja, Kopie und Ausleihe
URL
https://gvk.k10plus.de/CLK?IKT=1052&TRM=... 
Hannover MedHS
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[NIE, DE-354]
Bestand
Bestand
[Bestand s. GVK (Link anklicken)]
Fernleihe
ja, Kopie und Ausleihe
URL
https://gvk.k10plus.de/CLK?IKT=1052&TRM=... 
Hannover TIB
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[NIE, DE-89]
Bestand
Signatur
RA 4743(...)
Standort
Haus2
Bestand
Einzelbandnachweis
[Bestand s. GVK (Link anklicken)]
Fernleihe
ja, Kopie und Ausleihe
URL
https://gvk.k10plus.de/CLK?IKT=1052&TRM=... 
Kiel UB
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[HAM, DE-8]
Bestand
Signatur
Einzelsignaturen
Standort
29
Bestand
Einzelbandnachweis
[Teilweise vorhanden unter MU 1030. - Bestand s. GVK (Link anklicken)]
Fernleihe
ja, Kopie und Ausleihe
URL
https://gvk.k10plus.de/CLK?IKT=1052&TRM=...