Rakuten Kobo

NASA Formal Methods

16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4–6, 2024, Proceedings

Edición de Nathaniel Benz, Divya Gopinath, Nija Shi ...

Series series Springer Nature Proceedings Computer Science
This LNCS 14627 conference volume constitutes the proceedings of the 16th International Symposium on NASA Formal Methods, NFM 2024, held in Moffett Field, CA, USA in June 2024. The 20 full papers together with 6 short papers included in this volume were carefully reviewed and selected from 68 submissions.The conference focuses on the on formal techniques for software and system assurance for ... Leer más

$116.99 USD

This LNCS 14627 conference volume constitutes the proceedings of the 16th International Symposium on NASA Formal Methods, NFM 2024, held in Moffett Field, CA, USA in June 2024. The 20 full papers together with 6 short papers included in this volume were carefully reviewed and selected from 68 submissions.The conference focuses on the on formal techniques for software and system assurance for
... Leer más
Advanced Parallel Processing Technologies

15th International Symposium, APPT 2023, Nanchang, China, August 4–6, 2023, Proceedings

Edición de Chao Li, Zhenhua Li, Li Shen, Fan Wu, Xiaoli Gong ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 15th International Symposium on Advanced Parallel Processing Technologies, APPT 2023, held in Nanchang, China, during August 4–6, 2023.The 23 full papers and 1 short papers included in this book were carefully reviewed and selected from 49 submissions. They were organized in topical sections as follows: High Performance Computing and ... Leer más

$80.99 USD

This book constitutes the refereed proceedings of the 15th International Symposium on Advanced Parallel Processing Technologies, APPT 2023, held in Nanchang, China, during August 4–6, 2023.The 23 full papers and 1 short papers included in this book were carefully reviewed and selected from 49 submissions. They were organized in topical sections as follows: High Performance Computing and
... Leer más
Languages and Compilers for Parallel Computing

29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers

Edición de Chen Ding, John Criswell, Peng Wu ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 29th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2016, held in Rochester, NY, USA, in September 2016.The 20 revised full papers presented together with 4 short papers were carefully reviewed. The papers are organized in topical sections on large scale parallelism, resilience and ... Leer más

$49.99 USD

This book constitutes the thoroughly refereed post-conference proceedings of the 29th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2016, held in Rochester, NY, USA, in September 2016.The 20 revised full papers presented together with 4 short papers were carefully reviewed. The papers are organized in topical sections on large scale parallelism, resilience and
... Leer más
Beyond Interactions

INTERACT 2019 IFIP TC 13 Workshops, Paphos, Cyprus, September 2–6, 2019, Revised Selected Papers

Edición de José Abdelnour Nocera, Antigoni Parmaxi, Marco Winckler, Fernando Loizides, Carmelo Ardito, Ganesh Bhutkar, Peter Dannenmann ...

Series series Springer Nature Proceedings Computer Science
This book contains revised selected papers presented at 3 workshops held at the 17th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2019, which was held in September 2019 in Paphos, Cyprus. The workshops are:- Beyond Computers: Wearables, Humans, And Things - WHAT!- User Experiences and Wellbeing at Work (UX@Work)- Workshop on Handling Security, Usability, User ... Leer más

$49.99 USD

This book contains revised selected papers presented at 3 workshops held at the 17th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2019, which was held in September 2019 in Paphos, Cyprus. The workshops are:- Beyond Computers: Wearables, Humans, And Things - WHAT!- User Experiences and Wellbeing at Work (UX@Work)- Workshop on Handling Security, Usability, User
... Leer más
Wireless Algorithms, Systems, and Applications

16th International Conference, WASA 2021, Nanjing, China, June 25–27, 2021, Proceedings, Part I

Edición de Zhe Liu, Fan Wu, Sajal K. Das ...

Series Libro 1 - Springer Nature Proceedings Computer Science
The three-volume set LNCS 12937 - 12939 constitutes the proceedings of the 16th International Conference on Wireless Algorithms, Systems, and Applications, WASA 2021, which was held during June 25-27, 2021. The conference took place in Nanjing, China.The 103 full and 57 short papers presented in these proceedings were carefully reviewed and selected from 315 submissions. The following topics are ... Leer más

