Rakuten Kobo

Interactive Theorem Proving

9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings

Edición de Jeremy Avigad, Assia Mahboubi ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 9th International Conference on Interactive Theorem Proving, ITP 2018, held in Oxford, UK, in July 2018.The 32 full papers and 5 short papers presented were carefully reviewed and selected from 65 submissions. The papers feature research in the area of logical frameworks and interactive proof assistants. The topics include theoretical ... Leer más

$80.09 USD

This book constitutes the refereed proceedings of the 9th International Conference on Interactive Theorem Proving, ITP 2018, held in Oxford, UK, in July 2018.The 32 full papers and 5 short papers presented were carefully reviewed and selected from 65 submissions. The papers feature research in the area of logical frameworks and interactive proof assistants. The topics include theoretical
... Leer más
Android Studio 3.2 Development Essentials - Kotlin Edition

Developing Android 9 Apps Using Android Studio 3.2, Kotlin and Android Jetpack

de Neil Smyth ...

Fully updated for Android Studio 3.2, Android 9, Android Jetpack and the modern architectural guidelines and components, the goal of this book is to teach the skills necessary to develop Android-based applications using the Kotlin programming language.Beginning with the basics, this book provides an outline of the steps necessary to set up an Android development and testing environment followed by ... Leer más

$34.99 USD o gratis con Kobo Plus

Fully updated for Android Studio 3.2, Android 9, Android Jetpack and the modern architectural guidelines and components, the goal of this book is to teach the skills necessary to develop Android-based applications using the Kotlin programming language.Beginning with the basics, this book provides an outline of the steps necessary to set up an Android development and testing environment followed by
... Leer más
Business Information Systems

22nd International Conference, BIS 2019, Seville, Spain, June 26–28, 2019, Proceedings, Part II

Edición de Witold Abramowicz, Rafael Corchuelo ...

Series Libro 2 - Springer Nature Proceedings Computer Science
The two-volume set LNBIP 353 and 354 constitutes the proceedings of the 22nd International Conference on Business Information Systems, BIS 2019, held in Seville, Spain, in June 2019.The theme of the BIS 2019 was "Data Science for Business Information Systems", inspiring researchers to share theoretical and practical knowledge of the different aspects related to Data Science in enterprises. The 67 ... Leer más

$49.49 USD

The two-volume set LNBIP 353 and 354 constitutes the proceedings of the 22nd International Conference on Business Information Systems, BIS 2019, held in Seville, Spain, in June 2019.The theme of the BIS 2019 was "Data Science for Business Information Systems", inspiring researchers to share theoretical and practical knowledge of the different aspects related to Data Science in enterprises. The 67
... Leer más
VBA Bible: Save Your Time with VBA

5 Quality VBA Books In One Package!

de Andrei Besedin ...

VBA BIBLE: SAVE YOUR TIME WITH VBA: 5 QUALITY VBA BOOKS IN ONE PACKAGE!As you already know, VBA stands for Visual Basic for Applications. It is considered to be the most powerful feature the Microsoft Excel offers it, users. It gives you the opportunity to do what simple formulas find difficult to do. Maybe you now have a good knowledge of some excel formulas and thinking of taking a step further ... Leer más

$8.69 USD

VBA BIBLE: SAVE YOUR TIME WITH VBA: 5 QUALITY VBA BOOKS IN ONE PACKAGE!As you already know, VBA stands for Visual Basic for Applications. It is considered to be the most powerful feature the Microsoft Excel offers it, users. It gives you the opportunity to do what simple formulas find difficult to do. Maybe you now have a good knowledge of some excel formulas and thinking of taking a step further
... Leer más
Coordination Models and Languages

19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings

Edición de Jean-Marie Jacquet, Mieke Massink ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 19th International Conference on Coordination Models and Languages, COORDINATION 2017, held in Neuchâtel, Switzerland, in June 2017, as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017.The 13 full papers included in this volume were carefully reviewed and selected from 31 submissions. The papers ... Leer más

