Diagnosing software configuration errors via static snalysis
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Dokumenttyp: | Buch/Monographie Hochschulschrift |
| Sprache: | Englisch |
| Veröffentlicht: |
Heidelberg
2017
|
| DOI: | 10.11588/heidok.00022581 |
| Schlagworte: | |
| Online-Zugang: | Resolving-System, kostenfrei, Volltext: http://dx.doi.org/10.11588/heidok.00022581 Resolving-System, kostenfrei, Volltext: http://nbn-resolving.de/urn:nbn:de:bsz:16-heidok-225817 Resolving-System, Volltext: https://nbn-resolving.org/urn:nbn:de:bsz:16-heidok-225817 Langzeitarchivierung Nationalbibliothek, Volltext: http://d-nb.info/1180739493/34 Verlag, kostenfrei, Volltext: http://www.ub.uni-heidelberg.de/archiv/22581 Resolving-System, Unbekannt: https://doi.org/10.11588/heidok.00022581 
|
| Verfasserangaben: | presented by [Zhen Dong] ; adviser: Prof. Dr. Artur Andrzejak |
MARC
| LEADER | 00000cam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | 1656510642 | ||
| 003 | DE-627 | ||
| 005 | 20230105223139.0 | ||
| 007 | cr uuu---uuuuu | ||
| 008 | 170303s2017 gw |||||om 00| ||eng c | ||
| 016 | 7 | |a 1180739493 |2 DE-101 | |
| 024 | 7 | |a urn:nbn:de:bsz:16-heidok-225817 |2 urn | |
| 024 | 7 | |a 10.11588/heidok.00022581 |2 doi | |
| 035 | |a (DE-627)1656510642 | ||
| 035 | |a (DE-576)48477087X | ||
| 035 | |a (DE-599)BSZ48477087X | ||
| 035 | |a (OCoLC)982083180 | ||
| 035 | |a (OCoLC)982083180 | ||
| 040 | |a DE-627 |b ger |c DE-627 |e rda | ||
| 041 | |a eng | ||
| 044 | |c XA-DE-BW | ||
| 082 | 0 | |a 005.14 |q DE-101 | |
| 082 | 0 | |a 005.1 |q DE-101 | |
| 082 | 0 | 4 | |a 004 |q DE-101 |
| 084 | |a 28 |2 sdnb | ||
| 084 | |a 28 |2 sdnb | ||
| 100 | 1 | |a Dong, Zhen |d 1987- |e VerfasserIn |0 (DE-588)1051602394 |0 (DE-627)78644018X |0 (DE-576)406888671 |4 aut | |
| 245 | 1 | 0 | |a Diagnosing software configuration errors via static snalysis |c presented by [Zhen Dong] ; adviser: Prof. Dr. Artur Andrzejak |
| 264 | 1 | |a Heidelberg |c 2017 | |
| 300 | |a 1 Online-Ressource (xvi, 116 Seiten) | ||
| 336 | |a Text |b txt |2 rdacontent | ||
| 337 | |a Computermedien |b c |2 rdamedia | ||
| 338 | |a Online-Ressource |b cr |2 rdacarrier | ||
| 502 | |b Dissertation |c Ruperto-Carola University of Heidelberg |d 2017 | ||
| 650 | 0 | 7 | |0 (DE-588)4550588-3 |0 (DE-627)271540346 |0 (DE-576)213605600 |a Softwarekonfiguration |2 gnd |
| 655 | 7 | |a Hochschulschrift |0 (DE-588)4113937-9 |0 (DE-627)105825778 |0 (DE-576)209480580 |2 gnd-content | |
| 700 | 1 | |a Andrzejak, Artur |d 1969- |e AkademischeR BetreuerIn |0 (DE-588)122012216 |0 (DE-627)705736253 |0 (DE-576)29304712X |4 dgs | |
| 751 | |a Heidelberg |0 (DE-588)4023996-2 |0 (DE-627)106300814 |0 (DE-576)208952578 |4 uvp | ||
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |a Dong, Zhen, 1987 - |t Diagnosing software configuration errors via static analysis |d Heidelberg, 2017 |h xvi, 116 Seiten |w (DE-627)1554600847 |w (DE-576)484600842 |
| 856 | 4 | 0 | |u http://dx.doi.org/10.11588/heidok.00022581 |x Resolving-System |z kostenfrei |3 Volltext |
| 856 | 4 | 0 | |u http://nbn-resolving.de/urn:nbn:de:bsz:16-heidok-225817 |q application/pdf |x Resolving-System |z kostenfrei |3 Volltext |
| 856 | 4 | 0 | |u https://nbn-resolving.org/urn:nbn:de:bsz:16-heidok-225817 |v 2019-08-23 |x Resolving-System |3 Volltext |
| 856 | 4 | 0 | |u http://d-nb.info/1180739493/34 |v 2019-08-23 |x Langzeitarchivierung Nationalbibliothek |3 Volltext |
| 856 | 4 | 0 | |u http://www.ub.uni-heidelberg.de/archiv/22581 |v 2019-08-23 |x Verlag |z kostenfrei |3 Volltext |
| 856 | 4 | 2 | |u https://doi.org/10.11588/heidok.00022581 |v 2019-08-23 |x Resolving-System |3 Unbekannt |
| 912 | |a GBV-ODiss | ||
| 951 | |a BO | ||
| 992 | |a 20170303 | ||
| 993 | |a Thesis | ||
| 994 | |a 2017 | ||
| 998 | |g 1051602394 |a Dong, Zhen |m 1051602394:Dong, Zhen |d 110000 |d 110001 |e 110000PD1051602394 |e 110001PD1051602394 |k 0/110000/ |k 1/110000/110001/ |p 1 |x j |y j | ||
| 999 | |a KXP-PPN1656510642 |e 338829688X | ||
| BIB | |a Y | ||
| JSO | |a {"physDesc":[{"extent":"1 Online-Ressource (xvi, 116 Seiten)"}],"type":{"bibl":"thesis","media":"Online-Ressource"},"language":["eng"],"recId":"1656510642","noteThesis":["Dissertation. - Ruperto-Carola University of Heidelberg. - 2017"],"person":[{"display":"Dong, Zhen","roleDisplay":"VerfasserIn","role":"aut","family":"Dong","given":"Zhen"},{"roleDisplay":"AkademischeR BetreuerIn","display":"Andrzejak, Artur","role":"dgs","family":"Andrzejak","given":"Artur"}],"name":{"displayForm":["presented by [Zhen Dong] ; adviser: Prof. Dr. Artur Andrzejak"]},"origin":[{"dateIssuedKey":"2017","dateIssuedDisp":"2017","publisherPlace":"Heidelberg"}],"title":[{"title_sort":"Diagnosing software configuration errors via static snalysis","title":"Diagnosing software configuration errors via static snalysis"}],"id":{"doi":["10.11588/heidok.00022581"],"eki":["1656510642"],"uri":["urn:nbn:de:bsz:16-heidok-225817"]}} | ||
| SRT | |a DONGZHENDIAGNOSING2017 | ||