02815nam 22006375 450 991088780300332120240922130221.09789819769377981976937X10.1007/978-981-97-6937-7(MiAaPQ)EBC31684339(Au-PeEL)EBL31684339(CKB)36165535100041(DE-He213)978-981-97-6937-7(OCoLC)1457099964(EXLCZ)993616553510004120240922d2024 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrier8th International Conference on Computing, Control and Industrial Engineering (CCIE2024) Advances in Computing, Control and Industrial Engineering VIII (Volume 2) /edited by Yuriy S. Shmaliy1st ed. 2024.Singapore :Springer Nature Singapore :Imprint: Springer,2024.1 online resource (643 pages)Lecture Notes in Electrical Engineering,1876-1119 ;12539789819769360 9819769361 This book collects selected aspects of recent advances and experiences, emerging technology trends that have positively impacted our world from operators, authorities, and associations from CCIE 2024, to help address the world’s advanced computing, control technology, information technology, artificial intelligence, machine learning, deep learning, and neural networks. Meanwhile, the topics included in the proceedings have high research value and present current insights, developments, and trends in computing, control, and industrial engineering.Lecture Notes in Electrical Engineering,1876-1119 ;1253Engineering mathematicsEngineeringData processingIndustrial engineeringProduction engineeringAutomatic controlMathematical and Computational Engineering ApplicationsIndustrial and Production EngineeringControl and Systems TheoryEngineering mathematics.EngineeringData processing.Industrial engineering.Production engineering.Automatic control.Mathematical and Computational Engineering Applications.Industrial and Production Engineering.Control and Systems Theory.620S. Shmaliy Yuriy1769229MiAaPQMiAaPQMiAaPQBOOK99108878030033218th International Conference on Computing, Control and Industrial Engineering (CCIE2024)4237452UNINA01672oam 2200493zu 450 991048288540332120250724185308.0(CKB)1000000000751040(SSID)ssj0000508725(PQKBManifestationID)12250722(PQKBTitleCode)TC0000508725(PQKBWorkID)10555091(PQKB)10440049(EXLCZ)99100000000075104020160829d1995 uy 0engtxtrdacontentcrdamediacrrdacarrierDescriptive set theory and forcingVol. IV how to prove theorems about Borel sets the hard way /Arnold W. MillerNew York :Springer-Verlag,[1995].©1995.1 online resource (130 pages)Lecture notes in logic ;4Bibliographic Level Mode of Issuance: Monograph3-540-60059-0 Includes bibliographical references (pages 121-127) and index.I. On the length of Borel hierarchies -- II. Analytic sets -- III. Classical Separation Theorems -- IV. Gandy Forcing.Lecture notes in logic ;4.Set theoryDescriptive set theoryForcing (Model theory)Borel setsSet theory.Descriptive set theory.Forcing (Model theory)Borel sets.511.3/22Miller Arnold W.1950-893378PQKBBOOK9910482885403321Descriptive set theory and forcing1995673UNINA