Rakuten Kobo

Programming with Actors

State-of-the-Art and Research Perspectives

Modifié par Alessandro Ricci, Philipp Haller ...

Collections series Computer Science (R0)
The set of papers collected in this issue originated from the AGERE! Workshop series - the last edition was held in 2017 - and concern the application of actor-based approaches to mainstream application domains and the discussion of related issues. The issue is divided into two parts. The first part concerns Web Programming; Data-Intensive Parallel Programming; Mobile Computing; Self-Organizing ... En savoir plus

$58.04 CAD

The set of papers collected in this issue originated from the AGERE! Workshop series - the last edition was held in 2017 - and concern the application of actor-based approaches to mainstream application domains and the discussion of related issues. The issue is divided into two parts. The first part concerns Web Programming; Data-Intensive Parallel Programming; Mobile Computing; Self-Organizing
... En savoir plus
Search-Based Software Engineering

11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings

Modifié par Shiva Nejati, Gregory Gay ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 11th International Symposium on Search-Based Software Engineering, SSBSE 2019, held in Tallinn, Estonia, in August/September 2019.The 9 research papers and 3 short papers presented together with 1 keynote and 1 challenge paper were carefully reviewed and selected from 28 submissions. SSBSE is a research area focused on the formulation of ... En savoir plus

$58.04 CAD

This book constitutes the refereed proceedings of the 11th International Symposium on Search-Based Software Engineering, SSBSE 2019, held in Tallinn, Estonia, in August/September 2019.The 9 research papers and 3 short papers presented together with 1 keynote and 1 challenge paper were carefully reviewed and selected from 28 submissions. SSBSE is a research area focused on the formulation of
... En savoir plus
Trends in Functional Programming

20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12–14, 2019, Revised Selected Papers

Modifié par William J. Bowman, Ronald Garcia ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed revised selected papers of the 20th International Symposium on Trends in Functional Programming, TFP 2019, held in Vancouver, Canada, in June 2019. The 6 revised full papers were selected from 11 submissions and present papers in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a ... En savoir plus

$58.04 CAD

This book constitutes the thoroughly refereed revised selected papers of the 20th International Symposium on Trends in Functional Programming, TFP 2019, held in Vancouver, Canada, in June 2019. The 6 revised full papers were selected from 11 submissions and present papers in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a
... En savoir plus
Formal Modeling and Analysis of Timed Systems

15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings

Modifié par Alessandro Abate, Gilles Geeraerts ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 15th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2017, held in Berlin, Germany, in September 2017.The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modelling and analysis of ... En savoir plus

$58.04 CAD

This book constitutes the refereed proceedings of the 15th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2017, held in Berlin, Germany, in September 2017.The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modelling and analysis of
... En savoir plus
Formal Aspects of Component Software

11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers

Modifié par Ivan Lanese, Eric Madelaine ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes revised selected papers from the International Symposium on Formal Aspects of Component Software, FACS 2014, held in Bertinoro, Italy, in September 2014.The 20 full papers presented in this volume were carefully reviewed and selected from 44 submissions. They are organized in topical sections named: compositional approaches; adaptation and evolution; application and ... En savoir plus

$58.04 CAD

This book constitutes revised selected papers from the International Symposium on Formal Aspects of Component Software, FACS 2014, held in Bertinoro, Italy, in September 2014.The 20 full papers presented in this volume were carefully reviewed and selected from 44 submissions. They are organized in topical sections named: compositional approaches; adaptation and evolution; application and
... En savoir plus
Mastering Vulkan: From Fundamentals to Expert Techniques

par Kameron Hussain, Frahaan Hussain ...

Unlock the full potential of Vulkan, the next-generation graphics API designed to deliver unmatched performance and control for modern graphics programming. Mastering Vulkan: From Fundamentals to Expert Techniques is the ultimate guide for developers at all levels, offering a comprehensive roadmap from basic concepts to advanced implementations. Whether you're a beginner seeking to grasp the core ... En savoir plus

$14.99 CAD ou Gratuit avec Kobo Plus

Unlock the full potential of Vulkan, the next-generation graphics API designed to deliver unmatched performance and control for modern graphics programming. Mastering Vulkan: From Fundamentals to Expert Techniques is the ultimate guide for developers at all levels, offering a comprehensive roadmap from basic concepts to advanced implementations. Whether you're a beginner seeking to grasp the core
... En savoir plus
Beginning C++17

From Novice to Professional

par Ivor Horton, Peter Van Weert ...

Collections series Professional and Applied Computing (R0)
Learn how to program using the updated C++17 language. You'll start with the basics and progress through step-by-step examples to become a working C++ programmer. All you need are Beginning C++17 and any recent C++ compiler and you'll soon be writing real C++ programs. There is no assumption of prior programming knowledge.All language concepts that are explained in the book are illustrated with ... En savoir plus

$61.91 CAD

Learn how to program using the updated C++17 language. You'll start with the basics and progress through step-by-step examples to become a working C++ programmer. All you need are Beginning C++17 and any recent C++ compiler and you'll soon be writing real C++ programs. There is no assumption of prior programming knowledge.All language concepts that are explained in the book are illustrated with
... En savoir plus
Android Recipes

A Problem-Solution Approach for Android 5.0

par Dave Smith ...

Collections series Professional and Applied Computing (R0)
Android Recipes, Fourth Edition offers more than 100 down-to-earth code recipes, and guides you step-by-step through a wide range of useful topics using complete and real-world working code examples. This book is updated to include the Android 5.0 SDK, as well as earlier releases.Instead of abstract descriptions of complex concepts, in Android Recipes, you'll find live code examples. When you ... En savoir plus

$43.01 CAD

Android Recipes, Fourth Edition offers more than 100 down-to-earth code recipes, and guides you step-by-step through a wide range of useful topics using complete and real-world working code examples. This book is updated to include the Android 5.0 SDK, as well as earlier releases.Instead of abstract descriptions of complex concepts, in Android Recipes, you'll find live code examples. When you
... En savoir plus
Usability

Gaining a Competitive Edge

Modifié par Judy Hammond, Tom Gross, Janet Wesson ...

Collections series Computer Science (R0)
Usability has become increasingly important as an essential part of the design and development of software and systems for all sectors of society, business, industry, government and education, as well as a topic of research. Today, we can safely say that, in many parts of the world, information technology and communications is or is becoming a central force in revolutionising the way that we all ... En savoir plus

$104.48 CAD

Usability has become increasingly important as an essential part of the design and development of software and systems for all sectors of society, business, industry, government and education, as well as a topic of research. Today, we can safely say that, in many parts of the world, information technology and communications is or is becoming a central force in revolutionising the way that we all
... En savoir plus
Advanced SDL Game Engineering: Expert Techniques for Professional Developers

par Kameron Hussain, Frahaan Hussain ...

"Advanced SDL Game Engineering: Expert Techniques for Professional Developers" is an essential guide for seasoned game developers and engineers looking to master the complexities of game development using Simple DirectMedia Layer (SDL). This comprehensive resource delves deep into advanced techniques and strategies that are crucial for creating professional-grade games.With a focus on the ... En savoir plus

$13.99 CAD ou Gratuit avec Kobo Plus

"Advanced SDL Game Engineering: Expert Techniques for Professional Developers" is an essential guide for seasoned game developers and engineers looking to master the complexities of game development using Simple DirectMedia Layer (SDL). This comprehensive resource delves deep into advanced techniques and strategies that are crucial for creating professional-grade games.With a focus on the
... En savoir plus
JavaFX 9 by Example

par Carl Dea, Gerrit Grunwald, José Pereda, Sean Phillips, Mark Heckler ...

Create media-rich client applications using JavaFX 9 and the Java 9 platform. Learn to create GUI-based applications for mobile devices, desktop PCs, and even the web. Incorporate media such as audio and video into your applications. Interface with hardware devices such as Arduino and Leap Motion. Respond to gesture control through devices such as the Leap Motion Controller. Take advantage of the ... En savoir plus

$62.45 CAD

Create media-rich client applications using JavaFX 9 and the Java 9 platform. Learn to create GUI-based applications for mobile devices, desktop PCs, and even the web. Incorporate media such as audio and video into your applications. Interface with hardware devices such as Arduino and Leap Motion. Respond to gesture control through devices such as the Leap Motion Controller. Take advantage of the
... En savoir plus
Python Game Programming For Kids - 20 Playful and Kid Friendly Games Codes

par Anthony Joseph ...

"Python Game Programming For Kids - 20 Playful and Kid Friendly Games Codes" is an essential eBook for anyone interested in developing their game programming skills using Python and Pygame. Spanning twenty chapters, each focused on different aspects of game development, this guide takes the reader from basic game concepts to the advanced integration of external libraries and artificial ... En savoir plus

$26.09 CAD ou Gratuit avec Kobo Plus

"Python Game Programming For Kids - 20 Playful and Kid Friendly Games Codes" is an essential eBook for anyone interested in developing their game programming skills using Python and Pygame. Spanning twenty chapters, each focused on different aspects of game development, this guide takes the reader from basic game concepts to the advanced integration of external libraries and artificial
... En savoir plus
Static Analysis

30th International Symposium, SAS 2023, Cascais, Portugal, October 22–24, 2023, Proceedings

Modifié par Manuel V. Hermenegildo, José F. Morales ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 30th International Symposium on Static Analysis, SAS 2023, held in Lisbon, Portugal, in October 2023.The 20 full papers included in this book were carefully reviewed and selected from 40 submissions. Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, ... En savoir plus

$94.13 CAD

This book constitutes the refereed proceedings of the 30th International Symposium on Static Analysis, SAS 2023, held in Lisbon, Portugal, in October 2023.The 20 full papers included in this book were carefully reviewed and selected from 40 submissions. Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding,
... En savoir plus
Diagrammatic Representation and Inference

14th International Conference, Diagrams 2024, Münster, Germany, September 27 – October 1, 2024, Proceedings

Modifié par Jens Lemanski, Mikkel Willum Johansen, Emmanuel Manalo, Petrucio Viana, Reetu Bhattacharjee, Richard Burns ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 14th International Conference on the Theory and Application of Diagrams, Diagrams 2024, held in Münster, Germany, during September 27–October 1, 2024.The 17 full papers, 19 short papers and 11 papers of other types included in this book were carefully reviewed and selected from 69 submissions. They were organized in topical sections as follows: ... En savoir plus

$76.49 CAD

This book constitutes the refereed proceedings of the 14th International Conference on the Theory and Application of Diagrams, Diagrams 2024, held in Münster, Germany, during September 27–October 1, 2024.The 17 full papers, 19 short papers and 11 papers of other types included in this book were carefully reviewed and selected from 69 submissions. They were organized in topical sections as follows:
... En savoir plus
Programming Languages and Systems

27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Modifié par Amal Ahmed ...

Collections series Springer Nature Proceedings Computer Science
This open access book constitutes the proceedings of the 27th European Symposium on Programming, ESOP 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.The 36 papers presented in this volume were carefully reviewed and selected from 114 submissions. The papers are organized in topical sections ... En savoir plus

Gratuit

This open access book constitutes the proceedings of the 27th European Symposium on Programming, ESOP 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.The 36 papers presented in this volume were carefully reviewed and selected from 114 submissions. The papers are organized in topical sections
... En savoir plus
Programming Languages and Systems

25th European Symposium on Programming, ESOP 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

Modifié par Peter Thiemann ...

Collections Livre 9632 - Lecture Notes in Computer Science
This book constitutes the proceedings of the 25th European Symposium on Programming, ESOP 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 29 papers presented in this volume were carefully reviewed and selected from 98 submissions. Being devoted to fundamental issues in the ... En savoir plus

$58.85 CAD

This book constitutes the proceedings of the 25th European Symposium on Programming, ESOP 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 29 papers presented in this volume were carefully reviewed and selected from 98 submissions. Being devoted to fundamental issues in the
... En savoir plus
Reliable Software Technologies – Ada-Europe 2016

21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings

Modifié par Eduardo Quiñones, Luís Miguel Pinho, Marko Bertogna ...

Collections Livre 9695 - Lecture Notes in Computer Science
This book constitutes the refereed proceedings of the 21st Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2016, held in Pisa, Italy, in June 2016.The revised 12 full papers presented together with one invited paper were carefully reviewed and selected from 28 submissions. They are organized in topical sections on concurrency and parallelism, testing and ... En savoir plus

$58.85 CAD

This book constitutes the refereed proceedings of the 21st Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2016, held in Pisa, Italy, in June 2016.The revised 12 full papers presented together with one invited paper were carefully reviewed and selected from 28 submissions. They are organized in topical sections on concurrency and parallelism, testing and
... En savoir plus
Euro-Par 2018: Parallel Processing

24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings

Modifié par Marco Aldinucci, Luca Padovani, Massimo Torquati ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 24th International Conference on Parallel and Distributed Computing, Euro-Par 2018, held in Turin, Italy, in August 2018.The 57 full papers presented in this volume were carefully reviewed and selected from 194 submissions. They were organized in topical sections named: support tools and environments; performance and power modeling, prediction and ... En savoir plus

$58.85 CAD

This book constitutes the proceedings of the 24th International Conference on Parallel and Distributed Computing, Euro-Par 2018, held in Turin, Italy, in August 2018.The 57 full papers presented in this volume were carefully reviewed and selected from 194 submissions. They were organized in topical sections named: support tools and environments; performance and power modeling, prediction and
... En savoir plus
Kickstart Compiler Design Fundamentals

par Sandeep Telkar R, Dr. Rajesh Yakkundimath, Dr. Likewin Thomas ...

