LEADER 03090nam 22007335 450 001 9910983090603321 005 20250212115341.0 010 $a9783031787508 010 $a3031787501 024 7 $a10.1007/978-3-031-78750-8 035 $a(CKB)37516010300041 035 $a(MiAaPQ)EBC31903257 035 $a(Au-PeEL)EBL31903257 035 $a(OCoLC)1499719696 035 $a(DE-He213)978-3-031-78750-8 035 $a(EXLCZ)9937516010300041 100 $a20250212d2025 u| 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aAutomated Technology for Verification and Analysis $e22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21?25, 2024, Proceedings, Part II /$fedited by S. Akshay, Aina Niemetz, Sriram Sankaranarayanan 205 $a1st ed. 2025. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2025. 215 $a1 online resource (507 pages) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v15055 311 08$a9783031787492 311 08$a3031787498 330 $aThe two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, held in Kyoto, Japan, from October 21 - 25, 2024. The 24 full papers presented in this volume were carefully reviewed and selected from 73 submissions. The topics presented in these volumes are organized in the following topical sections: Part I: Invited Keynote and Tutorial Papers; Automata and Games; Concurrent and Distributed Systems; Learning for Verification and Synthesis. Part II: Synthesis and Runtime Verification; Software Verification and Programming Language Semantics; Automated Reasoning and Verification. . 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v15055 606 $aSoftware engineering 606 $aComputer engineering 606 $aComputer networks 606 $aArtificial intelligence 606 $aComputers 606 $aComputer science 606 $aSoftware Engineering 606 $aComputer Engineering and Networks 606 $aArtificial Intelligence 606 $aComputer Hardware 606 $aTheory of Computation 615 0$aSoftware engineering. 615 0$aComputer engineering. 615 0$aComputer networks. 615 0$aArtificial intelligence. 615 0$aComputers. 615 0$aComputer science. 615 14$aSoftware Engineering. 615 24$aComputer Engineering and Networks. 615 24$aArtificial Intelligence. 615 24$aComputer Hardware. 615 24$aTheory of Computation. 676 $a005.1 700 $aAkshay$b S$01785198 701 $aNiemetz$b Aina$01785199 701 $aSankaranarayanan$b Sriram$01380659 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910983090603321 996 $aAutomated Technology for Verification and Analysis$94316799 997 $aUNINA LEADER 02854nam 2200613Ia 450 001 9910955794803321 005 20241107093247.0 010 $a1-58218-565-4 035 $a(CKB)1000000000008881 035 $a(OCoLC)133164427 035 $a(CaPaEBR)ebrary5003695 035 $a(SSID)ssj0000672064 035 $a(PQKBManifestationID)11385276 035 $a(PQKBTitleCode)TC0000672064 035 $a(PQKBWorkID)10635978 035 $a(PQKB)10593412 035 $a(MiAaPQ)EBC3151979 035 $a(Au-PeEL)EBL3151979 035 $a(CaPaEBR)ebr5003695 035 $a(OCoLC)922990946 035 $a(ODN)ODN0000435467 035 $a(EXLCZ)991000000000008881 100 $a20761112e20011868 uy 0 101 0 $aeng 135 $aurcn||||||||| 181 $ctxt 182 $cc 183 $acr 200 14$aThe Army of the Cumberland /$fHenry M. Cist 210 $aScituate, MA $cDigital Scanning$d2001 215 $a1 online resource (301 p.) 225 0 $aThe Army in the civil war ;$vv.7 300 $a"As published in 1868." 300 $aOriginally published: The Army in the Civil War. Volume VII: The Army of the Cumberland. New York: C. Scribner's Sons, 1885, 1883. 311 08$a1-58218-549-2 327 $aTHE ARMY OF THE CUMBERLAND -- PREFACE. -- CONTENTS. -- CHAPTER I. -- EARLY MOVEMENTS -- CHAPTER II. -- MILL SPRINGS -- CHAPTER III. -- CONCENTRATION AT NASHVILLE -- CHAPTER IV. -- MORGAN'S AND FORREST'S RAIDS -- CHAPTER V. -- BRAGG'S ADVANCE INTO KENTUCKY -- CHAPTER VI. -- BATTLE OF PERRYVILLE -- CHAPTER VII. -- THE ADVANCE TO MURFREESBORO -- CHAPTER VIII. -- THE BATTLE OF STONE'S RIVER -- CHAPTER IX. -- IN MURFREESBORO -- CHAPTER X. -- THE ADVANCE ON TULLAHOMA -- CHAPTER XI. -- THE MOVEMENT TO CHICKAMAUGA -- CHAPTER XII. -- THE BATTLE OF CHICKAMAUGA -- CHAPTER XIII. -- THE SIEGE OF CHATTANOOGA -- CHAPTER XIV. -- CHATTANOOGA, LOOKOUT MOUNTAIN, AND MISSIONARY RIDGE BATTLES -- LIST OF MAPS. -- GENERAL MAP OF THE CAMPAIGN -- MILL SPRINGS -- BATTLE OF PERRYVILLE -- BATTLE-MAP STONE'S RIVER -- CHICKAMAUGA CAMPAIGN -- BATTLE OF CHICKAMAUGA -- BATTLEFIELD OF CHATTANOOGA -- APPENDIX A -- APPENDIX B -- APPENDIX C -- INDEX. 606 $aNonfiction$2OverDrive 606 $aHistory$2OverDrive 606 $aReference$2OverDrive 607 $aUnited States$xHistory$yCivil War, 1861-1865 607 $aUnited States$xHistory$yCivil War, 1861-1865$xCampaigns 607 $aUnited States$xHistory$yCivil War, 1861-1865$xRegimental histories 615 17$aNonfiction. 615 7$aHistory. 615 7$aReference. 686 $aHIS030000$2bisacsh 700 $aCist$b Henry Martyn$f1839-1902.$01819556 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910955794803321 996 $aThe Army of the Cumberland$94379922 997 $aUNINA