Rakuten Kobo

Networked Systems

Third International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015, Revised Selected Papers

Edición de Ahmed Bouajjani, Hugues Fauconnier ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the revised selected papers of the Third International Conference on Networked Systems, NETYS 2015, held in Agadir, Morocco, in May 2015. The 29 full papers and 12 short papers presented together with 22 poster abstracts were carefully reviewed and selected from 133 submissions. They address major topics such as multi-core architectures; concurrent and distributed algorithms; ... Leer más

$49.99 USD

This book constitutes the revised selected papers of the Third International Conference on Networked Systems, NETYS 2015, held in Agadir, Morocco, in May 2015. The 29 full papers and 12 short papers presented together with 22 poster abstracts were carefully reviewed and selected from 133 submissions. They address major topics such as multi-core architectures; concurrent and distributed algorithms;
... Leer más
Beginning Samsung ARTIK

A Guide for Developers

de Cliff Wootton ...

Series series Professional and Applied Computing (R0)
Discover which ARTIK modules to use for various applications, and how to produce code for them. This book goes beyond the information previously available online, efficiently guiding developers from initial setup of their development environment to product development and prototyping in no time. Beginners will find helpful background insights into foundation technology and useful reference ... Leer más

$35.99 USD

Discover which ARTIK modules to use for various applications, and how to produce code for them. This book goes beyond the information previously available online, efficiently guiding developers from initial setup of their development environment to product development and prototyping in no time. Beginners will find helpful background insights into foundation technology and useful reference
... Leer más
Fundamentals of Software Engineering

5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers

Edición de Farhad Arbab, Marjan Sirjani ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 5th IPM International Conference on Fundamentals of Software Engineering, FSEN 2013, held in Tehran, Iran, in April 2013. The 17 full papers presented in this volume were carefully reviewed and selected from 65 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially those related to advancing the application of ... Leer más

$49.99 USD

This book constitutes the proceedings of the 5th IPM International Conference on Fundamentals of Software Engineering, FSEN 2013, held in Tehran, Iran, in April 2013. The 17 full papers presented in this volume were carefully reviewed and selected from 65 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially those related to advancing the application of
... Leer más
ASP.NET Web API 2: Building a REST Service from Start to Finish

de Jamie Kurtz, Brian Wortman ...

Series series Professional and Applied Computing (R0)
The ASP.NET MVC Framework has always been a good platform on which to implement REST-based services, but the introduction of the ASP.NET Web API Framework raised the bar to a whole new level.Now in release version 2.1, the Web API Framework has evolved into a powerful and refreshingly usable platform. This concise book provides technical background and guidance that will enable you to best use the ... Leer más

$62.99 USD

The ASP.NET MVC Framework has always been a good platform on which to implement REST-based services, but the introduction of the ASP.NET Web API Framework raised the bar to a whole new level.Now in release version 2.1, the Web API Framework has evolved into a powerful and refreshingly usable platform. This concise book provides technical background and guidance that will enable you to best use the
... Leer más
Intentional Perspectives on Information Systems Engineering

Edición de Selmin Nurcan, Camille Salinesi, Carine Souveyet, Jolita Ralyté ...

Series series Computer Science (R0)
Requirements engineering has since long acknowledged the importance of the notion that system requirements are stakeholder goals—rather than system functions—and ought to be elicited, modeled and analyzed accordingly. In this book, Nurcan and her co-editors collected twenty contributions from leading researchers in requirements engineering with the intention to comprehensively present an overview ... Leer más

$143.99 USD

Requirements engineering has since long acknowledged the importance of the notion that system requirements are stakeholder goals—rather than system functions—and ought to be elicited, modeled and analyzed accordingly. In this book, Nurcan and her co-editors collected twenty contributions from leading researchers in requirements engineering with the intention to comprehensively present an overview
... Leer más
Software Quality: Quality Intelligence in Software and Systems Engineering

12th International Conference, SWQD 2020, Vienna, Austria, January 14–17, 2020, Proceedings

Edición de Dietmar Winkler, Stefan Biffl, Daniel Mendez, Johannes Bergsmann ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 12th Software Quality Days Conference, SWQD 2020, held in Vienna, Austria, in January 2020.The Software Quality Days (SWQD) conference started in 2009 and has grown to the biggest conference on software quality in Europe with a strong community. The program of the SWQD conference is designed to encompass a stimulating mixture of practical ... Leer más

$49.99 USD

This book constitutes the refereed proceedings of the 12th Software Quality Days Conference, SWQD 2020, held in Vienna, Austria, in January 2020.The Software Quality Days (SWQD) conference started in 2009 and has grown to the biggest conference on software quality in Europe with a strong community. The program of the SWQD conference is designed to encompass a stimulating mixture of practical
... Leer más
Calendrical Calculations