$49.99 USD

The three-volume set LNCS 12937 - 12939 constitutes the proceedings of the 16th International Conference on Wireless Algorithms, Systems, and Applications, WASA 2021, which was held during June 25-27, 2021. The conference took place in Nanjing, China.The 103 full and 57 short papers presented in these proceedings were carefully reviewed and selected from 315 submissions. The following topics are
... Leer más
Sustainable Development through Machine Learning, AI and IoT

Second International Conference, ICSD 2024, Virtual Event, April 27–28, 2024, Proceedings

Edición de Pawan Whig, Nuno Silva, Ahmad A. Elngar, Nagender Aneja, Pavika Sharma ...

Series series Springer Nature Proceedings excluding Computer Science
This book constitutes the refereed proceedings of the Second International Conference on Sustainable Development through Machine Learning, AI and IoT, ICSD 2024, held in Virtual Event, during April 27–28, 2024.The 38 full papers presented here were carefully reviewed and selected from 167 submissions. These papers have been categorized into the following sections: This volume encompassing a ... Leer más

$89.99 USD

This book constitutes the refereed proceedings of the Second International Conference on Sustainable Development through Machine Learning, AI and IoT, ICSD 2024, held in Virtual Event, during April 27–28, 2024.The 38 full papers presented here were carefully reviewed and selected from 167 submissions. These papers have been categorized into the following sections: This volume encompassing a
... Leer más
Implementing Oracle Fusion General Ledger and Oracle Fusion Accounting Hub

de Anil Passi, Vladimir Ajvaz, Nivas Ramanathan ...

This Oracle Press guide shows how to implement key modules of Oracle Fusion Financials—General Ledger and Financials Accounting Hub—covering both the functional and technical aspects of this complete financial management solution.Implementing Oracle Fusion Applications General Ledger & Financials Accounting Hub covers the core Oracle Financials products and components. All Oracle Financials ... Leer más

$54.99 USD

This Oracle Press guide shows how to implement key modules of Oracle Fusion Financials—General Ledger and Financials Accounting Hub—covering both the functional and technical aspects of this complete financial management solution.Implementing Oracle Fusion Applications General Ledger & Financials Accounting Hub covers the core Oracle Financials products and components. All Oracle Financials
... Leer más
Getting Value out of Agile Retrospectives

de Ben Linders, Luis Goncalves ...

Getting Value out of Agile Retrospectives helps you and your teams to do retrospectives effectively and efficiently. It's a toolbox with many exercises for facilitating retrospectives, supported with the "what" and "why" of retrospectives, the business value and benefits that they bring, and advice for introducing and improving retrospectives.If you are a Scrum master, agile coach, project manager ... Leer más

$9.99 USD o gratis con Kobo Plus

Getting Value out of Agile Retrospectives helps you and your teams to do retrospectives effectively and efficiently. It's a toolbox with many exercises for facilitating retrospectives, supported with the "what" and "why" of retrospectives, the business value and benefits that they bring, and advice for introducing and improving retrospectives.If you are a Scrum master, agile coach, project manager
... Leer más
Software Design for Resilient Computer Systems

de Igor Schagaev, Eugene Zouev, Kaegi Thomas ...

Series series Engineering (R0)
This book addresses the question of how system software should be designed to account for faults, and which fault tolerance features it should provide for highest reliability. With this second edition of Software Design for Resilient Computer Systems the book is thoroughly updated to contain the newest advice regarding software resilience. With additional chapters on computer system performance ... Leer más

$98.99 USD

This book addresses the question of how system software should be designed to account for faults, and which fault tolerance features it should provide for highest reliability. With this second edition of Software Design for Resilient Computer Systems the book is thoroughly updated to contain the newest advice regarding software resilience. With additional chapters on computer system performance
... Leer más
New Trends in Databases and Information Systems

ADBIS 2019 Short Papers, Workshops BBIGAP, QAUCA, SemBDM, SIMPDA, M2P, MADEISD, and Doctoral Consortium, Bled, Slovenia, September 8–11, 2019, Proceedings

Edición de Tatjana Welzer, Johann Eder, Vili Podgorelec, Robert Wrembel, Mirjana Ivanović, Johann Gamper, Mikoƚaj Morzy, Theodoros Tzouramanis, Jérôme Darmont, Aida Kamišalić Latifić ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed short papers, workshops and doctoral consortium papers of the 23rd European Conference on Advances in Databases and Information Systems, ADBIS 2019, held in Bled, Slovenia, in September 2019.The 19 short research papers and the 5 doctoral consortium papers were carefully reviewed and selected from 103 submissions, and the 31 workshop papers were ... Leer más

$49.99 USD

This book constitutes the thoroughly refereed short papers, workshops and doctoral consortium papers of the 23rd European Conference on Advances in Databases and Information Systems, ADBIS 2019, held in Bled, Slovenia, in September 2019.The 19 short research papers and the 5 doctoral consortium papers were carefully reviewed and selected from 103 submissions, and the 31 workshop papers were
... Leer más
Delphi High Performance

Build fast Delphi applications using concurrency, parallel programming and memory management

de Primož Gabrijelčič ...

Build fast, scalable, and high performing applications with DelphiKey FeaturesBuild efficient and concurrent applications in Delphi with focused examplesIdentify performance bottlenecks and apply the correct algorithm to increase the performance of applications.Delve into parallel programming and memory management to optimize your codeBook DescriptionDelphi is a cross-platform Integrated ... Leer más

$39.99 USD o gratis con Kobo Plus

Build fast, scalable, and high performing applications with DelphiKey FeaturesBuild efficient and concurrent applications in Delphi with focused examplesIdentify performance bottlenecks and apply the correct algorithm to increase the performance of applications.Delve into parallel programming and memory management to optimize your codeBook DescriptionDelphi is a cross-platform Integrated
... Leer más
Verification and Validation of Rule-Based Expert Systems

de Suzanne Smith, Abraham Kandel ...

This book presents an innovative approach to verifying and validating rule-based expert systems. It features a complete set of techniques and tools that provide a more formal, objective, and automated means of carrying out verification and validation procedures. Many of the concepts behind these procedures have been adapted from conventional software, while others have required that new techniques ... Leer más

$245.99 USD

This book presents an innovative approach to verifying and validating rule-based expert systems. It features a complete set of techniques and tools that provide a more formal, objective, and automated means of carrying out verification and validation procedures. Many of the concepts behind these procedures have been adapted from conventional software, while others have required that new techniques
... Leer más
Process Based Unification for Multi-model Software Process Improvement

de Zádor Dániel Kelemen ...

Many different quality approaches are available in the software industry. Some of the approaches, such as ISO 9001 are not software specific, i.e. they define general requirements for an organization and they can be used at any company. Others, such as Automotive SPICE have been derived from a software-specific approach and can be used for improving particular (in this case automotive) processes. ... Leer más

$1.99 USD o gratis con Kobo Plus

Many different quality approaches are available in the software industry. Some of the approaches, such as ISO 9001 are not software specific, i.e. they define general requirements for an organization and they can be used at any company. Others, such as Automotive SPICE have been derived from a software-specific approach and can be used for improving particular (in this case automotive) processes.
... Leer más
C++ Game Development Primer

de Bruce Sutherland ...

Series series Professional and Applied Computing (R0)
C++ is the language behind most of today's computer games. This 96-page C++ Game Development Primer takes you through the accelerated process of writing games for otherwise experienced C++ programmers. After reading this book, you’ll have the fundamental know-how to become a successful and profitable game applications developer in today’s increasingly competitive indie game marketplace.For those ... Leer más

$28.99 USD

C++ is the language behind most of today's computer games. This 96-page C++ Game Development Primer takes you through the accelerated process of writing games for otherwise experienced C++ programmers. After reading this book, you’ll have the fundamental know-how to become a successful and profitable game applications developer in today’s increasingly competitive indie game marketplace.For those
... Leer más
Java 8 Recipes

de John OConner, Carl Dea, Josh Juneau, Mark Beaty, Freddy Guime ...

Series series Professional and Applied Computing (R0)
Java 8 Recipes offers solutions to common programming problems encountered while developing Java-based applications. Fully updated with the newest features and techniques available, Java 8 Recipes provides code examples involving Lambdas, embedded scripting with Nashorn, the new date-time API, stream support, functional interfaces, and much more. Especial emphasis is given to features such as ... Leer más

$53.99 USD

Java 8 Recipes offers solutions to common programming problems encountered while developing Java-based applications. Fully updated with the newest features and techniques available, Java 8 Recipes provides code examples involving Lambdas, embedded scripting with Nashorn, the new date-time API, stream support, functional interfaces, and much more. Especial emphasis is given to features such as
... Leer más
Principles of Software Architecture Modernization

Delivering engineering excellence with the art of fixing microservices, monoliths, and distributed monoliths (English Edition)

de Diego Pacheco, Sam Sgro ...

This book is a comprehensive guide to designing scalable and maintainable software written by an expert. It covers the principles, patterns, anti-patterns, trade-offs, and concepts that software developers and architects need to understand to design software that is both scalable and maintainable.The book begins by introducing the concept of monoliths and discussing the challenges associated with ... Leer más

$14.99 USD o gratis con Kobo Plus

This book is a comprehensive guide to designing scalable and maintainable software written by an expert. It covers the principles, patterns, anti-patterns, trade-offs, and concepts that software developers and architects need to understand to design software that is both scalable and maintainable.The book begins by introducing the concept of monoliths and discussing the challenges associated with
... Leer más
DevOps: Introduction to DevOps and its impact on Business Ecosystem

Introduction to DevOps and its impact on Business Ecosystem

de Stephen Fleming ...

“It is not the strongest of the species that survive, nor the most intelligent, but the one most responsive to change.”- Charles DarwinAs the industry is moving towards maximum digitization there is a consensus that DevOps practices help you deliver software faster, more reliable, and with fewer errors.DevOps is set of practices and cultural values that have been proven to help organizations of ... Leer más

$3.99 USD o gratis con Kobo Plus

“It is not the strongest of the species that survive, nor the most intelligent, but the one most responsive to change.”- Charles DarwinAs the industry is moving towards maximum digitization there is a consensus that DevOps practices help you deliver software faster, more reliable, and with fewer errors.DevOps is set of practices and cultural values that have been proven to help organizations of
... Leer más
Small Dynamic Complexity Classes

An Investigation into Dynamic Descriptive Complexity

de Thomas Zeume ...

Series series Computer Science (R0)
"Small Dynamic Complexity Classes" was awarded the E.W. Beth Dissertation Prize 2016 for outstanding dissertations in the fields of logic, language, and information. The thesis studies the foundations of query re-evaluation after modifying a database. It explores the structure of small dynamic descriptive complexity classes and provides new methods for proving lower bounds in this dynamic context. ... Leer más

$49.99 USD

"Small Dynamic Complexity Classes" was awarded the E.W. Beth Dissertation Prize 2016 for outstanding dissertations in the fields of logic, language, and information. The thesis studies the foundations of query re-evaluation after modifying a database. It explores the structure of small dynamic descriptive complexity classes and provides new methods for proving lower bounds in this dynamic context.
... Leer más
Smart: Guide for Product Managers

de Alden Globe ...

Brief, high-level checklists for product managers who seek to understand knowledge in a single revenue-generating business process and utilize it.Locate tacit knowledge, the tribal knowledge, and the knowledge that lies between the documents that make the process work. Capture it and put it to work in new ways. You may be building a software or information product (Section One: Build), or you ... Leer más

$0.99 USD

Brief, high-level checklists for product managers who seek to understand knowledge in a single revenue-generating business process and utilize it.Locate tacit knowledge, the tribal knowledge, and the knowledge that lies between the documents that make the process work. Capture it and put it to work in new ways. You may be building a software or information product (Section One: Build), or you
... Leer más
Advances in Computational Intelligence. MICAI 2023 International Workshops

WILE 2023, HIS 2023, and CIAPP 2023, Yucatán, Mexico, November 13–18, 2023, Proceedings

Edición de Hiram Calvo, Lourdes Martínez-Villaseñor, Hiram Ponce, Ramón Zatarain Cabada, Martín Montes Rivera, Efrén Mezura-Montes ...

Series series Springer Nature Proceedings Computer Science
This conference LNAI 14502 volume constitutes the workshop proceedings of 22nd Mexican International Conference on Artificial Intelligence, held in November 2023 in Mérida, Yucatán, México. The total of 34 papers presented in this volume was carefully reviewed and selected from 54 submissions.The proceedings of MICAI 2023 workshops are structured into three sections:– WILE 2023: 16th Workshop on ... Leer más

$80.99 USD

This conference LNAI 14502 volume constitutes the workshop proceedings of 22nd Mexican International Conference on Artificial Intelligence, held in November 2023 in Mérida, Yucatán, México. The total of 34 papers presented in this volume was carefully reviewed and selected from 54 submissions.The proceedings of MICAI 2023 workshops are structured into three sections:– WILE 2023: 16th Workshop on
... Leer más
Penetration Testing Basics

A Quick-Start Guide to Breaking into Systems

de Ric Messier ...

Series series Professional and Applied Computing (R0)
Learn how to break systems, networks, and software in order to determine where the bad guys might get in. Once the holes have been determined, this short book discusses how they can be fixed. Until they have been located, they are exposures to your organization. By reading Penetration Testing Basics, you'll gain the foundations of a simple methodology used to perform penetration testing on systems ... Leer más

$40.99 USD

Learn how to break systems, networks, and software in order to determine where the bad guys might get in. Once the holes have been determined, this short book discusses how they can be fixed. Until they have been located, they are exposures to your organization. By reading Penetration Testing Basics, you'll gain the foundations of a simple methodology used to perform penetration testing on systems
... Leer más
Transactions on Petri Nets and Other Models of Concurrency X

Edición de Maciej Koutny, Jörg Desel, Serge Haddad ...

Series series Computer Science (R0)
These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own Editorial Board which selects papers based on a rigorous two-stage refereeing process. ToPNoC ... Leer más

$49.99 USD

These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own Editorial Board which selects papers based on a rigorous two-stage refereeing process. ToPNoC
... Leer más
Information Systems: Research, Development, Applications, Education

11th SIGSAND/PLAIS EuroSymposium 2018, Gdansk, Poland, September 20, 2018, Proceedings

Edición de Stanisław Wrycza, Jacek Maślankowski ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 11th SIGSAND/PLAIS EuroSymposium 2018 held in Gdansk, Poland, on September 20, 2018.The objective of the EuroSymposium on Systems Analysis and Design is to promote and develop high quality research on all issues related to information systems (IS) and in particular in systems analysis and design (SAND).The 14 papers presented in this volume ... Leer más

$49.99 USD

This book constitutes the refereed proceedings of the 11th SIGSAND/PLAIS EuroSymposium 2018 held in Gdansk, Poland, on September 20, 2018.The objective of the EuroSymposium on Systems Analysis and Design is to promote and develop high quality research on all issues related to information systems (IS) and in particular in systems analysis and design (SAND).The 14 papers presented in this volume
... Leer más
Software Fault Prediction

A Road Map

de Sandeep Kumar, Santosh Singh Rathore ...

Series series Computer Science (R0)
This book focuses on exploring the use of software fault prediction in building reliable and robust software systems. It is divided into the following chapters: Chapter 1 presents an introduction to the study and also introduces basic concepts of software fault prediction. Chapter 2 explains the generalized architecture of the software fault prediction process and discusses its various components. ... Leer más

$49.99 USD

This book focuses on exploring the use of software fault prediction in building reliable and robust software systems. It is divided into the following chapters: Chapter 1 presents an introduction to the study and also introduces basic concepts of software fault prediction. Chapter 2 explains the generalized architecture of the software fault prediction process and discusses its various components.
... 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: