0
Your cart

Your cart is empty

Browse All Departments
Price
  • R50 - R100 (1)
  • R100 - R250 (18)
  • R250 - R500 (76)
  • R500+ (1,096)
  • -
Status
Format
Author / Contributor
Publisher

Books > Computing & IT > Computer hardware & operating systems > Operating systems & graphical user interfaces (GUIs) > General

Symbian OS Communications Programming (Paperback): MJ Jipping Symbian OS Communications Programming (Paperback)
MJ Jipping
R1,655 R1,358 Discovery Miles 13 580 Save R297 (18%) Ships in 18 - 22 working days

Communication lies at the heart of Symbian OS and the devices that use it. Symbian OS has a powerful and flexible communications architecture that addresses current state-of-the-art as well as future functionality. This rich environment gives developers access to important technologies such as wireless Bluetooth networks, TCP/IP networking, infrared data transport, email and SMS messaging, and WAP content.

Symbian OS Communications Programming is a guide to the Symbian OS communications architecture. It provides developers with authoritative and practical information on the communications models and programming interfaces that are used by Symbian OS, along with illustrative and timely examples.

SOCP covers all transport technologies supported by Symbian OS v6.1 including:serial and infrared communication, TCP/IP network support, Bluetooth, and telephony. Examples show how to take advantage of each technology.

SOCP also provides coverage of content technologies, such as HTML and WAP, and includes an explanation of the Symbian OS messaging architecture. Examples demonstrate the sending and receiving of email and SMS messages and to show the client/server interaction involved in pushing and pulling content to and from servers.

Advanced topic coverage includes the use of the Symbian OS communications database and a review of supported and future synchronization technologies such as SyncML.

This guide is designed for developers who have experience of programming in C++ and are interested in taking advantage of the communications possibilities of Symbian OS. No prior experience with communications programming is assumed.

Source code for all examples available for download from accompanying website.

The Multi-Agent Programming Contest 2018 - Agents Teaming Up in an Urban Environment (Paperback, 1st ed. 2019): Tobias... The Multi-Agent Programming Contest 2018 - Agents Teaming Up in an Urban Environment (Paperback, 1st ed. 2019)
Tobias Ahlbrecht, Jurgen Dix, Niklas Fiekas
R1,408 Discovery Miles 14 080 Ships in 18 - 22 working days

This book constitutes the 13th edition of the annual Multi-Agent Programming Contest, MAPC 2018, and presents its participants. The 2018 scenario and all its changes from previous competitions are described in the first contribution, together with a brief description and analysis of the five participating teams and a closer look at the matches. It is followed by a contribution from each team, introducing their methods and tools used to create their agent team and analyzing their performance and the contest.

Supercomputing - 10th International Conference on Supercomputing in Mexico, ISUM 2019, Monterrey, Mexico, March 25-29, 2019,... Supercomputing - 10th International Conference on Supercomputing in Mexico, ISUM 2019, Monterrey, Mexico, March 25-29, 2019, Revised Selected Papers (Paperback, 1st ed. 2019)
Moises Torres, Jaime Klapp
R1,427 Discovery Miles 14 270 Ships in 18 - 22 working days

This book constitutes the refereed proceedings of the 10th International Conference on Supercomputing, ISUM 2019, held in Monterrey, Mexico, in March 2019.The 25 revised full papers presented were carefully reviewed and selected from 78 submissions. The papers are organized in topical sections on HPC architecture, networks, system software, algorithmic techniques, modeling and system tools, clouds, distributed computing, big data, data analytics, visualization and storage, applications for science and engineering, and emer- ging technologies.

Cloud Computing and Services Science - 10th International Conference, CLOSER 2020, Prague, Czech Republic, May 7-9, 2020,... Cloud Computing and Services Science - 10th International Conference, CLOSER 2020, Prague, Czech Republic, May 7-9, 2020, Revised Selected Papers (Paperback, 1st ed. 2021)
Donald Ferguson, Claus Pahl, Markus Helfert
R1,425 Discovery Miles 14 250 Ships in 18 - 22 working days

This book constitutes extended, revised and selected papers from the 10th International Conference on Cloud Computing and Services Science, CLOSER 2020, held in Prague, Czech Republic, in May 2020. Due to the COVID-19 pandemic the conference was held in a virtual format. The 14 papers presented in this volume were carefully reviewed and selected from a total of 69 submissions. CLOSER 2020 focuses on the emerging area of cloud computing, inspired by some latest advances that concern the infrastructure, operations, and available servicesthrough the global network.

Euro-Par 2020: Parallel Processing Workshops - Euro-Par 2020 International Workshops, Warsaw, Poland, August 24-25, 2020,... Euro-Par 2020: Parallel Processing Workshops - Euro-Par 2020 International Workshops, Warsaw, Poland, August 24-25, 2020, Revised Selected Papers (Paperback, 1st ed. 2021)
Bartosz Balis, Dora B. Heras, Laura Antonelli, Andrea Bracciali, Thomas Gruber, …
R1,430 Discovery Miles 14 300 Ships in 18 - 22 working days

This book constitutes revised selected papers from the workshops held at the 26th International Conference on Parallel and Distributed Computing, Euro-Par 2020, which took place in Warsaw, Poland, in August 2020. The workshops were held virtually due to the coronavirus pandemic.The 27 full papers presented in this volume were carefully reviewed and selected from 50 submissions. Euro-Par is an annual, international conference in Europe, covering all aspects of parallel and distributed processing. These range from theory to practice, from small to the largest parallel and distributed systems and infrastructures, from fundamental computational problems to full-edged applications, from architecture, compiler, language and interface design and implementation to tools, support infrastructures, and application performance aspects.

Advances in Service-Oriented and Cloud Computing - International Workshops of ESOCC 2020, Heraklion, Crete, Greece, September... Advances in Service-Oriented and Cloud Computing - International Workshops of ESOCC 2020, Heraklion, Crete, Greece, September 28-30, 2020, Revised Selected Papers (Paperback, 1st ed. 2021)
Christian Zirpins, Iraklis Paraskakis, Vasilios Andrikopoulos, Nane Kratzke, Claus Pahl, …
R1,408 Discovery Miles 14 080 Ships in 18 - 22 working days

This volume contains the technical papers presented in the workshops, PhD Symposium and EU Projects Track which took place at the 8th European Conference on Service-Oriented and Cloud Computing, ESOCC 2020, held in Heraklion, Crete, Greece, in September 2020: 1st International Workshop on Edge Adoption and Migration, EdgeWays 2020, 16th International Workshop on Engineering Service-Oriented Applications and Cloud Services, WESOACS 2020, ESOCC 2020 PhD Symposium, ESOCC 2020 EU Projects Track. Due to the COVID-19 pandemic the conference and workshops were held in a virtual format. The 17 full papers and 2 short papers were reviewed and selected from 22 submissions. The papers focus on specific topics in service-oriented and cloud computing domains such as limits and/or advantages of existing cloud solutions, future internet technologies, efficient and adaptive deployment and management of service-based applications across multiple clouds, novel cloud service migration practices and solutions, digitization of enterprises in the cloud computing era, federated cloud networking services.

