Rakuten Kobo

Model Checking Software

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

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

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

$49.99 USD

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

Proceeding of the First Annual Conference on Computer-Aided Developments in Electronics and Communication (CADEC-2019), Vellore Institute of Technology, Amaravati, India, 2-3 March 2019

Edición de Arun Kumar Sinha, John Pradeep Darsy ...

Series series Conference Proceedings Series on Information and Communications Technology
The volume comprises of papers presented at the first CADEC-2019 conference held at Vellore Institute of Technology-Andhra Pradesh, Amaravati, India. The book contains computer simulated results in various areas of electronics and communication engineering such as, VLSI and embedded systems, wireless communication, signal processing, power electronics and control theory applications. This volume ... Leer más

$57.99 USD

The volume comprises of papers presented at the first CADEC-2019 conference held at Vellore Institute of Technology-Andhra Pradesh, Amaravati, India. The book contains computer simulated results in various areas of electronics and communication engineering such as, VLSI and embedded systems, wireless communication, signal processing, power electronics and control theory applications. This volume
... Leer más
Neural Information Processing

25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part II

Edición de Long Cheng, Andrew Chi Sing Leung, Seiichi Ozawa ...

Series Libro 2 - Springer Nature Proceedings Computer Science
The seven-volume set of LNCS 11301-11307, constitutes the proceedings of the 25th International Conference on Neural Information Processing, ICONIP 2018, held in Siem Reap, Cambodia, in December 2018.The 401 full papers presented were carefully reviewed and selected from 575 submissions. The papers address the emerging topics of theoretical research, empirical studies, and applications of neural ... Leer más

$49.99 USD

The seven-volume set of LNCS 11301-11307, constitutes the proceedings of the 25th International Conference on Neural Information Processing, ICONIP 2018, held in Siem Reap, Cambodia, in December 2018.The 401 full papers presented were carefully reviewed and selected from 575 submissions. The papers address the emerging topics of theoretical research, empirical studies, and applications of neural
... Leer más
A Practical Introduction to Hardware/Software Codesign

de Patrick R. Schaumont ...

Series series Engineering (R0)
This is a practical book for computer engineers who want to understand or implement hardware/software systems. It focuses on problems that require one to combine hardware design with software design – such problems can be solved with hardware/software codesign. When used properly, hardware/software co- sign works better than hardware design or software design alone: it can improve the overall ... Leer más

$67.99 USD

This is a practical book for computer engineers who want to understand or implement hardware/software systems. It focuses on problems that require one to combine hardware design with software design – such problems can be solved with hardware/software codesign. When used properly, hardware/software co- sign works better than hardware design or software design alone: it can improve the overall
... Leer más
Practical Development Environments

de Matthew B. Doar ...

This book doesn't tell you how to write faster code, or how to write code with fewer memory leaks, or even how to debug code at all. What it does tell you is how to build your product in better ways, how to keep track of the code that you write, and how to track the bugs in your code. Plus some more things you'll wish you had known before starting a project.Practical Development Environments is a ... Leer más

$25.99 USD

This book doesn't tell you how to write faster code, or how to write code with fewer memory leaks, or even how to debug code at all. What it does tell you is how to build your product in better ways, how to keep track of the code that you write, and how to track the bugs in your code. Plus some more things you'll wish you had known before starting a project.Practical Development Environments is a
... Leer más
Unite the Tribes

Ending Turf Wars for Career and Business Success

de Christopher Duncan ...

No matter what business you're in, at the end of the day, it's all about people. Workers are people, and so are managers. Every day, millions of people wake up, get dressed, and go to work. The fact that all of them do different jobs and have different levels of authority has been used for ages to divide us. The truth of the matter, however, is that we're all just trying to make a living and ... Leer más

$23.99 USD

No matter what business you're in, at the end of the day, it's all about people. Workers are people, and so are managers. Every day, millions of people wake up, get dressed, and go to work. The fact that all of them do different jobs and have different levels of authority has been used for ages to divide us. The truth of the matter, however, is that we're all just trying to make a living and
... Leer más
Software Management Approaches: Project Management, Estimation, and Life Cycle Support

