0
Your cart

Your cart is empty

Browse All Departments
Price
  • R50 - R100 (1)
  • R100 - R250 (85)
  • R250 - R500 (355)
  • R500+ (2,326)
  • -
Status
Format
Author / Contributor
Publisher

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

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."

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.

Training Guide Administering Windows Server 2012 R2 (MCSA) (Paperback): Orin Thomas Training Guide Administering Windows Server 2012 R2 (MCSA) (Paperback)
Orin Thomas
R1,287 R1,026 Discovery Miles 10 260 Save R261 (20%) Ships in 10 - 15 working days

Fully updated for Windows Server 2012 R2

Designed to help enterprise administrators develop real-world, job-role-specific skills - this "Training Guide" focuses on core infrastructure administration for Windows Server 2012 R2. Build hands-on expertise through a series of lessons, exercises, and suggested practices - and help maximize your performance on the job.

This Microsoft "Training Guide" Focuses on job-role-specific expertise for core infrastructure administration tasksFully updated for Windows Server 2012 R2, including new practicesProvides in-depth, hands-on training you take at your own paceCreates a foundation of skills which, along with on-the-job experience, can be measured by Microsoft Certification exams such as 70-411

Topics include: Deploying and updating Windows Server 2012 R2Managing account policies and service accountsConfiguring name resolutionAdministering Active DirectoryManaging Group Policy application and infrastructureConfiguring Group Policy settings and preferencesAdministering network policiesAdministering remote accessManaging file servicesMonitoring and auditing Windows Server 2012 R2

Pro iOS Table Views - for iPhone, iPad, and iPod touch (Paperback, 1st ed.): Tim Duckett Pro iOS Table Views - for iPhone, iPad, and iPod touch (Paperback, 1st ed.)
Tim Duckett
R1,123 R951 Discovery Miles 9 510 Save R172 (15%) Ships in 18 - 22 working days

If you're an iOS app developer, chances are you'll be using table views in your development projects. Table views are the bread and butter of iOS apps. With them, you can create everything from the simplest of lists to fully tricked-out user interfaces. Table views are one of the most complex components found in UIKit. While using them for boring standard user interfaces is quite simple, customizing them can become really challenging.

Pro iOS Table Views takes atask-oriented focus to assist you when implementing customized table views. Although it delves deeply into the Table View API, you can always decide in which level of detail you want to dive in. It's aimed to be a great reference and customization cookbook at the same time, useful for beginners as well as intermediate developers. Covers the entire Table View API in depth Covers customization and performance topics in depth Task-oriented reference with multiple levels of detail

Note: source code for this title is currently available for download at: https: //github.com/timd/Pro-iOS-TableViews What you'll learn The anatomy of tables and cells The design patterns that power the table view How to create and configure table views How to customize every last little detail of the table view How to use table views on the iPad Advanced tips and tricks for performance and killer user interfaces The latest updates in iOS 5 and how to exploit them Who this book is for

The book is targeted at iOS developers who need to customize Table Views. The information is divided into several layers of detail. While the book covers complex customization topics and user interaction techniques, it provides the fundamental basics needed for customization. Both beginners and intermediate developers will find great value in this bookas ahelpful reference, at hand to quickly refresh their knowledge at any given time. Table of Contents Table views from the ground upHow the table fits togetherFeeding the table with dataHow the cell fits togetherUsing tables for navigation and static contentIndexing table content, grouping & sorting table contentSelecting & editing table contentCustomizing cellsImproving the cell's interactioniPad

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.

iOS 5 Recipes - A Problem-Solution Approach (Paperback, 1st ed.): Shawn Grimes, Colin Francis iOS 5 Recipes - A Problem-Solution Approach (Paperback, 1st ed.)
Shawn Grimes, Colin Francis
R1,216 R1,044 Discovery Miles 10 440 Save R172 (14%) Ships in 18 - 22 working days

iOS 5 Recipes: A Problem-Solution Approach is your guide to developing solutions on iPad, iPhone, and other iOS 5 devices and platforms. This book provides in-depth code samples and discussions for scenarios that developers face every day. You'll find numerous examples of real-world cases that will enable you to build fully functional applications quickly and efficiently. The recipes included in this book are wide in scope, and have been geared toward the professional developer. You'll find clear and concise code samples accompanying each recipe, and will be presented with cutting-edge solutions that bring forth the best that the iOS 5 SDK has to offer. The recipes include: * Working with Interface Builder in the latest version of Xcode * Building applications that incorporate animation and multimedia * Building location-aware apps * Understanding best practices for application design and development You'll find iOS 5 Recipes: A Problem-Solution Approach to be an indispensable reference for all of your iOS development.What you'll learn * How to make your apps truly stand out with brilliant animations and multimedia * How to enhance your game apps with GameCenter * How to develop powerful apps with the latest Xcode * How to extend your apps with TableView, UIView, and core graphics Who this book is for This book is intended for developers familiar with the Objective-C programming language and with an interest in developing apps for the iPhone and iPad. While a basic knowledge of Objective-C is expected, developers at all levels of app development will benefit from this book. Table of Contents * Xcode Tips and Tricks * Working with Interface Builder in Xcode * Multimedia Recipes * Camera Recipes * TableView Recipes * Core Graphic Recipes * UIView Animation Recipes * Calendar Recipes * Data Storage Recipes * Core Data Recipes * Notification Recipes * iAd Recipes * Location and Mapping Recipes * GameCenter Recipes * App Design Guidelines * Game Kit Recipes

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.

Convolutional Neural Networks with Swift for Tensorflow - Image Recognition and Dataset Categorization (Paperback, 1st ed.):... Convolutional Neural Networks with Swift for Tensorflow - Image Recognition and Dataset Categorization (Paperback, 1st ed.)
Brett Koonce
R1,189 R993 Discovery Miles 9 930 Save R196 (16%) Ships in 18 - 22 working days

Dive into and apply practical machine learning and dataset categorization techniques while learning Tensorflow and deep learning. This book uses convolutional neural networks to do image recognition all in the familiar and easy to work with Swift language. It begins with a basic machine learning overview and then ramps up to neural networks and convolutions and how they work. Using Swift and Tensorflow, you'll perform data augmentation, build and train large networks, and build networks for mobile devices. You'll also cover cloud training and the network you build can categorize greyscale data, such as mnist, to large scale modern approaches that can categorize large datasets, such as imagenet. Convolutional Neural Networks with Swift for Tensorflow uses a simple approach that adds progressive layers of complexity until you have arrived at the current state of the art for this field. What You'll Learn Categorize and augment datasets Build and train large networks, including via cloud solutions Deploy complex systems to mobile devices Who This Book Is For Developers with Swift programming experience who would like to learn convolutional neural networks by example using Swift for Tensorflow as a starting point.

Objective-C for Absolute Beginners - iPhone, iPad and Mac Programming Made Easy (Paperback, 1st ed.): Gary Bennett, Brad Lees,... Objective-C for Absolute Beginners - iPhone, iPad and Mac Programming Made Easy (Paperback, 1st ed.)
Gary Bennett, Brad Lees, Mitchell Fisher
R905 R784 Discovery Miles 7 840 Save R121 (13%) Ships in 18 - 22 working days

It seems as if everyone is writing applications for Apple's iPhone and iPad, but how do they all do it? It's best to learn Objective-C, the native language of both the iOS and Mac OS X, but where to begin? Right here, even if you've never programmed before

Objective-C for Absolute Beginners will teach you how to write software for your Mac, iPhone, or iPad using Objective-C, an elegant and powerful language with a rich set of developer tools. Using a hands-on approach, you'll learn to think in programming terms, how to use Objective-C to build program logic, and how to write your own applications and apps.

With over 50 collective years in software development and based on an approach pioneered at Carnegie Mellon University, the authors have developed a remarkably effective approach to learning Objective-C. Since the introduction of Apple's iPhone, the authors have taught hundreds of absolute beginners how to develop Mac, iPhone, and iPad apps, including many that became popular apps in the iTunes App Store. What you'll learn The fundamentals of computer programming: how to understand variables, design data structures, and work with file systems The logic of object-oriented programming: how to use Classes, Objects, and Methods The flexibility of Apple's developer tools: how to install Xcode and write programs in Objective-C The power of Cocoa and Cocoa touch: how to make Mac OS X applications or iOS apps that do cool stuff Who this book is for

Everyone This book is for anyone who wants to learn to develop applications for the Mac or apps for the iPhone and iPad using the Objective-C programming language. No previous programming experience is necessary. Table of Contents Becoming a Great iPhone/iPad or Mac Programmer Programming Basics It's All About the Data Making Decisions About...and Planning Program Flow Object Oriented Programming with Objective-C Introducing Objective-C and Xcode Objective-C Classes, Objects, and Methods Programming Basics in Objective-C Comparing Data Creating User Interfaces with Interface Builder Memory, Addresses, and Pointers Debugging Programs with Xcode Storing Information Protocols and Delegates

UI Design for iOS App Development - Using SwiftUI (Paperback, 1st ed.): Bear Cahill UI Design for iOS App Development - Using SwiftUI (Paperback, 1st ed.)
Bear Cahill
R1,402 R1,155 Discovery Miles 11 550 Save R247 (18%) Ships in 18 - 22 working days

Design is a challenge for most developers. Without a background or training in user interface skills, it's hard to navigate what choices make the best sense for the end user. This book shows you how to migrate from Storyboards to SwiftUI to design dynamic and engaging UIs for iOS apps. SwiftUI is new in iOS 13 but you may want to support past versions as well. To satisfy this, you'll start by reviewing nib/xib files and Storyboards and then move into SwiftUI and explore how to design apps in both UI toolkits. Gaining a firm base in technologies old and new will allow you to future proof your UI during this period of transition. Developers generally want to stay in code, but UI development tends to be a visual effort. This book takes a very structured and code-like approach to UI design to take the fear away. You'll grasp Storyboards and Auto-Layout/Constraints, while also learning to move past them with the easier options in SwiftUI. A clear understanding of both technologies is key to keeping your most functional coding and also making things look right. With UI Design for iOS App Development, you'll learn SwiftUI easily and get back into your code quickly. What You'll Learn Build iOS app UIs both in current and new paradigms Work with Storyboards and Auto-Layout/Constraints Design UIs in a coder friendly way Who This Book Is For iOS developers building a strong foundation in UI design to fill in the gaps from their training. For veteran developers, it's vital to be able to match your coding skills with equal UI/UX abilities.

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.

.NET Developer's Guide to Augmented Reality in iOS - Building Immersive Apps Using Xamarin, ARKit, and C# (Paperback, 1st... .NET Developer's Guide to Augmented Reality in iOS - Building Immersive Apps Using Xamarin, ARKit, and C# (Paperback, 1st ed.)
Lee Englestone
R1,521 Discovery Miles 15 210 Ships in 18 - 22 working days

Attention .NET developers, here is your starting point for learning how to create and publish augmented reality (AR) apps for iOS devices. This book introduces and explores iOS augmented reality mobile app development specifically for .NET developers. The continued adoption and popularity of Xamarin, a tool that allows cross-platform mobile application development, opens up many app publishing opportunities to .NET developers that were never before possible, including AR development. You will use Xamarin to target Apple's augmented reality framework, ARKit, to develop augmented reality apps in the language you prefer-C#. Begin your journey with a foundational introduction to augmented reality, ARKit, Xamarin, and .NET. You will learn how this remarkable collaboration of technologies can produce fantastic experiences, many of them never before tried by .NET developers. From there you will dive into the fundamentals and then explore various topics and AR features. Throughout your learning, proof of concepts will be demonstrated to reinforce learning. After reading this book you will have the fundamentals you need, as well as an understanding of the overarching concepts that combine them. You will come away with an understanding of the wide range of augmented reality features available for developers, including the newest features included in the latest versions of ARKit. What You Will Learn Create rich commercial and personal augmented reality mobile apps Explore the latest capabilities of ARKit Extend and customize chapter examples for building your own amazing apps Graduate from traditional 2D UI app interfaces to immersive 3D AR interfaces Who This Book Is For Developers who want to learn how to use .NET and C# to create augmented reality apps for iOS devices. It is recommended that developers have some Xamarin experience and are aware of the cross-platform options available to .NET. A paid Apple developer account is not needed to experiment with the AR code samples on your devices.

Shell Scripting - Expert Recipes for Linux, Bash, and More (Paperback): S. Parker Shell Scripting - Expert Recipes for Linux, Bash, and More (Paperback)
S. Parker
R1,101 R913 Discovery Miles 9 130 Save R188 (17%) Ships in 10 - 15 working days

A compendium of shell scripting recipes that can immediately be used, adjusted, and applied

The shell is the primary way of communicating with the Unix and Linux systems, providing a direct way to program by automating simple-to-intermediate tasks. With this book, Linux expert Steve Parker shares a collection of shell scripting recipes that can be used as is or easily modified for a variety of environments or situations. The book covers shell programming, with a focus on Linux and the Bash shell; it provides credible, real-world relevance, as well as providing the flexible tools to get started immediately.Shares a collection of helpful shell scripting recipes that can immediately be used for various of real-world challenges Features recipes for system tools, shell features, and systems administration Provides a host of plug and play recipes for to immediately apply and easily modify so the wheel doesn't have to be reinvented with each challenge faced

Come out of your shell and dive into this collection of tried and tested shell scripting recipes that you can start using right away

Image Processing and Computer Vision in iOS (Paperback, 1st ed. 2020): Oge Marques Image Processing and Computer Vision in iOS (Paperback, 1st ed. 2020)
Oge Marques
R1,408 Discovery Miles 14 080 Ships in 18 - 22 working days

This book presents the fundamentals of mobile visual computing in iOS development and provides directions for developers and researchers interested in developing iOS applications with image processing and computer vision capabilities. Presenting a technical overview of some of the tools, languages, libraries, frameworks, and APIs currently available for developing iOS applications Image Processing and Computer Vision in iOS reveals the rich capabilities in image processing and computer vision. Its main goal is to provide a road map to what is currently available, and a path to successfully tackle this rather complex but highly rewarding task.

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.

High Performance iOS Apps (Paperback): Gaurav Vaish High Performance iOS Apps (Paperback)
Gaurav Vaish
R1,158 R865 Discovery Miles 8 650 Save R293 (25%) Ships in 10 - 15 working days

Ready to build mobile apps that out-perform the rest? If you're an iOS developer with app-building experience, this practical guide provides tips and best practices to help you solve many common performance issues. You'll learn how to design and optimize iOS apps that deliver a smooth experience even when the network is poor and memory is low. Today's picky users want fast and responsive apps that don't hog resources. In this book, author Gaurav Vaish demonstrates methods for writing optimal code from an engineering perspective, using reusable Objective-C code that you can use right away. Up your game and create high-performance native iOS apps that truly stand out from the crowd. Measure key performance indicators-attributes that constitute and affect app performance Write efficient apps by minimizing memory and power consumption, and explore options for using available CPU cores Optimize your app's lifecycle and UI, as well as its networking, data sharing, and security features Learn about application testing, debugging and analysis tools, and monitoring your app in the wild Collect data from real users to analyze app usage, identify bottlenecks, and provide fixes Use iOS 9 upgrades to improve your app's performance

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.

Logic, Language, and Security - Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday (Paperback, 1st ed.... Logic, Language, and Security - Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday (Paperback, 1st ed. 2020)
Vivek Nigam, Tajana Ban Kirigin, Carolyn Talcott, Joshua Guttman, Stepan Kuznetsov, …
R1,634 Discovery Miles 16 340 Ships in 18 - 22 working days

This Festschrift was published in honor of Andre Scedrov on the occasion of his 65th birthday. The 11 technical papers and 3 short papers included in this volume show the many transformative discoveries made by Andre Scedrov in the areas of linear logic and structural proof theory; formal reasoning for networked systems; and foundations of information security emphasizing cryptographic protocols. These papers are authored by researchers around the world, including North America, Russia, Europe, and Japan, that have been directly or indirectly impacted by Andre Scedrov. The chapter "A Small Remark on Hilbert's Finitist View of Divisibility and Kanovich-Okada-Scedrov's Logical Analysis of Real-Time Systems" is available open access under a CC BY 4.0 license at link.springer.com.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Linux - A complete guide to Linux…
James Arthur Hardcover R546 R500 Discovery Miles 5 000
Essential Windows 10: 1st Anniversary…
Kevin Wilson Paperback R431 R271 Discovery Miles 2 710
Keeping Found Things Found: The Study…
William Jones Paperback R1,357 Discovery Miles 13 570
PowerShell - A Comprehensive Guide to…
Sam Griffin Hardcover R566 R520 Discovery Miles 5 200
Linux - The Ultimate Crash Course to…
Mark Reed Hardcover R558 R512 Discovery Miles 5 120
Linux Malware Incident Response: A…
Cameron H. Malin, Eoghan Casey, … Paperback R432 Discovery Miles 4 320
Linux - The Ultimate Beginner's Guide to…
Ryan Turner Hardcover R979 R827 Discovery Miles 8 270
Only Footnotes
Michael W Lucas Hardcover R527 Discovery Miles 5 270
DNSSEC Mastery, 2nd Edition
Michael W Lucas Hardcover R873 R792 Discovery Miles 7 920
Mike Meyers' CompTIA A+ Guide to 802…
Mike Meyers Paperback R1,201 Discovery Miles 12 010

 

Partners