Rakuten Kobo

Static Analysis

30th International Symposium, SAS 2023, Cascais, Portugal, October 22–24, 2023, Proceedings

Edición de Manuel V. Hermenegildo, José F. Morales ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 30th International Symposium on Static Analysis, SAS 2023, held in Lisbon, Portugal, in October 2023.The 20 full papers included in this book were carefully reviewed and selected from 40 submissions. Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, ... Leer más

$80.99 USD

This book constitutes the refereed proceedings of the 30th International Symposium on Static Analysis, SAS 2023, held in Lisbon, Portugal, in October 2023.The 20 full papers included in this book were carefully reviewed and selected from 40 submissions. Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding,
... Leer más
Towards an AI-Infused Revolution in K12 Education

AI in K-12 Education

de Adam Smith ...

Series series AI in K-12 Education
In "Towards an AI-Infused Revolution in K12 Education", celebrated author and renowned educationalist Adam Smith takes us on an enlightening journey into the future of primary and secondary education. This book encapsulates a thought-provoking exploration of the increasing role of artificial intelligence in reshaping the landscape of education, as we've traditionally known it.Smith successfully ... Leer más

$4.99 USD o gratis con Kobo Plus

In "Towards an AI-Infused Revolution in K12 Education", celebrated author and renowned educationalist Adam Smith takes us on an enlightening journey into the future of primary and secondary education. This book encapsulates a thought-provoking exploration of the increasing role of artificial intelligence in reshaping the landscape of education, as we've traditionally known it.Smith successfully
... Leer más
Trolley Crash

Approaching Key Metrics for Ethical AI Practitioners, Researchers, and Policy Makers

Edición de Peggy Wu, Michael Salpukas, Hsin-Fu Wu, Shannon Ellsworth ...

The prolific deployment of Artificial Intelligence (AI) across different fields has introduced novel challenges for AI developers and researchers. AI is permeating decision making for the masses, and its applications range from self-driving automobiles to financial loan approvals. With AI making decisions that have ethical implications, responsibilities are now being pushed to AI designers who may ... Leer más

$134.99 USD

The prolific deployment of Artificial Intelligence (AI) across different fields has introduced novel challenges for AI developers and researchers. AI is permeating decision making for the masses, and its applications range from self-driving automobiles to financial loan approvals. With AI making decisions that have ethical implications, responsibilities are now being pushed to AI designers who may
... Leer más
Architecture of Computing Systems – ARCS 2018

31st International Conference, Braunschweig, Germany, April 9–12, 2018, Proceedings

Edición de Mladen Berekovic, Rainer Buchty, Heiko Hamann, Dirk Koch, Thilo Pionteck ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 31st International Conference on Architecture of Computing Systems, ARCS 2018, held in Braunschweig, Germany, in April 2018.The 23 full papers presented in this volume were carefully reviewed and selected from 53 submissions. ARCS has always been a conference attracting leading-edge research outcomes in Computer Architecture and Operating Systems, ... Leer más

$49.49 USD

This book constitutes the proceedings of the 31st International Conference on Architecture of Computing Systems, ARCS 2018, held in Braunschweig, Germany, in April 2018.The 23 full papers presented in this volume were carefully reviewed and selected from 53 submissions. ARCS has always been a conference attracting leading-edge research outcomes in Computer Architecture and Operating Systems,
... Leer más
Using Microsoft Dynamics AX 2012

Updated for Version R2

de Andreas Luszczak ...

Series series Computer Science (R0)
Precise descriptions and instructions enable users, students and consultants to easily understand Microsoft Dynamics AX 2012. Microsoft offers Dynamics AX as its premium ERP solution to support large and mid-sized organizations with a complete business management solution which is easy to use. Going through a simple but comprehensive case study – the sample company ‘Anso Technologies Inc.’ – this ... Leer más

$53.99 USD

Precise descriptions and instructions enable users, students and consultants to easily understand Microsoft Dynamics AX 2012. Microsoft offers Dynamics AX as its premium ERP solution to support large and mid-sized organizations with a complete business management solution which is easy to use. Going through a simple but comprehensive case study – the sample company ‘Anso Technologies Inc.’ – this
... Leer más
Theoretical Aspects of Computing – ICTAC 2017

14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings

Edición de Dang Van Hung, Deepak Kapur ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 14th International Colloquium on Theoretical Aspects of Computing, ICTAC 2017, held in Hanoi, Vietnam, in October 2017.The 17 revised full papers presented together with three invited talks were carefully reviewed and selected from 40 submissions. The papers are organized in topical sections on logics; software components and concurrency; ... Leer más

$49.49 USD

This book constitutes the refereed proceedings of the 14th International Colloquium on Theoretical Aspects of Computing, ICTAC 2017, held in Hanoi, Vietnam, in October 2017.The 17 revised full papers presented together with three invited talks were carefully reviewed and selected from 40 submissions. The papers are organized in topical sections on logics; software components and concurrency;
... Leer más
String Analysis for Software Verification and Security

de Tevfik Bultan, Fang Yu, Muath Alkhalaf, Abdulbaki Aydin ...

Series series Computer Science (R0)
This book discusses automated string-analysis techniques, focusing particularly on automata-based static string analysis. It covers the following topics: automata-bases string analysis, computing pre and post-conditions of basic string operations using automata, symbolic representation of automata, forward and backward string analysis using symbolic automata representation, constraint-based string ... Leer más

$62.99 USD

This book discusses automated string-analysis techniques, focusing particularly on automata-based static string analysis. It covers the following topics: automata-bases string analysis, computing pre and post-conditions of basic string operations using automata, symbolic representation of automata, forward and backward string analysis using symbolic automata representation, constraint-based string
... Leer más
Design of Video Quality Metrics with Multi-Way Data Analysis

A data driven approach

de Christian Keimel ...

Series series Engineering (R0)
This book proposes a data-driven methodology using multi-way data analysis for the design of video-quality metrics. It also enables video- quality metrics to be created using arbitrary features. This data- driven design approach not only requires no detailed knowledge of the human visual system, but also allows a proper consideration of the temporal nature of video using a three-way prediction ... Leer más

$89.09 USD

This book proposes a data-driven methodology using multi-way data analysis for the design of video-quality metrics. It also enables video- quality metrics to be created using arbitrary features. This data- driven design approach not only requires no detailed knowledge of the human visual system, but also allows a proper consideration of the temporal nature of video using a three-way prediction
... Leer más
Oracle SOA Suite 12c Handbook

de Lucas Jellema ...

Master Oracle SOA Suite 12cDesign, implement, manage, and maintain a highly flexible service-oriented computing infrastructure across your enterprise using the detailed information in this Oracle Press guide. Written by an Oracle ACE director, Oracle SOA Suite 12c Handbook uses a start-to-finish case study to illustrate each concept and technique. Learn expert techniques for designing and ... Leer más

$58.39 USD

Master Oracle SOA Suite 12cDesign, implement, manage, and maintain a highly flexible service-oriented computing infrastructure across your enterprise using the detailed information in this Oracle Press guide. Written by an Oracle ACE director, Oracle SOA Suite 12c Handbook uses a start-to-finish case study to illustrate each concept and technique. Learn expert techniques for designing and
... Leer más
Requirements Engineering

de Elizabeth Hull, Ken Jackson, Jeremy Dick ...

Series series Computer Science (R0)
Using the latest research and driven by practical experience from industry, the third edition of this popular book provides useful information to practitioners on how to write and structure requirements. • Explains the importance of Systems Engineering and the creation of effective solutions to problems • Describes the underlying representations used in system modelling and introduces the UML2 • ... Leer más

$67.49 USD

Using the latest research and driven by practical experience from industry, the third edition of this popular book provides useful information to practitioners on how to write and structure requirements. • Explains the importance of Systems Engineering and the creation of effective solutions to problems • Describes the underlying representations used in system modelling and introduces the UML2 •
... Leer más
Grundkurs Software-Engineering mit UML

Der pragmatische Weg zu erfolgreichen Softwareprojekten

de Stephan Kleuker ...

