LEADER 02526nam 2200721Ia 450 001 9910457059303321 005 20200520144314.0 010 $a1-299-05298-3 010 $a1-60344-613-3 035 $a(CKB)2550000000033182 035 $a(EBL)3037953 035 $a(SSID)ssj0000538235 035 $a(PQKBManifestationID)11340589 035 $a(PQKBTitleCode)TC0000538235 035 $a(PQKBWorkID)10557369 035 $a(PQKB)10276505 035 $a(MiAaPQ)EBC3037953 035 $a(OCoLC)825768164 035 $a(MdBmJHUP)muse1132 035 $a(Au-PeEL)EBL3037953 035 $a(CaPaEBR)ebr10463827 035 $a(CaONFJC)MIL436548 035 $a(EXLCZ)992550000000033182 100 $a20041130d2005 ub 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aJourney into darkness$b[electronic resource] $egenocide in Rwanda /$fThomas P. Odom ; foreword by Gen. Dennis J. Reimer 205 $a1st ed. 210 $aCollege Station $cTexas A&M University Press$dc2005 215 $a1 online resource (312 p.) 225 1 $aTexas A & M University military history series ;$v100 300 $aDescription based upon print version of record. 311 $a1-58544-457-X 320 $aIncludes bibliographical references (p. 285-286) and index. 327 $a""Contents""; ""Foreword""; ""Preface""; ""Notes""; ""Bibliography""; ""Index"" 410 0$aTexas A & M University military history series ;$v100. 606 $aGenocide$zRwanda$xHistory$y20th century 606 $aAmericans$zRwanda$vBiography 606 $aDiplomats$zRwanda$vBiography 606 $aDiplomats$zUnited States$vBiography 606 $aRefugees$zCongo (Democratic Republic)$zGoma (Nord-Kivu)$xHistory$y20th century 607 $aRwanda$xHistory$yCivil War, 1994$xAtrocities 607 $aRwanda$xHistory$yCivil War, 1994$xRefugees 607 $aRwanda$xHistory$yCivil War, 1994$vPersonal narratives, American 607 $aGoma (Nord-Kivu, Congo)$xSocial conditions$y20th century 608 $aElectronic books. 615 0$aGenocide$xHistory 615 0$aAmericans 615 0$aDiplomats 615 0$aDiplomats 615 0$aRefugees$xHistory 676 $a967.57104/31 700 $aOdom$b Thomas P$g(Thomas Paul),$f1953-$0860090 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910457059303321 996 $aJourney into darkness$91919098 997 $aUNINA LEADER 05058nam 22006975 450 001 9910768447303321 005 20200704233439.0 010 $a3-540-68519-7 024 7 $a10.1007/BFb0035375 035 $a(CKB)1000000000234621 035 $a(SSID)ssj0000327276 035 $a(PQKBManifestationID)11230848 035 $a(PQKBTitleCode)TC0000327276 035 $a(PQKBWorkID)10301607 035 $a(PQKB)10106088 035 $a(DE-He213)978-3-540-68519-7 035 $a(PPN)155232002 035 $a(EXLCZ)991000000000234621 100 $a20121227d1997 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aTools and Algorithms for the Construction and Analysis of Systems$b[electronic resource] $eThird International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings /$fedited by Ed Brinksma 205 $a1st ed. 1997. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1997. 215 $a1 online resource (X, 437 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v1217 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-62790-1 327 $aHardware and software synthesis, optimization, and verification from Esterel programs -- Manipulation algorithms for K*BMDs -- Combining partial order and symmetry reductions -- Partial model checking with ROBDDs -- Space efficient reachability analysis through use of pseudo-root states -- The reference component of PEP -- A tool to support formal reasoning about computer languages -- The term processor generator Kimwitu -- Graphs in MetaFrame: The unifying power of polymorphism -- A tableau system for linear-TIME temporal logic -- Model-checking for a subclass of event structures -- Real-time logics: Fictitious clock as an abstraction of dense time -- Mosel: A flexible toolset for monadic second-order logic -- A brief introduction to coloured Petri Nets -- Design/CPN ? A computer tool for Coloured Petri Nets -- Formal verification of statecharts with instantaneous chain reactions -- Compositional state space generation from Lotos programs -- Syntactic detection of process divergence and non-local choice in message sequence charts -- An automata based verification environment for mobile processes -- Compositional performance analysis -- Incremental development of deadlock-free communicating systems -- Automatic synthesis of specifications from the dynamic observation of reactive programs -- Visual verification of reactive systems -- Theorem prover support for the refinement of stream processing functions -- Integration in PVS: Tables, types, and model checking -- Test generation for intelligent networks using model checking -- Mechanically verified self-stabilizing hierarchical algorithms -- The bounded retransmission protocol must be on time!. 330 $aThis book constitutes the refereed proceedings of the Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '97, held in Enschede, The Netherlands, in April 1997. The book presents 20 revised full papers and 5 tool demonstrations carefully selected out of 54 submissions; also included are two extended abstracts and a full paper corresponding to invited talks. The papers are organized in topical sections on space reduction techniques, tool demonstrations, logical techniques, verification support, specification and analysis, and theorem proving, model checking and applications. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v1217 606 $aComputer engineering 606 $aComputers 606 $aSoftware engineering 606 $aComputer logic 606 $aComputer networks 606 $aComputer Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I27000 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 615 0$aComputer engineering. 615 0$aComputers. 615 0$aSoftware engineering. 615 0$aComputer logic. 615 0$aComputer networks. 615 14$aComputer Engineering. 615 24$aTheory of Computation. 615 24$aSoftware Engineering. 615 24$aLogics and Meanings of Programs. 615 24$aComputer Communication Networks. 676 $a004.2/1 702 $aBrinksma$b Ed$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aTACAS '97 906 $aBOOK 912 $a9910768447303321 996 $aTools and Algorithms for the Construction and Analysis of Systems$9772021 997 $aUNINA