de Nachum Dershowitz, Edward M. Reingold ...

A valuable resource for working programmers, as well as a fount of useful algorithmic tools for computer scientists, this new edition of the popular calendars book expands the treatment of the previous edition to new calendar variants: generic cyclical calendars and astronomical lunar calendars as well as the Korean, Vietnamese, Aztec, and Tibetan calendars. The authors frame the calendars of the ... Leer más

$39.99 USD

A valuable resource for working programmers, as well as a fount of useful algorithmic tools for computer scientists, this new edition of the popular calendars book expands the treatment of the previous edition to new calendar variants: generic cyclical calendars and astronomical lunar calendars as well as the Korean, Vietnamese, Aztec, and Tibetan calendars. The authors frame the calendars of the
... Leer más
Active Inference

Third International Workshop, IWAI 2022, Grenoble, France, September 19, 2022, Revised Selected Papers

Edición de Christopher L. Buckley, Daniela Cialfi, Pablo Lanillos, Maxwell Ramstead, Noor Sajid, Hideaki Shimazaki, Tim Verbelen ...

Series series Springer Nature Proceedings Computer Science
This volume constitutes the papers of the 3rd International Workshop on Active Inference, IWAI 2022, held in Grenoble, France, in conjunction with ECML/PKDD, on September 19, 2022.The 25 revised full papers presented in this book were carefully reviewed and selected from 31 submissions. ... Leer más

$80.99 USD

This volume constitutes the papers of the 3rd International Workshop on Active Inference, IWAI 2022, held in Grenoble, France, in conjunction with ECML/PKDD, on September 19, 2022.The 25 revised full papers presented in this book were carefully reviewed and selected from 31 submissions.
... 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.99 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
Cloud Computing and Security

4th International Conference, ICCCS 2018, Haikou, China, June 8-10, 2018, Revised Selected Papers, Part V

Edición de Xingming Sun, Zhaoqing Pan, Elisa Bertino ...

Series Libro 5 - Springer Nature Proceedings Computer Science
This six volume set LNCS 11063 – 11068 constitutes the thoroughly refereed conference proceedings of the 4th International Conference on Cloud Computing and Security, ICCCS 2018, held in Haikou, China, in June 2018. The 386 full papers of these six volumes were carefully reviewed and selected from 1743 submissions. The papers cover ideas and achievements in the theory and practice of all areas of ... Leer más

$49.99 USD

This six volume set LNCS 11063 – 11068 constitutes the thoroughly refereed conference proceedings of the 4th International Conference on Cloud Computing and Security, ICCCS 2018, held in Haikou, China, in June 2018. The 386 full papers of these six volumes were carefully reviewed and selected from 1743 submissions. The papers cover ideas and achievements in the theory and practice of all areas of
... Leer más
Software Engineering Research, Management and Applications

Edición de Roger Lee ...

Series series Engineering (R0)
This edited book presents scientific results of the 14th International Conference on Software Engineering, Artificial Intelligence Research, Management and Applications (SERA 2016) held on June 8-10, 2016 at Towson University, USA. The aim of this conference was to bring together researchers and scientists, businessmen and entrepreneurs, teachers, engineers, computer users, and students to discuss ... Leer más

$116.99 USD

This edited book presents scientific results of the 14th International Conference on Software Engineering, Artificial Intelligence Research, Management and Applications (SERA 2016) held on June 8-10, 2016 at Towson University, USA. The aim of this conference was to bring together researchers and scientists, businessmen and entrepreneurs, teachers, engineers, computer users, and students to discuss
... Leer más
Logic and Its Applications

8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings

Edición de Md. Aquil Khan, Amaldev Manuel ...

Series series Springer Nature Proceedings Computer Science
This book collects the refereed proceedings of the 8th Indian Conference on Logic and Its Applications, ICLA 2019, held in Delhi, India, in March 2019. The volume contains 13 full revised papers along with 6 invited talks presented at the conference. The aim of this conference series is to bring together researchers from a wide variety of fields in which formal logic plays a significant role. ... Leer más

$49.99 USD

This book collects the refereed proceedings of the 8th Indian Conference on Logic and Its Applications, ICLA 2019, held in Delhi, India, in March 2019. The volume contains 13 full revised papers along with 6 invited talks presented at the conference. The aim of this conference series is to bring together researchers from a wide variety of fields in which formal logic plays a significant role.
... Leer más
Hard Problems in Software Testing

Solutions Using Testing as a Service (TaaS)

de Scott Tilley, Brianna Floss ...

Series series Synthesis Lectures on Software Engineering
This book summarizes the current hard problems in software testing as voiced by leading practitioners in the field. The problems were identified through a series of workshops, interviews, and surveys. Some of the problems are timeless, such as education and training, while others such as system security have recently emerged as increasingly important. The book also provides an overview of the ... Leer más

$36.99 USD

This book summarizes the current hard problems in software testing as voiced by leading practitioners in the field. The problems were identified through a series of workshops, interviews, and surveys. Some of the problems are timeless, such as education and training, while others such as system security have recently emerged as increasingly important. The book also provides an overview of the
... Leer más
Solving Software Challenges for Exascale

International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised Selected Papers

Edición de Stefano Markidis, Erwin Laure ...

Series series Springer Nature Proceedings Computer Science
This volume contains the thoroughly refereed post-conference proceedings of the Second International Conference on Exascale Applications and Software, EASC 2014, held in Stockholm, Sweden, in April 2014.The 6 full papers presented together with 6 short papers were carefully reviewed and selected from 17 submissions. They are organized in two topical sections named: toward exascale scientific ... Leer más

$40.99 USD

This volume contains the thoroughly refereed post-conference proceedings of the Second International Conference on Exascale Applications and Software, EASC 2014, held in Stockholm, Sweden, in April 2014.The 6 full papers presented together with 6 short papers were carefully reviewed and selected from 17 submissions. They are organized in two topical sections named: toward exascale scientific
... Leer más
AI-Native Software Delivery

Proven Practices to Produce High-Quality Software Faster

de Nick Durkin, Eric Minick, Chinmay Gaikwad ...

AI coding assistants are helping teams create software faster than ever. But to turn that speed into real innovation, organizations must go beyond writing code and deliver software quickly, securely, and reliably.While AI-assisted coding is now mainstream, what happens after the code is written is still catching up. AI-Native Software Delivery is your practical guide to applying AI across the ... Leer más

$43.99 USD

AI coding assistants are helping teams create software faster than ever. But to turn that speed into real innovation, organizations must go beyond writing code and deliver software quickly, securely, and reliably.While AI-assisted coding is now mainstream, what happens after the code is written is still catching up. AI-Native Software Delivery is your practical guide to applying AI across the
... Leer más
Advanced Information Systems Engineering Workshops

CAiSE 2025 Workshops, Vienna, Austria, June 16–20, 2025, Proceedings

Edición de Jānis Grabis, Yves Wautelet ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed proceedings of the international workshops associated with the 37th International Conference on Advanced Information Systems Engineering, CAiSE 2025, which was held in Vienna, Austria, during June 16-20, 2025.The total of 24 full papers and 5 short papers included in these proceedings were carefully reviewed and selected from 59 submissions. They stem ... Leer más

$67.99 USD

This book constitutes the thoroughly refereed proceedings of the international workshops associated with the 37th International Conference on Advanced Information Systems Engineering, CAiSE 2025, which was held in Vienna, Austria, during June 16-20, 2025.The total of 24 full papers and 5 short papers included in these proceedings were carefully reviewed and selected from 59 submissions. They stem
... Leer más
Formal Techniques for Distributed Objects, Components, and Systems

44th IFIP WG 6.1 International Conference, FORTE 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17–21, 2024, Proceedings

Edición de Valentina Castiglioni, Adrian Francalanza ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 44th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2024, held in Groningen, The Netherlands, in June 2024, as part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024 during June 17–21, 2024.The 11 full papers and 2 short papers ... Leer más

$89.99 USD

This book constitutes the refereed proceedings of the 44th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2024, held in Groningen, The Netherlands, in June 2024, as part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024 during June 17–21, 2024.The 11 full papers and 2 short papers
... Leer más
Handbook on Artificial Intelligence-Empowered Applied Software Engineering

VOL.2: Smart Software Applications in Cyber-Physical Systems

Edición de Maria Virvou, George A. Tsihrintzis, Nikolaos G. Bourbakis, Lakhmi C. Jain ...

Series series Intelligent Technologies and Robotics (R0)
Evolving technological advancements in big data, smartphone and mobile software applications, the Internet of Things and a vast range of application areas in all sorts of human activities and professions, lead current research toward the efficient incorporation of artificial intelligence enhancements into software and the empowerment of software with artificial intelligence.The book at hand, ... Leer más

$143.99 USD

Evolving technological advancements in big data, smartphone and mobile software applications, the Internet of Things and a vast range of application areas in all sorts of human activities and professions, lead current research toward the efficient incorporation of artificial intelligence enhancements into software and the empowerment of software with artificial intelligence.The book at hand,
... Leer más
Tools and Algorithms for the Construction and Analysis of Systems

22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Edición de Marsha Chechik, Jean-François Raskin ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016.The 44 full papers presented in this volume were carefully reviewed and selected from ... Leer más

$49.99 USD

This book constitutes the proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016.The 44 full papers presented in this volume were carefully reviewed and selected from
... Leer más
Achieving Business Agility

Strategies for Becoming Pivot Ready in a Digital World

de John Orvos ...

Series series Business and Management (R0)
Know how to lead and establish business agility in your organization. Benefit from clear, actionable steps based on change management truths that have been long underutilized and have limited the success of agile expansion into your business. This book provides a pragmatic framework for leading your business toward shifting to an agile mindset.Achieving Business Agility offers strategies and ... Leer más

$40.99 USD

Know how to lead and establish business agility in your organization. Benefit from clear, actionable steps based on change management truths that have been long underutilized and have limited the success of agile expansion into your business. This book provides a pragmatic framework for leading your business toward shifting to an agile mindset.Achieving Business Agility offers strategies and
... Leer más
Building Serverless Architectures

Unleash the power of AWS Lambdas for your applications

de Cagatay Gurturk ...

Build scalable, reliable, and cost-effective applications with a serverless architectureKey Features\[\*\] Design a real-world serverless application from scratch\[\*\] Learn about AWS Lambda function and how to use Lambda functions to glue other AWS Services\[\*\] Use the Java programming language and well-known design patterns. Although Java is used for the examples in this book, the concept is ... Leer más

$37.99 USD o gratis con Kobo Plus

Build scalable, reliable, and cost-effective applications with a serverless architectureKey Features\[\*\] Design a real-world serverless application from scratch\[\*\] Learn about AWS Lambda function and how to use Lambda functions to glue other AWS Services\[\*\] Use the Java programming language and well-known design patterns. Although Java is used for the examples in this book, the concept is
... Leer más
Advanced Software Testing - Vol. 3, 2nd Edition

Guide to the ISTQB Advanced Certification as an Advanced Technical Test Analyst

de Jamie L Mitchell, Rex Black ...

This book is written for the technical test analyst who wants to achieve advanced skills in test analysis, design, and execution. With a hands-on, exercise-rich approach, this book teaches you how to define and carry out the tasks required to implement a test strategy. You will be able to analyze, design, implement, and execute tests using risk considerations to determine the appropriate effort ... Leer más

$35.99 USD

This book is written for the technical test analyst who wants to achieve advanced skills in test analysis, design, and execution. With a hands-on, exercise-rich approach, this book teaches you how to define and carry out the tasks required to implement a test strategy. You will be able to analyze, design, implement, and execute tests using risk considerations to determine the appropriate effort
... Leer más
Профессиональный бенчмарк: искусство измерения производительности

de Андрей Акиньшин ...

Traducido por Александра Григорьева, Олег Сивченко ...

Это исчерпывающее руководство поможет вам правильно разрабатывать бенчмарки, измерять ключевые метрики производительности приложений .NET и анализировать результаты. В книге представлены десятки кейсов, проясняющих сложные аспекты бенчмаркинга. Ее изучение позволит вам избежать распространенных ошибок, проконтролировать точность измерений и повысить производительность своих программ. ... Leer más

$12.99 USD o gratis con Kobo Plus

Это исчерпывающее руководство поможет вам правильно разрабатывать бенчмарки, измерять ключевые метрики производительности приложений .NET и анализировать результаты. В книге представлены десятки кейсов, проясняющих сложные аспекты бенчмаркинга. Ее изучение позволит вам избежать распространенных ошибок, проконтролировать точность измерений и повысить производительность своих программ.
... Leer más
Beginning Ubuntu for Windows and Mac Users

de Nathan Haines ...

Series series Professional and Applied Computing (R0)
Beginning Ubuntu for Windows and Mac Users is your comprehensive guide to using Ubuntu. You already know how to use a computer running Windows or OS X, but learning a new operating system can feel daunting. If you've been afraid to try Ubuntu because you don't know where to start, this book will show you how to get the most out of Ubuntu for work, home, and play. You'll be introduced to a wide ... Leer más

$44.99 USD

Beginning Ubuntu for Windows and Mac Users is your comprehensive guide to using Ubuntu. You already know how to use a computer running Windows or OS X, but learning a new operating system can feel daunting. If you've been afraid to try Ubuntu because you don't know where to start, this book will show you how to get the most out of Ubuntu for work, home, and play. You'll be introduced to a wide
... 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: