0
Your cart

Your cart is empty

Browse All departments
Price
  • R0 - R50 (17)
  • R50 - R100 (118)
  • R100 - R250 (13,686)
  • R250 - R500 (20,091)
  • R500+ (114,298)
  • -
Status
Format
Author / Contributor
Publisher

Books > Computing & IT

Ada Lovelace - The Making of a Computer Scientist (Hardcover): Christopher Hollings, Ursula Martin, Adrian Rice Ada Lovelace - The Making of a Computer Scientist (Hardcover)
Christopher Hollings, Ursula Martin, Adrian Rice
R527 R436 Discovery Miles 4 360 Save R91 (17%) Shipped within 7 - 12 working days

Ada, Countess of Lovelace (1815-1852), daughter of romantic poet Lord Byron and his highly educated wife, Anne Isabella, is sometimes called the world's first computer programmer and has become an icon for women in technology. But how did a young woman in the nineteenth century, without access to formal school or university education, acquire the knowledge and expertise to become a pioneer of computer science? Although an unusual pursuit for women at the time, Ada Lovelace studied science and mathematics from a young age. This book uses previously unpublished archival material to explore her precocious childhood, from her ideas for a steam-powered flying horse to penetrating questions about the science of rainbows. A remarkable correspondence course with the eminent mathematician Augustus De Morgan shows her developing into a gifted, perceptive and knowledgeable mathematician. Active in Victorian London's social and scientific elite alongside Mary Somerville, Michael Faraday and Charles Dickens, Ada Lovelace became fascinated by the computing machines devised by Charles Babbage. The table of mathematical formulae sometimes called the `first programme' occurs in her paper about his most ambitious invention, his unbuilt `Analytical Engine'. Ada Lovelace died at just thirty-six, but her paper still strikes a chord to this day, with clear explanations of the principles of computing, and broader ideas on computer music and artificial intelligence now realised in modern digital computers. Featuring images of the `first programme' and Lovelace's correspondence, alongside mathematical models, and contemporary illustrations, this book shows how Ada Lovelace, with astonishing prescience, explored key mathematical questions to understand the principles behind modern computing.

Schaum's Easy Outline of XML (Paperback): Ed Tittel Schaum's Easy Outline of XML (Paperback)
Ed Tittel
R248 R202 Discovery Miles 2 020 Save R46 (19%) Shipped within 7 - 11 working days

What could be better than the bestselling "Schaum's Outline" series? For students looking for a quick nuts-and-bolts overview, it would have to be "Schaum's Easy Outline" series. Every book in this series is a pared-down, simplified, and tightly focused version of its predecessor. With an emphasis on clarity and brevity, each new title features a streamlined and updated format and the absolute essence of the subject, presented in a concise and readily understandable form. Graphic elements such as sidebars, reader-alert icons, and boxed highlights stress selected points from the text, illuminate keys to learning, and give students quick pointers to the essentials.It is designed to appeal to underprepared students and readers turned off by dense text. Cartoons, sidebars, icons, and other graphic pointers get the material across fast. Concise text focuses on the essence of the subject. It delivers expert help from teachers who are authorities in their fields. It is perfect for last-minute test preparation. It is so small and light that they fit in a backpack!

Hands-On Machine Learning with Scikit-Learn and TensorFlow (Paperback): Aurelien Geron Hands-On Machine Learning with Scikit-Learn and TensorFlow (Paperback)
Aurelien Geron
R1,108 R823 Discovery Miles 8 230 Save R285 (26%) Shipped within 7 - 12 working days

Through a series of recent breakthroughs, deep learning has boosted the entire field of machine learning. Now, even programmers who know close to nothing about this technology can use simple, efficient tools to implement programs capable of learning from data. This practical book shows you how. By using concrete examples, minimal theory, and two production-ready Python frameworks-scikit-learn and TensorFlow-author Aurelien Geron helps you gain an intuitive understanding of the concepts and tools for building intelligent systems. You'll learn a range of techniques, starting with simple linear regression and progressing to deep neural networks. With exercises in each chapter to help you apply what you've learned, all you need is programming experience to get started. Explore the machine learning landscape, particularly neural nets Use scikit-learn to track an example machine-learning project end-to-end Explore several training models, including support vector machines, decision trees, random forests, and ensemble methods Use the TensorFlow library to build and train neural nets Dive into neural net architectures, including convolutional nets, recurrent nets, and deep reinforcement learning Learn techniques for training and scaling deep neural nets Apply practical code examples without acquiring excessive machine learning theory or algorithm details

Java Programming (Paperback, 8th edition): Joyce Farrell Java Programming (Paperback, 8th edition)
Joyce Farrell
R786 R675 Discovery Miles 6 750 Save R111 (14%) Shipped within 8 - 13 working days

Discover the power of Java for developing applications with the engaging, hands-on approach in Farrell's JAVA PROGRAMMING, 8E. With this book, even first-time programmers can quickly develop useful programs while learning the basic principles of structured and object-oriented programming. The text incorporates the latest version of Java with a reader-friendly presentation and meaningful real-world exercises that highlight new Java strengths. Updated Programming Exercises and a wealth of case problems help you build skills critical for ongoing programming success. You can find additional tools to strengthen your Java programming success with the optional CourseMate that includes a wealth of interactive teaching and learning tools and unique Video Quizzes created by the book's author.

So You Want to Start a Podcast - Finding Your Voice, Telling Your Story, and Building a Community That Will Listen (Hardcover):... So You Want to Start a Podcast - Finding Your Voice, Telling Your Story, and Building a Community That Will Listen (Hardcover)
Kristen Meinzer
R410 R290 Discovery Miles 2 900 Save R120 (29%) Shipped within 7 - 12 working days

An inspiring, comprehensive, step-by-step guide to creating a hit show, So You Want to Start a Podcast covers everything from hosting and guest booking to editing and marketing - while offering plenty of encouragement and insider stories along the way. Though they are the fastest-growing form of media, podcasts can actually be tricky to create-and even harder to sustain. Few know the secrets of successfully creating a knockout podcast better than Kristen Meinzer. An award-winning commentator, producer, and former director of nonfiction programming for Slate's sister company, Panoply, Meinzer has also hosted three successful podcasts, reaching more than ten million listeners. Now, she shares her expertise, providing aspiring podcasters with crucial information and guidance to work smarter, not harder as they start their own audio forum. Meinzer believes that we each have a unique voice that deserves to be heard. But many of us may need some help transforming our ideas into reality. So You Want to Start a Podcast asks the tough but important questions to help budding podcasters define and achieve their goals, including: Why do you want to start a podcast? Think about specifically why you want to start a podcast versus a blog, zine, YouTube channel, Instagram feed, or other media outlet. Find out if a podcast is really the best way to tell your story-and what you really need (and don't need!) in order to get started. What is your show about? For any advertiser, corporate partner, or press outlet, you need a snappy pitch. How would you describe what you want to do in two to three sentences? Who is your podcast for? Who are you trying to reach? How will your content and tone appeal to those listeners? How is your show going to be structured? Create a step-by-step map planning the show out. Think about length, segments, interviews, advice, news reads, and other aspects of successful podcasts you can adapt for your own. With this motivational how-to guide-the only one on the subject available-you'll find the smart, bottom-line advice and inspiration you need to produce an entertaining and informative podcast and promote it to an audience that will love it. So You Want to Start a Podcast gives you the tools you need to start a podcast-and the insight to keep it thriving!

How to Do Everything with Microsoft Office Excel 2003 (Paperback): Guy Hart-Davis How to Do Everything with Microsoft Office Excel 2003 (Paperback)
Guy Hart-Davis
R573 R453 Discovery Miles 4 530 Save R120 (21%) Shipped within 7 - 11 working days

Here is the ideal resource for anyone who wants to get the most out of all the new and enhanced features Excel has to offer. Learn the best methods for formatting, printing, and sharing worksheets, adding graphics, importing and exporting data to and from the Web--and much more.

Computers For Seniors For Dummies (Paperback, 5th Edition): Nancy C. Muir Computers For Seniors For Dummies (Paperback, 5th Edition)
Nancy C. Muir 1
R426 R298 Discovery Miles 2 980 Save R128 (30%) Shipped within 7 - 12 working days

The bestselling guide--now in a new edition A computer provides a great resource for learning new things and keeping in touch with family and friends, but it may seem intimidating at first. The bestselling Computers For Seniors For Dummies is here to help the 50+ set conquer and overcome any uncertainty with clear-cut, easy-to-understand guidance on how to confidently navigate your computer and the Windows 10 operating system. Featuring large text and images, it's never been easier for seniors to smoothly click their way around a new PC. Even if you don't know a mouse from a megabyte, this book walks you through all the steps to choosing, setting up, and successfully using your new computer. Begin with learning how to turn the computer on and use the keyboard, and from there you'll progress to effortlessly finding your way around the new Windows 10 operating system. Explore all you can do with a computer: Research topics of interest Keep in touch with loved ones Shop securely online Find recipes and diet tips If you've just purchased your first computer and need a plain-English introduction to getting started, Computers For Seniors For Dummies has you covered.

The Elder Scrolls Online: Summerset - Official Collector's Edition Guide (Hardcover): Garitt Rocha, David Hodgson, Prima... The Elder Scrolls Online: Summerset - Official Collector's Edition Guide (Hardcover)
Garitt Rocha, David Hodgson, Prima Games 1
R514 R348 Discovery Miles 3 480 Save R166 (32%) Shipped within 7 - 12 working days

Explore the newest chapter in The Elder Scrolls Online with detailed maps, quest guides, and expert combat tactics to the Summerset Isles. This 320-page hardcover Collector's Edition guide includes a map poster, art gallery, detailed world atlas, quest walkthroughs, skill tree recommendations, and complete coverage of new modes, boss strategies, and enemy tactics! Guide Summary 27" x 27" (685.8 x 685.8 mm) Map Poster: A large, full-colour map of the Summerset Isles, thoroughly labelled with all the important locations, locales and resources. Art Gallery: Striking images of the new expansion. Foreword from the Developer: A message to fans. An Atlas of Summerset: Every major point of interest is called out and catalogued for your reference. Use our detailed print maps and our digital interactive maps to expertly navigate the isles! Character Builds: Hints and advice on choosing skills and constructing effective characters for your adventures. Crafting and Armour: Customise your appearance and stats with crafting guides and details on new armour sets. New Stories and Quests: Maps with walkthroughs that pinpoint and describe how to complete all of the new quests and storylines contained in this expansion. PLUS: Complete coverage of Delves, Dungeons, Trials, and more! Digital Bonus: Unlock your digital version of this guide with the free code included inside. Access your digital guide anytime, anywhere, on any web-enabled device.

Nikon D3400 For Dummies (Paperback): Julie Adair King Nikon D3400 For Dummies (Paperback)
Julie Adair King
R522 R359 Discovery Miles 3 590 Save R163 (31%) Shipped within 7 - 12 working days

Discover the essentials to getting better photos with the Nikon DLSLR D3400 The Nikon D3400 hits stores as Nikon's most advanced entry-level DSLR camera. Along with the pixel power to deliver sharp images, it also offers tools to be instantly creative and quickly share photos to a smartphone. This book will get you up to speed on the D3400 in a flash teaching you all the basic photography skills needed to get great shots from a DSLR camera, while also giving you clear, hands-on guidance through the D3400's specific controls. Nikon D3400 for Dummies helps you learn the ins and outs of the Nikon D3400, including how to get started right away in auto mode, get creative with scene modes, and take full control in manual mode. Filled with practical, easy-to-follow instructions, this book will help you transform from an inexperienced beginner to an advanced shutterbug whose shots could grace the cover of any popular magazine. * Get the lowdown on the controls and settings on a Nikon D3400 * Learn how pro photographers set their cameras to get better shots * Discover the tools that control your camera's exposure settings * Put your newfound knowledge together to shoot better portraits, action shots, and low-light images If you're ready to put down your dinky, dim-lit, non-zooming smartphone and pick up a real professional-grade DSLR camera, do so with the help of Nikon D3400 for Dummies.

Online Risk to Children - Impact, Protection and Prevention (Paperback): Jon Brown Online Risk to Children - Impact, Protection and Prevention (Paperback)
Jon Brown
R908 R708 Discovery Miles 7 080 Save R200 (22%) Shipped within 7 - 13 working days

Online Risk to Children brings together the most up-to-date theory, policy, and best practices for online child protection and abuse prevention. * Moves beyond offender assessment and treatment to discuss the impact of online abuse on children themselves, and the risks and vulnerabilities inherent in their constantly connected lives * Global in scope, setting contributions from leading researchers and practitioners in the UK in international context via chapters from Australia, the USA and Europe. * Key topics covered include cyberbullying, peer-oriented abuse, victim treatment approaches, international law enforcement strategies, policy responses, and the role of schools and industry

Head First Go (Paperback): Jay McGavren Head First Go (Paperback)
Jay McGavren
R1,234 R704 Discovery Miles 7 040 Save R530 (43%) Shipped within 7 - 12 working days

Go represents an attempt to improve on some weaknesses of traditional compiled programming languages. It de-emphasizes or removes error-prone language structures like class inheritance and exception handling. It features great concurrency support and automatic memory management (garbage collection). Existing Go books tend to be highly technical in nature, teaching all aspects of the language regardless of their relevance to beginners. This book, rather than talking about the features of Go in abstract terms, features simple, clear examples that demonstrate Go in action, and diagrams to explain difficult concepts. This book will not only teach developers basic language features, it will get them comfortable consulting error output, documentation, and search engines to find solutions to problems. It will teach all the conventions and techniques that employers expect an entry-level Go developer to know.

Oracle9i RMAN Backup & Recovery (Paperback): Robert G Freeman, Matthew Hart Oracle9i RMAN Backup & Recovery (Paperback)
Robert G Freeman, Matthew Hart
R1,112 R847 Discovery Miles 8 470 Save R265 (24%) Shipped within 7 - 11 working days

From the exclusive publishers of Oracle Press Books, here is the only book available offering complete coverage of RMAN (Recovery Manager), Oracle’s free backup and recovery technology. An indispensable resource for new Oracle users, database administrators, and system administrators.

Disaster Proofing Information Systems - A Complete Methodology for Eliminating Single Points of Failure (Paperback): Robert W... Disaster Proofing Information Systems - A Complete Methodology for Eliminating Single Points of Failure (Paperback)
Robert W Buchanan
R1,161 R1,074 Discovery Miles 10 740 Save R87 (7%) Shipped within 7 - 11 working days

Nobody wants to shell out a lot of money for something theyll use once or, with any luck, never. But thats where most corporations find themselves today. Network managers see disaster recovery as outside their jurisdiction, and therefore as a competitor for system resources. External incentives to deploy disaster recovery from customers and partners may be pressing, but internal incentives are working against them.

This book provides a methodology responsive to those problems. With careful planning, it can actually improve system performance instead of encumbering it. Even if your organization isnt budgeted for disaster recovery planning, you can implement this methodology now, at minimum cost, and reap immediate returns. For companies already invested in system protection software, Buchanan shows network managers how to get started on impact and risk assessment, protection planning, policymaking, and more.

Facebook For Dummies (Paperback, 7th Edition): Carolyn Abram, Amy Karasavas Facebook For Dummies (Paperback, 7th Edition)
Carolyn Abram, Amy Karasavas 1
R427 R299 Discovery Miles 2 990 Save R128 (30%) Shipped within 7 - 12 working days

Take control of your Facebook profile When you join Facebook, you're joining a community with over two billion people spread around the globe. It helps to have the insight on not only how to set up your profile and add content, but also how to make sure you control who sees--and doesn't see--your posts. Facebook For Dummies provides the trusted guidance you need to set up a profile, add content, and apply the many tools Facebook provides to give you control of your content. Primarily known as a way for individuals to share information, photos and videos, and calendar invitations, Facebook has gained prominence as a means to spread news, market products, and serve as a business platform. Whatever you're looking to use it for, this book shows you how to use all the features available to make it a more satisfying experience. Build your profile and start adding friends Use Facebook to send private messages and instant notes Discover ways to set privacy and avoid online nuisances Launch a promotion page Get ready to have a whole lot of fun on the largest social network in the world.

Guide to UNIX Using Linux, International Edition (Paperback, 4th edition): Michael Palmer Guide to UNIX Using Linux, International Edition (Paperback, 4th edition)
Michael Palmer
R1,073 R902 Discovery Miles 9 020 Save R171 (16%) Shipped within 8 - 13 working days

Written with a clear, straightforward writing style and packed with step-by-step projects for direct, hands-on learning, Guide to UNIX Using Linux, International Edition is the perfect resource for learning UNIX and Linux from the ground up. Through the use of practical examples, end-of-chapter reviews, and interactive exercises, novice users are transformed into confident UNIX/Linux users who can employ utilities, master files, manage and query data, create scripts, access a network or the Internet, and navigate popular user interfaces and software. The updated 4th edition incorporates coverage of the latest versions of UNIX and Linux, including new versions of Red Hat, Fedora, SUSE, and Uuntu Linux. A new chapter has also been added to cover basic networking utilities, and several other chapters have been expanded to include additional information on the KDE and GNOME desktops, as well as coverage of the popular OpenOffice.org office suite. With a strong focus on universal UNIX and Linux commands that are transferable to all versions of Linux, this book is a "must-have" for anyone seeking to develop their knowledge of these systems.

An Invitation to Applied Category Theory - Seven Sketches in Compositionality (Paperback): Brendan Fong, David I. Spivak An Invitation to Applied Category Theory - Seven Sketches in Compositionality (Paperback)
Brendan Fong, David I. Spivak
R830 Discovery Miles 8 300 Shipped within 7 - 12 working days

Category theory is unmatched in its ability to organize and layer abstractions and to find commonalities between structures of all sorts. No longer the exclusive preserve of pure mathematicians, it is now proving itself to be a powerful tool in science, informatics, and industry. By facilitating communication between communities and building rigorous bridges between disparate worlds, applied category theory has the potential to be a major organizing force. This book offers a self-contained tour of applied category theory. Each chapter follows a single thread motivated by a real-world application and discussed with category-theoretic tools. We see data migration as an adjoint functor, electrical circuits in terms of monoidal categories and operads, and collaborative design via enriched profunctors. All the relevant category theory, from simple to sophisticated, is introduced in an accessible way with many examples and exercises, making this an ideal guide even for those without experience of university-level mathematics.

Why I Am Not Going to Buy a Computer (Paperback): Wendell Berry Why I Am Not Going to Buy a Computer (Paperback)
Wendell Berry 1
R25 R19 Discovery Miles 190 Save R6 (24%) Shipped within 7 - 12 working days

'Do I wish to keep up with the times? No. My wish simply is to live my life as fully as I can' The great American poet, novelist and environmental activist argues for a life lived slowly. Penguin Modern: fifty new books celebrating the pioneering spirit of the iconic Penguin Modern Classics series, with each one offering a concentrated hit of its contemporary, international flavour. Here are authors ranging from Kathy Acker to James Baldwin, Truman Capote to Stanislaw Lem and George Orwell to Shirley Jackson; essays radical and inspiring; poems moving and disturbing; stories surreal and fabulous; taking us from the deep South to modern Japan, New York's underground scene to the farthest reaches of outer space.

MDM: Fundamentals, Security and the Modern Desktop: - Using Intune, Autopilot and Azure to Manage, Deploy and Secure Windows 10... MDM: Fundamentals, Security and the Modern Desktop: - Using Intune, Autopilot and Azure to Manage, Deploy and Secure Windows 10 (Paperback)
Jeremy Moskowitz
R870 R571 Discovery Miles 5 710 Save R299 (34%) Shipped within 7 - 12 working days

The first major book on MDM written by Group Policy MVP and renowned expert, Jeremy Moskowitz! With Windows 10, organizations can create a consistent set of configurations across the modern enterprise desktop--for PCs, tablets, and phones--through the common Mobile Device Management (MDM) layer. MDM gives organizations a way to configure settings that achieve their administrative intent without exposing every possible setting. One benefit of MDM is that it enables organizations to apply broader privacy, security, and application management settings through lighter and more efficient tools. MDM also allows organizations to target Internet-connected devices to manage policies without using Group Policy (GP) that requires on-premises domain-joined devices. This makes MDM the best choice for devices that are constantly on the go. With Microsoft making this shift to using Mobile Device Management (MDM), a cloud-based policy-management system, IT professionals need to know how to do similar tasks they do with Group Policy, but now using MDM, with its differences and pitfalls. - What is MDM (and how is it different than GP) - Setup Azure AD and MDM Auto-Enrollment - New PC Rollouts and Remote Refreshes: Autopilot and Configuration Designer - Enterprise State Roaming and OneDrive Documents Roaming Microsoft Group Policy MVP Jeremy Moskowitz teaches you MDM fundamentals, essential troubleshooting techniques, and how to manage your enterprise desktops.

Office 365 All-in-One For Dummies (Paperback): Peter Weverka Office 365 All-in-One For Dummies (Paperback)
Peter Weverka
R658 R445 Discovery Miles 4 450 Save R213 (32%) Shipped within 7 - 12 working days

The deepest reference on Microsoft's productivity service Office 365 offers the same productivity power as past versions of Microsoft Office along with tools designed to boost collaboration in the workplace and instant access to the latest Office updates without buying a whole new software package. It's an ideal solution for both the office and home use. The author of the bestselling Office All-in-One For Dummies shares his advice on how to navigate the nuts and bolts of getting things done with Office 365. Look inside for step-by-step instructions on Excel, Outlook, Word, PowerPoint, Access, and OneNote along with a dive into the cloud services that come with Office 365. Access Office 365 Make sense of common Office tasks Use Excel, Word, outlook, PowerPoint and more Take advantage of 365 online services If you're a home or business user interested in having a complete reference on the suite, this book has you covered.

Portfolio, programme and project offices pocketbook [pack of 10] (Paperback): Eileen Roden, Axelos Portfolio, programme and project offices pocketbook [pack of 10] (Paperback)
Eileen Roden, Axelos
R942 Discovery Miles 9 420 Shipped within 7 - 12 working days

Portfolio, Programme and Project Offices (P3O) will provide a focal point for defining a balanced portfolio of change and ensuring consistent delivery of programmes and projects across an organization or department. The publication takes many forms, from a single all-encompassing physical office to a virtual office model made up of a permanent organization portfolio office supported by a permanent hub portfolio office or temporary programme/project offices. The pocketbook introduces the principles, processes and techniques that will enable individuals and organizations to successfully establish develop and maintain appropriate support structures

Microsoft Access 2010 - Comprehensive, International Edition (Paperback, International Ed): Gary B. Shelly, Thomas J. Cashman,... Microsoft Access 2010 - Comprehensive, International Edition (Paperback, International Ed)
Gary B. Shelly, Thomas J. Cashman, Philip J. Pratt, Mary Z Last
R852 R728 Discovery Miles 7 280 Save R124 (15%) Shipped within 8 - 13 working days

This book encourages students to expand their understanding of the Access 2010 software through experimentation, exploration and planning ahead. End of chapter exercises prepare students to become more capable software users by requiring them to use critical thinking and problem-solving skills to create real-life documents.

Office 2016 Simplified (Paperback): Elaine Marmel Office 2016 Simplified (Paperback)
Elaine Marmel
R540 R378 Discovery Miles 3 780 Save R162 (30%) Shipped within 7 - 12 working days

Start learning the latest in Office Office Simplified is the quick, easy, full-color guide to the new features and tools of the latest version of Office. With a clear, highly visual, introductory style of instruction, this book gives you step-by-step directions alongside illustrative screen shots to help you learn Microsoft's bestselling productivity software. You'll take a tour through all Office applications, and learn how the new tools can make your workday easier. The simplified approach eliminates unnecessary information, focusing instead on the essentials you need to know to get things done. Organized for easy navigation, this helpful guide is designed to be used both as a start-to-finish tutorial and as a handy desk reference when you run into unfamiliar territory. Whether you're upgrading from a previous version or using the Office suite of applications for the first time, this book has you covered every step of the way. You'll find the answers you need, new tools you can use, and the step-by-step guidance that helps you get it right on the first try. * Get acquainted with the Office workflow * Walk through Word, Excel, PowerPoint, Outlook, and Publisher * Follow along with practical examples to tackle dozens of tasks * Compose documents, create spreadsheets, organize your email, and more This book provides the ideal rundown of Microsoft Office's full feature set and capabilities. Even experienced users may learn something they never realized they were missing. If you need to get things done with minimal interruption to your workflow, Office Simplified will get you up to speed quickly and easily.

