Direkt zum Inhalt

Zeitschriften Datenbank

Inhalt

Neue Suche

ACM SIGSOFT Workshop on Formal Methods in Software Practice : Proceedings of the ... workshop on Formal methods in software practice

New York, NY : ACM 1998-2000

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

2651443-6  

Titel

ACM SIGSOFT Workshop on Formal Methods in Software Practice : Proceedings of the ... workshop on Formal methods in software practice

Körperschaft

Association for Computing Machinery. Special Interest Group on Software Engineering 

Erschienen

New York, NY : ACM

Erscheinungsverlauf

2.1998 - 3.2000 nachgewiesen

Anmerkungen

Nebent.: FMSP, ACM SIGSOFT Workshop on Formal Methods in Software Practice

Online-Ressource

Standardnummern

OCLC-Nr.: 1368822478

URL

http://dl.acm.org/event.cfm?id=RE311  [Verlag] 

https://ezb.ur.de/?2651443-6  [EZB] 

Sacherschließung

DDC-Sachgruppen der ZDB: 004 Informatik 

Erscheinungsform

Zeitschrift

Veröffentlichungsform

Kongressbericht

Sprache

Englisch 

Erscheinungsland

Vereinigte Staaten, USA, United States 

Medientyp

Online-Ausgabe

IDN

1019890843

Letzte Änderung

