0
Your cart

Your cart is empty

Browse All Departments
Price
  • R50 - R100 (1)
  • R100 - R250 (67)
  • R250 - R500 (146)
  • R500+ (945)
  • -
Status
Format
Author / Contributor
Publisher

Books > Computing & IT > Computer hardware & operating systems > General

Build Your Own IoT Platform - Develop a Flexible and Scalable Internet of Things Platform (Paperback, 2nd ed.): Anand Tamboli Build Your Own IoT Platform - Develop a Flexible and Scalable Internet of Things Platform (Paperback, 2nd ed.)
Anand Tamboli
R1,391 R1,144 Discovery Miles 11 440 Save R247 (18%) Ships in 18 - 22 working days

Every solution that is in some way related to the IoT needs a platform; learn how to create that platform with us. This book is about being agile and reducing your time to market without breaking the bank. It is about designing something that can scale incrementally without rework and potentially disrupting the current work. So, the key questions are: What does it take? How long does it take? And, how much does it take to build your own IoT platform? This book answers these questions and provides you with step-by-step guide to building your own IoT platform. In this book, the author highlights what the core of an IoT platform looks like. There are always some must-haves and some nice-to-haves. This book distinguishes the two and focuses on building the must-haves. Building your IoT platform is not only the most significant cost-saver but can also be a satisfying learning experience. This edition will extend your work with a sample project to clarify the concepts and show you the possibilities. Additional chapters will also shed some light on the hardware interface and considerations. What You Will Learn * Master how to architect an interconnected system and develop a flexible platform architecture * Understand how to prioritize system requirements with a bottom-up approach * Design and build a robust IoT communications platform * Create an end-to-end application using guidelines in this book Who Is This Book For IoT developers with basic-to-intermediate programming skills, small business owners, as well as entrepreneurs and startup founders would benefit from this book

Das lacherlich einfache Handbuch fur apple Services - Das Anfanger Handbuch Zu Apple Arcade, Apple Card, Apple Music, Apple TV,... Das lacherlich einfache Handbuch fur apple Services - Das Anfanger Handbuch Zu Apple Arcade, Apple Card, Apple Music, Apple TV, Und iCloud (German, Paperback)
Scott La Counte
R482 Discovery Miles 4 820 Ships in 18 - 22 working days
Electronic Engineering and Computing Technology (Hardcover, 2010 ed.): L. Engelman Electronic Engineering and Computing Technology (Hardcover, 2010 ed.)
L. Engelman
R4,411 Discovery Miles 44 110 Ships in 18 - 22 working days

Electronic Engineering and Computing Technology contains sixty-one revised and extended research articles written by prominent researchers participating in the conference. Topics covered include Control Engineering, Network Management, Wireless Networks, Biotechnology, Signal Processing, Computational Intelligence, Computational Statistics, Internet Computing, High Performance Computing, and industrial applications. Electronic Engineering and Computing Technology will offer the state of art of tremendous advances in electronic engineering and computing technology and also serve as an excellent reference work for researchers and graduate students working with/on electronic engineering and computing technology.

Machine Learning with the Raspberry Pi - Experiments with Data and Computer Vision (Paperback, 1st ed.): Donald J. Norris Machine Learning with the Raspberry Pi - Experiments with Data and Computer Vision (Paperback, 1st ed.)
Donald J. Norris
R1,266 R1,069 Discovery Miles 10 690 Save R197 (16%) Ships in 18 - 22 working days

Using the Pi Camera and a Raspberry Pi board, expand and replicate interesting machine learning (ML) experiments. This book provides a solid overview of ML and a myriad of underlying topics to further explore. Non-technical discussions temper complex technical explanations to make the hottest and most complex topic in the hobbyist world of computing understandable and approachable. Machine learning, also commonly referred to as deep learning (DL), is currently being integrated into a multitude of commercial products as well as widely being used in industrial, medical, and military applications. It is hard to find any modern human activity, which has not been "touched" by artificial intelligence (AI) applications. Building on the concepts first presented in Beginning Artificial Intelligence with the Raspberry Pi, you'll go beyond simply understanding the concepts of AI into working with real machine learning experiments and applying practical deep learning concepts to experiments with the Pi board and computer vision. What you learn with Machine Learning with the Raspberry Pi can then be moved on to other platforms to go even further in the world of AI and ML to better your hobbyist or commercial projects. What You'll Learn Acquire a working knowledge of current ML Use the Raspberry Pi to implement ML techniques and algorithms Apply AI and ML tools and techniques to your own work projects and studies Who This Book Is For Engineers and scientists but also experienced makers and hobbyists. Motivated high school students who desire to learn about ML can benefit from this material with determination.

Quantencomputer - Von der Quantenwelt zur Kunstlichen Intelligenz (German, Hardcover, 1. Aufl. 2020): Klaus Mainzer Quantencomputer - Von der Quantenwelt zur Kunstlichen Intelligenz (German, Hardcover, 1. Aufl. 2020)
Klaus Mainzer
R607 R561 Discovery Miles 5 610 Save R46 (8%) Ships in 18 - 22 working days

Die Quantenwelt ist langst im Alltag angekommen, ohne dass es vielen bewusst ist. Dazu gehoeren Transistoren, Dioden und Laser, die aus Alltagsgeraten nicht mehr fortzudenken sind. Nach dieser ersten Generation der Quantentechnologien leben wir derzeit in der zweiten Generation, in der Grundprinzipien der Quantenmechanik gezielt in quantenmechanischen Geraten umgesetzt werden. Dazu gehoeren erste Prototypen von Quantencomputern, klassische Supercomputer mit Quantensimulation, Quantenkryptographie und Quantenkommunikation, Quantensensorik und Quantenmesstechnik. Was Einstein 1935 als spukhafter Effekt vorkam, ist langst Grundlage umwalzender Quantenkommunikation in Glasfasernetzen und Satellitentechnik, die ein zukunftiges Quanteninternet ankundigt. Quantencomputer als Mehrzweckrechner sind nur die Spitze des Eisbergs mit einer Technologie, die sich schrittweise als Netzwerk unserer Zivilisation ausbreitet. Umso dringender ist es, die Grundlagen der Quantenwelt als Hintergrund dieser Technologie zu verstehen. Grundlagen und Zusammenhange begreifen, von den mathematischen und physikalischen Grundlagen bis zu den technischen Anwendungen, ist ein zentrales Ziel des Buchs. Ein weiteres Anliegen dieses Buchs ist das Zusammenwachsen mit der Kunstlichen Intelligenz. In meinem Buch "Kunstliche Intelligenz. Wann ubernehmen die Maschinen?" (Springer 2. Aufl. 2019) wird Machine learning herausgestellt, das Automatisierung in Robotik, Industrie- und Arbeitswelt verwirklicht. Mit Quantentechnologie, Quantencomputer und kunstlicher Intelligenz zeichnet sich aber nicht nur eine Potenzierung neuer Moeglichkeiten ab, sondern auch von Gefahrdungen. Daher erhebt sich die Forderung nach fruhzeitiger Technikgestaltung, damit Quantentechnologie und Kunstliche Intelligenz sich als Dienstleistung in der Gesellschaft bewahren.

Maintaining and Troubleshooting Your 3D Printer (Paperback, 1st ed.): Charles Bell Maintaining and Troubleshooting Your 3D Printer (Paperback, 1st ed.)
Charles Bell
R2,386 Discovery Miles 23 860 Ships in 10 - 15 working days

Maintaining and Troubleshooting Your 3D Printer by Charles Bell is your guide to keeping your 3D printer running through preventive maintenance, repair, and diagnosing and solving problems in 3D printing. If you've bought or built a 3D printer such as a MakerBot only to be confounded by jagged edges, corner lift, top layers that aren't solid, or any of a myriad of other problems that plague 3D printer enthusiasts, then here is the book to help you get past all that and recapture the joy of creative fabrication. The book also includes valuable tips for builders and those who want to modify their printers to get the most out of their investment. Good fabrication begins with calibration. Aligning the print bed to support deposition of medium in three dimensions is critical. Even off-the-shelf machines that are pre-built must be aligned and periodically realigned throughout their life cycle. Maintaining and Troubleshooting Your 3D Printer helps you achieve and hold proper alignment. Maintaining and Troubleshooting Your 3D Printer also helps with software and hardware troubleshooting. You'll learn to diagnose and solve firmware calibration problems, filament and feed problems, chassis issues, and more. Finally there are regular maintenance and enhancements. You've invested significantly in your 3D printer. Protect that investment using the guidance in this book. Learn to clean and lubricate your printer, to maintain the chassis, and know when realignment of the print bed is needed. Learn ways to master your craft and improve the quality of your prints through such things as post-print finishing and filament management. Don't let the challenges of 3D printing stand in the way of creativity. Maintaining and Troubleshooting Your 3D Printer by Charles Bell helps you conquer the challenges and get the most benefit from your expensive investment in personal fabrication.

PCs fur Dummies 13e (German, Paperback): D. Gookin PCs fur Dummies 13e (German, Paperback)
D. Gookin
R590 R520 Discovery Miles 5 200 Save R70 (12%) Ships in 10 - 15 working days
System Design with SystemC (TM) (Paperback, Softcover reprint of hardcover 1st ed. 2002): Thorsten Groetker, Stan Liao, Grant... System Design with SystemC (TM) (Paperback, Softcover reprint of hardcover 1st ed. 2002)
Thorsten Groetker, Stan Liao, Grant Martin, Stuart Swan
R4,038 Discovery Miles 40 380 Ships in 10 - 15 working days

I am honored and delighted to write the foreword to this very first book about SystemC. It is now an excellent time to summarize what SystemC really is and what it can be used for. The main message in the area of design in the 2001 International Te- nologyRoadmapfor Semiconductors (ITRS) isthat"cost ofdesign is the greatest threat to the continuation ofthe semiconductor roadmap. " This recent revision of the ITRS describes the major productivity improvements of the last few years as "small block reuse," "large block reuse ," and "IC implementation tools. " In order to continue to reduce design cost, the - quired future solutions will be "intelligent test benches" and "embedded system-level methodology. " As the new system-level specification and design language, SystemC - rectly contributes to these two solutions. These will have the biggest - pact on future design technology and will reduce system implementation cost. Ittook SystemC less than two years to emerge as the leader among the many new and well-discussed system-level designlanguages. Inmy op- ion, this is due to the fact that SystemC adopted object-oriented syst- level design-the most promising method already applied by the majority of firms during the last couple of years. Even before the introduction of SystemC, many system designers have attempted to develop executable specifications in C++. These executable functional specifications are then refined to the well-known transaction level, to model the communication of system-level processes.

Windows 10 Anniversary Update Bible (Paperback): R Tidrow Windows 10 Anniversary Update Bible (Paperback)
R Tidrow
R1,247 R1,076 Discovery Miles 10 760 Save R171 (14%) Ships in 18 - 22 working days

Your all-inclusive guide to Windows 10 Anniversary Edition Windows 10 Bible, Anniversary Update presents the ultimate reference for enterprise and professional Windows 10 Anniversary Update users. From setup and settings to networking and the daily workflow, this book provides expert guidance on all aspects of the OS. Read from beginning to end for a comprehensive tour of all of the nooks and crannies, or dip in as needed to find quick answers to your most pressing issues formatted as a reference divided into mini-tutorials, this guide delves deep into the Windows 10 Anniversary Update to walk you through every inch of functionality. Personalize your settings, desktop, and security to augment the way you work; configure Windows 10 for enterprise with remote access, groups, and Hyper-V; set up a private network for two or 20 computers, and manage security to keep your content safe everything you need to know is explained here. This book provides clear, authoritative guidance toward every aspect of the old and new to help you take advantage of everything Windows 10 Anniversary Update has to offer. * Customize your Windows 10 Anniversary Update experience * Install and remove hardware and software * Set up your network and configure security * Manage content, connect to printers, and troubleshoot issues Clear your to-do list faster than ever with Cortana voice commands, Windows Ink, Windows Hello, and a cross-platform capability that allows you to integrate a range of platforms including tablets, phones, Raspberry Pi, and even Xbox. Even if you're an experienced user, you're probably missing out on some very cool features let the Windows 10 Bible, Anniversary Update fill the gaps and take your Windows 10 experience to the next level.

Learn Raspberry Pi Programming with Python - Learn to Program on the World's Most Popular Tiny Computer (Paperback, 2nd... Learn Raspberry Pi Programming with Python - Learn to Program on the World's Most Popular Tiny Computer (Paperback, 2nd ed.)
Wolfram Donat
R1,217 R1,020 Discovery Miles 10 200 Save R197 (16%) Ships in 18 - 22 working days

Learn how to program your nifty new $35 computer to make a web spider, a weather station, a media server, and more. This book explores how to make a variety of fun and even useful projects, from a web bot to search and download files to a toy to drive your pets insane. Even if you're completely new to programming in general, you'll see how easy it is to create a home security system, an underwater photography system, an RC plane with a camera, and even a near-space weather balloon with a camera. You'll learn how to use Pi with Arduino as well as Pi with Gertboard, an expansion board with an onboard ATmega microcontroller.Learn Raspberry Pi Programming with Python has been fully updated in this new edition to cover the features of the new boards. You'll learn how to program in Python on your Raspberry Pi with hands-on examples and fun projects. What You'll Learn Set up your new Raspberry Pi Build unique projects across a range of interests Program basic functions and processes using Python Who This Book Is For Readers who want to learn Python on a fun platform like the Pi and pick up some electronics skills along the way. No programming or Linux skill required, but a little experience with Linux will be helpful. Readers familiar with the 1st edition will enjoy the updated information in this new edition.

Network and Parallel Computing - 19th IFIP WG 10.3 International Conference, NPC 2022, Jinan, China, September 24-25, 2022,... Network and Parallel Computing - 19th IFIP WG 10.3 International Conference, NPC 2022, Jinan, China, September 24-25, 2022, Proceedings (Paperback, 1st ed. 2022)
Shaoshan Liu, Xiaohui Wei
R2,068 R1,937 Discovery Miles 19 370 Save R131 (6%) Ships in 9 - 17 working days

This book constitutes the proceedings of the 19th IFIP WG 10.3 International Conference on Network and Parallel Computing, NPC 2022, which was held in Jinan, China, during September 24-25, 2022. The 23 full papers and 8 short papers presented in this volume were carefully reviewed and selected from 89 submissions. They were organized in topical sections as follows: computer architecture; cloud computing; deep learning; emerging applications; and storage and IO.

Digital Logic Design - A Rigorous Approach (Paperback): Guy Even, Moti Medina Digital Logic Design - A Rigorous Approach (Paperback)
Guy Even, Moti Medina
R1,342 Discovery Miles 13 420 Ships in 10 - 15 working days

This textbook, based on the authors' fifteen years of teaching, is a complete teaching tool for turning students into logic designers in one semester. Each chapter describes new concepts, giving extensive applications and examples. Assuming no prior knowledge of discrete mathematics, the authors introduce all background in propositional logic, asymptotics, graphs, hardware and electronics. Important features of the presentation are: * All material is presented in full detail. Every designed circuit is formally specified and implemented, the correctness of the implementation is proved, and the cost and delay are analyzed * Algorithmic solutions are offered for logical simulation, computation of propagation delay and minimum clock period * Connections are drawn from the physical analog world to the digital abstraction * The language of graphs is used to describe formulas and circuits * Hundreds of figures, examples and exercises enhance understanding. The extensive website (http://www.eng.tau.ac.il/~guy/Even-Medina/) includes teaching slides, links to Logisim and a DLX assembly simulator.

How to Do Everything Microsoft SharePoint 2010 (Paperback): Stephen Cawood How to Do Everything Microsoft SharePoint 2010 (Paperback)
Stephen Cawood
R218 Discovery Miles 2 180 Ships in 4 - 6 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. Master Microsoft SharePoint 2010In How to Do Everything: Microsoft SharePoint 2010, Stephen Cawood--a former member of the SharePoint development team--explains how to get the most out of this powerful business collaboration platform. Learn how to use document management functions, wikis, taxonomy, blogs, My Sites, web parts, and more. Take full advantage of the content management, enterprise search, collaboration, and information-sharing capabilities of SharePoint 2010 with help from this practical guide. Set up a SharePoint site Add documents, use the SharePoint content approval workflow, and work with document versioning features Collaborate with others during discussion boards, blogs, wikis, events, surveys, calendars, and workspaces Use social tagging to create a folksonomy of keywords Create a taxonomy hierarchy using Enterprise Managed Metadata Build publishing sites, My Sites, and public-facing websites Show data on pages using web parts Customize lists, forms, site themes, and navigation Use SharePoint with client applications, including Microsoft Office Backstage, Outlook, InfoPath, SharePoint Designer, and third-party applications

Federated Learning for IoT Applications (Hardcover, 1st ed. 2022): Satya Prakash Yadav, Bhoopesh   Singh BHATI, Dharmendra... Federated Learning for IoT Applications (Hardcover, 1st ed. 2022)
Satya Prakash Yadav, Bhoopesh Singh BHATI, Dharmendra Prasad Mahato, Sachin Kumar
R3,015 R1,835 Discovery Miles 18 350 Save R1,180 (39%) Ships in 9 - 17 working days

This book presents how federated learning helps to understand and learn from user activity in Internet of Things (IoT) applications while protecting user privacy. The authors first show how federated learning provides a unique way to build personalized models using data without intruding on users' privacy. The authors then provide a comprehensive survey of state-of-the-art research on federated learning, giving the reader a general overview of the field. The book also investigates how a personalized federated learning framework is needed in cloud-edge architecture as well as in wireless-edge architecture for intelligent IoT applications. To cope with the heterogeneity issues in IoT environments, the book investigates emerging personalized federated learning methods that are able to mitigate the negative effects caused by heterogeneities in different aspects. The book provides case studies of IoT based human activity recognition to demonstrate the effectiveness of personalized federated learning for intelligent IoT applications, as well as multiple controller design and system analysis tools including model predictive control, linear matrix inequalities, optimal control, etc. This unique and complete co-design framework will benefit researchers, graduate students and engineers in the fields of control theory and engineering.

Raspberry Pi fur Dummies 2e (German, Paperback, 2. Auflage): S. McManus Raspberry Pi fur Dummies 2e (German, Paperback, 2. Auflage)
S. McManus
R633 Discovery Miles 6 330 Ships in 10 - 15 working days

Sean McManus und Mike Cook fA1/4hren Sie Schritt fA1/4r Schritt in die Nutzung des Raspberry Pi ein und verschaffen Ihnen einen A berblick A1/4ber all die MAglichkeiten, die er Ihnen bietet. Sie zeigen Ihnen, wie Sie den Raspberry Pi zum Laufen bringen, sich unter Linux zurechtfinden, den Raspberry Pi als ganz normalen Computer mit Office- und Bildverarbeitungsprogrammen oder als Mediencenter zum Abspielen von Musik und Videos nutzen. AuA erdem lernen Sie, wie Sie die Platine mit Scratch und Python programmieren, und erfahren alles A1/4ber die Verwendung des Raspberry Pi als Steuereinheit fA1/4r elektronisches Spielzeug.

Digital Logic Design - A Rigorous Approach (Hardcover, New): Guy Even, Moti Medina Digital Logic Design - A Rigorous Approach (Hardcover, New)
Guy Even, Moti Medina
R1,624 Discovery Miles 16 240 Ships in 10 - 15 working days

This textbook, based on the authors' fifteen years of teaching, is a complete teaching tool for turning students into logic designers in one semester. Each chapter describes new concepts, giving extensive applications and examples. Assuming no prior knowledge of discrete mathematics, the authors introduce all background in propositional logic, asymptotics, graphs, hardware and electronics. Important features of the presentation are: * All material is presented in full detail. Every designed circuit is formally specified and implemented, the correctness of the implementation is proved, and the cost and delay are analyzed * Algorithmic solutions are offered for logical simulation, computation of propagation delay and minimum clock period * Connections are drawn from the physical analog world to the digital abstraction * The language of graphs is used to describe formulas and circuits * Hundreds of figures, examples and exercises enhance understanding. The extensive website (http://www.eng.tau.ac.il/~guy/Even-Medina/) includes teaching slides, links to Logisim and a DLX assembly simulator.

Internet of Things Using Single Board Computers - Principles of IoT and Python Programming (Paperback, 1st ed.): G. R.... Internet of Things Using Single Board Computers - Principles of IoT and Python Programming (Paperback, 1st ed.)
G. R. Kanagachidambaresan
R1,293 R1,071 Discovery Miles 10 710 Save R222 (17%) Ships in 18 - 22 working days

Rapidly prototype and program new IoT and Edge solutions using low-cost Maker tech, such as those from Arduino, Raspberry Pi and Nvidia. With a focus on the electronics, this book allows experienced computer science students as well as researchers, practitioners, and even hobbyists to dive right into actual engineering of prototypes and not just theoretical programming and algorithms. You'll learn to interface sensors, work with various communication mediums, incorporate wired and wireless communication protocols, and more with these single board computers. All while working in the popular Python programming language. Additionally, you'll discover both scripting-based and drag and drop solutions for different problems. As well as a variety of useful, data gathering approaches. Then you can apply what you've learned to IoT projects and troubleshooting Industry 4.0 problems. The rapid growth of technology and new development initiatives has made the Internet of Things and Edge analytics an inevitable platform in all engineering domains. The need for sophisticated and ambient environments controlled by tech has resulted in an exponential growth of automation and artificial intelligence. Internet of Things Using Single Board Computers reflects these recent developments while providing a low-cost, easy ramp into the fields of IoT using single board computers and Python programming. What You'll Learn Program Arduino, Raspberry Pi, and Nvidia boards for rapid prototyping in IoT and Edge environments Interface sensors, communication mediums, and wired and wireless communications into your programs and projects. Study practical applications of these low-cost solutions in fields such as home automation, smart cities, electrical vehicle charging, and more. Who This Book is For Engineers and hobbyists working on Internet of Things prototypes and applications. Basic skills in electronics and a working knowledge of Python are recommended. Engineers and scientists working on smart environment projects and smart city applications will also benefit.

Logic Gates, Circuits, Processors, Compilers and Computers (Paperback, 1st ed. 2021): Jan Friso Groote, Rolf Morel, Julien... Logic Gates, Circuits, Processors, Compilers and Computers (Paperback, 1st ed. 2021)
Jan Friso Groote, Rolf Morel, Julien Schmaltz, Adam Watkins
R910 Discovery Miles 9 100 Ships in 9 - 17 working days

This undergraduate textbook first introduces basic electronic circuitry before explaining more advanced elements such as the Arithmetic Logic Unit, sequential circuits, and finally microprocessors. In keeping with this integrated and graduated approach, the authors then explain the relationship to first assembly programming, then higher-level languages, and finally computer organisation. Authors use the Raspberry Pi and ARM microprocessors for their explanations The material has been extensively class tested at TU Eindhoven by an experienced team of lecturers and researchers. This is a modern, holistic treatment of well-established topics, valuable for undergraduate students of computer science and electronics engineering and for self-study. The authors use the Raspberry Pi and ARM microprocessors for their explanations.

VLSI Design and Test - 26th International Symposium, VDAT 2022, Jammu, India, July 17-19, 2022, Revised Selected Papers... VLSI Design and Test - 26th International Symposium, VDAT 2022, Jammu, India, July 17-19, 2022, Revised Selected Papers (Paperback, 1st ed. 2022)
Ambika Prasad Shah, Sudeb Dasgupta, Anand Darji, Jaynarayan Tudu
R2,739 Discovery Miles 27 390 Ships in 18 - 22 working days

This book constitutes the proceedings of the 26th International Symposium on VLSI Design and Test, VDAT 2022, which took place in Jammu, India, in July 2022. The 32 regular papers and 16 short papers presented in this volume were carefully reviewed and selected from 220 submissions. They were organized in topical sections as follows: Devices and Technology; Sensors; Analog/Mixed Signal; Digital Design; Emerging Technologies and Memory; System Design.

Fundamentals of Logic and Computation - With Practical Automated Reasoning and Verification (Paperback, 1st ed. 2021): Zhe Hou Fundamentals of Logic and Computation - With Practical Automated Reasoning and Verification (Paperback, 1st ed. 2021)
Zhe Hou
R1,617 Discovery Miles 16 170 Ships in 18 - 22 working days

This textbook aims to help the reader develop an in-depth understanding of logical reasoning and gain knowledge of the theory of computation. The book combines theoretical teaching and practical exercises; the latter is realised in Isabelle/HOL, a modern theorem prover, and PAT, an industry-scale model checker. I also give entry-level tutorials on the two software to help the reader get started. By the end of the book, the reader should be proficient in both software. Content-wise, this book focuses on the syntax, semantics and proof theory of various logics; automata theory, formal languages, computability and complexity. The final chapter closes the gap with a discussion on the insight that links logic with computation. This book is written for a high-level undergraduate course or a Master's course. The hybrid skill set of practical theorem proving and model checking should be helpful for the future of readers should they pursue a research career or engineering in formal methods.

Challenges in the IoT and Smart Environments - A Practitioners' Guide to Security, Ethics and Criminal Threats (Paperback,... Challenges in the IoT and Smart Environments - A Practitioners' Guide to Security, Ethics and Criminal Threats (Paperback, 1st ed. 2021)
Reza Montasari, Hamid Jahankhani, Haider Al-Khateeb
R4,247 Discovery Miles 42 470 Ships in 18 - 22 working days

This book is an invaluable reference for those operating within the fields of Cyber Security, Digital Forensics, Digital Policing, Computer Science and Artificial Intelligence. The Internet of Things (IoT) ecosystem presents a wide range of consumer, infrastructure, organisational, industrial and military applications. The IoT technologies such as intelligent health-connected devices; unmanned aerial vehicles (UAVs); smart grids; cyber-physical and cyber-biological systems; and the Internet of Military/Battlefield Things offer a myriad of benefits both individually and collectively. For example, implantable devices could be utilised to save or enhance patients' lives or offer preventative treatments. However, notwithstanding its many practical and useful applications, the IoT paradigm presents numerous challenges spanning from technical, legal and investigative issues to those associated with security, privacy and ethics. Written by internationally-renowned experts in the field, this book aims to contribute to addressing some of these challenges. Lawyers, psychologists and criminologists could also find this book a very valuable resource at their disposal, and technology enthusiasts might find the book interesting. Furthermore, the book is an excellent advanced text for research and master's degree students as well as undergraduates at their final years of studies in the stated fields.

Softwareentwicklung Eingebetteter Systeme - Grundlagen, Modellierung, Qualitatssicherung (German, Book, 2005 ed.): Peter Scholz Softwareentwicklung Eingebetteter Systeme - Grundlagen, Modellierung, Qualitatssicherung (German, Book, 2005 ed.)
Peter Scholz
R1,534 Discovery Miles 15 340 Ships in 18 - 22 working days

Eingebettete Systeme ubernehmen komplexe Steuerungs- und Regelungsaufgaben fur technische Systeme. Ihre Funktionalitat wird durch das Zusammenspiel von Spezialhardware, Standardprozessoren, Peripherie und Software realisiert. Oft liegt der Schwerpunkt auf Hardware-Aspekten. Tatsachlich spielt der Softwareentwurf eine mindestens genauso wichtige Rolle beim Entwurf dieser Systeme. Hier setzt das Buch an und liefert einen guten Uberblick uber das Thema. Klassifikationen und Themen wie Nebenlaufigkeit, Echtzeit und Echtzeitbetriebssysteme bilden die Grundlagen. Die Programmierung eingebetteter Systeme wird mit C++, Java sowie an den Beispielen von Esterel und Giotto erlautert. Ausgewahlte Softwareentwurfstechniken wie Statecharts, hybride Systeme, UML und Hardware-Software Co-Design werden ausfuhrlich vorgestellt. Eingebettete Systeme finden oft in sicherheitskritischen Bereichen Einsatz. Die Sicherung der Softwarequalitat ist daher von zentraler Bedeutung und bildet einen weiteren wichtigen Teil des Buches."

Cryptology and Network Security - 21st International Conference, CANS 2022, Abu Dhabi, United Arab Emirates, November 13-16,... Cryptology and Network Security - 21st International Conference, CANS 2022, Abu Dhabi, United Arab Emirates, November 13-16, 2022, Proceedings (Paperback, 1st ed. 2022)
Alastair R. Beresford, Arpita Patra, Emanuele Bellini
R2,117 Discovery Miles 21 170 Ships in 18 - 22 working days

This book constitutes the refereed proceedings of the 21st International Conference on Cryptology and Network Security, CANS 2022, which was held during November 13-16, 2022. The conference was took place in Abu Dhabi, United Arab Emirates.The 18 full and 2 short papers presented in these proceedings were carefully reviewed and selected from 54 submissions. They were organized in topical sections as follows: zero-knowledge and MPC; public-key infrastructure; attacks and countermeasures; cryptanalysis and provable security; cryptographic protocols; blockchain and payment systems; and codes and post-quantum cryptography.

Attacks and Defenses for the Internet-of-Things - 5th International Workshop, ADIoT 2022, Copenhagen, Denmark, September 30,... Attacks and Defenses for the Internet-of-Things - 5th International Workshop, ADIoT 2022, Copenhagen, Denmark, September 30, 2022, Revised Selected Papers (Paperback, 1st ed. 2022)
Wenjuan Li, Steven Furnell, Weizhi Meng
R1,492 Discovery Miles 14 920 Ships in 18 - 22 working days

This book constitutes the post-conference proceedings of the 5th International Workshop on Attacks and Defenses for Internet-of-Things, ADIoT 2022, held in conjunction with ESORICS 2022, in Copenhagen, Denmark, in September 30, 2022, in hybrid mode.The 7 full papers and 3 short papers were carefully reviewed and selected from 18 submissions. This workshop focuses on IoT attacks and defenses and discusses either practical or theoretical solutions to identify IoT vulnerabilities and IoT security mechanisms.

Patterns in the Machine - A Software Engineering Guide to Embedded Development (Paperback, 1st ed.): John T. Taylor, Wayne T.... Patterns in the Machine - A Software Engineering Guide to Embedded Development (Paperback, 1st ed.)
John T. Taylor, Wayne T. Taylor
R1,093 Discovery Miles 10 930 Ships in 9 - 17 working days

Discover how to apply software engineering patterns to develop more robust firmware faster than traditional embedded development approaches. In the authors' experience, traditional embedded software projects tend towards monolithic applications that are optimized for their target hardware platforms. This leads to software that is fragile in terms of extensibility and difficult to test without fully integrated software and hardware. Patterns in the Machine focuses on creating loosely coupled implementations that embrace both change and testability. This book illustrates how implementing continuous integration, automated unit testing, platform-independent code, and other best practices that are not typically implemented in the embedded systems world is not just feasible but also practical for today's embedded projects. After reading this book, you will have a better idea of how to structure your embedded software projects. You will recognize that while writing unit tests, creating simulators, and implementing continuous integration requires time and effort up front, you will be amply rewarded at the end of the project in terms of quality, adaptability, and maintainability of your code. What You Will Learn Incorporate automated unit testing into an embedded project Design and build functional simulators for an embedded project Write production-quality software when hardware is not available Use the Data Model architectural pattern to create a highly decoupled design and implementation Understand the importance of defining the software architecture before implementation starts and how to do it Discover why documentation is essential for an embedded project Use finite state machines in embedded projects Who This Book Is For Mid-level or higher embedded systems (firmware) developers, technical leads, software architects, and development managers.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Sea Level Rise and Coastal…
Yuanzhi Zhang, Yijun Hou, … Hardcover R3,097 Discovery Miles 30 970
Waves in Ocean Engineering, Volume 5
M.J. Tucker, E.G. Pitt Hardcover R3,734 Discovery Miles 37 340
Wind Generated Ocean Waves, Volume 2
I.R. Young Hardcover R3,103 Discovery Miles 31 030
Processes in GeoMedia-Volume I
Chaplina Tatiana Olegovna Hardcover R3,143 Discovery Miles 31 430
The Handbook of Sidescan Sonar
Philippe Blondel Hardcover R6,560 Discovery Miles 65 600
Boron Isotopes - The Fifth Element
Horst Marschall, Gavin Foster Hardcover R5,108 Discovery Miles 51 080
The Physical Geography of the Sea
Matthew Fontaine Maury Paperback R571 Discovery Miles 5 710
Tsunamis in the European-Mediterranean…
Gerassimos Papadopoulos Hardcover R2,340 Discovery Miles 23 400
Seawater - Its Composition, Properties…
Open University Paperback R1,351 Discovery Miles 13 510
Coastal Environment, Disaster, and…
X. San Liang, Yuanzhi Zhang Hardcover R3,116 Discovery Miles 31 160

 

Partners