01309nam2 2200373 450 99000341221020331620100611141901.0978-1-4073-0620-9000341221USA01000341221(ALEPH)000341221USA0100034122120100611d2009----km-y0itay50------baengGB||||||||001yy<<The>> Mamasani Archaeological Project stage onea report on the first two seasons of the ICAR-University of Sydney expedition to the Mamasani District, Fars Province, Iranmembers of the Mamasani Archaeologial Project Teamedited by D.T. Potts ... [et al.]OxfordArcheopress2009XIV, 700 p.ill.30 cmBAR International series2044001000018484BAR International series20012001ArcheologiaIranBNCF935POTTS,Daniel T.ITsalbcISBD990003412210203316XI.5. Coll. 12/684222307 LMXI.5.00264740BKUMASENATORE9020100611USA011412SENATORE9020100611USA011419Mamasani Archaeological Project stage one1125828UNISA03997nam 22006495 450 99646577190331620200630022903.03-642-22303-610.1007/978-3-642-22303-7(CKB)2670000000099845(SSID)ssj0000530746(PQKBManifestationID)11337716(PQKBTitleCode)TC0000530746(PQKBWorkID)10568076(PQKB)11727709(DE-He213)978-3-642-22303-7(MiAaPQ)EBC3067017(PPN)156321912(EXLCZ)99267000000009984520110718d2011 u| 0engurnn|008mamaatxtccrLogic, Language, and Computation[electronic resource] 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected Papers /edited by Nick Bezhanishvili, Sebastian Löbner, Kerstin Schwabe, Luca Spada1st ed. 2011.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2011.1 online resource (XIV, 360 p.) Lecture Notes in Artificial Intelligence ;6618Bibliographic Level Mode of Issuance: Monograph3-642-22302-8 Includes bibliographical references and author index.Natural language syntax, semantics, and pragmatics -- Constructive, modal and algebraic logic -- Linguistic typology and semantic universals -- Logics for artificial intelligence -- Information retrieval, query answer systems -- Logic, games, and formal pragmatics -- Language evolution and learnability -- Computational social choice -- Historical linguistics, history of logic.Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, held in Bakuriani, Georgia, in September 2009. The 20 revised full papers included in the book were carefully reviewed and selected from numerous presentations given at the symposium. The focus of the papers is on the following topics: natural language syntax, semantics, and pragmatics; constructive, modal and algebraic logic; linguistic typology and semantic universals; logics for artificial intelligence; information retrieval, query answer systems; logic, games, and formal pragmatics; language evolution and learnability; computational social choice; historical linguistics, history of logic.Lecture Notes in Artificial Intelligence ;6618Artificial intelligenceMathematical logicNatural language processing (Computer science)Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Natural Language Processing (NLP)https://scigraph.springernature.com/ontologies/product-market-codes/I21040Artificial intelligence.Mathematical logic.Natural language processing (Computer science).Artificial Intelligence.Mathematical Logic and Formal Languages.Natural Language Processing (NLP).006.3Bezhanishvili Nickedthttp://id.loc.gov/vocabulary/relators/edtLöbner Sebastianedthttp://id.loc.gov/vocabulary/relators/edtSchwabe Kerstinedthttp://id.loc.gov/vocabulary/relators/edtSpada Lucaedthttp://id.loc.gov/vocabulary/relators/edtBOOK996465771903316Logic, Language, and Computation772541UNISA05834nam 2200769 a 450 991095687590332120200520144314.097866113219499781281321947128132194X97804707264640470726466(CKB)1000000000399923(EBL)351059(OCoLC)437214053(SSID)ssj0000137818(PQKBManifestationID)11954192(PQKBTitleCode)TC0000137818(PQKBWorkID)10096265(PQKB)10091580(Au-PeEL)EBL351059(CaPaEBR)ebr10233027(CaONFJC)MIL132194(CaSebORM)9780470725702(MiAaPQ)EBC351059(OCoLC)699851725(OCoLC)ocn699851725 (Perlego)2757689(EXLCZ)99100000000039992320070719d2007 uy 0engur|n|---|||||txtccrDeveloping software for Symbian OS a beginner's guide to creating Symbian OS v9 smartphone applications in C++ /Steve Babin ; reviewed by Antony Pranata ... [et al.]2nd ed.Chichester, England ;Hoboken, NJ John Wiley & Sonsc20071 online resource (462 p.)Symbian PressDescription based upon print version of record.9780470725702 0470725702 Includes bibliographical references (p. [413]-414) and index.Developing Software for Symbian OS; Contents; Foreword (Jo Stichbury); Foreword (Warren Day); Biography; Author Acknowledgments; Symbian Press Acknowledgments; Symbian OS Code Conventions and Notations Used in the Book; 1 Smartphones and Symbian OS; 1.1 Notes on this New Edition; 1.2 Smartphone Concepts; 1.3 Smartphone Features; 1.4 The Mobile OS; 1.5 Symbian OS - A Little History; 1.6 Symbian OS Smartphones; 1.7 Other Smartphone Operating Systems; 2 Symbian OS Quick Start; 2.1 What Do You Need to Get Started?; 2.2 Firing Up the Development Tools; 2.3 Simple Example Application2.4 Building and Executing on the Emulator2.5 A Carbide.c++ Project; 2.6 Building for the Smartphone; 3 Symbian OS Architecture; 3.1 Components in Symbian OS; 3.2 Multitasking in Symbian OS; 3.3 Shared Code: Libraries, DLLs, and Frameworks; 3.4 Client-Server Model; 3.5 Memory in Symbian OS; 3.6 The Kernel; 3.7 Active Objects and Asynchronous Functions; 3.8 GUI Architecture; 3.9 High-Performance Graphics; 3.10 The Communication Architecture; 3.11 Application Engines and Services; 3.12 Platform Security; 4 Symbian OS Programming Basics; 4.1 Use of C++ in Symbian OS4.2 Non-standard C++ Characteristics4.3 Basic Data Types; 4.4 Symbian OS Classes; 4.5 Exception Error Handling and Cleanup; 4.6 Libraries; 4.7 Executable Files; 4.8 Naming Conventions; 4.9 Summary; 5 Symbian OS Build Environment; 5.1 SDK Directory Structure; 5.2 Build System Overview; 5.3 Basic Build Flow; 5.4 Build Targets; 5.5 What is a UID?; 5.6 The Emulator; 5.7 Building Shared Libraries; 5.8 DLL Interface Freezing; 5.9 Installing Applications on the Smartphone; 6 Strings, Buffers, and Data Collections; 6.1 Introducing the Text Console; 6.2 Descriptors for Strings and Binary Data6.3 The Descriptor Classes6.4 Descriptor Methods; 6.5 Converting Between 8-Bit and 16-Bit Descriptors; 6.6 Dynamic Buffers; 6.7 Templates in Symbian OS; 6.8 Arrays; 6.9 Other Data Collection Classes; 7 Platform Security and Symbian Signed; 7.1 What is Platform Security?; 7.2 What Platform Security is Not; 7.3 What this Means to a Developer; 7.4 Capabilities for API Security; 7.5 Application Signing in Symbian; 7.6 Getting Your Application Symbian Signed; 7.7 Developer Certificates; 8 Asynchronous Functions and Active Objects; 8.1 Asynchronous Functions; 8.2 Introducing Active Objects8.3 The Active Scheduler8.4 Active Scheduler Error Handling; 8.5 Active Object Priorities; 8.6 Canceling Outstanding Requests; 8.7 Removing an Active Object; 8.8 Active Object Example; 8.9 Active Object Issues; 8.10 Using Active Objects for Background Tasks; 9 Processes, Threads, and Synchronization; 9.1 Processes; 9.2 Using Threads on Symbian OS; 9.3 Sharing Memory Between Processes; 9.4 Memory Chunks; 9.5 Thread Synchronization; 10 Client-Server Framework; 10.1 Client-Server Overview; 10.2 A Look at the Client-Server Classes; 10.3 Client-Server Example11 Symbian OS TCP/IP Network ProgrammingMany problems encountered by engineers developing code for specialized Symbian subsystems boil down to a lack of understanding of the core Symbian programming concepts. Developing Software for Symbian OS remedies this problem as it provides a comprehensive coverage of all the key concepts. Numerous examples and descriptions are also included, which focus on the concepts the author has seen developers struggle with the most. The book covers development ranging from low-level system programming to end user GUI applications. It also covers the development and packaging tools, as well as providingSymbian PressMobile communication systemsComputer programsOperating systems (Computers)C++ (Computer program language)Mobile communication systemsComputer programs.Operating systems (Computers)C++ (Computer program language)621.3845/6Babin Steve1814891MiAaPQMiAaPQMiAaPQBOOK9910956875903321Developing software for Symbian OS4369072UNINA