Software Best Practice 3

Edición de Michael Haug, Eric W. Olsen, Gilles Vallet, Olivier Becart ...

Series series Computer Science (R0)
C. Amting Directorate General Information Society, European Commission, Brussels th Under the 4 Framework of European Research, the European Systems and Soft ware Initiative (ESSI) was part of the ESPRIT Programme. This initiative funded more than 470 projects in the area of software and system process improvements. The majority of these projects were process improvement experiments carrying out ... Leer más

$49.99 USD

C. Amting Directorate General Information Society, European Commission, Brussels th Under the 4 Framework of European Research, the European Systems and Soft ware Initiative (ESSI) was part of the ESPRIT Programme. This initiative funded more than 470 projects in the area of software and system process improvements. The majority of these projects were process improvement experiments carrying out
... Leer más
Agile Anywhere

Essays on Agile Projects and Beyond

de Yael Dubinsky, Orit Hazzan ...

Series series Computer Science (R0)
The message conveyed in this work is that agility can be implemented anywhere. Accordingly, ten guidelines are presented for the adoption of agility to enable us to cope with changes in our lives, in our teams, and in our organizations.Since the authors advocate agility, the content is presented in the form of concise standalone chapters, allowing the reader to focus on the specific topic they ... Leer más

$49.99 USD

The message conveyed in this work is that agility can be implemented anywhere. Accordingly, ten guidelines are presented for the adoption of agility to enable us to cope with changes in our lives, in our teams, and in our organizations.Since the authors advocate agility, the content is presented in the form of concise standalone chapters, allowing the reader to focus on the specific topic they
... Leer más
The Art of Unit Testing

with examples in C#

de Roy Osherove ...

SummaryThe Art of Unit Testing, Second Edition guides you step by step from writing your first simple tests to developing robust test sets that are maintainable, readable, and trustworthy. You'll master the foundational ideas and quickly move to high-value subjects like mocks, stubs, and isolation, including frameworks such as Moq, FakeItEasy, and Typemock Isolator. You'll explore test patterns ... Leer más

$34.99 USD

SummaryThe Art of Unit Testing, Second Edition guides you step by step from writing your first simple tests to developing robust test sets that are maintainable, readable, and trustworthy. You'll master the foundational ideas and quickly move to high-value subjects like mocks, stubs, and isolation, including frameworks such as Moq, FakeItEasy, and Typemock Isolator. You'll explore test patterns
... Leer más
Wireless Sensor Networks

11th China Wireless Sensor Network Conference, CWSN 2017, Tianjin, China, October 12-14, 2017, Revised Selected Papers

Edición de Jianzhong Li, Huadong Ma, Keqiu Li, Li Cui, Limin Sun, Zenghua Zhao, Xiaofei Wang ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 11th China Conference on Wireless Sensor Networks, CWSN 2017, held in Tianjin, China, in October 2017.The 28 revised full papers were carefully reviewed and selected from 213 submissions. The papers are organized in topical sections on wireless sensor networks; energy efficiency and harvesting; data fusion; mobile computing and social services. ... Leer más

$49.99 USD

This book constitutes the refereed proceedings of the 11th China Conference on Wireless Sensor Networks, CWSN 2017, held in Tianjin, China, in October 2017.The 28 revised full papers were carefully reviewed and selected from 213 submissions. The papers are organized in topical sections on wireless sensor networks; energy efficiency and harvesting; data fusion; mobile computing and social services.
... Leer más
Parallel Computing Technologies

14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017, Proceedings

Edición de Victor Malyshkin ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 14th International Conference on Parallel Computing Technologies, PaCT 2017, held in Nizhny Novgorod, Russia, in September 2017. The 25 full papers and 24 short papers presented were carefully reviewed and selected from 93 submissions. The papers are organized in topical sections on mainstream parallel computing, parallel models and algorithms in ... Leer más

$49.99 USD

This book constitutes the proceedings of the 14th International Conference on Parallel Computing Technologies, PaCT 2017, held in Nizhny Novgorod, Russia, in September 2017. The 25 full papers and 24 short papers presented were carefully reviewed and selected from 93 submissions. The papers are organized in topical sections on mainstream parallel computing, parallel models and algorithms in
... Leer más
Digital and Statistical Signal Processing

de Anastasia Veloni, Nikolaos Miridakis, Erysso Boukouvala ...

Nowadays, many aspects of electrical and electronic engineering are essentially applications of DSP. This is due to the focus on processing information in the form of digital signals, using certain DSP hardware designed to execute software. Fundamental topics in digital signal processing are introduced with theory, analytical tables, and applications with simulation tools. The book provides a ... Leer más

$58.99 USD

Nowadays, many aspects of electrical and electronic engineering are essentially applications of DSP. This is due to the focus on processing information in the form of digital signals, using certain DSP hardware designed to execute software. Fundamental topics in digital signal processing are introduced with theory, analytical tables, and applications with simulation tools. The book provides a
... Leer más
How to Reduce the Cost of Software Testing

Edición de Matthew Heusser, Govind Kulkarni ...

Plenty of software testing books tell you how to test well; this one tells you how to do it while decreasing your testing budget. A series of essays written by some of the leading minds in software testing, How to Reduce the Cost of Software Testing provides tips, tactics, and techniques to help readers accelerate the testing process, improve the performance of the test teams, and lower costs.The ... Leer más

$100.99 USD

Plenty of software testing books tell you how to test well; this one tells you how to do it while decreasing your testing budget. A series of essays written by some of the leading minds in software testing, How to Reduce the Cost of Software Testing provides tips, tactics, and techniques to help readers accelerate the testing process, improve the performance of the test teams, and lower costs.The
... Leer más
Programming in C++ for Engineering and Science

de Larry Nyhoff ...

Developed from the author's many years of teaching computing courses, Programming in C++ for Engineering and Science guides students in designing programs to solve real problems encountered in engineering and scientific applications. These problems include radioactive decay, pollution indexes, digital circuits, differential equations, Internet addr ... Leer más

$145.99 USD

Developed from the author's many years of teaching computing courses, Programming in C++ for Engineering and Science guides students in designing programs to solve real problems encountered in engineering and scientific applications. These problems include radioactive decay, pollution indexes, digital circuits, differential equations, Internet addr
... Leer más
Auswirkungen eines Leveling-Systems auf die Spieler:innen-Motivation am Beispiel Gothic

de GRIN Verlag ...

Studienarbeit aus dem Jahr 2023 im Fachbereich Informatik - Games Engineering, Note: 3,0, , Veranstaltung: Seminar: Spielanalyse, Sprache: Deutsch, Abstract: Das Ziel dieser Arbeit ist es am Beispiel des Open-World Role-Playing-Games (RPGs) Gothic (THQ Nordic, 2001) herauszufinden, wie es die Spieler zum Weiterspielen motiviert. Es gibt bereits verschiedene Forschungen zur Motivation im Hinblick ... Leer más

$15.95 USD

Studienarbeit aus dem Jahr 2023 im Fachbereich Informatik - Games Engineering, Note: 3,0, , Veranstaltung: Seminar: Spielanalyse, Sprache: Deutsch, Abstract: Das Ziel dieser Arbeit ist es am Beispiel des Open-World Role-Playing-Games (RPGs) Gothic (THQ Nordic, 2001) herauszufinden, wie es die Spieler zum Weiterspielen motiviert. Es gibt bereits verschiedene Forschungen zur Motivation im Hinblick
... Leer más
The Tao of Microservices

de Richard Rodger ...

SummaryThe Tao of Microservices guides you on the path to understanding how to apply microservice architectures to your own real-world projects. This high-level book offers a conceptual view of microservice design, along with core concepts and their application.About the TechnologyAn application, even a complex one, can be designed as a system of independent components, each of which handles a ... Leer más

$49.99 USD

SummaryThe Tao of Microservices guides you on the path to understanding how to apply microservice architectures to your own real-world projects. This high-level book offers a conceptual view of microservice design, along with core concepts and their application.About the TechnologyAn application, even a complex one, can be designed as a system of independent components, each of which handles a
... Leer más
Integrated Formal Methods

17th International Conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022, Proceedings

Edición de Maurice H. ter Beek, Rosemary Monahan ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 17th International Conference on Integrated Formal Methods, IFM 2022, held in Lugano, Switzerland, in June 2022.The 14 full papers and 2 short papers were carefully reviewed and selected from 46 submissions. The papers are categorized into the following topical sub-headings: Invited Papers; Cooperative and Relational Verification; B Method; ... Leer más

$76.99 USD

This book constitutes the refereed proceedings of the 17th International Conference on Integrated Formal Methods, IFM 2022, held in Lugano, Switzerland, in June 2022.The 14 full papers and 2 short papers were carefully reviewed and selected from 46 submissions. The papers are categorized into the following topical sub-headings: Invited Papers; Cooperative and Relational Verification; B Method;
... Leer más
Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in Abdomen CT

MICCAI Challenge, FLARE 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 8, 2023, Proceedings

Edición de Jun Ma, Bo Wang ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the MICCAI 2023 Challenge, FLARE 2023, held in Conjunction with MICCAI 2023, in Vancouver, BC, Canada, on October 8, 2023.The 27 full papers presented in this book were carefully reviewed and selected from 37 submissions. The papers present research and results for abdominal organ segmentation which has many important clinical applications, such as organ ... Leer más

$107.99 USD

This book constitutes the proceedings of the MICCAI 2023 Challenge, FLARE 2023, held in Conjunction with MICCAI 2023, in Vancouver, BC, Canada, on October 8, 2023.The 27 full papers presented in this book were carefully reviewed and selected from 37 submissions. The papers present research and results for abdominal organ segmentation which has many important clinical applications, such as organ
... Leer más
A Scrum Book

The Spirit of the Game

de Jeff Sutherland, James O. Coplien ...

Building a successful product usually involves teams of people, and many choose the Scrum approach to aid in creating products that deliver the highest possible value. Implementing Scrum gives teams a collection of powerful ideas they can assemble to fit their needs and meet their goals. The ninety-four patterns contained within are elaborated nuggets of insight into Scrumâ€™s building blocks, how ... Leer más

$40.99 USD

Building a successful product usually involves teams of people, and many choose the Scrum approach to aid in creating products that deliver the highest possible value. Implementing Scrum gives teams a collection of powerful ideas they can assemble to fit their needs and meet their goals. The ninety-four patterns contained within are elaborated nuggets of insight into Scrumâ€™s building blocks, how
... Leer más
Beyond Legacy Code

Nine Practices to Extend the Life (and Value) of Your Software

de David Scott Bernstein ...

We're losing tens of billions of dollars a year on broken software, and great new ideas such as agile development and Scrum don't always pay off. But there's hope. The nine software development practices in Beyond Legacy Code are designed to solve the problems facing our industry. Discover why these practices work, not just how they work, and dramatically increase the quality and maintainability ... Leer más

$23.99 USD

We're losing tens of billions of dollars a year on broken software, and great new ideas such as agile development and Scrum don't always pay off. But there's hope. The nine software development practices in Beyond Legacy Code are designed to solve the problems facing our industry. Discover why these practices work, not just how they work, and dramatically increase the quality and maintainability
... Leer más
Cross-Cultural Design

17th International Conference, CCD 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22–27, 2025, Proceedings, Part IV

Edición de Pei-Luen Patrick Rau ...

Series Libro 4 - Springer Nature Proceedings Computer Science
This four-volume set LNCS 15782-15785 constitutes the refereed proceedings of the 17th International Conference on Cross-Cultural Design, CCD 2025, held as part of the 27th International Conference on Human-Computer Interaction, HCII 2025, in Gothenburg, Sweden, during June 22-27, 2025.The total of 1430 papers and 355 posters included in the HCII 2025 proceedings was carefully reviewed and ... Leer más

$76.99 USD

This four-volume set LNCS 15782-15785 constitutes the refereed proceedings of the 17th International Conference on Cross-Cultural Design, CCD 2025, held as part of the 27th International Conference on Human-Computer Interaction, HCII 2025, in Gothenburg, Sweden, during June 22-27, 2025.The total of 1430 papers and 355 posters included in the HCII 2025 proceedings was carefully reviewed and
... Leer más
Artificial Intelligence Revolutionizing Cancer Care

Precision Diagnosis and Patient-Centric Healthcare

Edición de Suman Kumar Swarnkar, Abhishek Guru, Gurpreet Singh Chhabra, Harshitha Raghavan Devarajan ...

Series series Future Generation Information Systems
In the ever-evolving landscape of cancer treatment, the fusion of artificial intelligence (AI) with medical science marks a groundbreaking shift toward more precise, efficient, and personalized healthcare. Artificial Intelligence Revolutionizing Cancer Care: Precision Diagnosis and Patient-Centric Healthcare delves into the transformative power of AI, offering a comprehensive exploration of its ... Leer más

$77.99 USD

In the ever-evolving landscape of cancer treatment, the fusion of artificial intelligence (AI) with medical science marks a groundbreaking shift toward more precise, efficient, and personalized healthcare. Artificial Intelligence Revolutionizing Cancer Care: Precision Diagnosis and Patient-Centric Healthcare delves into the transformative power of AI, offering a comprehensive exploration of its
... Leer más
Service-Oriented and Cloud Computing

11th IFIP WG 6.12 European Conference, ESOCC 2025, Bolzano, Italy, February 20–21, 2025, Proceedings

Edición de Claus Pahl, Andrea Janes, Tomas Cerny, Valentina Lenarduzzi, Matteo Esposito ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 11th IFIP WG 6.12 European Conference on Service-Oriented and Cloud Computing, ESOCC 2025, held in Bolzano, Italy, during February 20–21, 2025.The 12 full papers and 6 short papers included in this book were carefully reviewed and selected from 28 submissions. This paper focus on the cutting-edge research in Service-Oriented and Cloud Computing ... Leer más

$62.99 USD

This book constitutes the refereed proceedings of the 11th IFIP WG 6.12 European Conference on Service-Oriented and Cloud Computing, ESOCC 2025, held in Bolzano, Italy, during February 20–21, 2025.The 12 full papers and 6 short papers included in this book were carefully reviewed and selected from 28 submissions. This paper focus on the cutting-edge research in Service-Oriented and Cloud Computing
... Leer más
Advances in Cryptology – CRYPTO 2020

40th Annual International Cryptology Conference, CRYPTO 2020, Santa Barbara, CA, USA, August 17–21, 2020, Proceedings, Part I

Edición de Daniele Micciancio, Thomas Ristenpart ...

Series Libro 1 - Springer Nature Proceedings Computer Science
Conference on Cryptologic Research, CRYPTO 2020, which was held during August 17–21, 2020. Crypto has traditionally been held at UCSB every year, but due to the COVID-19 pandemic it will be an online event in 2020.The 85 papers presented in the proceedings were carefully reviewed and selected from a total of 371 submissions. They were organized in topical sections as follows:Part I: Security ... Leer más

$89.99 USD

Conference on Cryptologic Research, CRYPTO 2020, which was held during August 17–21, 2020. Crypto has traditionally been held at UCSB every year, but due to the COVID-19 pandemic it will be an online event in 2020.The 85 papers presented in the proceedings were carefully reviewed and selected from a total of 371 submissions. They were organized in topical sections as follows:Part I: Security
... 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: