Hardware informático en Computadoras & No ficción eBooks

Carrito de compra

Artículos no disponibles para compra.

Por favor revisa tu carrito. Puedes eliminar los artículos no disponibles ahora o los eliminaremos nosotros automáticamente al momento de pagar.

artículosartículo

- Acceso ilimitado a eBooks
  
  Acceso ilimitado a audiolibros
  
  Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions
  
  Recibe 1 crédito cada mes para el audiolibro de tu elección
  
  Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions
  
  Acceso ilimitado a eBooks
  
  Acceso ilimitado a audiolibros
  
  Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions
  Audiolibro
  de ,
  
  Disponible el:
  
  . Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions.
  
  Preventa
  1 audiolibro mensual
  
  + Prueba gratis de 30 días
  
  Oferta especial
  
  Recibe 1 crédito cada mes para intercambiarlo por un audiolibro de tu elección.
  
  *Sin compromiso, cancela en cualquier momento
  
  GRATIS

artículosartículo

Acceso ilimitado a eBooks

Acceso ilimitado a audiolibros

Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions

Recibe 1 crédito cada mes para el audiolibro de tu elección

Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions

Acceso ilimitado a eBooks

Acceso ilimitado a audiolibros

Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions
Audiolibro
de ,

Disponible el:
. Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions.

Preventa
1 audiolibro mensual

+ Prueba gratis de 30 días

Oferta especial

Recibe 1 crédito cada mes para intercambiarlo por un audiolibro de tu elección.

*Sin compromiso, cancela en cualquier momento

GRATIS

Recomendado para ti

Samsung Galaxy Tab 4 User Manual: Tips & Tricks Guide for Your Tablet!

de Shelby Johnson ...

Are you a new Samsung Galaxy Tab 4 owner who wants to get the most out of your new tablet?Here what you'll learn inside this guide and helpful tablet user's manual:- Getting started with the Samsung Galaxy Tab 4.- How to create contacts in the Tab 4.- How to use the Tab 4 as an IR remote.- Hidden features, tips & tricks on Samsung Galaxy Tab 4.- Taking photos and video with the Samsung Galaxy Tab ... Leer más

$55 MXN

Are you a new Samsung Galaxy Tab 4 owner who wants to get the most out of your new tablet?Here what you'll learn inside this guide and helpful tablet user's manual:- Getting started with the Samsung Galaxy Tab 4.- How to create contacts in the Tab 4.- How to use the Tab 4 as an IR remote.- Hidden features, tips & tricks on Samsung Galaxy Tab 4.- Taking photos and video with the Samsung Galaxy Tab
... Leer más
Hardware for Quantum Computing

de Chuck Easttom ...

Series series Engineering (R0)
This book covers extensively the physical implementation of qubits and quantum architecture. The author demonstrates how quantum computing is implemented by the underlying physical implementation of qubits, including trapped ions, nitrogen vacancy centers, frozen neon, and other implementations. The book shows how, ultimately, the physical implementation of the qubit is the foundation of quantum ... Leer más

$1,818 MXN

This book covers extensively the physical implementation of qubits and quantum architecture. The author demonstrates how quantum computing is implemented by the underlying physical implementation of qubits, including trapped ions, nitrogen vacancy centers, frozen neon, and other implementations. The book shows how, ultimately, the physical implementation of the qubit is the foundation of quantum
... Leer más
Parallel Processing and Applied Mathematics

12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I

Edición de Roman Wyrzykowski, Jack Dongarra, Ewa Deelman, Konrad Karczewski ...

Series Libro 1 - Springer Nature Proceedings Computer Science
The two-volume set LNCS 10777 and 10778 constitutes revised selected papers from the 12th International Conference on Parallel Processing and Applied Mathematics, PPAM 2017, held in Lublin, Poland, in September 2017.The 49 regular papers presented in this volume were selected from 98 submissions. For the workshops and special sessions, that were held as integral parts of the PPAM 2017 conference, ... Leer más

$909 MXN

The two-volume set LNCS 10777 and 10778 constitutes revised selected papers from the 12th International Conference on Parallel Processing and Applied Mathematics, PPAM 2017, held in Lublin, Poland, in September 2017.The 49 regular papers presented in this volume were selected from 98 submissions. For the workshops and special sessions, that were held as integral parts of the PPAM 2017 conference,
... Leer más
Parallel Processing and Applied Mathematics

12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II

Edición de Roman Wyrzykowski, Jack Dongarra, Ewa Deelman, Konrad Karczewski ...

Series Libro 2 - Springer Nature Proceedings Computer Science
The two-volume set LNCS 10777 and 10778 constitutes revised selected papers from the 12th International Conference on Parallel Processing and Applied Mathematics, PPAM 2017, held in Lublin, Poland, in September 2017.The 49 regular papers presented in the proceedings were selected from 98 submissions. For the workshops and special sessions, that were held as integral parts of the PPAM 2017 ... Leer más

$909 MXN

The two-volume set LNCS 10777 and 10778 constitutes revised selected papers from the 12th International Conference on Parallel Processing and Applied Mathematics, PPAM 2017, held in Lublin, Poland, in September 2017.The 49 regular papers presented in the proceedings were selected from 98 submissions. For the workshops and special sessions, that were held as integral parts of the PPAM 2017
... Leer más
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III

Edición de Tiziana Margaria, Bernhard Steffen ...

Series Libro 3 - Springer Nature Proceedings Computer Science
The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018.The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual ... Leer más

$909 MXN

The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018.The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual
... Leer más
Electrical Engineering and Applied Computing

Edición de Sio-Iong Ao, Len Gelman ...

Series series Engineering (R0)
A large international conference in Electrical Engineering and Applied Computing was just held in London, 30 June – 2 July, 2010. This volume will contain 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 ... Leer más

$3,636 MXN

A large international conference in Electrical Engineering and Applied Computing was just held in London, 30 June – 2 July, 2010. This volume will contain 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
... Leer más
Algorithms and Architectures for Parallel Processing

19th International Conference, ICA3PP 2019, Melbourne, VIC, Australia, December 9–11, 2019, Proceedings, Part I

Edición de Sheng Wen, Albert Zomaya, Laurence T. Yang ...

Series Libro 1 - Springer Nature Proceedings excluding Computer Science
The two-volume set LNCS 11944-11945 constitutes the proceedings of the 19th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2019, held in Melbourne, Australia, in December 2019.The 73 full and 29 short papers presented were carefully reviewed and selected from 251 submissions. The papers are organized in topical sections on: Parallel and Distributed ... Leer más

$909 MXN

The two-volume set LNCS 11944-11945 constitutes the proceedings of the 19th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2019, held in Melbourne, Australia, in December 2019.The 73 full and 29 short papers presented were carefully reviewed and selected from 251 submissions. The papers are organized in topical sections on: Parallel and Distributed
... Leer más
Software Engineering and Formal Methods

22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings

Edición de Alexandre Madeira, Alexander Knapp ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 22nd International Conference on Software Engineering and Formal Methods, SEFM 2024, held in Aveiro, Portugal, during November 6–8, 2024.The 23 full papers included in this book were carefully reviewed and selected from 68 submissions. The topics covered range from formal modelling, specification, and design in software development over safety ... Leer más

$1,273 MXN

This book constitutes the refereed proceedings of the 22nd International Conference on Software Engineering and Formal Methods, SEFM 2024, held in Aveiro, Portugal, during November 6–8, 2024.The 23 full papers included in this book were carefully reviewed and selected from 68 submissions. The topics covered range from formal modelling, specification, and design in software development over safety
... Leer más
NASA Formal Methods

13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings

Edición de Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Ivan Perez ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 13th International Symposium on NASA Formal Methods, NFM 2021, held virtually in May 2021.The 21 full and 3 short papers presented in this volume were carefully reviewed and selected from 66 submissions. The papers aim to identify challenges and provide solutions to achieve assurance in mission-critical and safety-critical systems. Examples of such ... Leer más

$1,545 MXN

This book constitutes the proceedings of the 13th International Symposium on NASA Formal Methods, NFM 2021, held virtually in May 2021.The 21 full and 3 short papers presented in this volume were carefully reviewed and selected from 66 submissions. The papers aim to identify challenges and provide solutions to achieve assurance in mission-critical and safety-critical systems. Examples of such
... Leer más
Computational Intelligence and Optimization Methods for Control Engineering

Edición de Maude Josée Blondin, Panos M. Pardalos, Javier Sanchis Sáez ...

Series series Mathematics and Statistics (R0)
This volume presents some recent and principal developments related to computational intelligence and optimization methods in control. Theoretical aspects and practical applications of control engineering are covered by 14 self-contained contributions. Additional gems include the discussion of future directions and research perspectives designed to add to the reader’s understanding of both the ... Leer más

$2,182 MXN

This volume presents some recent and principal developments related to computational intelligence and optimization methods in control. Theoretical aspects and practical applications of control engineering are covered by 14 self-contained contributions. Additional gems include the discussion of future directions and research perspectives designed to add to the reader’s understanding of both the
... Leer más
Maritime Wideband Communication Networks

Video Transmission Scheduling

de Tingting Yang, Xuemin (Sherman) Shen ...

Series series Computer Science (R0)
This Springer Brief covers emerging maritime wideband communication networks and how they facilitate applications such as maritime distress, urgency, safety and general communications. It provides valuable insight on the data transmission scheduling and protocol design for the maritime wideband network. This brief begins with an introduction to maritime wideband communication networks including ... Leer más

$909 MXN

This Springer Brief covers emerging maritime wideband communication networks and how they facilitate applications such as maritime distress, urgency, safety and general communications. It provides valuable insight on the data transmission scheduling and protocol design for the maritime wideband network. This brief begins with an introduction to maritime wideband communication networks including
... Leer más
Software Fault Detection and Correction: Modeling and Applications

de Rui Peng, Yan-Fu Li, Yu Liu ...

Series series Computer Science (R0)
This book focuses on software fault detection and correction processes, presenting 5 different paired models introduced over the last decade and discussing their applications, in particular to determining software release time.The first work incorporates the testing effort function and the fault introduction process into the paired fault detection and fault correction models. The second work ... Leer más

$909 MXN

This book focuses on software fault detection and correction processes, presenting 5 different paired models introduced over the last decade and discussing their applications, in particular to determining software release time.The first work incorporates the testing effort function and the fault introduction process into the paired fault detection and fault correction models. The second work
... Leer más
Die Wahnsinnig Einfache Anleitung Für iPadOS 17: Erste Schritte Mit Dem iPad Der Neuesten Generation, Dem iPad pro Und Dem iPad Mini

de Scott La Counte ...

Erste Schritte mit iPadOS 17Stellen Sie sich eine Zeit vor, in der die Vorstellung von einem Gerät, das schlanker als ein Notizblock und dennoch leistungsfähiger als die alten Desktop-Computer ist, wie ein weit hergeholter Traum erschien. Mit dem iPad ist dieser Traum nun greifbare Realität geworden.In dem schlanken Design des iPad steckt ein Chip, der genauso leistungsfähig ist wie der in ... Leer más

$171 MXN

Erste Schritte mit iPadOS 17Stellen Sie sich eine Zeit vor, in der die Vorstellung von einem Gerät, das schlanker als ein Notizblock und dennoch leistungsfähiger als die alten Desktop-Computer ist, wie ein weit hergeholter Traum erschien. Mit dem iPad ist dieser Traum nun greifbare Realität geworden.In dem schlanken Design des iPad steckt ein Chip, der genauso leistungsfähig ist wie der in
... Leer más
The Evolution of Mainframes: A Journey Through Time

Mainframes

de Isaac Nangan ...

Series series Mainframes
In the annals of computing history, the mainframe stands as a towering testament to human ingenuity, a relentless pursuit of technological advancement, and the indomitable spirit of innovation. This book, "The Evolution of Mainframes: A Journey Through Time," is an homage to the remarkable journey of mainframe computers - from their colossal, room-filling infancy to the sleek, powerful engines of ... Leer más

$171 MXN

In the annals of computing history, the mainframe stands as a towering testament to human ingenuity, a relentless pursuit of technological advancement, and the indomitable spirit of innovation. This book, "The Evolution of Mainframes: A Journey Through Time," is an homage to the remarkable journey of mainframe computers - from their colossal, room-filling infancy to the sleek, powerful engines of
... Leer más
Samsung Galaxy Tab S For Seniors: A Ridiculously Simple Guide to the Next Generation of Samsung Galaxy Tablets

de Scott La Counte ...

★★★ You got a Galaxy! Where's the manual?! ★★★The Galaxy is a powerful tablet. I'm sure you are excited to get the most out of it. But what if your all new to this tablet thing? Or maybe you've used tablets before, but not one made by Samsung-the iPad, for instance. This guide has you covered!If you are looking for something comprehensive--that tells you how to side load apps and do things the ... Leer más

$68 MXN

★★★ You got a Galaxy! Where's the manual?! ★★★The Galaxy is a powerful tablet. I'm sure you are excited to get the most out of it. But what if your all new to this tablet thing? Or maybe you've used tablets before, but not one made by Samsung-the iPad, for instance. This guide has you covered!If you are looking for something comprehensive--that tells you how to side load apps and do things the
... Leer más
Blinkendes Verderben: Hardware-Defekte und das teuerste Konsolen-Fiasko der Spielegeschichte

Überhitzung, Lötzinn, und desaströses Krisenmanagement im globalen amerikanischen digitalen Konsolenkrieg, 2005–2008

de Sven Klein ...

Im gnadenlosen Wettlauf, die neue Konsolengeneration als Erster auf den Markt zu bringen, traf ein globaler Tech-Gigant eine verheerende Entscheidung. Um Zeit und Kosten zu sparen, wurde das thermische Design der Xbox 360 vernachlässigt und billiges, bleifreies Lötzinn verwendet. Die Folge war der berüchtigte "Red Ring of Death" – ein Hardware-Kollaps, der Millionen von Geräten im Wohnzimmer ... Leer más

$98 MXN

Im gnadenlosen Wettlauf, die neue Konsolengeneration als Erster auf den Markt zu bringen, traf ein globaler Tech-Gigant eine verheerende Entscheidung. Um Zeit und Kosten zu sparen, wurde das thermische Design der Xbox 360 vernachlässigt und billiges, bleifreies Lötzinn verwendet. Die Folge war der berüchtigte "Red Ring of Death" – ein Hardware-Kollaps, der Millionen von Geräten im Wohnzimmer
... Leer más
De Waanzinnig Eenvoudige Gids Voor De Pixel 8: Een Eenvoudig Te Begrijpen Gids Voor De Google Pixel Phone En Android 14

de Scott La Counte ...

Leer hoe je de Pixel 8 onder de knie krijgt!Als je de prijs van een Pixel-telefoon vergelijkt met concurrenten zoals iPhone of Samsung, zou je verwachten dat hij aan de meer betaalbare kant is. Toch heeft de Pixel consequent laten zien dat hij enorm veel waarde biedt en zijn prijs vaak overtreft. Dit is duidelijker dan ooit met de Pixel 8. Met zijn geavanceerde chip en baanbrekende AI is de Pixel ... Leer más

$171 MXN

Leer hoe je de Pixel 8 onder de knie krijgt!Als je de prijs van een Pixel-telefoon vergelijkt met concurrenten zoals iPhone of Samsung, zou je verwachten dat hij aan de meer betaalbare kant is. Toch heeft de Pixel consequent laten zien dat hij enorm veel waarde biedt en zijn prijs vaak overtreft. Dit is duidelijker dan ooit met de Pixel 8. Met zijn geavanceerde chip en baanbrekende AI is de Pixel
... Leer más
Le Guide d'utilisation de l'iPhone 17e pour débutants

Un manuel complet pour configurer, utiliser et dépanner votre nouvel iPhone.

de Donald Unger ...

Traducido por Nicolas Perillard ...

