0
Your cart

Your cart is empty

Browse All Departments
Price
  • R50 - R100 (2)
  • R100 - R250 (138)
  • R250 - R500 (480)
  • R500+ (2,524)
  • -
Status
Format
Author / Contributor
Publisher

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

Learning Unix for OS X, 2e (Paperback, 2nd Revised edition): Dave Taylor Learning Unix for OS X, 2e (Paperback, 2nd Revised edition)
Dave Taylor
R595 R441 Discovery Miles 4 410 Save R154 (26%) Ships in 12 - 17 working days

Think your Mac is powerful now? This practical guide shows you how to get much more from your system by tapping into Unix, the robust operating system concealed beneath OS X's beautiful user interface. OS X puts more than a thousand Unix commands at your fingertips-for finding and managing files, remotely accessing your Mac from other computers, and using freely downloadable open source applications. If you're an experienced Mac user, this updated edition teaches you all the basic commands you need to get started with Unix. You'll soon learn how to gain real control over your system. Get your Mac to do exactly what you want, when you want Make changes to your Mac's filesystem and directories Use Unix's find, locate, and grep commands to locate files containing specific information Create unique "super commands" to perform tasks that you specify Run multiple Unix programs and processes at the same time Access remote servers and interact with remote filesystems Install the X Window system and learn the best X11 applications Take advantage of command-line features that let you shorten repetitive tasks

Supercomputing Frontiers - 7th Asian Conference, SCFA 2022, Singapore, March 1-3, 2022, Proceedings (Paperback, 1st ed. 2022):... Supercomputing Frontiers - 7th Asian Conference, SCFA 2022, Singapore, March 1-3, 2022, Proceedings (Paperback, 1st ed. 2022)
Dhabaleswar K Panda, Michael Sullivan
R1,013 Discovery Miles 10 130 Ships in 12 - 17 working days

This open access book constitutes the refereed proceedings of the 7th Asian Conference Supercomputing Conference, SCFA 2022, which took place in Singapore in March 2022. The 8 full papers presented in this book were carefully reviewed and selected from 21 submissions. They cover a range of topics including file systems, memory hierarchy, HPC cloud platform, container image configuration workflow, large-scale applications, and scheduling.

Linux Kernel Programming - A comprehensive guide to kernel internals, writing kernel modules, and kernel synchronization... Linux Kernel Programming - A comprehensive guide to kernel internals, writing kernel modules, and kernel synchronization (Paperback)
Kaiwan N Billimoria
R1,498 Discovery Miles 14 980 Ships in 10 - 15 working days

Learn how to write high-quality kernel module code, solve common Linux kernel programming issues, and understand the fundamentals of Linux kernel internals Key Features Discover how to write kernel code using the Loadable Kernel Module framework Explore industry-grade techniques to perform efficient memory allocation and data synchronization within the kernel Understand the essentials of key internals topics such as kernel architecture, memory management, CPU scheduling, and kernel synchronization Book DescriptionLinux Kernel Programming is a comprehensive introduction for those new to Linux kernel and module development. This easy-to-follow guide will have you up and running with writing kernel code in next-to-no time. This book uses the latest 5.4 Long-Term Support (LTS) Linux kernel, which will be maintained from November 2019 through to December 2025. By working with the 5.4 LTS kernel throughout the book, you can be confident that your knowledge will continue to be valid for years to come. You'll start the journey by learning how to build the kernel from the source. Next, you'll write your first kernel module using the powerful Loadable Kernel Module (LKM) framework. The following chapters will cover key kernel internals topics including Linux kernel architecture, memory management, and CPU scheduling. During the course of this book, you'll delve into the fairly complex topic of concurrency within the kernel, understand the issues it can cause, and learn how they can be addressed with various locking technologies (mutexes, spinlocks, atomic, and refcount operators). You'll also benefit from more advanced material on cache effects, a primer on lock-free techniques within the kernel, deadlock avoidance (with lockdep), and kernel lock debugging techniques. By the end of this kernel book, you'll have a detailed understanding of the fundamentals of writing Linux kernel module code for real-world projects and products. What you will learn Write high-quality modular kernel code (LKM framework) for 5.x kernels Configure and build a kernel from source Explore the Linux kernel architecture Get to grips with key internals regarding memory management within the kernel Understand and work with various dynamic kernel memory alloc/dealloc APIs Discover key internals aspects regarding CPU scheduling within the kernel Gain an understanding of kernel concurrency issues Find out how to work with key kernel synchronization primitives Who this book is forThis book is for Linux programmers beginning to find their way with Linux kernel development. If you're a Linux kernel and driver developer looking to overcome frequent and common kernel development issues, or understand kernel intervals, you'll find plenty of useful information. You'll need a solid foundation of Linux CLI and C programming before you can jump in.

