Rakuten Kobo

Product-Focused Software Process Improvement

20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings

Modifié par Xavier Franch, Tomi Männistö, Silverio Martínez-Fernández ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 20th International Conference on Product-Focused Software Process Improvement, PROFES 2019, held in Barcelona, Spain, in November 2019.The 24 revised full papers 4 industry papers, and 11 short papers presented were carefully reviewed and selected from 104 submissions. The papers cover a broad range of topics related to professional software ... En savoir plus

$64.09 CAD

This book constitutes the refereed proceedings of the 20th International Conference on Product-Focused Software Process Improvement, PROFES 2019, held in Barcelona, Spain, in November 2019.The 24 revised full papers 4 industry papers, and 11 short papers presented were carefully reviewed and selected from 104 submissions. The papers cover a broad range of topics related to professional software
... En savoir plus
Recent Advances in Algorithmic Differentiation

Modifié par Shaun Forth, Paul Hovland, Eric Phipps, Jean Utke, Andrea Walther ...

Collections series Springer Nature Proceedings excluding Computer Science
The proceedings represent the state of knowledge in the area of algorithmic differentiation (AD). The 31 contributed papers presented at the AD2012 conference cover the application of AD to many areas in science and engineering as well as aspects of AD theory and its implementation in tools. For all papers the referees, selected from the program committee and the greater community, as well as the ... En savoir plus

$115.29 CAD

The proceedings represent the state of knowledge in the area of algorithmic differentiation (AD). The 31 contributed papers presented at the AD2012 conference cover the application of AD to many areas in science and engineering as well as aspects of AD theory and its implementation in tools. For all papers the referees, selected from the program committee and the greater community, as well as the
... En savoir plus
Formalizing Data-Centric Web Services

par Iman Saleh ...

Collections series Computer Science (R0)
This book presents a methodology to model and specify the data aspect of Web services, as it is overlooked by current standards for specifying Web services. The formal specification enables verification of service behavior, and the proposed methodology is based on formal methods and design-by-contract techniques.The Web has evolved from an information sharing medium to a wide-scale environment for ... En savoir plus

$64.09 CAD

This book presents a methodology to model and specify the data aspect of Web services, as it is overlooked by current standards for specifying Web services. The formal specification enables verification of service behavior, and the proposed methodology is based on formal methods and design-by-contract techniques.The Web has evolved from an information sharing medium to a wide-scale environment for
... En savoir plus
Perspectives on Software Requirements

Modifié par Jorge Horacio Doorn, Julio Cesar Sampaio do Prado Leite ...

Collections Livre 753 - The Springer International Series in Engineering and Computer Science
Perspectives On Software Requirements presents perspectives on several current approaches to software requirements. Each chapter addresses a specific problem where the authors summarize their experiences and results to produce well-fit and traceable requirements. Chapters highlight familiar issues with recent results and experiences, which are accompanied by chapters describing well-tuned new ... En savoir plus

$115.29 CAD

Perspectives On Software Requirements presents perspectives on several current approaches to software requirements. Each chapter addresses a specific problem where the authors summarize their experiences and results to produce well-fit and traceable requirements. Chapters highlight familiar issues with recent results and experiences, which are accompanied by chapters describing well-tuned new
... En savoir plus
Build iOS Database Apps with Swift and SQLite

par Kevin Languedoc ...

Collections series Professional and Applied Computing (R0)
Discover the essential concepts and new iOS 10 SDK and Swift 3 programming language APIs to build iPhone and iPad database driven applications using the defacto standard for data storage for mobile apps, SQLite.You will learn about SQL operations, such as selecting, inserting, updating and deleting data using various data types like text, numerical types, images and even audio/video data. After ... En savoir plus

$44.29 CAD

Discover the essential concepts and new iOS 10 SDK and Swift 3 programming language APIs to build iPhone and iPad database driven applications using the defacto standard for data storage for mobile apps, SQLite.You will learn about SQL operations, such as selecting, inserting, updating and deleting data using various data types like text, numerical types, images and even audio/video data. After
... En savoir plus
Interactive C#

Fundamentals, Core Concepts and Patterns

par Vaskaran Sarcar ...

Collections series Professional and Applied Computing (R0)
Discover object-oriented programming with core concepts of C# in this unique tutorial. The book consists of four major sections which cover 15 core topics - nine of them are dedicated to object-oriented programming, five of them are dedicated to advanced concepts of C#, and one of them is dedicated to design patterns, with coverage of three Gang of Four design patterns with C# implementations. ... En savoir plus

$38.49 CAD

Discover object-oriented programming with core concepts of C# in this unique tutorial. The book consists of four major sections which cover 15 core topics - nine of them are dedicated to object-oriented programming, five of them are dedicated to advanced concepts of C#, and one of them is dedicated to design patterns, with coverage of three Gang of Four design patterns with C# implementations.
... En savoir plus
Software Engineering

International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures

Modifié par Bertrand Meyer, Martin Nordio ...

Collections series Computer Science (R0)
The LASER Summer School is intended for professionals from industry (engineers and managers) as well as university researchers, including PhD students. Participants learn about the most important software technology advances from pioneers in the field.Since its inception in 2004, the LASER Summer School has focused on an important software engineering topic each year. This volume contains selected ... En savoir plus

$51.29 CAD

The LASER Summer School is intended for professionals from industry (engineers and managers) as well as university researchers, including PhD students. Participants learn about the most important software technology advances from pioneers in the field.Since its inception in 2004, the LASER Summer School has focused on an important software engineering topic each year. This volume contains selected
... En savoir plus
Beginning R 4

From Beginner to Pro

par Matt Wiley, Joshua F. Wiley ...

Collections series Professional and Applied Computing (R0)
Learn how to use R 4, write and save R scripts, read in and write out data files, use built-in functions, and understand common statistical methods. This in-depth tutorial includes key R 4 features including a new color palette for charts, an enhanced reference counting system (useful for big data), and new data import settings for text (as well as the statistical methods to model text-based, ... En savoir plus

$75.49 CAD

Learn how to use R 4, write and save R scripts, read in and write out data files, use built-in functions, and understand common statistical methods. This in-depth tutorial includes key R 4 features including a new color palette for charts, an enhanced reference counting system (useful for big data), and new data import settings for text (as well as the statistical methods to model text-based,
... En savoir plus
Distributed Virtual Worlds

Foundations and Implementation Techniques Using VRML, Java, and CORBA

par Stephan Diehl ...

Collections series Computer Science (R0)
Recently, with the success of Java and the existence of different interfaces be tween VRML and Java, it became possible to implement three-dimensional internet applications on standard VRML browsers (Plugins) using Java. With the widespread use of VRML-Browsers, e.g., as part of the Netscape Com municator and Microsoft's Internet Explorerstandard distributions, everyone connected to the internet ... En savoir plus

$64.09 CAD

Recently, with the success of Java and the existence of different interfaces be tween VRML and Java, it became possible to implement three-dimensional internet applications on standard VRML browsers (Plugins) using Java. With the widespread use of VRML-Browsers, e.g., as part of the Netscape Com municator and Microsoft's Internet Explorerstandard distributions, everyone connected to the internet
... En savoir plus
Inductive Logic Programming

27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers

Modifié par Nicolas Lachiche, Christel Vrain ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 27th International Conference on Inductive Logic Programming, ILP 2017, held in Orléans, France, in September 2017.The 12 full papers presented were carefully reviewed and selected from numerous submissions.Inductive Logic Programming (ILP) is a subfield of machine learning, which originally relied on logic ... En savoir plus

$64.09 CAD

This book constitutes the thoroughly refereed post-conference proceedings of the 27th International Conference on Inductive Logic Programming, ILP 2017, held in Orléans, France, in September 2017.The 12 full papers presented were carefully reviewed and selected from numerous submissions.Inductive Logic Programming (ILP) is a subfield of machine learning, which originally relied on logic
... En savoir plus
Computer Graphics for Java Programmers

par Kang Zhang, Leen Ammeraal ...

Collections series Computer Science (R0)
This third edition covers fundamental concepts in creating and manipulating 2D and 3D graphical objects, including topics from classic graphics algorithms to color and shading models. It maintains the style of the two previous editions, teaching each graphics topic in a sequence of concepts, mathematics, algorithms, optimization techniques, and Java coding.Completely revised and updated according ... En savoir plus

$85.89 CAD

This third edition covers fundamental concepts in creating and manipulating 2D and 3D graphical objects, including topics from classic graphics algorithms to color and shading models. It maintains the style of the two previous editions, teaching each graphics topic in a sequence of concepts, mathematics, algorithms, optimization techniques, and Java coding.Completely revised and updated according
... En savoir plus
Numerical Python

A Practical Techniques Approach for Industry

par Robert Johansson ...

Collections series Professional and Applied Computing (R0)
Numerical Pythonby Robert Johansson shows you how to leverage the numerical and mathematical modules in Python and its Standard Library as well as popular open source numerical Python packages like NumPy, FiPy, matplotlib and more to numerically compute solutions and mathematically model applications in a number of areas like big data, cloud computing, financial engineering, business management ... En savoir plus

$63.49 CAD

Numerical Pythonby Robert Johansson shows you how to leverage the numerical and mathematical modules in Python and its Standard Library as well as popular open source numerical Python packages like NumPy, FiPy, matplotlib and more to numerically compute solutions and mathematically model applications in a number of areas like big data, cloud computing, financial engineering, business management
... En savoir plus
Integrated Formal Methods

15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings

Modifié par Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019.The 25 full papers and 3 short papers were carefully reviewed and selected from 95 submissions. The papers cover a broad spectrum of topics: from language design to verification and analysis techniques, to supporting tools and their ... En savoir plus

$64.09 CAD

This book constitutes the refereed proceedings of the 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019.The 25 full papers and 3 short papers were carefully reviewed and selected from 95 submissions. The papers cover a broad spectrum of topics: from language design to verification and analysis techniques, to supporting tools and their
... En savoir plus
Node.js Recipes

A Problem-Solution Approach

par Cory Gackenheimer ...

Collections series Professional and Applied Computing (R0)
Node.js Recipes is your one-stop reference for solving Node.js problems. Filled with useful recipes that follow a problem/solution format, you can look up recipes for many situations that you may come across in your day-to-day server-side development.Node.js is accessible to those who not only relish in server-side programming but also web developers who understand the ubiquitous language of the ... En savoir plus

$42.29 CAD

Node.js Recipes is your one-stop reference for solving Node.js problems. Filled with useful recipes that follow a problem/solution format, you can look up recipes for many situations that you may come across in your day-to-day server-side development.Node.js is accessible to those who not only relish in server-side programming but also web developers who understand the ubiquitous language of the
... En savoir plus
Theoretical Aspects of Computing – ICTAC 2016

13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings

Modifié par Augusto Sampaio, Farn Wang ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 13th International Colloquium on Theoretical Aspects of Computing, ICTAC 2016, held in Taipei, Taiwan, in October 2016.The 23 revised full papers presented together with two short papers, two invited papers and one abstract of an invited paper were carefully reviewed and selected from 60 submissions. The papers are organized in topical sections ... En savoir plus

$64.09 CAD

This book constitutes the refereed proceedings of the 13th International Colloquium on Theoretical Aspects of Computing, ICTAC 2016, held in Taipei, Taiwan, in October 2016.The 23 revised full papers presented together with two short papers, two invited papers and one abstract of an invited paper were carefully reviewed and selected from 60 submissions. The papers are organized in topical sections
... En savoir plus
Model and Data Engineering

7th International Conference, MEDI 2017, Barcelona, Spain, October 4–6, 2017, Proceedings

Modifié par Yassine Ouhammou, Mirjana Ivanovic, Alberto Abelló, Ladjel Bellatreche ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 7th International Conference on Model and Data Engineering, MEDI 2017, held in Barcelona, Spain, in October 2017.The 20 full papers and 7 short papers presented together with 2 invited talks were carefully reviewed and selected from 69 submissions. The papers are organized in topical sections on domain specific languages; systems and software ... En savoir plus

$64.09 CAD

This book constitutes the refereed proceedings of the 7th International Conference on Model and Data Engineering, MEDI 2017, held in Barcelona, Spain, in October 2017.The 20 full papers and 7 short papers presented together with 2 invited talks were carefully reviewed and selected from 69 submissions. The papers are organized in topical sections on domain specific languages; systems and software
... En savoir plus
Accelerator Programming Using Directives

7th International Workshop, WACCPD 2020, Virtual Event, November 20, 2020, Proceedings

Modifié par Sridutt Bhalachandra, Sandra Wienke, Sunita Chandrasekaran, Guido Juckeland ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 7th International Workshop on Accelerator Programming Using Directives, WACCPD 2020, which took place on November 20, 2021. The workshop was initially planned to take place in Atlanta, GA, USA, and changed to an online format due to the COVID-19 pandemic.WACCPD is one of the major forums for bringing together users, developers, and the software and ... En savoir plus

$64.09 CAD

This book constitutes the proceedings of the 7th International Workshop on Accelerator Programming Using Directives, WACCPD 2020, which took place on November 20, 2021. The workshop was initially planned to take place in Atlanta, GA, USA, and changed to an online format due to the COVID-19 pandemic.WACCPD is one of the major forums for bringing together users, developers, and the software and
... En savoir plus
Software Technologies: Applications and Foundations

STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers

Modifié par Manuel Mazzara, Iulian Ober, Gwen Salaün ...

Collections series Springer Nature Proceedings Computer Science
This book contains the thoroughly refereed technical papers presented in eight workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2018, held in Toulouse, France, in June 2018.The 65 full papers presented were carefully reviewed and selected from 120 submissions.The events whose papers are included in this volume are:CoSim-CPS 2018: ... En savoir plus

$64.09 CAD

This book contains the thoroughly refereed technical papers presented in eight workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2018, held in Toulouse, France, in June 2018.The 65 full papers presented were carefully reviewed and selected from 120 submissions.The events whose papers are included in this volume are:CoSim-CPS 2018:
... En savoir plus
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

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 :