|
|
|
|
| LEADER |
00000cam a2200000 c 4500 |
| 001 |
1554600847 |
| 003 |
DE-627 |
| 005 |
20240825163205.0 |
| 007 |
tu |
| 008 |
170301s2017 xx ||||| m 00| ||eng c |
| 035 |
|
|
|a (DE-627)1554600847
|
| 035 |
|
|
|a (DE-576)484600842
|
| 035 |
|
|
|a (DE-599)BSZ484600842
|
| 035 |
|
|
|a (OCoLC)982063267
|
| 040 |
|
|
|a DE-627
|b ger
|c DE-627
|e rda
|
| 041 |
|
|
|a eng
|
| 082 |
0 |
|
|a 005.14
|q SEPA
|
| 082 |
0 |
|
|a 005.1
|q SEPA
|
| 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 analysis
|c presented by Zhen Dong
|
| 264 |
|
1 |
|a Heidelberg
|c 2017
|
| 300 |
|
|
|a xvi, 116 Seiten
|b Illustrationen, Diagramme
|
| 336 |
|
|
|a Text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a ohne Hilfsmittel zu benutzen
|b n
|2 rdamedia
|
| 338 |
|
|
|a Band
|b nc
|2 rdacarrier
|
| 502 |
|
|
|b Dissertation
|c Ruperto-Carola University of Heidelberg
|d 2017
|
| 546 |
|
|
|a Mit einer Zusammenfassung in englischer und deutscher Sprache
|
| 583 |
1 |
|
|a Archivierung/Langzeitarchivierung gewährleistet
|f DISS
|x XA-DE-BW
|2 pdager
|5 DE-16
|
| 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
|
| 710 |
2 |
|
|a Universität Heidelberg
|e Grad-verleihende Institution
|0 (DE-588)2024349-2
|0 (DE-627)102161488
|0 (DE-576)191769517
|4 dgg
|
| 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 Online-Ausgabe
|a Dong, Zhen, 1987 -
|t Diagnosing software configuration errors via static snalysis
|d Heidelberg, 2017
|h 1 Online-Ressource (xvi, 116 Seiten)
|w (DE-627)1656510642
|w (DE-576)48477087X
|
| 856 |
4 |
2 |
|u http://d-nb.info/1126041920/04
|m B:DE-101
|q application/pdf
|3 Inhaltsverzeichnis
|
| 951 |
|
|
|a BO
|
| 992 |
|
|
|a 20170301
|
| 993 |
|
|
|a Thesis
|
| 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-PPN1554600847
|e 2957035642
|
| BIB |
|
|
|a Y
|
| JSO |
|
|
|a {"origin":[{"dateIssuedKey":"2017","dateIssuedDisp":"2017","publisherPlace":"Heidelberg"}],"id":{"eki":["1554600847"]},"name":{"displayForm":["presented by Zhen Dong"]},"physDesc":[{"extent":"xvi, 116 Seiten","noteIll":"Illustrationen, Diagramme"}],"title":[{"title":"Diagnosing software configuration errors via static analysis","title_sort":"Diagnosing software configuration errors via static analysis"}],"person":[{"family":"Dong","given":"Zhen","roleDisplay":"VerfasserIn","display":"Dong, Zhen","role":"aut"}],"noteThesis":["Dissertation. - Ruperto-Carola University of Heidelberg. - 2017"],"type":{"bibl":"thesis"},"recId":"1554600847","corporate":[{"roleDisplay":"Grad-verleihende Institution","display":"Universität Heidelberg","role":"dgg"}],"language":["eng"]}
|
| SRT |
|
|
|a DONGZHENDIAGNOSING2017
|