Direkt zum Inhalt

Zeitschriften Datenbank

Inhalt

Neue Suche

Formal methods in system design : an international journal

Dordrecht [u.a.] : Springer 1.1992 -

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

1122555-5  

Titel

Formal methods in system design : an international journal

Erschienen

Dordrecht [u.a.] : Springer

Boston, Mass. [u.a.] : Kluwer [anfangs]

Boston, Mass. [u.a.] : Kluwer Acad. Publ. [1993-2004]

Erscheinungsverlauf

1.1992 -

Andere Ausgaben

Erscheint auch als Online-Ausgabe:  Formal methods in system design  (ISSN: 1572-8102) 

Standardnummern

ISSN: 0925-9856

OCLC-Nr.: 632665902

Sacherschließung

DDC-Sachgruppen der ZDB: 004 Informatik 

Erscheinungsform

Zeitschrift

Erscheinungsland

Niederlande 

Medientyp

Druckausgabe

IDN

016519442

Letzte Änderung

03-09-22

SchließenxKostenpflichtige Dokumentlieferdienste: Lieferung von Aufsatzkopien und Druckausgaben zur Ausleihe
Bitte beachten Sie: Die ZDB bietet lediglich den Link zum Bestellsystem und übernimmt keinerlei Gewähr für eine erfolgreiche Bestellung. Richten Sie Fragen bitte ausschließlich an die Auskunft Ihrer Heimatbibliothek. Bitte beachten Sie die Bedingungen der einzelnen Anbieter.

Bestand filtern

Bestand filtern
Bestand filtern

Erscheinungsjahr

Fernleihregion

Ort der Bibliothek

Titel exportieren
Schließen x
Vorschau
Sortierung
Alle Bestände anzeigen
Berlin UBHU ZwB Nawi
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BER, DE-11-87]
Bestand
Signatur
SQ 5352
Standort
Freihandbestand
Bestand
10.1997 - 27.2005
Fernleihe
ja, nur Papierkopie
Chemnitz UB
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[SAX, DE-Ch1]
Bestand
Signatur
A2907
Bestand
4.1994 - 15.1999
Fernleihe
ja, Kopie und Ausleihe
Dortmund UB
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[NRW, DE-290]
Bestand
Standort
SM / Standortsignatur: ZSn 323
Bestand
22.2003 - 39.2011
Fernleihe
ja, nur Papierkopie
Dresden SLUB, BB Drepunct
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[SAX, DE-14-08]
Bestand
Signatur
19 8 04594
Bestand
6.1995,2 - 41.2012
Fernleihe
ja, Kopie und Ausleihe
Erlangen-N UB Technik/Naturw.
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAY, DE-29T]
Bestand
Standort
14ZS / Standortsignatur: 14ZS/SY 8
Bestand
1.1992,1
Fernleihe
nein
Halle/S ZwB Heide-Süd
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[SAA, DE-3-4]
Bestand
Signatur
MI ZS
Standort
Ha 4
Bestand
6.1995 - 2012
Fernleihe
ja, nur Papierkopie
Hannover TIB
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[NIE, DE-89]
Bestand
Signatur
ZO 8891 [Haus2]
Bestand
[Mit 55.2019 abbestellt]
Fernleihe
ja, nur Papierkopie
Kaiserslautern UB
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[NRW, DE-386]
Bestand
Signatur
INF Z 4727
Standort
ZSINF
Bestand
2.1993 - 27.2005
Fernleihe
ja, nur Papierkopie
Karlsruhe KIT-B/Fak Informatik
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAW, DE-90-148]
Bestand
Signatur
Z.427
Bestand
1.1992 - 35.2009
[Fortsetzung nur noch elektronisch]
Fernleihe
nein
Kiel UB FB Math/Informatik
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[HAM, DE-8-601]
Bestand
Signatur
Formal Methods Syst. Design
Standort
1860a
Bestand
1.1992 - 51.2017
Fernleihe
nein
Magdeburg UB
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[SAA, DE-Ma9]
Bestand
Signatur
Za 1878
Standort
Magazin
Bestand
22.2003 - 27.2005
[Fortsetzung nur noch online]
Fernleihe
ja, nur Papierkopie
München TU/TeilB Garching
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAY, DE-91G]
Bestand
Standort
0106 / Standortsignatur: 0106/Ohne Sign.
Bestand
1.1992 - 31.2007
Fernleihe
ja, Kopie und Ausleihe
München UB LMU
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAY, DE-19]
Bestand
Standort
1602 / Standortsignatur: 1602/ZS 52
Bestand
4.1994 -
Fernleihe
ja, nur Papierkopie
Münster Bibl. Math./Informatik
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[NRW, DE-6-022]
Bestand
Signatur
Informatik
Bestand
28.2006 - 36/37.2010
Fernleihe
nein
Oldenburg BIS
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[NIE, DE-715]
Bestand
Signatur
Z inf 530 ZB 3285
Bestand
20.2002 - 35.2009
Fernleihe
ja, nur Papierkopie
Passau UB
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAY, DE-739]
Bestand
Standort
00 / Standortsignatur: 00/SA 4915
Bestand
22.2003 - 33.2008
Fernleihe
ja, Kopie und Ausleihe
Trier UB
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[NRW, DE-385]
Bestand
Signatur
z10366
Standort
72
Bestand
1.1992 - 23.2003
Fernleihe
ja, nur Papierkopie
Wadern SchlossDagstuhl LZI/WGL
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAW, DE-982]
Bestand
Signatur
Z 219
Bestand
1.1992 - 25.2004
[späteres siehe Internetausg.]
Fernleihe
ja, nur Papierkopie