Direkt zum Inhalt

Zeitschriften Datenbank

Inhalt

Neue Suche

Automated Formal Methods : Proceedings of the ... workshop on Automated formal methods

New York, NY : Association for Computing Machinery 2.2007 nachgewiesen

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

2685430-2  

Titel

Automated Formal Methods : Proceedings of the ... workshop on Automated formal methods

Erschienen

New York, NY : Association for Computing Machinery

Erscheinungsverlauf

2.2007 nachgewiesen

Anmerkungen

Nebent.: ASE, Automated Software Engineering

Online-Ressource

Standardnummern

OCLC-Nr.: 1368997818

URL

http://dl.acm.org/event.cfm?id=RE381&tab...  [Verlag] 

http://www.bibliothek.uni-regensburg.de/...  [EZB] 

Sacherschließung

DDC-Sachgruppen der ZDB: 004 Informatik 

Erscheinungsform

Zeitschrift

Veröffentlichungsform

Kongressbericht

Medientyp

Online-Ausgabe

IDN

1026688213

Letzte Änderung

01-12-17

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
Bamberg UB
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAY, DE-473]
Bestand
Bestand
2007
Fernleihe
ja, nur Papierkopie (nur Inland)
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=RE381&ta... [Volltext] 
Lizenzinfomationen
Volltext online und Druckausgabe. - Einzellizenz. - kostenpflichtig
Coburg HS
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAY, DE-858]
Bestand
Bestand
2007
URL
https://ezb.ur.de/detail.phtml?bibid=FHB... [EZB Link] 
https://dl.acm.org/event.cfm?id=RE381&ta... [Volltext] 
Lizenzinfomationen
Volltext online und Druckausgabe. - Einzellizenz. - kostenpflichtig
Hamburg TUHH
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[HAM, DE-830]
Bestand
Bestand
lizenziert: 2007 - 2007
Fernleihe
ja, nur Papierkopie (nur Inland)
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
- 2007
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] 
http://dl.acm.org/event.cfm?id=RE381&tab... [Volltext] 
Lizenzinfomationen
Volltext online und Druckausgabe. - Einzellizenz. - kostenpflichtig
Karlsruhe KIT-Bibliothek
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAW, DE-90]
Bestand
Bestand
2007
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=RE381&ta... [Volltext] 
Lizenzinfomationen
Volltext online und Druckausgabe. - Einzellizenz. - kostenpflichtig
Köln DLR Bibliothek
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[NRW, DE-Kn182]
Bestand
Bestand
2007
URL
https://ezb.ur.de/detail.phtml?bibid=DLL... [EZB Link] 
https://dl.acm.org/event.cfm?id=RE381&ta... [Volltext] 
Lizenzinfomationen
Volltext online und Druckausgabe. - Einzellizenz. - kostenpflichtig
Magdeburg Med. ZB
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[SAA, DE-Ma14]
Bestand
Bestand
lizenziert: 2007 - 2007
Fernleihe
ja, nur Papierkopie
URL
http://www.bibliothek.uni-regensburg.de/... 
Lizenzinfomationen
Volltext online und Druckausgabe. - Einzellizenz. - kostenpflichtig
Magdeburg UB
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[SAA, DE-Ma9]
Bestand
Bestand
lizenziert: 2007 - 2007
Fernleihe
ja, nur Papierkopie
URL
http://www.bibliothek.uni-regensburg.de/... 
Lizenzinfomationen
Volltext online und Druckausgabe. - Einzellizenz. - kostenpflichtig
Mannheim UB
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAW, DE-180]
Bestand
Bestand
2007
Fernleihe
ja, nur Papierkopie (nur Inland)
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=RE381&ta... [Volltext] 
Lizenzinfomationen
Volltext online und Druckausgabe. - Einzellizenz. - kostenpflichtig
München UBTU
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAY, DE-91]
Bestand
Bestand
2007
Fernleihe
ja, nur Papierkopie (nur Inland)
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=RE381&ta... [Volltext] 
Lizenzinfomationen
Volltext online und Druckausgabe. - Einzellizenz. - kostenpflichtig
Neubiberg UniBundeswehr
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAY, DE-706]
Bestand
Bestand
2007
Fernleihe
ja, nur Papierkopie (nur Inland)
URL
https://ezb.ur.de/detail.phtml?bibid=UBW... [EZB Link] 
https://dl.acm.org/event.cfm?id=RE381&ta... [Volltext] 
Lizenzinfomationen
Volltext online und Druckausgabe. - Einzellizenz. - kostenpflichtig
Regensburg UB
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAY, DE-355]
Bestand
Bestand
2007
Fernleihe
ja, nur Papierkopie
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=RE381&ta... [Volltext] 
Lizenzinfomationen
Volltext online und Druckausgabe. - Einzellizenz. - kostenpflichtig
Weimar UB
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[THU, DE-Wim2]
Bestand
Bestand
lizenziert: 2007 - 2007
URL
http://www.bibliothek.uni-regensburg.de/... 
Lizenzinfomationen
Volltext online und Druckausgabe. - Einzellizenz. - kostenpflichtig