Arquitectura de sistemas informáticos 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

Generative AI for Cloud Solutions

Architect modern AI LLMs in secure, scalable, and ethical cloud environments

de Paul Singh, Anurag Karuparti ...

Explore Generative AI, the engine behind ChatGPT, and delve into topics like LLM-infused frameworks, autonomous agents, and responsible innovation, to gain valuable insights into the future of AIKey FeaturesGain foundational GenAI knowledge and understand how to scale GenAI/ChatGPT in the cloudUnderstand advanced techniques for customizing LLMs for organizations via fine-tuning, prompt engineering ... Leer más

$32.39 USD o gratis con Kobo Plus

Explore Generative AI, the engine behind ChatGPT, and delve into topics like LLM-infused frameworks, autonomous agents, and responsible innovation, to gain valuable insights into the future of AIKey FeaturesGain foundational GenAI knowledge and understand how to scale GenAI/ChatGPT in the cloudUnderstand advanced techniques for customizing LLMs for organizations via fine-tuning, prompt engineering
... Leer más
Docker Deep Dive

Zero to Docker in a single book

de Nigel Poulton ...

Start from scratch and develop the essential skills needed to create, deploy, and manage cloud-native applications using Docker with the latest edition of Docker Deep DiveKey FeaturesGet a solid understanding of Docker and containersOvercome common problems while containerizing an applicationMaster Docker commands needed for creating, deploying, and running applicationsBook DescriptionA new ... Leer más

$26.59 USD o gratis con Kobo Plus

Start from scratch and develop the essential skills needed to create, deploy, and manage cloud-native applications using Docker with the latest edition of Docker Deep DiveKey FeaturesGet a solid understanding of Docker and containersOvercome common problems while containerizing an applicationMaster Docker commands needed for creating, deploying, and running applicationsBook DescriptionA new
... Leer más
UML-B Specification for Proven Embedded Systems Design

Edición de Jean Mermet ...

This book presents the perspective of the project on a Paradigm Unifying System Specification Environments for proven Electronic design (PUS SEE) as conceived in the course of the research during 2002 -2003. The initial statement of the research was formulated as follows: The objective of PUSSEE is to introduce the formal proof of system properties throughout a modular system design methodology ... Leer más

$130.39 USD

This book presents the perspective of the project on a Paradigm Unifying System Specification Environments for proven Electronic design (PUS SEE) as conceived in the course of the research during 2002 -2003. The initial statement of the research was formulated as follows: The objective of PUSSEE is to introduce the formal proof of system properties throughout a modular system design methodology
... Leer más
Operating Systems and Services

Edición de Ragunathan Rajkumar ...

Operating Systems and Services brings together in one place important contributions and up-to-date research results in this fast moving area.Operating Systems and Services serves as an excellent reference, providing insight into some of the most challenging research issues in the field. ... Leer más

$83.89 USD

Operating Systems and Services brings together in one place important contributions and up-to-date research results in this fast moving area.Operating Systems and Services serves as an excellent reference, providing insight into some of the most challenging research issues in the field.
... Leer más
Support Vector Machines and Perceptrons

Learning, Optimization, Classification, and Application to Social Networks

de M.N. Murty, Rashmi Raghava ...

Series series Computer Science (R0)
This work reviews the state of the art in SVM and perceptron classifiers. A Support Vector Machine (SVM) is easily the most popular tool for dealing with a variety of machine-learning tasks, including classification. SVMs are associated with maximizing the margin between two classes. The concerned optimization problem is a convex optimization guaranteeing a globally optimal solution. The weight ... Leer más

$53.09 USD

This work reviews the state of the art in SVM and perceptron classifiers. A Support Vector Machine (SVM) is easily the most popular tool for dealing with a variety of machine-learning tasks, including classification. SVMs are associated with maximizing the margin between two classes. The concerned optimization problem is a convex optimization guaranteeing a globally optimal solution. The weight
... Leer más
Interrupt Handling Schemes in Operating Systems

de Pedro Mejia-Alvarez, Luis Eduardo Leyva-del-Foyo, Arnaldo Diaz-Ramirez ...

Series series Computer Science (R0)
In this book, the interrupt handling models used by several operating systems are introduced and compared.We begin with an analysis of the classical interrupt management model used by Unix, followed by the schemes used by modern networked environments.We highlight the key challenges of each of these models and how these have been solved by modern operating systems and the research community. Then ... Leer más

$53.09 USD

In this book, the interrupt handling models used by several operating systems are introduced and compared.We begin with an analysis of the classical interrupt management model used by Unix, followed by the schemes used by modern networked environments.We highlight the key challenges of each of these models and how these have been solved by modern operating systems and the research community. Then
... Leer más
Design, Operation and Evaluation of Mobile Communications

Second International Conference, MOBILE 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings

Edición de Gavriel Salvendy, June Wei ...

Series series Springer Nature Proceedings Computer Science
This conference proceeding LNCS 12796 constitutes the thoroughly refereed proceedings of the 2nd International Conference on Design, Operation and Evaluation of Mobile Communications, MOBILE 2021 which was held as part of the 23rd HCI International Conference, HCII 2021 as a virtual event, due to COVID-19, in July 2021.The total of 1276 papers and 241 posters included in the 39 HCII 2021 ... Leer más

$53.09 USD

This conference proceeding LNCS 12796 constitutes the thoroughly refereed proceedings of the 2nd International Conference on Design, Operation and Evaluation of Mobile Communications, MOBILE 2021 which was held as part of the 23rd HCI International Conference, HCII 2021 as a virtual event, due to COVID-19, in July 2021.The total of 1276 papers and 241 posters included in the 39 HCII 2021
... Leer más
Handbook of Biometric Anti-Spoofing

Presentation Attack Detection and Vulnerability Assessment

Edición de Sébastien Marcel, Julian Fierrez, Nicholas Evans ...

Series series Computer Science (R0)
The third edition of this authoritative and comprehensive handbook is the definitive work on the current state of the art of Biometric Presentation Attack Detection (PAD) – also known as Biometric Anti-Spoofing. Building on the success of the previous editions, this thoroughly updated third edition has been considerably revised to provide even greater coverage of PAD methods, spanning biometrics ... Leer más

$253.39 USD

The third edition of this authoritative and comprehensive handbook is the definitive work on the current state of the art of Biometric Presentation Attack Detection (PAD) – also known as Biometric Anti-Spoofing. Building on the success of the previous editions, this thoroughly updated third edition has been considerably revised to provide even greater coverage of PAD methods, spanning biometrics
... Leer más
NASA Formal Methods

10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings

Edición de Aaron Dutle, César Muñoz, Anthony Narkawicz ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 10th International Symposium on NASA Formal Methods, NFM 2018, held in Newport News, VA, USA, in April 2018.The 24 full and 7 short papers presented in this volume were carefully reviewed and selected from 92 submissions. The papers focus on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations ... Leer más

$53.09 USD

This book constitutes the proceedings of the 10th International Symposium on NASA Formal Methods, NFM 2018, held in Newport News, VA, USA, in April 2018.The 24 full and 7 short papers presented in this volume were carefully reviewed and selected from 92 submissions. The papers focus on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations
... Leer más
Software Engineering and Formal Methods

17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

Edición de Peter Csaba Ölveczky, Gwen Salaün ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019, held in Oslo, Norway, in September 2019.The 27 full papers presented were carefully reviewed and selected from 89 submissions. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, malware ... Leer más

$53.09 USD

This book constitutes the refereed proceedings of the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019, held in Oslo, Norway, in September 2019.The 27 full papers presented were carefully reviewed and selected from 89 submissions. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, malware
... Leer más
Software Engineering and Formal Methods

23rd International Conference, SEFM 2025, Toledo, Spain, November 10–14, 2025, Proceedings

Edición de Domenico Bianculli, Elena Gómez-Martínez ...

Series series Springer Nature Proceedings Computer Science
This volume constitutes the proceedings of 23rd International Conference on Software Engineering and Formal Methods, SEFM 2025, held in Toledo, Spain, on November 10–14, 2025.The 13 full papers and 2 short papers included in this book were carefully reviewed and selected from 39 submissions. The proceedings also include 1 invited short paper. They were organized in topical sections as follows: ... Leer más

$77.39 USD

This volume constitutes the proceedings of 23rd International Conference on Software Engineering and Formal Methods, SEFM 2025, held in Toledo, Spain, on November 10–14, 2025.The 13 full papers and 2 short papers included in this book were carefully reviewed and selected from 39 submissions. The proceedings also include 1 invited short paper. They were organized in topical sections as follows:
... Leer más
High Performance Computing

31st International Conference, ISC High Performance 2016, Frankfurt, Germany, June 19-23, 2016, Proceedings

Edición de Jack Dongarra, Julian M. Kunkel, Pavan Balaji ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 31st International Conference, ISC High Performance 2016 [formerly known as the International Supercomputing Conference] held in Frankfurt, Germany, in June 2016.The 25 revised full papers presented in this book were carefully reviewed and selected from 60 submissions. The papers cover the following topics: Autotuning and Thread Mapping; Data ... Leer más

$53.09 USD

This book constitutes the refereed proceedings of the 31st International Conference, ISC High Performance 2016 [formerly known as the International Supercomputing Conference] held in Frankfurt, Germany, in June 2016.The 25 revised full papers presented in this book were carefully reviewed and selected from 60 submissions. The papers cover the following topics: Autotuning and Thread Mapping; Data
... Leer más
Decisive Polarity Determination within Social Networks

de Olivia Parker ...

Olivia Parker's "Decisive Polarity Determination within Social Networks" is a complete guide to mood analysis and how to use it to find the definitive polarity in social networks. The book gives an outline of sentiment analysis, a way to figure out how someone feels about something written down, and how it can be used to label social media posts as positive, negative, or neutral.The writer looks ... Leer más

$2.99 USD

Olivia Parker's "Decisive Polarity Determination within Social Networks" is a complete guide to mood analysis and how to use it to find the definitive polarity in social networks. The book gives an outline of sentiment analysis, a way to figure out how someone feels about something written down, and how it can be used to label social media posts as positive, negative, or neutral.The writer looks
... Leer más
Quantum Computing

de Alex Wood ...

"Quantum Computers" offers a comprehensive and accessible introduction to the rapidly evolving field of quantum computing. Bridging the gap between quantum mechanics and computer science, this book explores the fundamental principles of quantum theory that drive quantum computers, including concepts like superposition, entanglement, and the uncertainty principle. Written for a broad audience, ... Leer más

$9.99 USD

"Quantum Computers" offers a comprehensive and accessible introduction to the rapidly evolving field of quantum computing. Bridging the gap between quantum mechanics and computer science, this book explores the fundamental principles of quantum theory that drive quantum computers, including concepts like superposition, entanglement, and the uncertainty principle. Written for a broad audience,
... Leer más
Config Overlord: Conquering Endpoints with SCCM Sorcery

de Scott Markham ...

Config Overlord: Conquering Endpoints with SCCM Sorcery— Because ruling your devices shouldn't require black magic (but a little doesn't hurt).Are your endpoints running wild like caffeinated squirrels? Are software updates ignored like office memos and rogue configurations spreading like digital weeds? Fear not, brave IT warrior — Config Overlord is here to hand you the enchanted scepter of SCCM ... Leer más

$7.99 USD

Config Overlord: Conquering Endpoints with SCCM Sorcery— Because ruling your devices shouldn't require black magic (but a little doesn't hurt).Are your endpoints running wild like caffeinated squirrels? Are software updates ignored like office memos and rogue configurations spreading like digital weeds? Fear not, brave IT warrior — Config Overlord is here to hand you the enchanted scepter of SCCM
... Leer más
AutoCAD 2023 : Beginners And Intermediate user Guide

de Daniel Smith ...

AutoCAD is one of the leading CAD software used to create technical drawings. AutoCAD 2023 For Beginners helps you to learn AutoCAD basics using brief explanations and well-directed examples.You will learn the basics of the interface and commands, as well as how to create, edit, dimension, and print drawings.Create drawings with drawing toolsCreate and edit complex drawings with the modifying ... Leer más

$4.99 USD

AutoCAD is one of the leading CAD software used to create technical drawings. AutoCAD 2023 For Beginners helps you to learn AutoCAD basics using brief explanations and well-directed examples.You will learn the basics of the interface and commands, as well as how to create, edit, dimension, and print drawings.Create drawings with drawing toolsCreate and edit complex drawings with the modifying
... Leer más
Le guide du test d'intrusion AD

de HackinGeeK Inc ...

**Avez-vous des inquiétudes concernant la sécurité de votre Active Directory?Possédez-vous les compétences nécessaires pour évaluer la posture de sécurité de votre réseau ?**Plongez dans l'univers fascinant de la sécurité informatique avec "Le guide du test d'intrusion AD". Imaginez un monde où les secrets numériques sont des trésors à protéger et où chaque ligne de code cache des défis inattendus ... Leer más

$9.99 USD

**Avez-vous des inquiétudes concernant la sécurité de votre Active Directory?Possédez-vous les compétences nécessaires pour évaluer la posture de sécurité de votre réseau ?**Plongez dans l'univers fascinant de la sécurité informatique avec "Le guide du test d'intrusion AD". Imaginez un monde où les secrets numériques sont des trésors à protéger et où chaque ligne de code cache des défis inattendus
... Leer más
Coordination Models and Languages

20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings

Edición de Giovanna Di Marzo Serugendo, Michele Loreti ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 20th International Conference on Coordination Models and Languages, COORDINATION 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018.The 12 full papers included in this volume were carefully reviewed and selected from 26 submissions. The papers cover a wide ... Leer más

$53.09 USD

This book constitutes the proceedings of the 20th International Conference on Coordination Models and Languages, COORDINATION 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018.The 12 full papers included in this volume were carefully reviewed and selected from 26 submissions. The papers cover a wide
... Leer más
Cyber Physical Systems. Design, Modeling, and Evaluation

7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers

Edición de Roger Chamberlain, Walid Taha, Martin Törngren ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 7th International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy2017, held in conjunction with ESWeek 2017, in Seoul, South Korea, in October 2017.The 10 papers presented together with 1 extended and 1 invited abstracts in this volume were carefully reviewed and selected from 16 submissions.The conference presents a wide ... Leer más

$53.09 USD

This book constitutes the proceedings of the 7th International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy2017, held in conjunction with ESWeek 2017, in Seoul, South Korea, in October 2017.The 10 papers presented together with 1 extended and 1 invited abstracts in this volume were carefully reviewed and selected from 16 submissions.The conference presents a wide
... Leer más
Towards Autonomous Robotic Systems

20th Annual Conference, TAROS 2019, London, UK, July 3–5, 2019, Proceedings, Part I

Edición de Kaspar Althoefer, Jelizaveta Konstantinova, Ketao Zhang ...

Series Libro 1 - Springer Nature Proceedings Computer Science
The two volumes LNAI 11649 and LNAI 11650 constitute the refereed proceedings of the 20th Annual Conference "Towards Autonomous Robotics", TAROS 2019, held in London, UK, in July 2019.The 74 full papers and 12 short papers presented were carefully reviewed and selected from 101 submissions. The papers present and discuss significant findings and advances in autonomous robotics research and ... Leer más

$53.09 USD

The two volumes LNAI 11649 and LNAI 11650 constitute the refereed proceedings of the 20th Annual Conference "Towards Autonomous Robotics", TAROS 2019, held in London, UK, in July 2019.The 74 full papers and 12 short papers presented were carefully reviewed and selected from 101 submissions. The papers present and discuss significant findings and advances in autonomous robotics research and
... Leer más
Services – SERVICES 2019

15th World Congress, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings

Edición de Yunni Xia, Liang-Jie Zhang ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 15th World Congress on Services, SERVICES 2019, held as part of the Services Conference Federation, SCF 2019, in San Diego, USA, in June 2019.The 11 full papers and 2 short papers presented were carefully reviewed and selected from 14 submissions. The papers cover topics in the field of software engineering foundations and applications with a ... Leer más

$53.09 USD

This book constitutes the refereed proceedings of the 15th World Congress on Services, SERVICES 2019, held as part of the Services Conference Federation, SCF 2019, in San Diego, USA, in June 2019.The 11 full papers and 2 short papers presented were carefully reviewed and selected from 14 submissions. The papers cover topics in the field of software engineering foundations and applications with a
... Leer más
Computational Science and Its Applications – ICCSA 2019

19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part VI

Edición de Sanjay Misra, Osvaldo Gervasi, Beniamino Murgante, Elena Stankova, Vladimir Korkhov, Carmelo Torre, Ana Maria A.C. Rocha, David Taniar, Bernady O. Apduhan, Eufemia Tarantino ...

Series Libro 6 - Springer Nature Proceedings Computer Science
The six volumes LNCS 11619-11624 constitute the refereed proceedings of the 19th International Conference on Computational Science and Its Applications, ICCSA 2019, held in Saint Petersburg, Russia, in July 2019.The 64 full papers, 10 short papers and 259 workshop papers presented were carefully reviewed and selected form numerous submissions. The 64 full papers are organized in the following five ... Leer más

$53.09 USD

The six volumes LNCS 11619-11624 constitute the refereed proceedings of the 19th International Conference on Computational Science and Its Applications, ICCSA 2019, held in Saint Petersburg, Russia, in July 2019.The 64 full papers, 10 short papers and 259 workshop papers presented were carefully reviewed and selected form numerous submissions. The 64 full papers are organized in the following five
... Leer más
Design, User Experience, and Usability. Design Philosophy and Theory

8th International Conference, DUXU 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I

Edición de Aaron Marcus, Wentao Wang ...

Series Libro 1 - Springer Nature Proceedings Computer Science
The four-volume set LNCS 11583, 11584, 11585, and 11586 constitutes the proceedings of the 8th International Conference on Design, User Experience, and Usability, DUXU 2019, held as part of the 21st International Conference, HCI International 2019, which took place in Orlando, FL, USA, in July 2019.The total of 1274 papers and 209 posters included in the 35 HCII 2019 proceedings volumes was ... Leer más

$53.09 USD

The four-volume set LNCS 11583, 11584, 11585, and 11586 constitutes the proceedings of the 8th International Conference on Design, User Experience, and Usability, DUXU 2019, held as part of the 21st International Conference, HCI International 2019, which took place in Orlando, FL, USA, in July 2019.The total of 1274 papers and 209 posters included in the 35 HCII 2019 proceedings volumes was
... Leer más
Model Checking Software

26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings

Edición de Fabrizio Biondi, Thomas Given-Wilson, Axel Legay ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 26th International Symposium on Model Checking Software, SPIN 2019, held in Beijing, China, in July 2019.The 11 full papers presented and 2 demo-tool papers, were carefully reviewed and selected from 29 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, ... Leer más

$53.09 USD

This book constitutes the refereed proceedings of the 26th International Symposium on Model Checking Software, SPIN 2019, held in Beijing, China, in July 2019.The 11 full papers presented and 2 demo-tool papers, were carefully reviewed and selected from 29 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages,
... 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 Arquitectura de sistemas informáticos

Generative AI for Cloud Solutions

Docker Deep Dive

UML-B Specification for Proven Embedded Systems Design

Operating Systems and Services

Support Vector Machines and Perceptrons

Interrupt Handling Schemes in Operating Systems

Design, Operation and Evaluation of Mobile Communications

Handbook of Biometric Anti-Spoofing

NASA Formal Methods

Software Engineering and Formal Methods

Software Engineering and Formal Methods

High Performance Computing

Decisive Polarity Determination within Social Networks

Quantum Computing

Config Overlord: Conquering Endpoints with SCCM Sorcery

AutoCAD 2023 : Beginners And Intermediate user Guide

Le guide du test d'intrusion AD

Coordination Models and Languages

Cyber Physical Systems. Design, Modeling, and Evaluation

Towards Autonomous Robotic Systems

Services – SERVICES 2019

Computational Science and Its Applications – ICCSA 2019

Design, User Experience, and Usability. Design Philosophy and Theory

Model Checking Software