Unilibrary. Oliy ta'lim muassasalarining yagona elektron kutubxona axborot tizimi.

Hardware and Software: Verification and Testing

Simulation-based verification.- Software and hardware equivalence checking.- Static analysis.- Model checking.- Hardware/software co-verification.- Validation of data-intensive solutions.- Coverage analysis and test minimization.- Testing of mobile and cloud applications.- Software artifacts review and inspection.- Security verification.- Machine learning techniques for verification. This book constitutes the refereed proceedings of the 13th International Haifa Verification Conference, HVC 2017, held in Haifa, Israel in November 2017.The 13 revised full papers presented together with 4 poster and 5 tool demo papers were carefully reviewed and selected from 45 submissions. They are dedicated to advance the state of the art and state of the practice in verification and testing and are discussing future directions of testing and verification for hardware, software, and complex hybrid systems.

Advances in Visual Informatics

This book constitutes the refereed proceedings of the 5th International Conference on Advances in Visual Informatics, IVIC 2017, held in Bangi, Malaysia, in November 2017. The keynote and 72 papers presented were carefully reviewed and selected from 130 submissions. The papers are organized in the following topics: Visualization and Data Driven Technology; Engineering and Data Driven Innovation; Data Driven Societal Well-being and Applications; and Data Driven Cyber Security.

Cloud Computing, Security, Privacy in New Computing Environments

This book constitutes the refereed proceedings of the 7th International Conference on Cloud Computing, Security, Privacy in New Computing Environments, CloudComp 2016, and the First EAI International Conference SPNCE 2016, both held in Guangzhou, China, in November and December 2016.The proceedings contain 10 full papers selected from 27 submissions and presented at CloudComp 2016 and 12 full papers selected from 69 submissions and presented at SPNCE 2016. CloudComp 2016 presents recent advances and experiences in clouds, cloud computing and related ecosystems and business support. SPNCE 2016 focuses on security and privacy aspects of new computing environments including mobile computing, big data, cloud computing and other large-scale environments.

Digging into Software Knowledge Generation in Cultural Heritage

The book also reports on two case studies carried out in real-world scenarios within the Cultural Heritage setting. The book presents an original conceptual framework for developing software solutions to assist the knowledge generation process in connection with large archaeological data sets and related cultural heritage information― a context in which the inputs are mainly textual sources written in freestyle, i.e. without a predetermined, standard structure. Following an in-depth exploration of recent works on the knowledge generation process in the above-mentioned context and IT-based options for facilitating it, the book proposes specific new techniques capable of capturing the structure and semantics implicit in such textual sources, and argues for using this information in the knowledge generation process.

Reliability, Safety, and Security of Railway Systems

This volume constitutes the proceedings of the Second International Conference on Reliability, Safety and Security of Railway Systems, RRSRail 2017, held in Pistoia, Italy, in November 2017. The 16 papers presented in this volume were carefully reviewed and selected from 34 submissions. They are organized in topical sections named: communication challenges in railway systems; formal modeling and verification for safety; light rail and urban transit; and engineering techniques and standards. The book also contains one keynote talk in full-paper length.

The Semantic Web – ISWC 2017

The two-volume set LNCS 10587 + 10588 constitutes the refereed proceedings of the 16th International Semantic Web Conference, ISWC 2017, held in Vienna, Austria, in October 2017. ISWC 2017 is the premier international forum, for the Semantic Web / Linked Data Community. The total of 55 full and 21 short papers presented in this volume were carefully reviewed and selected from 300 submissions. They are organized according to the tracks that were held: Research Track; Resource Track; and In-Use Track.

Cloud Infrastructures, Services, and IoT Systems for Smart Cities

The 26 full papers of both conferences were selected from 39 submissions. CN4IoT presents research activities on the uniform management and operation related to software defined infrastructures, in particular by analyzing limits or advantages in solutions for Cloud Networking and IoT. IISSC papers focus on ICT infrastructures (technologies, models, frameworks) and services in cities and smart communities.

Multi-Agent Based Simulation XVII

This book constitutes the thoroughly refereed post-conference proceedings of the 17th International Workshop on Multi-Agent-Based Simulation, MABs 2016, held in Singapore, in May 2016. The workshop was held in Conjunction with the 15th International Conference on Autonomous Agents and Multi-Agent Systems, AAMAS 2016. The 10 revised full papers included in this volume were carefully selected from 15 submissions. The topic of the papers is about modeling and analyzing multi-agent systems and applying agent-based simulation techniques to real-world problems, focusing on the confluence of socio-technical- natural sciences and multi-agents systems with a strong application/empirical vein. Special emphasis is given on exploratory agent-based simulation as a principled way of undertaking scientific research in the social sciences and on using social theories as an inspiration to new frameworks and developments in multi-agent systems.

Ўзбек халқ мусиқа ижоди

Мазкур кўлланмада ўзбек халқ қўшиқчилик ижодиёти намуналари бир қадар тизимлаштирилган бўлиб, уларнинг ички тузилиш конуниятлари, халқ маънавий хаётида тутган ўрни маълум даражада ўрганилган ва тадбиқ этилган.

Coding Theory and Applications

The program contains presentations on relevant research areas in modern Coding Theory, including codes and combinatorial structures, algebraic geometric codes, group codes, convolutional codes, network coding, other applications to communications, and applications of coding theory in cryptography. All papers have passed through a thorough review process, which assures the high quality of the program.

Налоги

В учебном пособии представлена существующая система налогообложения Российской Федерации, детально охарактеризованы все виды налогов, отражены вопросы информатизации налоговой системы, систематизирован материал по применению налогового законодательства с учетом нового налогового законодательства. Книга имеет предметно-хронологический указатель нормативных актов по налогообложению и алфавитно-предметный указатель (3-е изд.- 1997 г.). Для студентов высших учебных заведений, специализирующихся в области экономики и финансов, а также практических работников.

Software Engineering for Resilient Systems

The workshop was established by the members of the ERCIM working group SERENE. The group promotes the idea of the resilient-explicit development process. It stresses the importance of extending the traditional software engineering practice with the theories and tools supporting modelling and verification of various aspects of resilience. We would like to thank the SERENE working group for their hard work on publicizing the event and contributing to its technical program. SERENE 2017 attracted 16 submissions, from which 11 papers were accepted. Every paper received three rigorous reviews. All submissions were of a high quality, which has allowed us to build a strong and technically enlightening program. We would like to express our gratitude to the program committee members and the additional reviewers who have actively participated in reviewing and discussing the submissions.

Mobile Web and Intelligent Information Systems

The 23 full papers together with 4 short papers presented in this volume were carefully reviewed and selected from 77 submissions. The call for papers of the MobiWis 2017 included new and emerging areas such as: mobile web systems, recommender systems, security and authentication, context-awareness, mobile web and advanced applications, cloud and IoT, mobility management, mobile and wireless networks, and mobile web practice and experience.

Collaboration and Technology

The papers cover the entire field of human-computer interaction, addressing major advances in knowledge and effective use of computers in a variety of applications areas. The papers in this volume are organized in the following topical sections: designing and evaluating systems and applications, technological innovation in education, learning and collaboration, learners, engagement, motification, and skills, games and gamification of learning, technology-enhanced teaching and assessment, computing and engineering education.

Экономика материально-технического снабжения

В настоящем учебном пособии помещены задачи по всем темам курса «Экономика, организация и планирование материально-технического снабжения» и методические указания к решению задач каждой темы. В основу построения задач легли материалы, взятые из практики работы органов системы Госснаба СССР и предприятий, Сборник задач составлен с таким расчетом, чтобы студенты, решая предложенные задачи, закрепляли знания, полученные на лекциях и при изучении учебника.

Advances in Cryptology – CRYPTO 2017

The three volume-set, LNCS 10401, LNCS 10402, and LNCS 10403, constitutes the refereed proceedings of the 37th Annual International Cryptology Conference, CRYPTO 2017, held in Santa Barbara, CA, USA, in August 2017. The 72 revised full papers presented were carefully reviewed and selected from 311 submissions. The papers are organized in the following topical sections: functional encryption; foundations; two-party computation; bitcoin; multiparty computation; award papers; obfuscation; conditional disclosure of secrets; OT and ORAM; quantum; hash functions; lattices; signatures; block ciphers; authenticated encryption; public-key encryption, stream ciphers, lattice crypto; leakage and subversion; symmetric-key crypto, and real-world crypto.