Exploitez pleinement le potentiel de votre nouvel iPhone 17e !Prêt à tirer le meilleur parti de votre iPhone 17e ? Que vous soyez un nouvel utilisateur d’iPhone ou que vous passiez à un modèle supérieur, ce guide est votre allié indispensable pour maîtriser toutes les fonctionnalités de votre appareil. Découvrez comment configurer, utiliser et dépanner votre iPhone 17e en toute simplicité !Dans ce ... Leer más

$142 MXN

Exploitez pleinement le potentiel de votre nouvel iPhone 17e !Prêt à tirer le meilleur parti de votre iPhone 17e ? Que vous soyez un nouvel utilisateur d’iPhone ou que vous passiez à un modèle supérieur, ce guide est votre allié indispensable pour maîtriser toutes les fonctionnalités de votre appareil. Découvrez comment configurer, utiliser et dépanner votre iPhone 17e en toute simplicité !Dans ce
... Leer más
Kindle Rooting Software, App, Tool, Tips Guide Voor Kindle Fire

de Larry Alison ...

Een stapsgewijze handleiding over het crawlen van Kindle-apparatenAls niet de beste eigenschap van de Kindle-apparaten de mogelijkheid is om ze te rooten. Hiermee krijgt u toegang tot alle gewenste inhoud, zoals tv-programma's, apps, muziek en films.Hier is wat je krijgt:-Werkt voor elk Kindle-apparaat-Over het Rooten-Wortel je Kindle-Problemen oplossen-Hoe om Google Play toe te voegen- Geniet van ... Leer más

$86 MXN

Een stapsgewijze handleiding over het crawlen van Kindle-apparatenAls niet de beste eigenschap van de Kindle-apparaten de mogelijkheid is om ze te rooten. Hiermee krijgt u toegang tot alle gewenste inhoud, zoals tv-programma's, apps, muziek en films.Hier is wat je krijgt:-Werkt voor elk Kindle-apparaat-Over het Rooten-Wortel je Kindle-Problemen oplossen-Hoe om Google Play toe te voegen- Geniet van
... Leer más
Amazon Echo Manual Guide : Top 30 Hacks And Secrets To Master Amazon Echo & Alexa For Beginners

The Blokehead Success Series

de Scott Green ...

Series series The Blokehead Success Series
Your Perfect Guide to Amazon Echo!This book is a complete and handy companion that will enable you to set up and use your Amazon Echo device quickly and efficiently for beginners. By reading this book you will understand and be able to receive all the benefits that this wonderful device has to offer, allowing you to keep up with your busy schedule.You will learn:Hacking The RemoteControl Fake WEMO ... Leer más

$51 MXN o gratis con Kobo Plus

Your Perfect Guide to Amazon Echo!This book is a complete and handy companion that will enable you to set up and use your Amazon Echo device quickly and efficiently for beginners. By reading this book you will understand and be able to receive all the benefits that this wonderful device has to offer, allowing you to keep up with your busy schedule.You will learn:Hacking The RemoteControl Fake WEMO
... Leer más
Samsung S22 For Seniors: Getting Started With the S22 and S22 Ultra

de Scott La Counte ...

The S22 is featured packed! Great! But how do you actually use the features?This book isn't going to tell you how to do everything—it's going to tell you what you want to know! If you want a book that is hundreds of pages long and tells you about things you don't even understand and will definitly never use, then keep looking! You won't find that here. If you want something that focuses on the ... Leer más

$86 MXN

The S22 is featured packed! Great! But how do you actually use the features?This book isn't going to tell you how to do everything—it's going to tell you what you want to know! If you want a book that is hundreds of pages long and tells you about things you don't even understand and will definitly never use, then keep looking! You won't find that here. If you want something that focuses on the
... Leer más
Advancement of Deep Learning and its Applications in Object Detection and Recognition

Edición de Roohie Naaz Mir, Vipul Kumar Sharma, Ranjeet Kumar Rout, Saiyed Umer ...

Object detection is a basic visual identification problem in computer vision that has been explored extensively over the years. Visual object detection seeks to discover objects of specific target classes in a given image with pinpoint accuracy and apply a class label to each object instance. Object recognition strategies based on deep learning have been intensively investigated in recent years as ... Leer más

$2,401 MXN

Object detection is a basic visual identification problem in computer vision that has been explored extensively over the years. Visual object detection seeks to discover objects of specific target classes in a given image with pinpoint accuracy and apply a class label to each object instance. Object recognition strategies based on deep learning have been intensively investigated in recent years as
... Leer más
Essenz der Informatik

Was Benutzer alles wissen sollten

de Claudio Franzetti ...

Series series Computer Science and Engineering (German Language)
Diese erweiterte 2. Auflage richtet sich an die regelmäßigen Benutzer von IT, also Berufstätige sowie Schüler, Studierende und Lehrer. Das Buch beschreibt das relevante Universum der Informatik und der Informationstechnologie, von den grundlegenden Prinzipien bis zur sozialen und gesellschaftspolitischen Bedeutung.Neu und erweitert sind u. a. Themen zu virtuellen Welten, zum Metaversum, zu ... Leer más

$731 MXN

Diese erweiterte 2. Auflage richtet sich an die regelmäßigen Benutzer von IT, also Berufstätige sowie Schüler, Studierende und Lehrer. Das Buch beschreibt das relevante Universum der Informatik und der Informationstechnologie, von den grundlegenden Prinzipien bis zur sozialen und gesellschaftspolitischen Bedeutung.Neu und erweitert sind u. a. Themen zu virtuellen Welten, zum Metaversum, zu
... Leer más
Distributed Data Services

Fundamentals and Practices

de Zichen Xu ...

Series series Computer Science (R0)
The book explores core concepts, technologies, and challenges of distributed data services. It aims to provide researchers, engineers, and students with a deep understanding of theoretical foundations and practical applications in distributed data systems. The book covers four main aspects: transaction models, processing languages, consistency mechanisms, and system architectures, exploring ... Leer más

$3,273 MXN

The book explores core concepts, technologies, and challenges of distributed data services. It aims to provide researchers, engineers, and students with a deep understanding of theoretical foundations and practical applications in distributed data systems. The book covers four main aspects: transaction models, processing languages, consistency mechanisms, and system architectures, exploring
... Leer más

Kobo Rakuten

eReaders

Aplicaciones

Accesorios

Carrito de compra

¡Obtienes el tratamiento VIP!

Tu carrito de compra está vacío

Disponible el:

1 audiolibro mensual

+ Prueba gratis de 30 días

Disponible el:

1 audiolibro mensual

+ Prueba gratis de 30 días

Recomendado para ti

eBooks de Hardware informático

Samsung Galaxy Tab 4 User Manual: Tips & Tricks Guide for Your Tablet!

Hardware for Quantum Computing

Parallel Processing and Applied Mathematics

Parallel Processing and Applied Mathematics

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

Electrical Engineering and Applied Computing

Algorithms and Architectures for Parallel Processing

Software Engineering and Formal Methods

NASA Formal Methods

Computational Intelligence and Optimization Methods for Control Engineering

Maritime Wideband Communication Networks

Software Fault Detection and Correction: Modeling and Applications

Die Wahnsinnig Einfache Anleitung Für iPadOS 17: Erste Schritte Mit Dem iPad Der Neuesten Generation, Dem iPad pro Und Dem iPad Mini

The Evolution of Mainframes: A Journey Through Time

Samsung Galaxy Tab S For Seniors: A Ridiculously Simple Guide to the Next Generation of Samsung Galaxy Tablets

Blinkendes Verderben: Hardware-Defekte und das teuerste Konsolen-Fiasko der Spielegeschichte

De Waanzinnig Eenvoudige Gids Voor De Pixel 8: Een Eenvoudig Te Begrijpen Gids Voor De Google Pixel Phone En Android 14

Le Guide d'utilisation de l'iPhone 17e pour débutants

Kindle Rooting Software, App, Tool, Tips Guide Voor Kindle Fire

Amazon Echo Manual Guide : Top 30 Hacks And Secrets To Master Amazon Echo & Alexa For Beginners

Samsung S22 For Seniors: Getting Started With the S22 and S22 Ultra

Advancement of Deep Learning and its Applications in Object Detection and Recognition

Essenz der Informatik

Distributed Data Services