Series series Computer Science and Engineering (German Language)
Mit der Entwicklung neuer Technologien werden auch die einzelnen Software-Projekte stetig komplexer. Zu analysieren, warum manche Projekte scheitern und andere erfolgreich sind, wird daher immer wichtiger. Dieses Buch ist ein praktischer Leitfaden für die Entwicklung neuer Software.Systematisch beschreibt der Autor die Chancen und Risiken, die einem bei der Entwicklung einer Software begegnen ... Leer más

$28.49 USD

Mit der Entwicklung neuer Technologien werden auch die einzelnen Software-Projekte stetig komplexer. Zu analysieren, warum manche Projekte scheitern und andere erfolgreich sind, wird daher immer wichtiger. Dieses Buch ist ein praktischer Leitfaden für die Entwicklung neuer Software.Systematisch beschreibt der Autor die Chancen und Risiken, die einem bei der Entwicklung einer Software begegnen
... Leer más
Pro Spring Boot 4

An Authoritative Guide with Best Practices

de Felipe Gutierrez, DaShaun Carter ...

Series series Professional and Applied Computing (R0)
Master enterprise-grade application and microservice development with Pro Spring Boot 4. This revised edition empowers you to fully harness the groundbreaking capabilities of Spring Boot 4, crafting robust and scalable web, cloud, and microservice solutions with unparalleled ease.Dive deep into the latest advancements, including enhanced support for Java 17 and 21, significant updates to Spring ... Leer más

$44.99 USD

Master enterprise-grade application and microservice development with Pro Spring Boot 4. This revised edition empowers you to fully harness the groundbreaking capabilities of Spring Boot 4, crafting robust and scalable web, cloud, and microservice solutions with unparalleled ease.Dive deep into the latest advancements, including enhanced support for Java 17 and 21, significant updates to Spring
... Leer más
225 AI Powered Prompts : Boost Your Business with Digital Products, Landing Pages, and Social Media Ideas

de Prabhakar Veeraraghavan ...

225 AI-Powered Prompts Boost Your Business with Digital Products, Landing Pages, and Social Media Ideas!!Unlock the Power of AI to Transform Your Business!Are you ready to supercharge your business with the limitless potential of AI? "225 AI Powered Prompts: Boost Your Business with Digital Products, Landing Pages, and Social Media Ideas" is your ultimate guide to unlocking creativity, boosting ... Leer más

$8.99 USD o gratis con Kobo Plus

225 AI-Powered Prompts Boost Your Business with Digital Products, Landing Pages, and Social Media Ideas!!Unlock the Power of AI to Transform Your Business!Are you ready to supercharge your business with the limitless potential of AI? "225 AI Powered Prompts: Boost Your Business with Digital Products, Landing Pages, and Social Media Ideas" is your ultimate guide to unlocking creativity, boosting
... Leer más
C + +

C++ programming

de Ummed Singh ...

This eBook is based on C + + that has been collected from different sources and people. For more information about this ebook. Kindly write to [email protected]. I will happy to help you.Copyright 2023 by Ummed SinghThis eBook is a guide and serves as a first guide. This book has been written on the advice of many experts and sources who have good command over C + +, network and programming ... Leer más

$3.99 USD o gratis con Kobo Plus

This eBook is based on C + + that has been collected from different sources and people. For more information about this ebook. Kindly write to [email protected]. I will happy to help you.Copyright 2023 by Ummed SinghThis eBook is a guide and serves as a first guide. This book has been written on the advice of many experts and sources who have good command over C + +, network and programming
... Leer más
Ask AI Better Questions: A Framework for Getting Real Answers from Artificial Intelligence

de Danny Keith ...

Artificial intelligence is powerful, but most people use it poorly.They treat AI like a search engine.They ask vague questions.They accept mediocre answers.The difference between average AI results and extraordinary ones usually comes down to one thing:The quality of the questions.Ask AI Better Questions reveals a practical framework for asking questions that unlock the real potential of ... Leer más

$4.99 USD o gratis con Kobo Plus

Artificial intelligence is powerful, but most people use it poorly.They treat AI like a search engine.They ask vague questions.They accept mediocre answers.The difference between average AI results and extraordinary ones usually comes down to one thing:The quality of the questions.Ask AI Better Questions reveals a practical framework for asking questions that unlock the real potential of
... Leer más
Next Generation Internet

Die Verschmelzung von Realität und Virtualität im Metaversum

de Peter Hoffmann ...

Series series Computer Science and Engineering (German Language)
Die Entwicklung des Internets, insbesondere des WWW, stößt aktuell an ihre Grenzen – sowohl technisch als auch sozio-kulturell und ökonomisch. Als Lösung wird ein neues Internet versprochen, das die Grenzen der realen und der virtuellen Welt überwinden und Realität und Digitalität verschmelzen soll – das Metaversum. Technische, semantische und organisatorische Details greifen hierzu eng ineinander ... Leer más

$28.49 USD

Die Entwicklung des Internets, insbesondere des WWW, stößt aktuell an ihre Grenzen – sowohl technisch als auch sozio-kulturell und ökonomisch. Als Lösung wird ein neues Internet versprochen, das die Grenzen der realen und der virtuellen Welt überwinden und Realität und Digitalität verschmelzen soll – das Metaversum. Technische, semantische und organisatorische Details greifen hierzu eng ineinander
... Leer más
Selenium WebDriver Recipes in C#

Practical Testing Solutions for Selenium WebDriver

de Courtney Zhan ...

Series series Professional and Applied Computing (R0)
Solve your Selenium WebDriver problems with this quick guide to automated testing of web applications with Selenium WebDriver in C#. This third editioncontains hundreds of solutions to real-world problems, with clear explanations and ready-to-run Selenium test scripts that you can use in your own projects.Updated to Selenium version 4, this revision includes Visual Studio Code set up, additional ... Leer más

$44.99 USD

Solve your Selenium WebDriver problems with this quick guide to automated testing of web applications with Selenium WebDriver in C#. This third editioncontains hundreds of solutions to real-world problems, with clear explanations and ready-to-run Selenium test scripts that you can use in your own projects.Updated to Selenium version 4, this revision includes Visual Studio Code set up, additional
... Leer más
Data Lake

Strategies and Best Practices for Storing, Managing, and Analyzing Big Data

de Brian Murray ...

Series Libro 1 - Data Engineering
“Data Lake: Strategies and Best Practices for Storing, Managing, and Analyzing Big Data” is a comprehensive guide to understanding and implementing a data lake architecture. With the increasing volume, velocity, and variety of data being generated, organizations need to be able to store and analyze large amounts of data to gain insights and make informed decisions.This book covers the key concepts ... Leer más

$3.95 USD o gratis con Kobo Plus

“Data Lake: Strategies and Best Practices for Storing, Managing, and Analyzing Big Data” is a comprehensive guide to understanding and implementing a data lake architecture. With the increasing volume, velocity, and variety of data being generated, organizations need to be able to store and analyze large amounts of data to gain insights and make informed decisions.This book covers the key concepts
... Leer más
Beginning Ballerina Programming

From Novice to Professional

de Anjana Fernando, Lakmal Warusawithana ...

Series series Professional and Applied Computing (R0)
Discover the Ballerina programming language for next-generation microservices and cloud-native application development. This book shows you that Ballerina is a cutting-edge programming language which incorporates many of the latest technological advancements in programming language theory. You'll learn variables and types, modules and functions, flow control, error handling, concurrency, I/O, ... Leer más

$44.99 USD

Discover the Ballerina programming language for next-generation microservices and cloud-native application development. This book shows you that Ballerina is a cutting-edge programming language which incorporates many of the latest technological advancements in programming language theory. You'll learn variables and types, modules and functions, flow control, error handling, concurrency, I/O,
... Leer más
Mastering Geospatial Analysis with Python

Explore GIS processing and learn to work with GeoDjango, CARTOframes and MapboxGL-Jupyter

de Silas Toms, Eric van Rees, Paul Crickard ...

Explore GIS processing and learn to work with various tools and libraries in Python. Key Features\[\*\] Analyze and process geospatial data using Python libraries such as; Anaconda, GeoPandas\[\*\] Leverage new ArcGIS API to process geospatial data for the cloud.\[\*\] Explore various Python geospatial web and machine learning frameworks.Book DescriptionPython comes with a host of open source ... Leer más

$41.39 USD o gratis con Kobo Plus

Explore GIS processing and learn to work with various tools and libraries in Python. Key Features\[\*\] Analyze and process geospatial data using Python libraries such as; Anaconda, GeoPandas\[\*\] Leverage new ArcGIS API to process geospatial data for the cloud.\[\*\] Explore various Python geospatial web and machine learning frameworks.Book DescriptionPython comes with a host of open source
... Leer más
Vue.js 3 By Example

Blueprints to learn Vue web development, full-stack development, and cross-platform development quickly

de John Au-Yeung ...

Kick-start your Vue.js development career by learning the fundamentals of Vue 3 and its integration with modern web technologies such as Electron, GraphQL, Ionic, and LaravelKey FeaturesDownload complete source code for all Vue.js projects built throughout the bookDiscover steps to build production-ready Vue.js apps across web, mobile, and desktopBuild a compelling portfolio of web apps, including ... Leer más

$27.89 USD o gratis con Kobo Plus

Kick-start your Vue.js development career by learning the fundamentals of Vue 3 and its integration with modern web technologies such as Electron, GraphQL, Ionic, and LaravelKey FeaturesDownload complete source code for all Vue.js projects built throughout the bookDiscover steps to build production-ready Vue.js apps across web, mobile, and desktopBuild a compelling portfolio of web apps, including
... Leer más
SmartShadow: Models and Methods for Pervasive Computing

de Zhaohui Wu, Gang Pan ...

Series series Computer Science (R0)
SmartShadow: Models and Methods for Pervasive Computing offers a new perspective on pervasive computing with SmartShadow, which is designed to model a user as a personality “shadow” and to model pervasive computing environments as user-centric dynamic virtual personal spaces. Just like human beings’ shadows in the physical world, it follows people wherever they go, providing them with pervasive ... Leer más

$89.09 USD

SmartShadow: Models and Methods for Pervasive Computing offers a new perspective on pervasive computing with SmartShadow, which is designed to model a user as a personality “shadow” and to model pervasive computing environments as user-centric dynamic virtual personal spaces. Just like human beings’ shadows in the physical world, it follows people wherever they go, providing them with pervasive
... Leer más
Building Embedded Systems

Programmable Hardware

de Changyi Gu ...

Series series Professional and Applied Computing (R0)
Develop the software and hardware you never think about. We're talking about the nitty-gritty behind the buttons on your microwave, inside your thermostat, inside the keyboard used to type this description, and even running the monitor on which you are reading it now. Such stuff is termed embedded systems, and this book shows how to design and develop embedded systems at a professional level. ... Leer más

$71.99 USD

Develop the software and hardware you never think about. We're talking about the nitty-gritty behind the buttons on your microwave, inside your thermostat, inside the keyboard used to type this description, and even running the monitor on which you are reading it now. Such stuff is termed embedded systems, and this book shows how to design and develop embedded systems at a professional level.
... Leer más
Implementation and Application of Functional Languages

24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers

Edición de Ralf Hinze ...

Series series Springer Nature Proceedings Computer Science
This book contains the selected peer-reviewed and revised papers from the 24th International Symposium on Implementation and Application of Functional Languages, IFL 2012, held in Oxford, UK, in August/September 2012. The 14 papers included in this volume were carefully reviewed and selected from 28 revised submissions received from originally 37 presentations at the conference. The papers relate ... Leer más

$62.99 USD

This book contains the selected peer-reviewed and revised papers from the 24th International Symposium on Implementation and Application of Functional Languages, IFL 2012, held in Oxford, UK, in August/September 2012. The 14 papers included in this volume were carefully reviewed and selected from 28 revised submissions received from originally 37 presentations at the conference. The papers relate
... Leer más

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 Programación

Mostrar: