{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":2,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":36,"n_cols":5,"rows_kept":36,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[2,4,2,5],[3,2,3,3],[4,2,4,3],[5,2,5,3],[6,2,6,3],[7,2,7,3],[9,2,9,3],[10,2,10,3],[14,2,14,3],[14,4,14,5],[15,2,15,3],[15,4,15,5],[16,2,16,3],[16,4,16,5],[17,2,17,3],[18,2,18,3],[19,2,19,3],[20,2,20,3],[21,2,21,3],[22,2,22,3],[23,2,23,3],[30,2,30,3],[31,2,31,3],[33,2,33,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910698171403321"]
[null,null,"Autore",null,"Huffman Brad A"]
[null,null,"Titolo",null,"Compilation of water-resources data and hydrogeologic setting for four research stations in the Piedmont and Blue Ridge Physiographic Provinces of North Carolina, 2000-2004 [[electronic resource] /] / by Brad A. Huffman ... [and others] ; prepared in cooperation with the North Carolina Department of Environment and Natural Resources, Division of Water Quality"]
[null,null,"Pubbl/distr/stampa",null,"Reston, Va. : , : U.S. Dept. of the Interior, U.S. Geological Survey, , 2006"]
[null,null,"Edizione",null,"[Version 1.0.]"]
[null,null,"Descrizione fisica",null,"1 online resource (x, 102 pages) : illustrations( some color), maps (some color)"]
[null,null,"Collana",null,"Open-file report ; ; 2006-1168"]
[null,null,"Soggetti",null,"Hydrogeology - North Carolina"]
[{"$nulls":4},"Groundwater - North Carolina"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Title from PDF title screen (viewed on Aug. 14, 2006)."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references."]
[null,"2.","Record Nr.",null,"UNINA9911006797003321"]
[null,null,"Autore",null,"Halang Wolfgang A"]
[null,null,"Titolo",null,"Sicherheitsgerichtete Echtzeitsysteme / / von Wolfgang A. Halang, Rudolf M. Konakovsky"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer Vieweg, , 2018"]
[null,null,"ISBN",null,"3-662-56369-X"]
[null,null,"Edizione",null,"[3rd ed. 2018.]"]
[null,null,"Descrizione fisica",null,"1 online resource (727 pages) : illustrations"]
[null,null,"Collana",null,"VDI-Buch, , 2512-5281"]
[null,null,"Disciplina",null,"004.33"]
[null,null,"Soggetti",null,"Robotics"]
[{"$nulls":4},"Automation"]
[{"$nulls":4},"Software engineering"]
[{"$nulls":4},"Computer security"]
[{"$nulls":4},"Robotics and Automation"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Systems and Data Security"]
[null,null,"Lingua di pubblicazione",null,"Tedesco"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,"Nota di contenuto",null,"Grundlagen sicherheitsgerichteter Echtzeitsysteme -- Konzepte zur sicherheitsgerichteten Prozeßautomatisierung -- Hardware-Systeme zur sicheren Prozeßdatenverarbeitung -- Zweikanalige sicherheitsgerichtete Rechnersysteme -- Entwicklung sicherheitsgerichteter Software -- Software-Verifikation -- Quantitative Bewertung sicherheitsgerichteter Echtzeitsysteme -- Das inhärent sichere Funktionsplanparadigma -- Erstellung und Prüfung sicherheitsgerichteter Software -- Einige formale Methoden zur Programmverifikation -- Eine funktionsplanabbildende Prozeßrechnerarchitektur -- Fallstudien sicherheitsgerichteter programmierbarer elektronischer -- Systeme -- Die sicherheitsgerichtete Echtzeitprogrammiersprache HI-PEARL -- Ablaufplanung und Zuteilbarkeitsanalyse für den Mehrprozeßbetrieb -- Literaturverzeichnis -- Stichwortverzeichnis."]
[null,null,null,"Sommario/riassunto","Das Buch behandelt das wichtige Thema funktionale Sicherheit programmierbarer elektronischer Systeme. Anhand begrifflicher, methodischer und konzeptioneller Grundlagen sicherheitsgerichteter Echtzeitsysteme wird in die Denkweise der Sicherheitstechnik eingeführt. Architekturen für sichere Hardware sowie Verfahren zur "]
[{"$nulls":4},"Erstellung möglichst fehlerfreier Software und zu deren Verifizierung werden dargestellt und bewertet. Weiterhin werden Ergebnisse jüngster Forschungen vorgestellt wie inhärent sicherheitsfördernde Paradigmen der Echtzeitprogrammierung und -ablauforganisation oder unkonventionelle sicherheitsgerichtete Architekturen für sicherheitstechnisch abnehmbare Feldbusse und programmierbare elektronische Systeme. Das Buch wurde für die 3. Auflage gründlich überarbeitet und um die Darstellung neuer Patente  und Normen erweitert.  Die Zielgruppen Studierende der Automatisierungstechnik und der Informatik sowie Systemarchitekten und Entwickler. Die Autoren Wolfgang A. Halang wurde in Mathematik und in Informatik promoviert. Nach Industrietätigkeiten, u.a. in der Prozessleittechnik der Bayer AG, und einer Professur für Anwendungsorientierte Informatik an der Reichsuniversität zu Groningen war er von 1992 bis 2017 Inhaber des Lehrstuhls für Informationstechnik an der Fernuniversität in Hagen und ist jetzt Gastprofessor an der Chinesisch-Deutschen Technischen Fakultät in Qingdao. Rudolf M. Konakovsky studierte in Bratislava und wurde an der Universität Stuttgart promoviert und habilitiert. Dort war er nach Forschungs-, Industrie- (Bosch, ABB) und Sachverständigentätigkeiten im In- und Ausland Professor für Zuverlässigkeit und Sicherheit von Automatisierungssystemen."]