17-07-24

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
Augsburg UB
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAY, DE-384]
Bestand
Bestand
1998 - 2000
Fernleihe
ja, nur Papierkopie
URL
https://ezb.ur.de/detail.phtml?bibid=UBA... [EZB Link] 
https://ezb.ur.de/ReadMe?bibid=UBA&owner... [Readme] 
https://ezb.ur.de/ReadMe?bibid=UBA&owner... [Readme] 
https://dl.acm.org/event.cfm?id=RE311 [Volltext] 
Lizenzinfomationen
Volltext online und Druckausgabe. - Einzellizenz. - kostenpflichtig
Bamberg UB
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAY, DE-473]
Bestand
Bestand
1998 - 2000
Fernleihe
ja, nur Papierkopie (nur Inland) - elektronische Übertragung zwischen Bibliotheken ausgeschlossen
URL
https://ezb.ur.de/detail.phtml?bibid=UBB... [EZB Link] 
https://ezb.ur.de/ReadMe?bibid=UBB&owner... [Readme] 
https://ezb.ur.de/ReadMe?bibid=UBB&owner... [Readme] 
https://dl.acm.org/event.cfm?id=RE311 [Volltext] 
Lizenzinfomationen
Volltext online und Druckausgabe. - Einzellizenz. - kostenpflichtig
Bonn ULB
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[NRW, DE-5]
Bestand
Bestand
1998 - 2000
URL
https://ezb.ur.de/detail.phtml?bibid=ULB... [EZB Link] 
http://sam.ulb.uni-bonn.de/_eMedien/ezei... [Readme] 
http://www.ulb.uni-bonn.de/ebibliothek/e... [Readme] 
https://dl.acm.org/event.cfm?id=RE311 [Volltext] 
Lizenzinfomationen
Volltext online und Druckausgabe. - Einzellizenz. - kostenpflichtig
Coburg HS
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAY, DE-858]
Bestand
Bestand
1998 - 2000
URL
https://ezb.ur.de/detail.phtml?bibid=FHB... [EZB Link] 
https://dl.acm.org/event.cfm?id=RE311 [Volltext] 
Lizenzinfomationen
Volltext online und Druckausgabe. - Einzellizenz. - kostenpflichtig
Hamburg TUHH
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[HAM, DE-830]
Bestand
Bestand
lizenziert: 1998 - 2000
Fernleihe
ja, nur Papierkopie (nur Inland) - elektronische Übertragung zwischen Bibliotheken ausgeschlossen
URL
http://www.bibliothek.uni-regensburg.de/... 
Lizenzinfomationen
Volltext online und Druckausgabe. - Einzellizenz. - kostenpflichtig
Karlsruhe KIT-B./FB
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAW, DE-90-4]
Bestand
Bestand
1998 - 2000
URL
https://ezb.ur.de/detail.phtml?bibid=FBH... [EZB Link] 
https://ezb.ur.de/ReadMe?bibid=FBHKA&own... [Readme] 
https://ezb.ur.de/ReadMe?bibid=FBHKA&own... [Readme] 
https://dl.acm.org/event.cfm?id=RE311 [Volltext] 
Lizenzinfomationen
Volltext online und Druckausgabe. - Einzellizenz. - kostenpflichtig
Karlsruhe KIT-Bibliothek
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAW, DE-90]
Bestand
Bestand
1998 - 2000
URL
https://ezb.ur.de/detail.phtml?bibid=KIT... [EZB Link] 
https://ezb.ur.de/ReadMe?bibid=KIT&owner... [Readme] 
https://ezb.ur.de/ReadMe?bibid=KIT&owner... [Readme] 
https://dl.acm.org/event.cfm?id=RE311 [Volltext] 
Lizenzinfomationen
Volltext online und Druckausgabe. - Einzellizenz. - kostenpflichtig
Köln DLR Bibliothek
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[NRW, DE-Kn182]
Bestand
Bestand
1998 - 2000
URL
https://ezb.ur.de/detail.phtml?bibid=DLL... [EZB Link] 
https://dl.acm.org/event.cfm?id=RE311 [Volltext] 
Lizenzinfomationen
Volltext online und Druckausgabe. - Einzellizenz. - kostenpflichtig
Mannheim UB
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAW, DE-180]
Bestand
Bestand
1998 - 2000
Fernleihe
ja, nur Papierkopie (nur Inland) - elektronische Übertragung zwischen Bibliotheken ausgeschlossen
URL
https://ezb.ur.de/detail.phtml?bibid=UBM... [EZB Link] 
https://ezb.ur.de/ReadMe?bibid=UBMAN&own... [Readme] 
https://ezb.ur.de/ReadMe?bibid=UBMAN&own... [Readme] 
https://dl.acm.org/event.cfm?id=RE311 [Volltext] 
Lizenzinfomationen
Volltext online und Druckausgabe. - Einzellizenz. - kostenpflichtig
München UBTU
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAY, DE-91]
Bestand
Bestand
1998 - 2000
Fernleihe
ja, nur Papierkopie (nur Inland) - elektronische Übertragung zwischen Bibliotheken ausgeschlossen
URL
https://ezb.ur.de/detail.phtml?bibid=TUM... [EZB Link] 
https://ezb.ur.de/ReadMe?bibid=TUM&owner... [Readme] 
https://ezb.ur.de/ReadMe?bibid=TUM&owner... [Readme] 
https://dl.acm.org/event.cfm?id=RE311 [Volltext] 
Lizenzinfomationen
Volltext online und Druckausgabe. - Einzellizenz. - kostenpflichtig
Neubiberg UniBundeswehr
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAY, DE-706]
Bestand
Bestand
1998 - 2000
Fernleihe
ja, nur Papierkopie (nur Inland) - elektronische Übertragung zwischen Bibliotheken ausgeschlossen
URL
https://ezb.ur.de/detail.phtml?bibid=UBW... [EZB Link] 
https://dl.acm.org/event.cfm?id=RE311 [Volltext] 
Lizenzinfomationen
Volltext online und Druckausgabe. - Einzellizenz. - kostenpflichtig
Regensburg UB
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAY, DE-355]
Bestand
Bestand
1998 - 2000
Fernleihe
ja, nur Papierkopie - elektronische Übertragung zwischen Bibliotheken ausgeschlossen
URL
https://ezb.ur.de/detail.phtml?bibid=UBR... [EZB Link] 
https://ezb.ur.de/ReadMe?bibid=UBR&owner... [Readme] 
https://ezb.ur.de/ReadMe?bibid=UBR&owner... [Readme] 
https://dl.acm.org/event.cfm?id=RE311 [Volltext] 
Lizenzinfomationen
Volltext online und Druckausgabe. - Einzellizenz. - kostenpflichtig
Trier UB
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[NRW, DE-385]
Bestand
Bestand
1998 - 2000
Fernleihe
ja, nur Papierkopie (nur Inland) - elektronische Übertragung zwischen Bibliotheken ausgeschlossen
URL
https://ezb.ur.de/detail.phtml?bibid=UBT... [EZB Link] 
http://www.uni-trier.de/index.php?id=325... [Readme] 
http://urts117.uni-trier.de/cms/index.ph... [Readme] 
http://dl.acm.org/event.cfm?id=RE311 [Volltext] 
Lizenzinfomationen
Volltext online und Druckausgabe. - Einzellizenz. - kostenpflichtig
Ulm kiz
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAW, DE-289]
Bestand
Bestand
1998 - 2000
URL
https://ezb.ur.de/detail.phtml?bibid=UBU... [EZB Link] 
https://ezb.ur.de/ReadMe?bibid=UBU&owner... [Readme] 
https://ezb.ur.de/ReadMe?bibid=UBU&owner... [Readme] 
https://dl.acm.org/event.cfm?id=RE311 [Volltext] 
Lizenzinfomationen
Volltext online und Druckausgabe. - Einzellizenz. - kostenpflichtig
Weimar UB
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[THU, DE-Wim2]
Bestand
Bestand
lizenziert: 1998 - 2000
URL
http://www.bibliothek.uni-regensburg.de/... 
Lizenzinfomationen
Volltext online und Druckausgabe. - Einzellizenz. - kostenpflichtig