$49.49 USD

This book constitutes the proceedings of the 19th International Conference on Coordination Models and Languages, COORDINATION 2017, held in Neuchâtel, Switzerland, in June 2017, as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017.The 13 full papers included in this volume were carefully reviewed and selected from 31 submissions. The papers
... Leer más
Software Development Accelerated Essentials: What You Didn't Know, You Needed to Know

de Ed Gomez ...

This is not a book about the latest technology, nor is it a book about how to code verbatim.I discuss topics with the reader on a one to one basis, as if you and I were "pair programming." I provide clear, concise, real life scenarios. I don't mention the names of companies, nor do I use any of their actual code, due to copyright infringements. The case studies are based on real life scenarios ... Leer más

$39.99 USD

This is not a book about the latest technology, nor is it a book about how to code verbatim.I discuss topics with the reader on a one to one basis, as if you and I were "pair programming." I provide clear, concise, real life scenarios. I don't mention the names of companies, nor do I use any of their actual code, due to copyright infringements. The case studies are based on real life scenarios
... Leer más
COBOL Basic Training Using VSAM, IMS and DB2

de Robert Wingate ...

This book will teach you the basic information and skills you need to develop applications with COBOL on IBM mainframes running z/OS. The instruction, examples and sample programs in this book are a fast track to becoming productive as quickly as possible using COBOL. The content is easy to read and digest, well organized and focused on honing real job skills. ... Leer más

$19.95 USD

This book will teach you the basic information and skills you need to develop applications with COBOL on IBM mainframes running z/OS. The instruction, examples and sample programs in this book are a fast track to becoming productive as quickly as possible using COBOL. The content is easy to read and digest, well organized and focused on honing real job skills.
... Leer más
Practical Salesforce Development Without Code

Building Declarative Solutions on the Salesforce Platform

de Philip Weinmeister ...

Series series Professional and Applied Computing (R0)
Use this hands-on guide to build powerful solutions on the Salesforce platform without using a single line of code. This revised and expanded second edition includes Process Builder, Flow Builder, Lightning App Builder, Lightning Bolt Solutions, and more.Practical Salesforce Development Without Code shows you how to unlock the power of the Salesforce platform to solve real business problems. ... Leer más

$62.99 USD

Use this hands-on guide to build powerful solutions on the Salesforce platform without using a single line of code. This revised and expanded second edition includes Process Builder, Flow Builder, Lightning App Builder, Lightning Bolt Solutions, and more.Practical Salesforce Development Without Code shows you how to unlock the power of the Salesforce platform to solve real business problems.
... Leer más
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2022-Winter

Edición de Roger Lee ...

Series series Intelligent Technologies and Robotics (R0)
This edited book presents scientific results of the 24th ACIS International Winter Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD2022-Summer) which was held on December 7–9, 2022, at Taichung, Taiwan.The aim of this conference was to bring together researchers and scientists, businessmen and entrepreneurs, teachers, engineers, ... Leer más

$161.99 USD

This edited book presents scientific results of the 24th ACIS International Winter Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD2022-Summer) which was held on December 7–9, 2022, at Taichung, Taiwan.The aim of this conference was to bring together researchers and scientists, businessmen and entrepreneurs, teachers, engineers,
... Leer más
Architecting Google Cloud Solutions

Learn to design robust and future-proof solutions with Google Cloud technologies

de Victor Dantas ...

Achieve your business goals and build highly available, scalable, and secure cloud infrastructure by designing robust and cost-effective solutions as a Google Cloud Architect.Key FeaturesGain hands-on experience in designing and managing high-performance cloud solutionsLeverage Google Cloud Platform to optimize technical and business processes using cutting-edge technologies and servicesUse Google ... Leer más

$34.19 USD o gratis con Kobo Plus

Achieve your business goals and build highly available, scalable, and secure cloud infrastructure by designing robust and cost-effective solutions as a Google Cloud Architect.Key FeaturesGain hands-on experience in designing and managing high-performance cloud solutionsLeverage Google Cloud Platform to optimize technical and business processes using cutting-edge technologies and servicesUse Google
... Leer más
Formal Techniques for Distributed Objects, Components, and Systems

41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings

Edición de Kirstin Peters, Tim A. C. Willemse ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 41st IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2021, held in Valletta, Malta, in June 2021, as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021.The 9 regular papers and 4 short papers presented were carefully reviewed ... Leer más

$49.49 USD

This book constitutes the refereed proceedings of the 41st IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2021, held in Valletta, Malta, in June 2021, as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021.The 9 regular papers and 4 short papers presented were carefully reviewed
... Leer más
Model Checking, Synthesis, and Learning

Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday

Edición de Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi ...

Series series Computer Science (R0)
This Festschrift, dedicated to Bengt Jonsson on the occasion of his 60th birthday, contains papers written by many of his friends and collaborators.Bengt has made major contributions covering a wide range of topics including verification and learning. His works on verification, in finite state systems, learning, testing, probabilistic systems, timed systems, and distributed systems reflect both ... Leer más

$62.99 USD

This Festschrift, dedicated to Bengt Jonsson on the occasion of his 60th birthday, contains papers written by many of his friends and collaborators.Bengt has made major contributions covering a wide range of topics including verification and learning. His works on verification, in finite state systems, learning, testing, probabilistic systems, timed systems, and distributed systems reflect both
... Leer más
Modern Game Testing

Learn how to test games like a pro, optimize testing effort, and skyrocket your QA career

de Nikolina Finska ...

Implement modern and agile QA practices with the help of this part-color guide to ensure your games are high quality, on budget, and released on timeKey FeaturesSet up a test environment, create test plans, and learn to communicate with developersDiscover how to build efficient QA teams either in-house or remotelyIncrease your chances of career advancement and your employability in the gaming ... Leer más

$23.79 USD o gratis con Kobo Plus

Implement modern and agile QA practices with the help of this part-color guide to ensure your games are high quality, on budget, and released on timeKey FeaturesSet up a test environment, create test plans, and learn to communicate with developersDiscover how to build efficient QA teams either in-house or remotelyIncrease your chances of career advancement and your employability in the gaming
... Leer más
Photoshop CC从入门到精通

de 龙马高新教育策划 ...

本书结合实际应用案例，模拟了真实的图像处理方法，介绍Photoshop CC的基础知识及使用方法与技巧，旨在帮助读者全面、系统地掌握Photoshop CC在图像处理行业的应用。 ... Leer más

$20.29 USD o gratis con Kobo Plus

本书结合实际应用案例，模拟了真实的图像处理方法，介绍Photoshop CC的基础知识及使用方法与技巧，旨在帮助读者全面、系统地掌握Photoshop CC在图像处理行业的应用。
... Leer más
Automated Technology for Verification and Analysis

23rd International Symposium, ATVA 2025, Bengaluru, India, October 27–31, 2025, Proceedings

Edición de Meenakshi D´Souza, Raghavan Komondoor, B. Srivathsan ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 23rd International Symposium on Automated Technology for Verification and Analysis, ATVA 2025, held in Bengaluru, India, from October 27–31, 2025.The 17 full papers and 4 short papers included in the proceedings were carefully reviewed and selected from 59 submissions. They were organized in topical sections as follows: Automata and temporal ... Leer más

$80.99 USD

This book constitutes the refereed proceedings of the 23rd International Symposium on Automated Technology for Verification and Analysis, ATVA 2025, held in Bengaluru, India, from October 27–31, 2025.The 17 full papers and 4 short papers included in the proceedings were carefully reviewed and selected from 59 submissions. They were organized in topical sections as follows: Automata and temporal
... Leer más
Producing Games

From Business and Budgets to Creativity and Design

de D Cohen ...

Computer games are big business - tens of billions of dollars are spent annually by the worldwide video games market. The cost of producing video games has ballooned to beyond $20 million dollars in many cases, and team sizes are quickly growing past 100 team members. At the center of this storm is the producer - one person who transforms the money, the hours spent by the team, and the latest ... Leer más

$55.99 USD

Computer games are big business - tens of billions of dollars are spent annually by the worldwide video games market. The cost of producing video games has ballooned to beyond $20 million dollars in many cases, and team sizes are quickly growing past 100 team members. At the center of this storm is the producer - one person who transforms the money, the hours spent by the team, and the latest
... Leer más
Developing Service-Oriented Applications Using the Windows Communication Foundation (WCF) Framework

de Chirag Patel ...

Recent advancements in technology have allowed for significant improvements to computer software design and development. By utilizing the latest available frameworks, developers can build more innovative applications. Developing Service-Oriented Applications Using the Windows Communication Foundation (WCF) Framework is a pivotal source of research on the latest protocols and concepts for applying ... Leer más

$170.99 USD

Recent advancements in technology have allowed for significant improvements to computer software design and development. By utilizing the latest available frameworks, developers can build more innovative applications. Developing Service-Oriented Applications Using the Windows Communication Foundation (WCF) Framework is a pivotal source of research on the latest protocols and concepts for applying
... Leer más
Präferenzmanagement mit SAP GTS edition for SAP HANA

de Fabian Geissler ...

Dieses Praxishandbuch bietet eine umfassende Einführung in das Präferenzmanagement mit SAP GTS edition for SAP HANA. Es unterstützt Mitarbeitende von IT-Abteilungen exportorientierter Unternehmen sowie Key-User und Anwender der Fachabteilungen, die SAP GTS zur Abwicklung der Prozesse des Präferenzmanagements nutzen.Nach einer Einführung in die Architektur und in zentrale Funktionen von SAP GTS ... Leer más

$19.99 USD

Dieses Praxishandbuch bietet eine umfassende Einführung in das Präferenzmanagement mit SAP GTS edition for SAP HANA. Es unterstützt Mitarbeitende von IT-Abteilungen exportorientierter Unternehmen sowie Key-User und Anwender der Fachabteilungen, die SAP GTS zur Abwicklung der Prozesse des Präferenzmanagements nutzen.Nach einer Einführung in die Architektur und in zentrale Funktionen von SAP GTS
... Leer más
OCP Oracle Certified Professional Java SE 11 Programmer II Study Guide

Exam 1Z0-816 and Exam 1Z0-817

de Scott Selikoff, Jeanne Boyarsky ...

This OCP Oracle Certified Professional Java SE 11 Programmer I Study Guide: Exam 1Z0-815 and the Programmer II Study Guide: Exam 1Z0-816 were published before Oracle announced major changes to its OCP certification program and the release of the new Developer 1Z0-819 exam.No matter the changes, rest assured both of the Programmer I and II Study Guides cover everything you need to prepare for and ... Leer más

$30.00 USD

This OCP Oracle Certified Professional Java SE 11 Programmer I Study Guide: Exam 1Z0-815 and the Programmer II Study Guide: Exam 1Z0-816 were published before Oracle announced major changes to its OCP certification program and the release of the new Developer 1Z0-819 exam.No matter the changes, rest assured both of the Programmer I and II Study Guides cover everything you need to prepare for and
... Leer más
Classes, Monsters, and Anti-Patterns in AI Coding

The AI Developer's Field Guide, #1

de Timothy O'Brien ...

Series Libro 1 - The AI Developer's Field Guide
Generative AI changed how software gets built. It also changed how teams fail.The AI Developer's Field Guide gives developers, engineering managers, and technical leaders a practical vocabulary for recognizing the anti-patterns of AI-assisted coding. Timothy O'Brien uses an illustrated, role-playing-inspired framework of classes, artifacts, spells, and monsters to make recurring engineering ... Leer más

$9.99 USD o gratis con Kobo Plus

Generative AI changed how software gets built. It also changed how teams fail.The AI Developer's Field Guide gives developers, engineering managers, and technical leaders a practical vocabulary for recognizing the anti-patterns of AI-assisted coding. Timothy O'Brien uses an illustrated, role-playing-inspired framework of classes, artifacts, spells, and monsters to make recurring engineering
... Leer más
Software Testing Foundations, 4th Edition

A Study Guide for the Certified Tester Exam

de Andreas Spillner, Tilo Linz, Hans Schaefer ...

Software Testing Foundations, 4th Edition provides the information necessary to pass the Certified Tester-Foundations Level exam, version 2011, as defined by the ISTQB; uses a format designed for self-study; and defines technical terms according to the updated ISTQB glossary.Professional testing of software is an essential task that requires a profound knowledge of testing techniques. The ... Leer más

$32.39 USD

Software Testing Foundations, 4th Edition provides the information necessary to pass the Certified Tester-Foundations Level exam, version 2011, as defined by the ISTQB; uses a format designed for self-study; and defines technical terms according to the updated ISTQB glossary.Professional testing of software is an essential task that requires a profound knowledge of testing techniques. The
... Leer más
Technical Program Manager's Handbook

Unlock your TPM potential by leading technical projects successfully and elevating your career path

de Joshua Alan Teter ...

Explore the TPM role in depth with this revised second edition. New coverage includes advanced program management techniques, emotional intelligence, and AI integration. Join business with technology and elevate your career. Free with your book: DRM-free PDF version + access to Packt's next-gen Reader\*Key FeaturesLearn advanced system design principles and architectural concepts necessary for a ... Leer más

$30.59 USD o gratis con Kobo Plus

Explore the TPM role in depth with this revised second edition. New coverage includes advanced program management techniques, emotional intelligence, and AI integration. Join business with technology and elevate your career. Free with your book: DRM-free PDF version + access to Packt's next-gen Reader\*Key FeaturesLearn advanced system design principles and architectural concepts necessary for a
... Leer más
Domain-Specific Conceptual Modeling

The OMiLAB Community of Practice

Edición de Xavier Boucher, Robert Andrei Buchmann, Hans-Georg Fill, Dimitris Kyritsis, Wilfrid Utz ...

Series series Computer Science (R0)
This third volume of the book series “Domain-Specific Conceptual Modeling” presents new application cases for domain-specific modeling languages and for the engineering of modeling languages and tools. All cases use the ADOxx metamodeling platform or toolkits from the Digital Innovation Environment, shared by the OMiLAB Community of Practice and available for open use. Through this platform, ... Leer más

$197.09 USD

This third volume of the book series “Domain-Specific Conceptual Modeling” presents new application cases for domain-specific modeling languages and for the engineering of modeling languages and tools. All cases use the ADOxx metamodeling platform or toolkits from the Digital Innovation Environment, shared by the OMiLAB Community of Practice and available for open use. Through this platform,
... Leer más
Applied Computer Sciences in Engineering

12th Workshop on Engineering Applications, WEA 2025, Cali, Colombia, October 29–31, 2025, Proceedings, Part II

Edición de Juan Carlos Figueroa-García, Jesús Alfonso López-Sotelo, John Freddy Moreno-Trujillo, Elvis Eduardo Gaona-García ...

Series Libro 2 - Springer Nature Proceedings Computer Science
The two-volume set CCIS 2701 and 2702 constitutes the refereed conferenceproceedings of the 12th Workshop on Engineering Applications on Applied Computer Sciences in Engineering, WEA 2025, held in Cali, Colombia, during October 29–31, 2025.The 60 revised full papers presented in these proceedings were carefully reviewed and selected from 198 submissions. The papers are organized in the following ... Leer más

$58.49 USD

The two-volume set CCIS 2701 and 2702 constitutes the refereed conferenceproceedings of the 12th Workshop on Engineering Applications on Applied Computer Sciences in Engineering, WEA 2025, held in Cali, Colombia, during October 29–31, 2025.The 60 revised full papers presented in these proceedings were carefully reviewed and selected from 198 submissions. The papers are organized in the following
... 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 Desarrollo de software

Mostrar: