Rakuten Kobo

Requirements Engineering: Foundation for Software Quality

25th International Working Conference, REFSQ 2019, Essen, Germany, March 18–21, 2019, Proceedings

Modifié par Eric Knauss, Michael Goedicke ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 25th International Working Conference on Requirements Engineering - Foundation for Software Quality, REFSQ 2019, held in Essen, Germany, in March 2019.The 13 full papers and 9 short papers in this volume were carefully reviewed and selected from 66 submissions. The papers were organized in topical sections named: Automated Analysis; Making Sense of ... En savoir plus

$83.29 CAD

This book constitutes the proceedings of the 25th International Working Conference on Requirements Engineering - Foundation for Software Quality, REFSQ 2019, held in Essen, Germany, in March 2019.The 13 full papers and 9 short papers in this volume were carefully reviewed and selected from 66 submissions. The papers were organized in topical sections named: Automated Analysis; Making Sense of
... En savoir plus
Options and Derivatives Programming in C++23

Algorithms and Programming Techniques for the Financial Industry

par Carlos Oliveira ...

Collections series Professional and Applied Computing (R0)
This book is a hands-on guide for programmers who want to learn how C++ is used to develop solutions for options and derivatives trading in the financial industry. It explores the main algorithms and programming techniques used in implementing systems and solutions for trading options and derivatives. This updated edition will bring forward new advances in C++ software language and libraries, with ... En savoir plus

$68.29 CAD

This book is a hands-on guide for programmers who want to learn how C++ is used to develop solutions for options and derivatives trading in the financial industry. It explores the main algorithms and programming techniques used in implementing systems and solutions for trading options and derivatives. This updated edition will bring forward new advances in C++ software language and libraries, with
... En savoir plus
Numerical Computations with GPUs

Modifié par Volodymyr Kindratenko ...

Collections series Computer Science (R0)
This book brings together research on numerical methods adapted for Graphics Processing Units (GPUs). It explains recent efforts to adapt classic numerical methods, including solution of linear equations and FFT, for massively parallel GPU architectures. This volume consolidates recent research and adaptations, covering widely used methods that are at the core of many scientific and engineering ... En savoir plus

$179.39 CAD

This book brings together research on numerical methods adapted for Graphics Processing Units (GPUs). It explains recent efforts to adapt classic numerical methods, including solution of linear equations and FFT, for massively parallel GPU architectures. This volume consolidates recent research and adaptations, covering widely used methods that are at the core of many scientific and engineering
... En savoir plus
Testing Software and Systems

30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings

Modifié par Inmaculada Medina-Bulo, Mercedes G. Merayo, Robert Hierons ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 30th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2018, held in Cádiz, Spain, in October 2018. The 8 regular and 6 short papers presented were carefully reviewed and selected from 29 submissions. ICTSS is a series of international conferences addressing the conceptual, theoretic, and practical problems of testing ... En savoir plus

$64.09 CAD

This book constitutes the refereed proceedings of the 30th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2018, held in Cádiz, Spain, in October 2018. The 8 regular and 6 short papers presented were carefully reviewed and selected from 29 submissions. ICTSS is a series of international conferences addressing the conceptual, theoretic, and practical problems of testing
... En savoir plus
Rigorous State-Based Methods

12th International Conference, ABZ 2026, Tokyo, Japan, May 18–20, 2026, Proceedings

Modifié par Fuyuki Ishikawa, Alcino Cunha ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 12th International Conference on Rigorous State-Based Methods, ABZ 2026, held in Tokyo, Japan, during May 2026.The 15 full papers, 3 short papers and 2 ABZ 2026 case study papers presented in this book were carefully reviewed and selected from 25 submissions.The ABZ conference series is dedicated to the cross-fertilization of state-based and ... En savoir plus

$93.49 CAD

This book constitutes the refereed proceedings of the 12th International Conference on Rigorous State-Based Methods, ABZ 2026, held in Tokyo, Japan, during May 2026.The 15 full papers, 3 short papers and 2 ABZ 2026 case study papers presented in this book were carefully reviewed and selected from 25 submissions.The ABZ conference series is dedicated to the cross-fertilization of state-based and
... En savoir plus
Giants of Computing

A Compendium of Select, Pivotal Pioneers

par Gerard O’Regan ...

Collections series Computer Science (R0)
It has been upon the shoulders of giants that the modern world has been forged. This accessible compendium presents an insight into the great minds responsible for the technology which has transformed our lives. Each pioneer is introduced with a brief biography, followed by a concise account of their key contributions to their discipline. The selection covers a broad spread of historical and ... En savoir plus

$51.29 CAD

It has been upon the shoulders of giants that the modern world has been forged. This accessible compendium presents an insight into the great minds responsible for the technology which has transformed our lives. Each pioneer is introduced with a brief biography, followed by a concise account of their key contributions to their discipline. The selection covers a broad spread of historical and
... En savoir plus
Integrated Formal Methods

12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Modifié par Erika Ábrahám, Marieke Huisman ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 12th International Conference on Integrated Formal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016.The 33 papers presented in this volume were carefully reviewed and selected from 99 submissions. They were organized in topical sections named: invited contributions; program verification; probabilistic systems; concurrency; safety and ... En savoir plus

$102.49 CAD

This book constitutes the refereed proceedings of the 12th International Conference on Integrated Formal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016.The 33 papers presented in this volume were carefully reviewed and selected from 99 submissions. They were organized in topical sections named: invited contributions; program verification; probabilistic systems; concurrency; safety and
... En savoir plus
Tests and Proofs

14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings

Modifié par Wolfgang Ahrendt, Heike Wehrheim ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as part of the 4th World Congress on Formal Methods 2020, Bergen, Norway, in June 2020.The 7 regular papers, 1 short paper and 2 demonstration papers presented in this volume were carefully reviewed and selected from 209 submissions. The TAP conference promotes research in ... En savoir plus

$64.09 CAD

This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as part of the 4th World Congress on Formal Methods 2020, Bergen, Norway, in June 2020.The 7 regular papers, 1 short paper and 2 demonstration papers presented in this volume were carefully reviewed and selected from 209 submissions. The TAP conference promotes research in
... En savoir plus
Software Development, Design and Coding

With Patterns, Debugging, Unit Testing, and Refactoring

par John F. Dooley ...

Collections series Professional and Applied Computing (R0)
Learn the principles of good software design, and how to turn those principles into great code. This book introduces you to software engineering — from the application of engineering principles to the development of software. You'll see how to run a software development project, examine the different phases of a project, and learn how to design and implement programs that solve specific problems. ... En savoir plus

$83.79 CAD

Learn the principles of good software design, and how to turn those principles into great code. This book introduces you to software engineering — from the application of engineering principles to the development of software. You'll see how to run a software development project, examine the different phases of a project, and learn how to design and implement programs that solve specific problems.
... En savoir plus
Language Server Protocol and Implementation

Supporting Language-Smart Editing and Programming Tools

par Nadeeshaan Gunasinghe, Nipuna Marcus ...

Collections series Professional and Applied Computing (R0)
Understand the important aspects of implementing a production-grade language server in support of language-smart tools such as code editors and other programming utilities. This book shows you how to create a single implementation of a language server that can be used by multiple tools, enabling you to do the job once in a way that can be shared and reused.This book covers the language server ... En savoir plus

$68.29 CAD

Understand the important aspects of implementing a production-grade language server in support of language-smart tools such as code editors and other programming utilities. This book shows you how to create a single implementation of a language server that can be used by multiple tools, enabling you to do the job once in a way that can be shared and reused.This book covers the language server
... En savoir plus
High Performance Computing

ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017, Revised Selected Papers

Modifié par Julian M. Kunkel, Rio Yokota, Michela Taufer, John Shalf ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes revised selected papers from 10 workshops that were held as the ISC High Performance 2017 conference in Frankfurt, Germany, in June 2017.The 59 papers presented in this volume were carefully reviewed and selected for inclusion in this book. They stem from the following workshops:Workshop on Virtualization in High-Performance Cloud Computing (VHPC)Visualization at Scale: ... En savoir plus

$64.09 CAD

This book constitutes revised selected papers from 10 workshops that were held as the ISC High Performance 2017 conference in Frankfurt, Germany, in June 2017.The 59 papers presented in this volume were carefully reviewed and selected for inclusion in this book. They stem from the following workshops:Workshop on Virtualization in High-Performance Cloud Computing (VHPC)Visualization at Scale:
... En savoir plus
Beginning IntelliJ IDEA

Integrated Development Environment for Java Programming

par Ted Hagos ...

Collections series Professional and Applied Computing (R0)
Get started quickly with IntelliJ, from installation to configuration to working with the source code and more. This tutorial will show you how to leverage IntelliJ’s tools to develop clean, efficient Java applications.Author Ted Hagos will first walk you through buidling your first Java applications using IntelliJ. Then, he’ll show you how to analyze your application, top to bottom; using version ... En savoir plus

$68.29 CAD

Get started quickly with IntelliJ, from installation to configuration to working with the source code and more. This tutorial will show you how to leverage IntelliJ’s tools to develop clean, efficient Java applications.Author Ted Hagos will first walk you through buidling your first Java applications using IntelliJ. Then, he’ll show you how to analyze your application, top to bottom; using version
... En savoir plus
Swift 2 for Absolute Beginners

par Gary Bennett, Brad Lees ...

Collections series Professional and Applied Computing (R0)
Swift 2 for Absolute Beginners is perfect for those with no programming background, those with some programming experience but no object-oriented experience, or those that have a great idea for an app but haven’t programmed since school, and it is now updated for Swift 2.Gary Bennett and Brad Lees are full-time professional iOS developers and have developed a broad spectrum of apps for Fortune 500 ... En savoir plus

$47.39 CAD

Swift 2 for Absolute Beginners is perfect for those with no programming background, those with some programming experience but no object-oriented experience, or those that have a great idea for an app but haven’t programmed since school, and it is now updated for Swift 2.Gary Bennett and Brad Lees are full-time professional iOS developers and have developed a broad spectrum of apps for Fortune 500
... En savoir plus
Selenium WebDriver Recipes in C#

Second Edition

par Zhimin Zhan ...

Collections series Professional and Applied Computing (R0)
Solve your Selenium WebDriver problems with this quick guide to automated testing of web applications with Selenium WebDriver in C#. Selenium WebDriver Recipes in C#, Second Edition contains hundreds of solutions to real-world problems, with clear explanations and ready-to-run Selenium test scripts that you can use in your own projects.You'll learn:How to locate web elements and test functions for ... En savoir plus

$68.29 CAD

Solve your Selenium WebDriver problems with this quick guide to automated testing of web applications with Selenium WebDriver in C#. Selenium WebDriver Recipes in C#, Second Edition contains hundreds of solutions to real-world problems, with clear explanations and ready-to-run Selenium test scripts that you can use in your own projects.You'll learn:How to locate web elements and test functions for
... En savoir plus
Beginning R

An Introduction to Statistical Programming

par Larry Pace, Joshua Wiley ...

Collections series Professional and Applied Computing (R0)
Beginning R, Second Edition is a hands-on book showing how to use the R language, write and save R scripts, read in data files, and write custom statistical functions as well as use built in functions. This book shows the use of R in specific cases such as one-way ANOVA analysis, linear and logistic regression, data visualization, parallel processing, bootstrapping, and more. It takes a hands-on, ... En savoir plus

$95.79 CAD

Beginning R, Second Edition is a hands-on book showing how to use the R language, write and save R scripts, read in data files, and write custom statistical functions as well as use built in functions. This book shows the use of R in specific cases such as one-way ANOVA analysis, linear and logistic regression, data visualization, parallel processing, bootstrapping, and more. It takes a hands-on,
... En savoir plus
Artificial Intelligence and Soft Computing

20th International Conference, ICAISC 2021, Virtual Event, June 21–23, 2021, Proceedings, Part II

Modifié par Leszek Rutkowski, Rafał Scherer, Marcin Korytkowski, Witold Pedrycz, Ryszard Tadeusiewicz, Jacek M. Zurada ...

Collections Livre 2 - Springer Nature Proceedings Computer Science
The two-volume set LNAI 12854 and 12855 constitutes the refereed proceedings of the 20th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2021, held in Zakopane, Poland, in June 2021. Due to COVID 19, the conference was held virtually.The 89 full papers presented were carefully reviewed and selected from 195 submissions. The papers included both traditional artificial ... En savoir plus

$140.89 CAD

The two-volume set LNAI 12854 and 12855 constitutes the refereed proceedings of the 20th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2021, held in Zakopane, Poland, in June 2021. Due to COVID 19, the conference was held virtually.The 89 full papers presented were carefully reviewed and selected from 195 submissions. The papers included both traditional artificial
... En savoir plus
Beginning Jakarta EE

Enterprise Edition for Java: From Novice to Professional

par Peter Späth ...

Collections series Professional and Applied Computing (R0)
Build Java-based enterprise applications using the open source Eclipse Jakarta EE platform. This feature-packed book teaches you enterprise Java development top to bottom. It covers Java web-tier development using servlets, JavaServer Faces (JSF), RESTful applications, and JSON. You’ll also cover Java data-tier development using persistence and transaction handling, messaging services, remote ... En savoir plus

$68.29 CAD

Build Java-based enterprise applications using the open source Eclipse Jakarta EE platform. This feature-packed book teaches you enterprise Java development top to bottom. It covers Java web-tier development using servlets, JavaServer Faces (JSF), RESTful applications, and JSON. You’ll also cover Java data-tier development using persistence and transaction handling, messaging services, remote
... En savoir plus
Grundkurs Compilerbau

par Uwe Meyer ...

Compiler anschaulich und modern erklärtEin Compiler sorgt dafür, dass der Quellcode eines Programms so übertragen wird, dass ein Computer in der Lage ist, die Anweisungen zu verstehen und auszuführen. Der Compilerbau ist eine der ältesten Disziplinen der Informatik, ohne Compiler gäbe es keine Programmiersprachen, Frameworks oder Anwendungen. In diesem Fachbuch aus der Reihe »Informatik verstehen« ... En savoir plus

$31.09 CAD

Compiler anschaulich und modern erklärtEin Compiler sorgt dafür, dass der Quellcode eines Programms so übertragen wird, dass ein Computer in der Lage ist, die Anweisungen zu verstehen und auszuführen. Der Compilerbau ist eine der ältesten Disziplinen der Informatik, ohne Compiler gäbe es keine Programmiersprachen, Frameworks oder Anwendungen. In diesem Fachbuch aus der Reihe »Informatik verstehen«
... En savoir plus
C++/CLI Primer

For .NET Development

par Vivek Ragunathan ...

Collections series Professional and Applied Computing (R0)
Enter a world of hardcore back-end, server-side enterprise programming on the .NET platform. This book presents some of the important aspects of the C++/CLI language that often become a barrier preventing programmers from exploring further. The C++/CLI Primer is a powerful but compact book that will guide you through that barrier.Many of today's complex transactions and enterprise applications ... En savoir plus

$27.59 CAD

Enter a world of hardcore back-end, server-side enterprise programming on the .NET platform. This book presents some of the important aspects of the C++/CLI language that often become a barrier preventing programmers from exploring further. The C++/CLI Primer is a powerful but compact book that will guide you through that barrier.Many of today's complex transactions and enterprise applications
... En savoir plus
Advanced Finite Element Simulation with MSC Marc

Application of User Subroutines

par Andreas Öchsner, Zia Javanbakht ...

Collections series Engineering (R0)
This book offers an in-depth insight into the general-purpose finite element program MSC Marc, which is distributed by MSC Software Corporation. It is a specialized program for nonlinear problems (implicit solver) which is common in academia and industry. The primary goal of this book is to provide a comprehensive introduction to a special feature of this software: the user can write user ... En savoir plus

$115.29 CAD

This book offers an in-depth insight into the general-purpose finite element program MSC Marc, which is distributed by MSC Software Corporation. It is a specialized program for nonlinear problems (implicit solver) which is common in academia and industry. The primary goal of this book is to provide a comprehensive introduction to a special feature of this software: the user can write user
... En savoir plus
Reversible Computation

8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings

Modifié par Simon Devitt, Ivan Lanese ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 8th International Conference on Reversible Computation, RC 2016, held in Bologna, Italy, in July 2016.The 18 full and 5 short papers included in this volume were carefully reviewed and selected from 38 submissions. The papers are organized in topical sections named: process calculi; reversible models; programming languages; quantum computing; ... En savoir plus

$64.09 CAD

This book constitutes the refereed proceedings of the 8th International Conference on Reversible Computation, RC 2016, held in Bologna, Italy, in July 2016.The 18 full and 5 short papers included in this volume were carefully reviewed and selected from 38 submissions. The papers are organized in topical sections named: process calculi; reversible models; programming languages; quantum computing;
... En savoir plus
Formal Techniques for Safety-Critical Systems

6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers

Modifié par Cyrille Artho, Peter Csaba Ölveczky ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 6th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2018, held in Gold Coast, Australia in November 2018.The 10 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on analysis and ... En savoir plus

$64.09 CAD

This book constitutes the refereed proceedings of the 6th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2018, held in Gold Coast, Australia in November 2018.The 10 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on analysis and
... En savoir plus
Practical C++ Design

From Programming to Architecture

par Adam B. Singer ...

Collections series Professional and Applied Computing (R0)
Go from competent C++ developer to skilled designer or architect using this book as your personal C++ design master class. Updated for the C++20 standard, this title will guide you through the design and implementation of an engaging case study that forms the backdrop for learning the art of applying design patterns and modern C++ techniques to create a high quality, robust application.Starting ... En savoir plus

$56.29 CAD

Go from competent C++ developer to skilled designer or architect using this book as your personal C++ design master class. Updated for the C++20 standard, this title will guide you through the design and implementation of an engaging case study that forms the backdrop for learning the art of applying design patterns and modern C++ techniques to create a high quality, robust application.Starting
... En savoir plus
Formal Aspects of Component Software

12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers

Modifié par Christiano Braga, Peter Csaba Ölveczky ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the revised selected papers from the 12th International Conference on Formal Aspects of Component Software, FACS 2015, held in Niterói, Brazil, in October 2015.The 15 full papers and 2 invited papers presented in this volume were carefully reviewed and selected from 33 submissions. They are organized in topical sections, namely quality of service to withstand faults, ... En savoir plus

$64.09 CAD

This book constitutes the revised selected papers from the 12th International Conference on Formal Aspects of Component Software, FACS 2015, held in Niterói, Brazil, in October 2015.The 15 full papers and 2 invited papers presented in this volume were carefully reviewed and selected from 33 submissions. They are organized in topical sections, namely quality of service to withstand faults,
... En savoir plus

Liseuses

Applis

Accessoires

Panier

Vous profitez des avantages réservés aux VIP !

Votre panier est vide

Disponible:

1 livre audio par mois

+ Essai GRATUIT de 30 jours

Disponible:

1 livre audio par mois

+ Essai GRATUIT de 30 jours

Recommandé pour vous

eBooks Compilateurs

Afficher :