Supercomputing Frontiers - 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings (Paperback, 1st ed.... Supercomputing Frontiers - 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings (Paperback, 1st ed. 2018)
Rio Yokota, Weigang Wu
R2,410 Discovery Miles 24 100 Ships in 10 - 15 working days

It constitutes the refereed proceedings of the 4th Asian Supercomputing Conference, SCFA 2018, held in Singapore in March 2018. Supercomputing Frontiers will be rebranded as Supercomputing Frontiers Asia (SCFA), which serves as the technical programme for SCA18. The technical programme for SCA18 consists of four tracks: Application, Algorithms & Libraries Programming System Software Architecture, Network/Communications & Management Data, Storage & Visualisation The 20 papers presented in this volume were carefully reviewed nd selected from 60 submissions.

Emotion-Oriented Systems (Hardcover): C Pelachaud Emotion-Oriented Systems (Hardcover)
C Pelachaud
R4,406 Discovery Miles 44 060 Ships in 12 - 17 working days

The Affective Computing domain, term coined by Rosalind Picard in 1997, gathers several scientific areas such as computer science, cognitive science, psychology, design and art. The humane-machine interaction systems are no longer solely fast and efficient. They aim to offer to users affective experiences: user's affective state is detected and considered within the interaction; the system displays affective state; it can reason about their implication to achieve a task or resolve a problem. In this book, we have chosen to cover various domains of research in emotion-oriented systems. Our aim is also to highlight the importance to base the computational model on theoretical foundations and on natural data.

PowerShell - IT Pro Solutions (Paperback): William R. Stanek, William Stanek PowerShell - IT Pro Solutions (Paperback)
William R. Stanek, William Stanek
R1,029 Discovery Miles 10 290 Ships in 10 - 15 working days
Administrator & Helpdesk Interview Questions You'll Most Likely Be Asked (Paperback): Vibrant Publishers Administrator & Helpdesk Interview Questions You'll Most Likely Be Asked (Paperback)
Vibrant Publishers
R1,044 Discovery Miles 10 440 Ships in 9 - 15 working days
Quick Boot - A Guide for Embedded Firmware Developers, 2nd edition (Paperback, 2nd ed.): Pete Dice Quick Boot - A Guide for Embedded Firmware Developers, 2nd edition (Paperback, 2nd ed.)
Pete Dice
R1,792 R1,401 Discovery Miles 14 010 Save R391 (22%) Ships in 10 - 15 working days

Quick Boot is designed to give developers a background in the basic architecture and details of a typical boot sequence. More specifically, this book describes the basic initialization sequence that allows developers the freedom to boot an OS without a fully featured system BIOS. Various specifications provide the basics of both the code bases and the standards. This book also provides insights into optimization techniques for more advanced developers. With proper background information, the required specifications on hand, and diligence, many developers can create quality boot solutions using this text. Pete Dice is Engineering Director of Verifone, where he manages OS Engineering teams in Dublin, Ireland and Riga Latvia. Dice successfully launched Intel (R) Quark (TM), Intel's first generation SoC as well as invented the Intel (R) Galileo (TM) development board and developed a freemium SW strategy to scale Intel IoT gateway features across product lines. He is also credited with architecting the "Moon Island" software stack and business model.

The Ridiculously Simple Guide to Pixel 5 (and Other Devices Running Android 11) - Getting Started With Android OS (Paperback):... The Ridiculously Simple Guide to Pixel 5 (and Other Devices Running Android 11) - Getting Started With Android OS (Paperback)
Scott La Counte
R435 R363 Discovery Miles 3 630 Save R72 (17%) Ships in 10 - 15 working days
RHCSA/RHCE Red Hat Linux Certification Practice Exams with Virtual Machines (Exams EX200 & EX300) (Paperback, Ed): Michael Jang RHCSA/RHCE Red Hat Linux Certification Practice Exams with Virtual Machines (Exams EX200 & EX300) (Paperback, Ed)
Michael Jang
R866 R596 Discovery Miles 5 960 Save R270 (31%) Ships in 12 - 17 working days

Publisher's Note: Products purchased from Third Party sellers are not guaranteed by the publisher for quality, authenticity, or access to any online entitlements included with the product. Don't Let the Real Test Be Your First Test! RHCSA/RHCE Red Hat Linux Certification Practice Exams with Virtual Machines (Exams EX200 & EX300) features 100+ hands-on labs, four complete practice exams, and three virtual machines. To help you understand the material, the labs and practice exams are accompanied by in-depth answer explanations. This practical guide covers all official objectives for Exams EX200 and EX300 and is the perfect companion to RHCSA/RHCE Red Hat Linux Certification Study Guide, Sixth Edition.Covers all exam topics, including: Virtual Machines and Automated Installations * Fundamental Command Line Skills * RHCSA-Level Security Options * The Boot Process * Linux Filesystem Administration * Package Management * User Administration * RHCSA-Level System Administration Tasks * Security * System Services and SELinux * RHCE Administrative Tasks * Electronic Mail Servers * The Apache Web Server * The Samba File Server * More File-Sharing Services * Administrative Services: DNS, FTP, and Logging Includes three virtual machines preloaded with: Two RHCSA practice exams Two RHCE practice exams 100+ hands-on labs In order to take advantage of the virtual machines that accompany this book you will need a 64-bit system with hardware virtualization enabled as well as RHEL 6 or its equivalent.

Getting Started With the Mac Mini (With M1 Chip) - A Beginners Guide To the 2020 Mac Mini (Paperback): Scott La Counte Getting Started With the Mac Mini (With M1 Chip) - A Beginners Guide To the 2020 Mac Mini (Paperback)
Scott La Counte
R566 R475 Discovery Miles 4 750 Save R91 (16%) Ships in 10 - 15 working days
Neural Information Processing - 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017,... Neural Information Processing - 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings, Part VI (Paperback, 1st ed. 2017)
Derong Liu, Shengli Xie, Yuanqing Li, Dongbin Zhao, El-Sayed M El-Alfy
R2,975 Discovery Miles 29 750 Ships in 10 - 15 working days

The six volume set LNCS 10634, LNCS 10635, LNCS 10636, LNCS 10637, LNCS 10638, and LNCS 10639 constitues the proceedings of the 24rd International Conference on Neural Information Processing, ICONIP 2017, held in Guangzhou, China, in November 2017. The 563 full papers presented were carefully reviewed and selected from 856 submissions. The 6 volumes are organized in topical sections on Machine Learning, Reinforcement Learning, Big Data Analysis, Deep Learning, Brain-Computer Interface, Computational Finance, Computer Vision, Neurodynamics, Sensory Perception and Decision Making, Computational Intelligence, Neural Data Analysis, Biomedical Engineering, Emotion and Bayesian Networks, Data Mining, Time-Series Analysis, Social Networks, Bioinformatics, Information Security and Social Cognition, Robotics and Control, Pattern Recognition, Neuromorphic Hardware and Speech Processing.

Beginning Visual Studio for Mac - Build Cross-Platform Apps with Xamarin and .NET Core (Paperback, 1st ed.): Alessandro Del Sole Beginning Visual Studio for Mac - Build Cross-Platform Apps with Xamarin and .NET Core (Paperback, 1st ed.)
Alessandro Del Sole
R3,120 R2,711 Discovery Miles 27 110 Save R409 (13%) Ships in 10 - 15 working days

Quickly learn how to get the most out of the Visual Studio for Mac integrated development environment (IDE). Microsoft has invested heavily to deliver their very best development tools and platforms to other operating systems. Visual Studio for Mac is a powerful developer tool that reinforces Microsoft's "mobile-first", "cloud-first", and "any developer, any platform, any device" strategy. With the author's guided expertise and extensive code samples, you will understand how to leverage the most useful tools in Visual Studio for Mac, the code editor, and the powerful debugger. You also will appreciate the author's guidance on collaborating with other team members using integrated tooling for the Git source control engine. Whether you are a Mac developer interested in cross-platform development or a Windows developer using a Mac, Beginning Visual Studio for Mac will quickly get you up to speed! What You'll Learn Prepare, configure, and debug in the Mac development environment Create cross-platform mobile apps for Android, iOS, and Windows with Xamarin and C# in Visual Studio for Mac Build cross-platform Web applications with .NET Core using Visual Studio for Mac Customize your productive and collaborative development environment Who This Book Is For Software developers using a Mac computer who want to build mobile or web applications that run on multiple operating systems

The Ridiculously Simple Guide To iPhone 12, iPhone Pro, and iPhone Pro Max - A Practical Guide To Getting Started With the Next... The Ridiculously Simple Guide To iPhone 12, iPhone Pro, and iPhone Pro Max - A Practical Guide To Getting Started With the Next Generation of iPhone and iOS 14 (Paperback)
Scott La Counte
R596 R508 Discovery Miles 5 080 Save R88 (15%) Ships in 10 - 15 working days
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV - Special Issue on Consistency and Inconsistency in... Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV - Special Issue on Consistency and Inconsistency in Data-Centric Applications (Paperback, 1st ed. 2017)
Abdelkader Hameurlain, Josef Kung, Roland Wagner, Hendrik Decker
R1,980 Discovery Miles 19 800 Ships in 10 - 15 working days

This volume, the 34th issue of Transactions on Large-Scale Data- and Knowledge-Centered Systems, constitutes a special issue consisting of seven papers on the subject of Consistency and Inconsistency in Data-Centric Applications. The volume opens with an invited article on basic postulates for inconsistency measures. Three of the remaining six papers are revised, extended versions of papers presented at the First International Workshop on Consistency and Inconsistency, COIN 2016, held in conjunction with DEXA 2016 in Porto, Portugal, in September 2016. The other three papers were selected from submissions to a call for contributions to this edition. Each of the papers highlights a particular subtopic. However, all are concerned with logical inconsistencies that are either to be systematically avoided, or reasoned with consistently, i.e., without running the danger of an explosion of inferences.

Stabilization, Safety, and Security of Distributed Systems - 19th International Symposium, SSS 2017, Boston, MA, USA, November... Stabilization, Safety, and Security of Distributed Systems - 19th International Symposium, SSS 2017, Boston, MA, USA, November 5-8, 2017, Proceedings (Paperback, 1st ed. 2017)
Paul Spirakis, Philippas Tsigas
R2,887 Discovery Miles 28 870 Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the 19th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2017, held in Boston, MA, USA, in November 2017. The 29 revised full papers presented together with 8 revised short papers were carefully reviewed and selected from 68 initial submissions. This year the Symposium was organized into three tracks reflecting major trends related to self-* systems: Stabilizing Systems: Theory and Practice: Distributed Computing and Communication Networks; and Computer Security and Information Privacy.

Windows Subsystem for Linux 2 (WSL 2) Tips, Tricks, and Techniques - Maximise productivity of your Windows 10 development... Windows Subsystem for Linux 2 (WSL 2) Tips, Tricks, and Techniques - Maximise productivity of your Windows 10 development machine with custom workflows and configurations (Paperback)
Stuart Leeks
R931 Discovery Miles 9 310 Ships in 10 - 15 working days

A practical handbook that will help you bridge the gap between Windows and Linux to develop apps that leverage the best features across both ecosystems with seamless interoperability Key Features Configure and control WSL to suit your needs and preferences Discover tips for working seamlessly between Windows and WSL Linux distros Learn how to work effectively with containers in WSL, as well as how to containerize your development environments with Visual Studio Code to isolate your dependencies Book DescriptionWindows Subsystem for Linux (WSL) allows you to run native Linux tools alongside traditional Windows applications. Whether you're developing applications across multiple operating systems or looking to add more tools to your Windows environment, WSL offers endless possibilities. You'll start by understanding what WSL is and learn how to install and configure WSL along with different Linux distros. Next, you'll learn techniques that allow you to work across both Windows and Linux environments. You'll discover how to install and customize the new Windows Terminal. We'll also show you how to work with code in WSL using Visual Studio Code (VS Code). In addition to this, you'll explore how to work with containers with Docker and Kubernetes, and how to containerize a development environment using VS Code. While Microsoft has announced support for GPU and GUI applications in an upcoming release of WSL, at the time of writing these features are either not available or only in early preview releases. This book focuses on the stable, released features of WSL and giving you a solid understanding of the amazing techniques that you can use with WSL today. By the end of this book, you'll be able to configure WSL and Windows Terminal to suit your preferences, and productively use Visual Studio Code for developing applications with WSL. What you will learn Install and configure Windows Subsystem for Linux and Linux distros Access web applications running in Linux from Windows Invoke Windows applications, file systems, and environment variables from bash in WSL Customize the appearance and behavior of the Windows Terminal to suit your preferences and workflows Explore various tips for enhancing the Visual Studio Code experience with WSL Install and work with Docker and Kubernetes within Windows Subsystem for Linux Discover various productivity tips for working with Command-line tools in WSL Who this book is forThis book is for developers who want to use Linux tools on Windows, including Windows-native programmers looking to ease into a Linux environment based on project requirements or Linux developers who've recently switched to Windows. This book is also for web developers working on open source projects with Linux-first tools such as Ruby or Python, or developers looking to switch between containers and development machines for testing apps. Prior programming or development experience and a basic understanding of running tasks in bash, PowerShell, or the Windows Command Prompt will be required.

Brain Informatics - International Conference, BI 2017, Beijing, China, November 16-18, 2017, Proceedings (Paperback, 1st ed.... Brain Informatics - International Conference, BI 2017, Beijing, China, November 16-18, 2017, Proceedings (Paperback, 1st ed. 2017)
Yi Zeng, Yong He, Jeanette Hellgren Kotaleski, Maryann Martone, Bo Xu, …
R2,428 Discovery Miles 24 280 Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the International Conference on Brain Informatics, BI 2017, held in Beijing, China, in November 2017. The 31 revised full papers were carefully reviewed and selected from 64 submissions. BI addresses the computational, cognitive, physiological, biological, physical,ecological and social perspectives of brain informatics, as well as topics related tomental health and well-being.

Learning Swift - Building Apps for macOS, iOS, and Beyond (Paperback, 3rd New edition): Paris Buttfield-Addison, Jon Manning,... Learning Swift - Building Apps for macOS, iOS, and Beyond (Paperback, 3rd New edition)
Paris Buttfield-Addison, Jon Manning, Tim Nugent
R1,342 R851 Discovery Miles 8 510 Save R491 (37%) Ships in 12 - 17 working days

Dive into Swift 4.x, the latest version of Apple's easy-to-use programming language for macOS, iOS, watchOS, and tvOS. With this practical guide, you'll quickly get up to speed on language basics and then use Swift to build three complete apps, all tightly linked together: an iOS note-taking app, its OSX counterpart that uses iCloud to sync data, and an app for the Apple Watch that makes the user's data available at a moment's notice. You'll learn not only how to write code in Swift, but also why Swift works the way that it does, and how to build upon its foundations. Then you'll explore Swift in the wider world, including open-source frameworks that your apps can use, how to use app extensions make your app play nice with other apps, and how to take Swift beyond Apple's domain with open-source Swift tools.

High Performance Computing - ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG,... High Performance Computing - ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017, Revised Selected Papers (Paperback, 1st ed. 2017)
Julian M. Kunkel, Rio Yokota, Michela Taufer, John Shalf
R1,607 Discovery Miles 16 070 Ships in 10 - 15 working days

This book constitutes revised selected papers from 10 workshops that were held as the ISC High Performance 2017 conference in Frankfurt, Germany, in June 2017. The 59 papers presented in this volume were carefully reviewed and selected for inclusion in this book. They stem from the following workshops: Workshop on Virtualization in High-Performance Cloud Computing (VHPC) Visualization at Scale: Deployment Case Studies and Experience Reports International Workshop on Performance Portable Programming Models for Accelerators (P^3MA) OpenPOWER for HPC (IWOPH) International Workshop on Data Reduction for Big Scientific Data (DRBSD) International Workshop on Communication Architectures for HPC, Big Data, Deep Learning and Clouds at Extreme Scale Workshop on HPC Computing in a Post Moore's Law World (HCPM) HPC I/O in the Data Center ( HPC-IODC) Workshop on Performance and Scalability of Storage Systems (WOPSSS) IXPUG: Experiences on Intel Knights Landing at the One Year Mark International Workshop on Communication Architectures for HPC, Big Data, Deep Learning and Clouds at Extreme Scale (ExaComm)

RHCSA Red Hat Enterprise Linux 8 (UPDATED) - Training and Exam Preparation Guide (EX200), Second Edition (Paperback): Asghar... RHCSA Red Hat Enterprise Linux 8 (UPDATED) - Training and Exam Preparation Guide (EX200), Second Edition (Paperback)
Asghar Ghori
R1,175 Discovery Miles 11 750 Ships in 10 - 15 working days
Linux - The Ultimate Beginners Bible to Learn Linux Command Line, Administration and Shell Scripting Step by Step (Paperback):... Linux - The Ultimate Beginners Bible to Learn Linux Command Line, Administration and Shell Scripting Step by Step (Paperback)
David A. Williams
R734 Discovery Miles 7 340 Ships in 10 - 15 working days
Search Based Software Engineering - 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017,... Search Based Software Engineering - 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings (Paperback, 1st ed. 2017)
Tim Menzies, Justyna Petke
R1,469 Discovery Miles 14 690 Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the 9th International Symposium on Search-Based Software Engineering, SSBSE 2017, held in Paderborn, Germany, in September 2017. The 7 full papers and 5 short papers presented together with 4 challenge track and 2 students student track papers were carefully reviewed and selected from 26 submissions. SSBSE welcomes not only applications from throughout the software engineering lifecycle but also a broad range of search methods ranging from exact Operational Research techniques to nature-inspired algorithms and simulated annealing.

Mac OS X Lion For Dummies (Paperback, New): Bob LeVitus Mac OS X Lion For Dummies (Paperback, New)
Bob LeVitus
R99 Discovery Miles 990 Ships in 3 - 5 working days

The bestselling Mac guide, updated for the latest Mac OS X and now in full color

Mac OS X Lion represents a new era in the Mac operating system. This friendly guide is fully updated for the latest Mac OS X and provides everything new Mac users and users upgrading to Mac OS X Lion need to know. A bestseller in previous editions, "Mac OS X Lion For Dummies" covers all the cool stuff and prepares you for the quirks. So whether it's your first Mac or just an OS upgrade, you'll learn to tame your Lion with the expert advice of Bob "Dr. Mac" LeVitus and Dummies.Covers using the Finder, customizing Lion, adding widgets to the Dashboard, organizing and managing files and folders, searching with Spotlight, and working with SpacesExplores browsing the web with Safari, using Apple Mail and iCal, connecting a printer, performing backups with Time Machine, troubleshooting, and setting up a networkWalks readers through the new features of Mac OS X Lion, including FaceTime, Photo Booth, Launchpad, Mission Control, Full-screen apps, and moreGets you up and running with iTunes, downloading fun apps from the Mac App Store, and staying entertained with videos, photos, and other multimedia

You'll make your Lion roar with the friendly advice in "Mac OS X Lion For Dummies."

Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August... Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings (Paperback, 1st ed. 2017)
Serge Gaspers, Toby Walsh
R2,829 Discovery Miles 28 290 Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the 20th International Conference on Theory and Applications of Satisfiability Testing, SAT 2017, held in Melbourne, Australia, in August/September 2017. The 22 revised full papers, 5 short papers, and 3 tool papers were carefully reviewed and selected from 64 submissions. The papers are organized in the following topical sections: algorithms, complexity, and lower bounds; clause learning and symmetry handling; maximum satisfiability and minimal correction sets; parallel SAT solving; quantified Boolean formulas; satisfiability modulo theories; and SAT encodings.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Essential Windows 10: 1st Anniversary…
Kevin Wilson Paperback R450 R335 Discovery Miles 3 350
Exam Ref AZ-900 Microsoft Azure…
Jim Cheshire Paperback R883 R685 Discovery Miles 6 850
Windows 10 For Seniors For Dummies, 4th…
P Weverka Paperback R428 Discovery Miles 4 280
Linux - The ultimate guide to Linux for…
Craig Newport Hardcover R596 R495 Discovery Miles 4 950
IBM Mainframe Developer Training and…
Robert Wingate Hardcover R1,435 Discovery Miles 14 350
Linux - The Ultimate Crash Course to…
Mark Reed Hardcover R605 R505 Discovery Miles 5 050
Mike Meyers' CompTIA A+ Guide to 802…
Mike Meyers Paperback R1,252 Discovery Miles 12 520
Current Trends in Computer Science and…
Shawn X Wang Hardcover R6,969 Discovery Miles 69 690
Windows 11 For Dummies
A Rathbone Paperback R658 R479 Discovery Miles 4 790
Brilliant Windows 10
Steve Johnson Paperback  (1)
R629 R450 Discovery Miles 4 500

 

Partners