Unveiling Compiler Secrets from Source to Execution.Key Features● Master compiler fundamentals, from lexical analysis to advanced optimization techniques.● Reinforce concepts with practical exercises, projects, and real-world case studies.● Explore LLVM, GCC, and industry-standard optimization methods for efficient code generation.Book DescriptionCompilers are the backbone of modern computing... ... En savoir plus

$20.15 CAD

Unveiling Compiler Secrets from Source to Execution.Key Features● Master compiler fundamentals, from lexical analysis to advanced optimization techniques.● Reinforce concepts with practical exercises, projects, and real-world case studies.● Explore LLVM, GCC, and industry-standard optimization methods for efficient code generation.Book DescriptionCompilers are the backbone of modern computing...
... En savoir plus
Software Testing Automation Tips

50 Things Automation Engineers Should Know

par Gennadiy Alpaev ...

Collections series Professional and Applied Computing (R0)
Quickly access 50 tips for software test engineers using automated methods. The tips point to practices that save time and increase the accuracy and reliability of automated test techniques. Techniques that play well during demos of testing tools often are not the optimal techniques to apply on a running project. This book highlights those differences, helping you apply techniques that are ... En savoir plus

$29.33 CAD

Quickly access 50 tips for software test engineers using automated methods. The tips point to practices that save time and increase the accuracy and reliability of automated test techniques. Techniques that play well during demos of testing tools often are not the optimal techniques to apply on a running project. This book highlights those differences, helping you apply techniques that are
... En savoir plus
R3 Corda for Architects and Developers

With Case Studies in Finance, Insurance, Healthcare, Travel, Telecom, and Agriculture

par Debajani Mohanty ...

Collections series Professional and Applied Computing (R0)
Explore the entire R3 Corda ecosystem using theory, labs, and use cases. This book introduces distributed ledger technology, Corda architecture, and smart contract programming in Java, guiding you through testing and deployment. Further, you will explore various business problems in finance, insurance, healthcare, travel, and agriculture and discover how Corda can solve these issues through its ... En savoir plus

$31.40 CAD

Explore the entire R3 Corda ecosystem using theory, labs, and use cases. This book introduces distributed ledger technology, Corda architecture, and smart contract programming in Java, guiding you through testing and deployment. Further, you will explore various business problems in finance, insurance, healthcare, travel, and agriculture and discover how Corda can solve these issues through its
... En savoir plus
Reactive Streams in Java

Concurrency with RxJava, Reactor, and Akka Streams

par Adam L. Davis ...

Collections series Professional and Applied Computing (R0)
Get an easy introduction to reactive streams in Java to handle concurrency, data streams, and the propagation of change in today's applications. This compact book includes in-depth introductions to RxJava, Akka Streams, and Reactor, and integrates the latest related features from Java 9 and 11, as well as reactive streams programming with the Android SDK.Reactive Streams in Java explains how to ... En savoir plus

$40.13 CAD

Get an easy introduction to reactive streams in Java to handle concurrency, data streams, and the propagation of change in today's applications. This compact book includes in-depth introductions to RxJava, Akka Streams, and Reactor, and integrates the latest related features from Java 9 and 11, as well as reactive streams programming with the Android SDK.Reactive Streams in Java explains how to
... En savoir plus
Perl 6 Quick Syntax Reference

A Pocket Guide to the Language, the Core Modules, and the Community

par J.J. Merelo ...

Collections series Professional and Applied Computing (R0)
This condensed code and syntax reference book presents the Raku (formerly known as Perl 6) scripting language in a well-organized format designed to be used time and again. It contains an easy-to-read and use guide to Raku for software application development.Using this book will give you a feel for the language, as well as an introduction to the different features (such as object-oriented ... En savoir plus

$40.13 CAD

This condensed code and syntax reference book presents the Raku (formerly known as Perl 6) scripting language in a well-organized format designed to be used time and again. It contains an easy-to-read and use guide to Raku for software application development.Using this book will give you a feel for the language, as well as an introduction to the different features (such as object-oriented
... En savoir plus
Scala for Java Developers

A Practical Primer

par Toby Weston ...

Collections series Professional and Applied Computing (R0)
Master the fundamentals of Scala and understand its emphasis on functional programming that sets it apart from Java. This book will help you translate what you already know in Java to Scala to start your functional programming journey. Learn Scala is split into four parts: a tour of Scala, a comparison between Java and Scala, Scala-specific features and functional programming idioms, and finally a ... En savoir plus

$37.97 CAD

Master the fundamentals of Scala and understand its emphasis on functional programming that sets it apart from Java. This book will help you translate what you already know in Java to Scala to start your functional programming journey. Learn Scala is split into four parts: a tour of Scala, a comparison between Java and Scala, Scala-specific features and functional programming idioms, and finally a
... 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 :