Temporal Logics in Computer Science - Finite-State Systems (Hardcover): Stephane Demri, Valentin Goranko, Martin Lange Temporal Logics in Computer Science - Finite-State Systems (Hardcover)
Stephane Demri, Valentin Goranko, Martin Lange
R2,184 R1,923 Discovery Miles 19 230 Save R261 (12%) Shipped within 7 - 12 working days

This comprehensive text provides a modern and technically precise exposition of the fundamental theory and applications of temporal logics in computer science. Part I presents the basics of discrete transition systems, including constructions and behavioural equivalences. Part II examines the most important temporal logics for transition systems and Part III looks at their expressiveness and complexity. Finally, Part IV describes the main computational methods and decision procedures for model checking and model building - based on tableaux, automata and games - and discusses their relationships. The book contains a wealth of examples and exercises, as well as an extensive annotated bibliography. Thus, the book is not only a solid professional reference for researchers in the field but also a comprehensive graduate textbook that can be used for self-study as well as for teaching courses.

Advanced Adobe Photoshop CS5 Revealed (Paperback, International Edition): Chris Botello Advanced Adobe Photoshop CS5 Revealed (Paperback, International Edition)
Chris Botello
R708 R610 Discovery Miles 6 100 Save R98 (14%) Shipped within 8 - 13 working days

Discover all that Photoshop CS5 has to offer with ADVANCED ADOBE PHOTOSHOP CS5 REVEALED. This book teaches advanced design techniques using one of the most popular photo-editing programs on the market. Using step-by-step tutorials, readers work with curves, levels, blending modes, painting and drawing tools, and the latest Photoshop special effects to create professional-quality designs and images. They are challenged not only as Photoshop users but as designers, following the steps a designer would take to complete real-world projects. They also see what works in a design and what doesn't. Readers then take their craft to the next level by using the advanced end-of-chapter learning projects. The book's full-color interior and highly visual design make this the ideal book for learning advanced design techniques using the latest version of Adobe Photoshop.

BTEC First in I&CT Revision Workbook (Paperback): BTEC First in I&CT Revision Workbook (Paperback)
R169 Discovery Miles 1 690 Shipped within 7 - 11 working days

* This Revision Workbook delivers hassle-free question practice, covering one topic per page and avoiding lengthy set up time. * Build your confidence with guided practice questions, before moving onto unguided questions and practice tests. * With one-to-one page correspondence between the Workbook and the Revision Guide, this hugely popular Revision series offers the best value available for BTEC learners. * Covers both externally assessed Units for 2012 BTEC First in Information and Creative Technology (Units 1 and 2).

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
MIS 8 - with MIS Online, 1 term (6…
Hossein Bidgoli Paperback R708 R605 Discovery Miles 6 050
Hashtag Authentic - Finding creativity…
Sara Tasker Hardcover  (1)
R412 R327 Discovery Miles 3 270
MIS6 - Management Information Systems
Hossein Bidgoli Paperback  (21)
R750 R639 Discovery Miles 6 390
Systems Analysis and Design
Harry J. Rosenblatt, Scott Tilley Hardcover R801 R685 Discovery Miles 6 850
Tech Adjacent - The Exponential Guide To…
Mushambi Mutuma Paperback R265 R185 Discovery Miles 1 850
Systems Analysis and Design in a…
Stephen D. Burd, John W. Satzinger, … Hardcover  (1)
R776 R664 Discovery Miles 6 640
These Things Really Do Happen To Me
Khaya Dlanga Paperback R190 R164 Discovery Miles 1 640
Database Systems - Design…
Steven Morris, Carlos Coronel Hardcover  (2)
R813 R702 Discovery Miles 7 020
Principles Of Business Information…
Ralph Stair, George Reynolds, … Paperback  (2)
R709 R606 Discovery Miles 6 060
Oracle 12c - SQL
Joan Casteel Paperback  (1)
R806 R686 Discovery Miles 6 860

 

Partners