LEADER 01347nam 2200325Ia 450 001 996393956303316 005 20221107221230.0 035 $a(CKB)4940000000115266 035 $a(EEBO)2240904474 035 $a(UnM)99898112 035 $a(EXLCZ)994940000000115266 100 $a19990303d1554 uy | 101 0 $aeng 135 $aurbn||||a|bb| 200 12$aA bouclier of the catholike fayth of Christes church$b[electronic resource] $econteynyng diuers matters now of late called into controuersy, by the newe gospellers. Made by Richard Smith, doctour of diuinitee, [and] the Quenes hyghnes reader of the same I her graces vniuersite of oxford 210 $a[Imprynted at London $cin Fletestrete at the Sygne of the Hande and Starre, within Temple Barre, by Rychard Tottell$d[1554]] 215 $a[184] p 300 $aImprint from colophon; date of publication from STC. 300 $aSignatures: [pi] 2[pi]? A-K. 300 $aBound and filmed preceding STC 22817. 300 $aReproduction of original in the Folger Shakespeare Library. 330 $aeebo-0055 700 $aSmith$b Richard$f1500-1563.$01002757 801 0$bCu-RivES 801 1$bCu-RivES 801 2$bWaOLN 906 $aBOOK 912 $a996393956303316 996 $aA bouclier of the catholike fayth of Christes church$92364718 997 $aUNISA LEADER 03061nam 22006015 450 001 9910299248103321 005 20200704120215.0 010 $a3-319-20442-4 024 7 $a10.1007/978-3-319-20442-0 035 $a(CKB)3710000000467365 035 $a(SSID)ssj0001558349 035 $a(PQKBManifestationID)16182953 035 $a(PQKBTitleCode)TC0001558349 035 $a(PQKBWorkID)14819061 035 $a(PQKB)11636462 035 $a(DE-He213)978-3-319-20442-0 035 $a(MiAaPQ)EBC6310714 035 $a(MiAaPQ)EBC5589107 035 $a(Au-PeEL)EBL5589107 035 $a(OCoLC)918899421 035 $a(PPN)188457569 035 $a(EXLCZ)993710000000467365 100 $a20150813d2015 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aObject-Oriented Technology /$fby Suad Alagi? 205 $a1st ed. 2015. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015. 215 $a1 online resource (XIV, 209 p. 40 illus.) 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-319-20441-6 327 $aTyped Objects -- Assertions -- Virtual Platform -- Type Systems -- Concurrent Models -- Object Databases -- Types and Constraints. 330 $aThe 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. 606 $aProgramming languages (Electronic computers) 606 $aComputer programming 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 615 0$aProgramming languages (Electronic computers) 615 0$aComputer programming. 615 14$aProgramming Languages, Compilers, Interpreters. 615 24$aProgramming Techniques. 676 $a005.117 700 $aAlagi?$b Suad$4aut$4http://id.loc.gov/vocabulary/relators/aut$044249 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910299248103321 996 $aObject-Oriented Technology$92544346 997 $aUNINA LEADER 01293nam 22003493a 450 001 9910832960403321 005 20250123132222.0 035 $a(CKB)4950000000290357 035 $a(ScCtBLL)c75004e9-6d44-414f-875a-ed5324e10282 035 $a(OCoLC)1000336532 035 $a(EXLCZ)994950000000290357 100 $a20250123i20102016 uu 101 0 $aeng 135 $auru|||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 02$aA Coriolis Tutorial$fJames F. Price 210 1$a[s.l.] :$cMIT OpenCourseWare,$d2010. 215 $a1 online resource (92 p.) 330 $aThis essay is an introduction to rotating reference frames and to the effects of Earth's rotation on thelarge scale flows of the atmosphere and ocean. It is intended for students who are beginning aquantitative study of Earth science and geophysical fluid dynamics and who have some background inclassical mechanics and applied mathematics. 606 $aScience / Earth Sciences$2bisacsh 606 $aScience 615 7$aScience / Earth Sciences 615 0$aScience. 700 $aPrice$b James F$0127739 801 0$bScCtBLL 801 1$bScCtBLL 906 $aBOOK 912 $a9910832960403321 996 $aA Coriolis Tutorial$94322280 997 $aUNINA