LEADER 01123nam--2200325---450- 001 990006131810203316 005 20160307131104.0 010 $a978-88-7223-249-1 035 $a000613181 035 $aUSA01000613181 035 $a(ALEPH)000613181USA01 035 $a000613181 100 $a20160307d2015----km-y0itay50------ba 101 $aita 102 $aIT 105 $a||||||||001yy 200 1 $aCinque pezzi facili sull'Alto Adige/Südtirol$ele radici del fortuito, fortunoso e fortunato disagio e declino degli italiani dell'Alto Adige$fGiorgio Delle Donne$g[contributi di Marco Boato ... et al.] 210 $aBolzano$cCentro di cultura dell'Alto Adige$aMerano$cEdizioni alphabeta$d2015 215 $a176 p.$d22 cm 606 0 $aAlto Adige$xRaccolte di saggi$2BNCF 676 $a945.383 700 1$aDELLE DONNE,$bGiorgio$0715670 801 0$aIT$bsalbc$gISBD 912 $a990006131810203316 951 $aX.3.B. 7645$b250087 L.M.$cX.3.B.$d387165 959 $aBK 969 $aUMA 979 $aCHIARA$b90$c20160307$lUSA01$h1311 996 $aCinque pezzi facili sull'Alto Adige$91385417 997 $aUNISA LEADER 03675oam 2200493 450 001 9910809263203321 005 20190911112728.0 010 $a1-299-46228-6 010 $a981-4405-39-6 035 $a(OCoLC)839386979 035 $a(MiFhGG)GVRL8RIK 035 $a(EXLCZ)992550000001019227 100 $a20130520h20132013 uy 0 101 0 $aeng 135 $aurun|---uuuua 181 $ctxt 182 $cc 183 $acr 200 10$aManaging Indonesia's transformation $ean oral history /$fGinandjar Kartasasmita 210 $aSingapore $cWorld Scientific Pub. Co.$d2013 210 1$aNew Jersey :$cWorld Scientific,$d[2013] 210 4$d?2013 215 $a1 online resource (ix, 490 pages) 225 0 $aGale eBooks 300 $aIncludes index. 311 $a981-4405-38-8 327 $aForeword; Contents; Introduction; Turning Points in My Life; Chapter 1 Early Years; Family Background; Studying in Japan; Chapter 2 Rising with Sudharmono: 1965-1983; G-5 KOTI; Joining the Air Force; Joining the State Secretariat; Internal Politics; Cabinet Meetings; Keppres X; Pribumi vs. Non-Pribumi; Appointed as BKPM Chairman; Economic Reform; Working as Minister of Mines and Energy; Raising Fuel Prices; Suharto's Inner Circle; Chapter 3 The Year of 1988; Looking Back at the 1980's; P4; Internal Military Politics; Transitional Years: 1988-1997; ICMI; Chinese Conglomerates: The Tapos Meeting 327 $aAppointed as Chairman of BAPPENAS Reaching Out to Civil Society; Dealing with Mounting Problems; The Crisis: 1997-1998; Chapter 4 Toward the MPR in 1998: Indonesia in Crisis; The Final Days of Suharto; The Final Curtain; What Went Wrong; Chapter 5 The Habibie Presidency; The Golkar Congress, 1998; Economic Recovery; Habibie's Democratic Legacy; Regional, Communal, and Ethnic Conflicts; East Timor; Bank Bali; Chapter 6 From Habibie to Wahid; The 1999 MPR and Habibie's Accountability Speech; The Abdurrahman Wahid Presidency; The Political Limbo; The Court Case: Gus Dur's Political Enemy 327 $aOusting Abdurrahman Wahid Chapter 7 Megawati's Presidency and the 2004 Elections: Towards Consociational Democracy?; The Megawati Presidency; Constitutional Reforms; The 2004 Election; Chapter 8 SBY and the Dilemma of a Multiparty Presidential System; SBY's Leadership; 2009 Elections; Golkar and the Future Political Party Configuration; DPD; Chapter 9 Challenges Ahead, International Footprints, and If . . .; Challenges Ahead; International Footprints; If . . .; Index; About the Author 330 $aManaging Indonesia's Transformation: An Oral History is an account of Ginandjar Kartasasmita's career in the Indonesian government, both under President Suharto and in the post-Suharto era. Based on all the ministerial positions in which Kartasasmita has served the government, the book provides readers candid insights into the domestic and international political and economic contexts in which decisions were made, and how policies were formulated and implemented in Indonesia.The book contains many hours of interviews in which the author responds - as frankly as he can - to all sorts of question 606 $aCabinet officers$zIndonesia$vInterviews 607 $aIndonesia$xPolitics and government$y1966-1998- 607 $aIndonesia$xPolitics and government$y1998- 607 $aIndonesia$xEconomic policy 615 0$aCabinet officers 676 $a959.803 676 $a959.8037092 700 $aKartasasmita$b Ginandjar$01597974 801 0$bMiFhGG 801 1$bMiFhGG 906 $aBOOK 912 $a9910809263203321 996 $aManaging Indonesia's transformation$93919947 997 $aUNINA LEADER 03011nam 2200529Ia 450 001 9910741164203321 005 20200520144314.0 010 $a1-4471-5260-3 024 7 $a10.1007/978-1-4471-5260-6 035 $a(OCoLC)851372339 035 $a(MiFhGG)GVRL6YCP 035 $a(CKB)2670000000387786 035 $a(MiAaPQ)EBC1317532 035 $a(EXLCZ)992670000000387786 100 $a20130705d2013 uy 0 101 0 $aeng 135 $aurun|---uuuua 181 $ctxt 182 $cc 183 $acr 200 00$aUsing event-B for critical device software systems /$fNeeraj Kumar Singh 205 $a1st ed. 2013. 210 $aWiesbaden ;$aNew York $cSpringer$dc2013 215 $a1 online resource (xviii, 326 pages) $cillustrations (some color) 225 0 $aGale eBooks 300 $aDescription based upon print version of record. 311 $a1-4471-5790-7 311 $a1-4471-5259-X 320 $aIncludes bibliographical references. 327 $aPreface -- Introduction -- Background -- The Modelling Framework: Event-B -- Critical System Development Methodology -- Real-Time Animator and Requirements Traceability -- Refinement Chart -- EB2ALL: An Automatic Code Generator Tool -- Formal Logic Based Heart-Model -- The Cardiac Pacemaker -- Electrocardiogram (ECG) -- Conclusion -- Appendix A: Certification Standards -- Index. 330 $aDefining a new development life-cycle methodology, together with a set of associated techniques and tools to develop highly critical systems using formal  techniques, this book adopts a rigorous safety assessment approach explored via several layers (from  requirements analysis to automatic source code generation). This is assessed and evaluated via a standard case study: the cardiac pacemaker. Additionally a formalisation of an Electrocardiogram (ECG) is used to identify anomalies  in order to improve existing medical protocols. This allows the key issue  - that formal methods are not currently integrated into established critical systems development processes - to be discussed in a highly effective and informative way. Using Event-B for Critical Device Software Systems serves as a valuable resource for researchers and students of formal methods. The assessment of critical systems development is applicable to all industries, but engineers and physicians from the health domain will find the cardiac pacemaker case study of particular value. 606 $aFormal methods (Computer science) 606 $aApplication software$xDevelopment 606 $aStochastic models 615 0$aFormal methods (Computer science) 615 0$aApplication software$xDevelopment. 615 0$aStochastic models. 676 $a004 676 $a004.01 701 $aSingh$b Neeraj Kumar$01059361 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910741164203321 996 $aUsing Event-B for Critical Device Software Systems$93554037 997 $aUNINA