LEADER 01774oam 2200409Ia 450 001 9910698171403321 005 20100216084822.0 035 $a(CKB)5470000002395297 035 $a(OCoLC)70894996 035 $a(EXLCZ)995470000002395297 100 $a20060815d2006 ua 0 101 0 $aeng 135 $aurmn||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aCompilation of water-resources data and hydrogeologic setting for four research stations in the Piedmont and Blue Ridge Physiographic Provinces of North Carolina, 2000-2004$b[electronic resource] /$fby Brad A. Huffman ... [and others] ; prepared in cooperation with the North Carolina Department of Environment and Natural Resources, Division of Water Quality 205 $aVersion 1.0. 210 1$aReston, Va. :$cU.S. Dept. of the Interior, U.S. Geological Survey,$d2006. 215 $a1 online resource (x, 102 pages) $cillustrations( some color), maps (some color) 225 1 $aOpen-file report ;$v2006-1168 300 $aTitle from PDF title screen (viewed on Aug. 14, 2006). 320 $aIncludes bibliographical references. 606 $aHydrogeology$zNorth Carolina 606 $aGroundwater$zNorth Carolina 615 0$aHydrogeology 615 0$aGroundwater 700 $aHuffman$b Brad A$01405039 712 02$aGeological Survey (U.S.) 712 02$aNorth Carolina.$bDivision of Water Quality. 801 0$bGIS 801 1$bGIS 801 2$bGPO 906 $aBOOK 912 $a9910698171403321 996 $aCompilation of water-resources data and hydrogeologic setting for four research stations in the Piedmont and Blue Ridge Physiographic Provinces of North Carolina, 2000-2004$93522271 997 $aUNINA LEADER 01152nam0 22002771i 450 001 UON00226546 005 20231205103439.497 010 $a01-951169-6-8 100 $a20030730d1997 |0itac50 ba 101 $aeng 102 $aUS 105 $a|||| ||||| 200 1 $aAngels in the machinery$eGender in American party politics from the civil war to the progressive era$fRebecca Edwards 210 $aNew York$aOxford$cOxford University Press$d1997. XII$d232 p. ; 24 cm. 606 $aDONNE E POLITICA$xStati Uniti d'America$xStoria$xStudi$3UONC048606$2FI 620 $aGB$dOxford$3UONL000029 620 $aUS$dNew York$3UONL000050 676 $a306.2$cIstituzioni politiche$v21 700 1$aEDWARDS$bRebecca$3UONV137167$0686634 712 $aOxford University Press$3UONV245947$4650 801 $aIT$bSOL$c20240220$gRICA 899 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$2UONSI 912 $aUON00226546 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI III STORIAAME 1110 $eSI SC 36451 5 1110 996 $aAngels in the machinery$91270595 997 $aUNIOR LEADER 04584nam 22005655 450 001 9911006797003321 005 20200712231951.0 010 $a3-662-56369-X 024 7 $a10.1007/978-3-662-56369-4 035 $a(CKB)4100000003358602 035 $a(MiAaPQ)EBC5372085 035 $a(DE-He213)978-3-662-56369-4 035 $a(PPN)226693651 035 $a(EXLCZ)994100000003358602 100 $a20180426d2018 u| 0 101 0 $ager 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aSicherheitsgerichtete Echtzeitsysteme /$fvon Wolfgang A. Halang, Rudolf M. Konakovsky 205 $a3rd ed. 2018. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer Vieweg,$d2018. 215 $a1 online resource (727 pages) $cillustrations 225 1 $aVDI-Buch,$x2512-5281 311 $a3-662-56368-1 327 $aGrundlagen 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. 330 $aDas 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 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. 410 0$aVDI-Buch,$x2512-5281 606 $aRobotics 606 $aAutomation 606 $aSoftware engineering 606 $aComputer security 606 $aRobotics and Automation$3https://scigraph.springernature.com/ontologies/product-market-codes/T19020 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aSystems and Data Security$3https://scigraph.springernature.com/ontologies/product-market-codes/I28060 615 0$aRobotics. 615 0$aAutomation. 615 0$aSoftware engineering. 615 0$aComputer security. 615 14$aRobotics and Automation. 615 24$aSoftware Engineering. 615 24$aSystems and Data Security. 676 $a004.33 700 $aHalang$b Wolfgang A$4aut$4http://id.loc.gov/vocabulary/relators/aut$0492107 702 $aKonakovsky$b Rudolf M$4aut$4http://id.loc.gov/vocabulary/relators/aut 906 $aBOOK 912 $a9911006797003321 996 $aSicherheitsgerichtete Echtzeitsysteme$94390560 997 $aUNINA