02375nam 2200541Ia 450 991045304720332120200520144314.01-60805-473-X(CKB)2550000001042775(EBL)1137762(OCoLC)895427693(SSID)ssj0000912982(PQKBManifestationID)11514876(PQKBTitleCode)TC0000912982(PQKBWorkID)11013248(PQKB)11370835(MiAaPQ)EBC1137762(Au-PeEL)EBL1137762(CaPaEBR)ebr10677810(EXLCZ)99255000000104277520130413d2013 uy 0engur|n|---|||||txtccrAstrobiology the search for life in the universe[electronic resource] /Arnold Hanslmeier[Sharjah, U.A.E.] Bentham Science Publishers20131 online resource (220 p.)Includes index.1-60805-599-X ""Title ""; ""EUL ""; ""Contents ""; ""Foreword ""; ""Preface ""; ""Chapter 01 ""; ""Chapter 03 ""; ""Chapter 02 ""; ""Chapter 04 ""; ""Chapter 05 ""; ""Chapter 06 ""; ""Chapter 07 ""; ""Chapter 08 ""; ""Chapter 09 ""; ""Chapter 10 ""; ""Bibliography ""; ""Index ""Astrobiology refers to the study of the origin, evolution, distribution, and future of life in the universe. This encompasses extraterrestrial life and life on Earth. Astrobiology is an interdisciplinary field that is gaining a rapidly growing interest among both the general public and the astronomical research community. This e-book explains the detection and evolution of exoplanets and discusses the question of habitability on such objects. Chapters in this text include cited references enabling the reader to acquire more information on specific aspects of astrobiology. It is also a suitableExobiologyLife on other planetsElectronic books.Exobiology.Life on other planets.576.8576.839Hanslmeier Arnold858461MiAaPQMiAaPQMiAaPQBOOK9910453047203321Astrobiology the search for life in the universe2103517UNINA03061nam 22006015 450 991029924810332120200704120215.03-319-20442-410.1007/978-3-319-20442-0(CKB)3710000000467365(SSID)ssj0001558349(PQKBManifestationID)16182953(PQKBTitleCode)TC0001558349(PQKBWorkID)14819061(PQKB)11636462(DE-He213)978-3-319-20442-0(MiAaPQ)EBC6310714(MiAaPQ)EBC5589107(Au-PeEL)EBL5589107(OCoLC)918899421(PPN)188457569(EXLCZ)99371000000046736520150813d2015 u| 0engurnn|008mamaatxtccrObject-Oriented Technology /by Suad Alagić1st ed. 2015.Cham :Springer International Publishing :Imprint: Springer,2015.1 online resource (XIV, 209 p. 40 illus.) Bibliographic Level Mode of Issuance: Monograph3-319-20441-6 Typed Objects -- Assertions -- Virtual Platform -- Type Systems -- Concurrent Models -- Object Databases -- Types and Constraints.The core idea of this book is that object– oriented technology is a generic technology whose various technical aspects can be presented in a unified and consistent framework. This applies to both practical and formal aspects of object-oriented technology. Course tested in a variety of object-oriented courses, numerous examples, figures and exercises are presented in each chapter. The approach in this book is based on typed technologies, and the core notions fit mainstream object-oriented languages such as Java and C#. The book promotes object-oriented constraints (assertions), their specification and verification. Object-oriented constraints apply to specification and verification of object-oriented programs, specification of the object-oriented platform, more advanced concurrent models, database integrity constraints and object-oriented transactions, their specification and verification.Programming languages (Electronic computers)Computer programmingProgramming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Programming languages (Electronic computers)Computer programming.Programming Languages, Compilers, Interpreters.Programming Techniques.005.117Alagić Suadauthttp://id.loc.gov/vocabulary/relators/aut44249MiAaPQMiAaPQMiAaPQBOOK9910299248103321Object-Oriented Technology2544346UNINA