Cloud Native Integration with Apache Camel - Building Agile and Scalable Integrations for Kubernetes Platforms (Paperback, 1st... Cloud Native Integration with Apache Camel - Building Agile and Scalable Integrations for Kubernetes Platforms (Paperback, 1st ed.)
Guilherme Camposo
R1,390 R1,143 Discovery Miles 11 430 Save R247 (18%) Ships in 18 - 22 working days

Address the most common integration challenges, by understanding the ins and outs of the choices and exemplifying the solutions with practical examples on how to create cloud native applications using Apache Camel. Camel will be our main tool, but we will also see some complementary tools and plugins that can make our development and testing easier, such as Quarkus, and tools for more specific use cases, such as Apache Kafka and Keycloak. You will learn to connect with databases, create REST APIs, transform data, connect with message oriented software (MOMs), secure your services, and test using Camel. You will also learn software architecture patterns for integration and how to leverage container platforms, such as Kubernetes. This book is suitable for those who are eager to learn an integration tool that fits the Kubernetes world, and who want to explore the integration challenges that can be solved using containers. What You Will Learn Focus on how to solve integration challenges Understand the basics of the Quarkus as it's the foundation for the application Acquire a comprehensive view on Apache Camel Deploy an application in Kubernetes Follow good practices Who This Book Is For Java developers looking to learn Apache Camel; Apache Camel developers looking to learn more about Kubernetes deployments; software architects looking to study integration patterns for Kubernetes based systems; system administrators (operations teams) looking to get a better understand of how technologies are integrated.

Uncertainty-aware Integration of Control with Process Operations and Multi-parametric Programming Under Global Uncertainty... Uncertainty-aware Integration of Control with Process Operations and Multi-parametric Programming Under Global Uncertainty (Paperback, 1st ed. 2020)
Vassilis M. Charitopoulos
R2,654 Discovery Miles 26 540 Ships in 18 - 22 working days

This book introduces models and methodologies that can be employed towards making the Industry 4.0 vision a reality within the process industries, and at the same time investigates the impact of uncertainties in such highly integrated settings. Advances in computing power along with the widespread availability of data have led process industries to consider a new paradigm for automated and more efficient operations. The book presents a theoretically proven optimal solution to multi-parametric linear and mixed-integer linear programs and efficient solutions to problems such as process scheduling and design under global uncertainty. It also proposes a systematic framework for the uncertainty-aware integration of planning, scheduling and control, based on the judicious coupling of reactive and proactive methods. Using these developments, the book demonstrates how the integration of different decision-making layers and their simultaneous optimisation can enhance industrial process operations and their economic resilience in the face of uncertainty.

Genetic Programming - 24th European Conference, EuroGP 2021, Held as Part of EvoStar 2021, Virtual Event, April 7-9, 2021,... Genetic Programming - 24th European Conference, EuroGP 2021, Held as Part of EvoStar 2021, Virtual Event, April 7-9, 2021, Proceedings (Paperback, 1st ed. 2021)
Ting Hu, Nuno Lourenco, Eric Medvet
R1,408 Discovery Miles 14 080 Ships in 18 - 22 working days

This book constitutes the refereed proceedings of the 24th European Conference on Genetic Programming, EuroGP 2021, held as part of Evo*2021, as Virtual Event, in April 2021, co-located with the Evo*2021 events, EvoCOP, EvoMUSART, and EvoApplications. The 11 revised full papers and 6 short papers presented in this book were carefully reviewed and selected from 27 submissions. The wide range of topics in this volume reflects the current state of research in the field. The collection of papers cover interesting topics including developing new operators for variants of GP algorithms, as well as exploring GP applications to the optimisation of machine learning methods and the evolution of complex combinational logic circuits.

Beginning Microsoft 365 Collaboration Apps - Working in the Microsoft Cloud (Paperback, 2nd ed.): Ralph Mercurio, Brian Merrill Beginning Microsoft 365 Collaboration Apps - Working in the Microsoft Cloud (Paperback, 2nd ed.)
Ralph Mercurio, Brian Merrill
R1,749 R1,426 Discovery Miles 14 260 Save R323 (18%) Ships in 18 - 22 working days

Start making the most of the latest collaboration tools in Microsoft 365-including Teams, SharePoint, Power Apps, Power BI, Power Automate, Microsoft Groups, Office ProPlus, Yammer, Planner, Stream, Forms, and OneDrive. Integrate these collaboration tools into your team's projects to boost productivity, engagement, innovation, and enjoyment at work. This book walks you through all the latest features, teaching you how to choose the right tools and get the most out of them for your situation. While technologies for collaboration are more advanced than ever before, there also are more of them, making it all the more confusing. Beginning Microsoft 365 Collaboration Apps will help you make sense of what is available and provide prescriptive guidance to you and your team on how to be more productive. This fully updated and expanded new edition contains lots of new content, screenshots and samples, and all new chapters on Power BI and Power Apps. What You Will Learn Know the collaboration applications and features available across Microsoft 365, and how to choose the ones that are right for you and your colleagues in any given situation Understand the software-as-a-service (SaaS) model and how it enables users to be more effective and productive in remote situations Discover how multi-device usability and real-time cloud synchronization can help your team collaborate anytime, anywhere, across the apps Find out how Planner can help you manage projects and tasks, even without a project manager Explore Microsoft Power Automate and Power Apps to connect applications and services and create codeless applications and workflows Who This Book is For Microsoft 365 business users with a limited technical background. You should be familiar with the Microsoft Office suite of products such as Word and Outlook, and work in a team environment. An active Microsoft 365 would be useful as well.

Linux-Systemadministration - Grundlagen, Konzepte, Anwendung (German, Hardcover, 2005 ed.): Christine Wolfinger, Jurgen... Linux-Systemadministration - Grundlagen, Konzepte, Anwendung (German, Hardcover, 2005 ed.)
Christine Wolfinger, Jurgen Gulbins, Carsten Hammer
R1,921 Discovery Miles 19 210 Ships in 10 - 15 working days

Linux ist eine fest etablierte, fur vielfaltige Rechnerarchitekturen verfugbare Plattform und zeichnet sich insbesondere durch die hohe Stabilitat und Sicherheit des Systems aus. Dieses Buch bietet einen fundierten Einstieg in die Linux-Systemadministration unter besonderer Berucksichtigung von SuSE-Linux. Dabei werden systematisch die Installation, Konfiguration und Aktualisierung des Systems, der Umgang mit Dateisystemen sowie die Konfiguration wichtiger Netzwerkdienste dargestellt. Ferner werden zentrale Client/Server-Funktionen und andere fur die Systemadministration wichtige Aufgaben, wie Benutzerverwaltung, Sicherung von Daten und die Lokalisierung von Fehlfunktionen, detailliert erlautert.

Der Text enthalt viele praktische Hinweise zur kompetenten Administration von Linux-Systemen, geht aber auch auf grundlegende Mechanismen von UNIX/Linux-Systemen ein. Eine Kurzreferenz gibt Auskunft uber haufig verwendete Befehle, und ein Glossar erlautert wichtige Stichworte an zentraler Stelle."

Methods and Models in Mathematical Programming (Paperback, 1st ed. 2019): S.A. MirHassani, F. Hooshmand Methods and Models in Mathematical Programming (Paperback, 1st ed. 2019)
S.A. MirHassani, F. Hooshmand
R2,682 Discovery Miles 26 820 Ships in 18 - 22 working days

This book focuses on mathematical modeling, describes the process of constructing and evaluating models, discusses the challenges and delicacies of the modeling process, and explicitly outlines the required rules and regulations so that the reader will be able to generalize and reuse concepts in other problems by relying on mathematical logic.Undergraduate and postgraduate students of different academic disciplines would find this book a suitable option preparing them for jobs and research fields requiring modeling techniques. Furthermore, this book can be used as a reference book for experts and practitioners requiring advanced skills of model building in their jobs.

High Performance Computing - 7th Latin American Conference, CARLA 2020, Cuenca, Ecuador, September 2-4, 2020, Revised Selected... High Performance Computing - 7th Latin American Conference, CARLA 2020, Cuenca, Ecuador, September 2-4, 2020, Revised Selected Papers (Paperback, 1st ed. 2021)
Sergio Nesmachnow, Harold Castro, Andrei Tchernykh
R1,408 Discovery Miles 14 080 Ships in 18 - 22 working days

This book constitutes revised selected papers of the 7th Latin American High Performance Computing Conference, CARLA 2020, held in Cuenca, Ecuador, in September 2020. Due to the COVID-19 pandemic the conference was held in a virtual mode. The 15 revised full papers presented were carefully reviewed and selected out of 36 submissions. The papers included in this book are organized according to the topics on High Performance Computing Applications; High Performance Computing and Artificial Intelligence.

Languages and Compilers for Parallel Computing - 30th International Workshop, LCPC 2017, College Station, TX, USA, October... Languages and Compilers for Parallel Computing - 30th International Workshop, LCPC 2017, College Station, TX, USA, October 11-13, 2017, Revised Selected Papers (Paperback, 1st ed. 2019)
Lawrence Rauchwerger
R1,416 Discovery Miles 14 160 Ships in 18 - 22 working days

This book constitutes the proceedings of the 30th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2017, held in College Station, TX, USA, in October 2017. The 17 full papers presented together with abstracts of 5 keynote talks, 11 invited speakers and 4 poster papers in this volume were carefully reviewed and selected from 26 submissions. LCPC encourages submissions that go outside its original scope of scientific computing to diverse areas that are enable or enhanced by the power of parallel systems such as mobile computing, big data, relevant aspects of machine learning, data centers, cognitive computing, etc. LCPC strongly encourages personal interaction and technical discussions along the initial material.

Combinatorial Optimization and Applications - 13th International Conference, COCOA 2019, Xiamen, China, December 13-15, 2019,... Combinatorial Optimization and Applications - 13th International Conference, COCOA 2019, Xiamen, China, December 13-15, 2019, Proceedings (Paperback, 1st ed. 2019)
Yingshu Li, Mihaela Cardei, Yan Huang
R1,496 Discovery Miles 14 960 Ships in 18 - 22 working days

This volume constitutes the proceedings of the 13th International Conference on Combinatorial Optimization and Applications, COCOA 2019, held in Xiamen, China, in December 2019. The 49 full papers presented in this volume were carefully reviewed and selected from 108 submissions. The papers cover the various topics, including cognitive radio networks, wireless sensor networks, cyber-physical systems, distributed and localized algorithm design and analysis, information and coding theory for wireless networks, localization, mobile cloud computing, topology control and coverage, security and privacy, underwater and underground networks, vehicular networks, information processing and data management, programmable service interfaces, energy-efficient algorithms, system and protocol design, operating system and middleware support, and experimental test-beds, models and case studies.

Collaborative Computing: Networking, Applications and Worksharing - 16th EAI International Conference, CollaborateCom 2020,... Collaborative Computing: Networking, Applications and Worksharing - 16th EAI International Conference, CollaborateCom 2020, Shanghai, China, October 16-18, 2020, Proceedings, Part II (Paperback, 1st ed. 2021)
Honghao Gao, Xinheng Wang, Muddesar Iqbal, Yuyu Yin, Jianwei Yin, …
R2,734 Discovery Miles 27 340 Ships in 18 - 22 working days

This two-volume set constitutes the refereed proceedings of the 16th International Conference on Collaborative Computing: Networking, Applications, and Worksharing, CollaborateCom 2020, held in Shanghai, China, in October 2020.The 61 full papers and 16 short papers presented were carefully reviewed and selected from 211 submissions. The papers reflect the conference sessions as follows: Collaborative Applications for Network and E-Commerce; Optimization for Collaborate System; Cloud and Edge Computing; Artificial Intelligence; AI Application and Optimization; Classification and Recommendation; Internet of Things; Collaborative Robotics and Autonomous Systems; Smart Transportation.

Stabilization, Safety, and Security of Distributed Systems - 21st International Symposium, SSS 2019, Pisa, Italy, October... Stabilization, Safety, and Security of Distributed Systems - 21st International Symposium, SSS 2019, Pisa, Italy, October 22-25, 2019, Proceedings (Paperback, 1st ed. 2019)
Mohsen Ghaffari, Mikhail Nesterenko, Sebastien Tixeuil, Sara Tucci, Yukiko Yamauchi
R1,438 Discovery Miles 14 380 Ships in 18 - 22 working days

This book constitutes the refereed proceedings of the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2019, held in Pisa, Italy, in October 2019.The 21 full papers presented were carefully reviewed and selected from 45 submissions. The papers deal with the design and development of distributed systems with a focus on systems that are able to provide guarantees on their structure, performance, and/or security in the face of an adverse operational environment.

Network and Parallel Computing - 16th IFIP WG 10.3 International Conference, NPC 2019, Hohhot, China, August 23-24, 2019,... Network and Parallel Computing - 16th IFIP WG 10.3 International Conference, NPC 2019, Hohhot, China, August 23-24, 2019, Proceedings (Paperback, 1st ed. 2019)
Xiaoxin Tang, Quan Chen, Pradip Bose, Weiming Zheng, Jean-Luc Gaudiot
R1,436 Discovery Miles 14 360 Ships in 18 - 22 working days

This book constitutes the proceedings of the 16th IFIP WG 10.3 International Conference on Network and Parallel Computing, NPC 2019, held in Hohhot, China, in August 2019. The 22 full and 11 short papers presented in this volume were carefully reviewed and selected from 107 submissions. They were organized in topical sections named: graph computing; NOC and networks; neural networks; big data and cloud; HPC; emerging topics; memory and file system.

Computer Security - ESORICS 2020 International Workshops, CyberICPS, SECPRE, and ADIoT, Guildford, UK, September 14-18, 2020,... Computer Security - ESORICS 2020 International Workshops, CyberICPS, SECPRE, and ADIoT, Guildford, UK, September 14-18, 2020, Revised Selected Papers (Paperback, 1st ed. 2020)
Sokratis Katsikas, Frederic Cuppens, Nora Cuppens, Costas Lambrinoudakis, Christos Kalloniatis, …
R1,408 Discovery Miles 14 080 Ships in 18 - 22 working days

This book constitutes the refereed post-conference proceedings of the 6th International Workshop on Security of Industrial Control Systems and Cyber-Physical Systems, CyberICPS 2020, the Second International Workshop on Security and Privacy Requirements Engineering, SECPRE 2020, and the Third International Workshop on Attacks and Defenses for Internet-of-Things, ADIoT 2020, held in Guildford, UK, in September 2020 in conjunction with the 25th European Symposium on Research in Computer Security, ESORICS 2020. Due to COVID-19 pandemic the conference was held virtually The CyberICPS Workshop received 21 submissions from which 5 full papers were selected for presentation. They cover topics related to threats, vulnerabilities and risks that cyber-physical systems and industrial control systems face; cyberattacks that may be launched against such systems; and ways of detecting and responding to such attacks. From the SECPRE Workshop 4 full papers out of 7 submissions are included. The selected papers deal with aspects of security and privacy requirements assurance and evaluation; and security requirements elicitation and modelling and to GDPR compliance. From the ADIoT Workshop 2 full papers and 2 short papers out of 12 submissions are included. The papers focus on IoT attacks and defenses and discuss either practical or theoretical solutions to identify IoT vulnerabilities and IoT security mechanisms.

Transactions on Rough Sets XXII (Paperback, 1st ed. 2020): James F. Peters, Andrzej Skowron Transactions on Rough Sets XXII (Paperback, 1st ed. 2020)
James F. Peters, Andrzej Skowron
R1,420 Discovery Miles 14 200 Ships in 18 - 22 working days

The LNCS journal Transactions on Rough Sets is devoted to the entire spectrum of rough sets related issues, from logical and mathematical foundations, through all aspects of rough set theory and its applications, such as data mining, knowledge discovery, and intelligent information processing, to relations between rough sets and other approaches to uncertainty, vagueness, and incompleteness, such as fuzzy sets and theory of evidence. Volume XXII in the series is a continuation of a number of research streams that have grown out of the seminal work of Zdzislaw Pawlak during the first decade of the 21st century.

Service-Oriented Computing - 18th International Conference, ICSOC 2020, Dubai, United Arab Emirates, December 14-17, 2020,... Service-Oriented Computing - 18th International Conference, ICSOC 2020, Dubai, United Arab Emirates, December 14-17, 2020, Proceedings (Paperback, 1st ed. 2020)
Eleanna Kafeza, Boualem Benatallah, Fabio Martinelli, Hakim Hacid, Athman Bouguettaya, …
R2,969 Discovery Miles 29 690 Ships in 18 - 22 working days

This book constitutes the proceedings of the 18th International Conference on Service-Oriented Computing, ICSOC 2020, which was planned to take place in Dubai, UAE, during December 14-17, 2020. Due to the COVID-19 pandemic the conference was held online. The 23 full, 16 short, and 3 industry papers included in this volume were carefully reviewed and selected from 137 submissions. They were organized in topical sections named: microservices; Internet of Things; services at the edge; machine learning for service oriented computing; smart data and smart services; service oriented technology trends; industry papers.

Stabilization, Safety, and Security of Distributed Systems - 22nd International Symposium, SSS 2020, Austin, TX, USA, November... Stabilization, Safety, and Security of Distributed Systems - 22nd International Symposium, SSS 2020, Austin, TX, USA, November 18-21, 2020, Proceedings (Paperback, 1st ed. 2020)
Stephane Devismes, Neeraj Mittal
R1,419 Discovery Miles 14 190 Ships in 18 - 22 working days

This book constitutes the refereed proceedings of the 22nd International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2020, held in Austin, TX, USA, in November 2020.The 16 full papers, 7 short and 2 invited papers presented were carefully reviewed and selected from 44 submissions. The papers deal with the design and development of distributed systems with a focus on systems that are able to provide guarantees on their structure, performance, and/or security in the face of an adverse operational environment.

Supercomputing - 6th Russian Supercomputing Days, RuSCDays 2020, Moscow, Russia, September 21-22, 2020, Revised Selected Papers... Supercomputing - 6th Russian Supercomputing Days, RuSCDays 2020, Moscow, Russia, September 21-22, 2020, Revised Selected Papers (Paperback, 1st ed. 2020)
Vladimir Voevodin, Sergey Sobolev
R2,757 Discovery Miles 27 570 Ships in 18 - 22 working days

This book constitutes the refereed post-conference proceedings of the 6th Russian Supercomputing Days, RuSCDays 2020, held in Moscow, Russia, in September 2020.* The 51 revised full and 4 revised short papers presented were carefully reviewed and selected from 106 submissions. The papers are organized in the following topical sections: parallel algorithms; supercomputer simulation; HPC, BigData, AI: architectures, technologies, tools; and distributed and cloud computing. * The conference was held virtually due to the COVID-19 pandemic.

Advanced Parallel Processing Technologies - 13th International Symposium, APPT 2019, Tianjin, China, August 15-16, 2019,... Advanced Parallel Processing Technologies - 13th International Symposium, APPT 2019, Tianjin, China, August 15-16, 2019, Proceedings (Paperback, 1st ed. 2019)
Pen-Chung Yew, Per Stenstroem, Junjie Wu, Xiaoli Gong, Tao Li
R1,408 Discovery Miles 14 080 Ships in 18 - 22 working days

This book constitutes the proceedings of the 13th International Symposium on Advanced Parallel Processing Technologies, APPT 2019, held in Tianjin, China, in August 2019. The 11 full papers presented in this volume were carefully reviewed and selected from 35 submissions. The papers are organized in topical sections named: System Support for Neural Networks; Scheduling and File Systems; Optimization and Parallelization; Security and Algorithms.

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium... Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I (Paperback, 1st ed. 2020)
Tiziana Margaria, Bernhard Steffen
R2,511 Discovery Miles 25 110 Ships in 18 - 22 working days

The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20-30, 2020, on Rhodes, Greece. The event itself was postponed to 2021 due to the COVID-19 pandemic. The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume: Part I, Verification Principles: Modularity and (De-)Composition in Verification; X-by-Construction: Correctness meets Probability; 30 Years of Statistical Model Checking; Verification and Validation of Concurrent and Distributed Systems. Part II, Engineering Principles: Automating Software Re-Engineering; Rigorous Engineering of Collective Adaptive Systems. Part III, Applications: Reliable Smart Contracts: State-of-the-art, Applications, Challenges and Future Directions; Automated Verification of Embedded Control Software; Formal methods for DIStributed COmputing in future RAILway systems.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Good News Bible (GNB) Catholic Edition…
Hardcover R561 Discovery Miles 5 610
NIV Hills & Valleys Bible
Paperback R279 R258 Discovery Miles 2 580
NIV Holy Bible - (Cerise Pink)
Christian Media Publishing Christian Media Publishing Leather / fine binding R949 R809 Discovery Miles 8 090
CSB Outreach Bible
Csb Bibles By Holman Csb Bibles By Holman Paperback R99 R91 Discovery Miles 910
CSB The Invitation New Testament
Csb Bibles By Holman Csb Bibles By Holman Paperback  (1)
R29 R20 Discovery Miles 200
Die Bybel (Swart)
Hardcover R195 R172 Discovery Miles 1 720
Holy Bible NIV
Leather / fine binding R419 R387 Discovery Miles 3 870
Berean Study Bible (Blue Hardcover)
Various Authors Hardcover R2,200 R1,763 Discovery Miles 17 630
Biblical Criticism on the First Fourteen…
Samuel Horsley Paperback R573 Discovery Miles 5 730
Studies on the Book of Daniel - a Course…
John Nelson Darby Paperback R379 Discovery Miles 3 790

 

Partners