LEADER 01124nam0 22002771i 450 001 UON00322316 005 20231205104145.540 100 $a20090325d1978 |0itac50 ba 101 $amac 102 $aMK 105 $a|||| 1|||| 200 1 $aBogomilstvoto vo srednovekovnata izvorna graga$fDragoljub Drakojlovic, Vera Antic 210 $aSkopje$cMakedoska Akademija na Naukite$d1978 215 $a274 p.$d25 cm. 606 $aLETTERATURA BULGARA$xBOGOMILI$3UONC071180$2FI 620 $aMK$dSkopje$3UONL001199 676 $a891.81$cLetteratura bulgara$v21 700 1$aDRAGOJLOVIC$bDragoljub$3UONV130166$0683820 701 1$aANTIC$bVera$3UONV183622$0699312 712 $aMakedonska Akademija na Naukite i Umetnostite$3UONV269406$4650 801 $aIT$bSOL$c20240220$gRICA 899 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$2UONSI 912 $aUON00322316 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI BULGARO A I 0035 $eSI EO 41910 5 0035 996 $aBogomilstvoto vo srednovekovnata izvorna graga$91370840 997 $aUNIOR LEADER 03545nam 22006135 450 001 9910254329903321 005 20200702091927.0 024 7 $a10.1007/978-3-319-50763-7 035 $a(CKB)3710000001095332 035 $a(DE-He213)978-3-319-50763-7 035 $a(MiAaPQ)EBC4821162 035 $a(iGPub)SPNA0049391 035 $a(PPN)199768706 035 $a(EXLCZ)993710000001095332 100 $a20170309d2017 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFormal Methods for Discrete-Time Dynamical Systems /$fby Calin Belta, Boyan Yordanov, Ebru Aydin Gol 205 $a1st ed. 2017. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2017. 215 $a1 online resource (XVIII, 284 p. 93 illus., 39 illus. in color.) 225 1 $aStudies in Systems, Decision and Control,$x2198-4182 ;$v89 311 $a3-319-50762-1 311 $a3-319-50763-X 320 $aIncludes bibliographical references and index. 327 $aTransition Systems -- Temporal Logics and Automata -- Model Checking -- Largest Finite Satisfying Region -- Finite Temporal Logic Control -- Discrete-Time Dynamical Systems -- Largest Satisfying Region -- Parameter Synthesis -- Temporal Logic Control -- Finite Bisimulations -- Language Guided Controller Synthesis -- Optimal Temporal Logic Control -- Background. 330 $aThis book bridges fundamental gaps between control theory and formal methods. Although it focuses on discrete-time linear and piecewise affine systems, it also provides general frameworks for abstraction, analysis, and control of more general models. The book is self-contained, and while some mathematical knowledge is necessary, readers are not expected to have a background in formal methods or control theory. It rigorously defines concepts from formal methods, such as transition systems, temporal logics, model checking and synthesis. It then links these to the infinite state dynamical systems through abstractions that are intuitive and only require basic convex-analysis and control-theory terminology, which is provided in the appendix. Several examples and illustrations help readers understand and visualize the concepts introduced throughout the book. 410 0$aStudies in Systems, Decision and Control,$x2198-4182 ;$v89 606 $aAutomatic control 606 $aComputational complexity 606 $aSystem theory 606 $aControl and Systems Theory$3https://scigraph.springernature.com/ontologies/product-market-codes/T19010 606 $aComplexity$3https://scigraph.springernature.com/ontologies/product-market-codes/T11022 606 $aSystems Theory, Control$3https://scigraph.springernature.com/ontologies/product-market-codes/M13070 615 0$aAutomatic control. 615 0$aComputational complexity. 615 0$aSystem theory. 615 14$aControl and Systems Theory. 615 24$aComplexity. 615 24$aSystems Theory, Control. 676 $a620 700 $aBelta$b Calin$4aut$4http://id.loc.gov/vocabulary/relators/aut$0929361 702 $aYordanov$b Boyan$4aut$4http://id.loc.gov/vocabulary/relators/aut 702 $aAydin Gol$b Ebru$4aut$4http://id.loc.gov/vocabulary/relators/aut 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910254329903321 996 $aFormal Methods for Discrete-Time Dynamical Systems$92088784 997 $aUNINA LEADER 03524nam 2200637 a 450 001 9910974384903321 005 20200520144314.0 010 $a0-8147-8995-1 010 $a0-8147-9119-0 024 7 $a10.18574/9780814789957 035 $a(CKB)1000000000536074 035 $a(EBL)866073 035 $a(OCoLC)782878104 035 $a(SSID)ssj0000141351 035 $a(PQKBManifestationID)11151378 035 $a(PQKBTitleCode)TC0000141351 035 $a(PQKBWorkID)10089907 035 $a(PQKB)11421591 035 $a(OCoLC)242989100 035 $a(MdBmJHUP)muse10243 035 $a(DE-B1597)547762 035 $a(DE-B1597)9780814789957 035 $a(Au-PeEL)EBL866073 035 $a(CaPaEBR)ebr10280030 035 $a(Perlego)719237 035 $a(MiAaPQ)EBC866073 035 $a(EXLCZ)991000000000536074 100 $a20080129d2008 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aDreaming in the world's religions $ea comparative history /$fKelly Bulkeley 205 $a1st ed. 210 $aNew York $cNew York University Press$dc2008 215 $a1 online resource (345 p.) 300 $aDescription based upon print version of record. 311 08$a0-8147-9957-4 311 08$a0-8147-9956-6 320 $aIncludes bibliographical references (p. 301-317) and index. 327 $aHinduism -- Chinese religions -- Buddhism -- Religions of the Fertile Crescent -- Religions of ancient Greece and Rome -- Christianity -- Islam -- Religions of Africa -- Religions of Oceania -- Religions of the Americas. 330 $aFrom Biblical stories of Joseph interpreting Pharoh?s dreams in Egypt to prayers against bad dreams in the Hindu Rg Veda, cultures all over the world have seen their dreams first and foremost as religiously meaningful experiences. In this widely shared view, dreams are a powerful medium of transpersonal guidance offering the opportunity to communicate with sacred beings, gain valuable wisdom and power, heal suffering, and explore new realms of existence. Conversely, the world?s religious and spiritual traditions provide the best source of historical information about the broad patterns of human dream life Dreaming in the World?s Religions provides an authoritative and engaging one-volume resource for the study of dreaming and religion. It tells the story of how dreaming has shaped the religious history of humankind, from the Upanishads of Hinduism to the Qur?an of Islam, from the conception dream of Buddhas mother to the sexually tempting nightmares of St. Augustine, from the Ojibwa vision quest to Australian Aboriginal journeys in the Dreamtime. Bringing his background in psychology to bear, Kelly Bulkeley incorporates an accessible consideration of cognitive neuroscience and evolutionary psychology into this fascinating overview. Dreaming in the World?s Religions offers a carefully researched, accessibly written portrait of dreaming as a powerful, unpredictable, often iconoclastic force in human religious life. 606 $aDreams$xReligious aspects$xHistory 606 $aReligions$xHistory 615 0$aDreams$xReligious aspects$xHistory. 615 0$aReligions$xHistory. 676 $a204/.2 700 $aBulkeley$b Kelly$f1962-$01625155 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910974384903321 996 $aDreaming in the world's religions$94453523 997 $aUNINA