Rakuten Kobo

Conceptual Modeling

36th International Conference, ER 2017, Valencia, Spain, November 6–9, 2017, Proceedings

Modifié par Heinrich C. Mayr, Giancarlo Guizzardi, Hui Ma, Oscar Pastor ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 35th International Conference on Conceptual Modeling, ER 2017, held in Valencia, Spain, in November 2017.The 28 full and 10 short papers presented together with 1 full 6 keynotes were carefully reviewed and selected from 153 submissions.This events covers a wide range of following topics: Conceptual Modeling Methodology, Conceptual Modeling and ... En savoir plus

$64.09 CAD

This book constitutes the refereed proceedings of the 35th International Conference on Conceptual Modeling, ER 2017, held in Valencia, Spain, in November 2017.The 28 full and 10 short papers presented together with 1 full 6 keynotes were carefully reviewed and selected from 153 submissions.This events covers a wide range of following topics: Conceptual Modeling Methodology, Conceptual Modeling and
... En savoir plus
Informatics in Schools. A Step Beyond Digital Education

15th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2022, Vienna, Austria, September 26–28, 2022, Proceedings

Modifié par Andreas Bollin, Gerald Futschek ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 14th International Conference on Informatics in Schools: Situation, Evolution and Perspectives, ISSEP 2021, held in Nijmegen, The Netherlands, in November 2020. Due to COVID-19 related travelling restrictions the conference had to be switched to online format. The 12 full papers presented together with 4 short papers were carefully reviewed and selected ... En savoir plus

$70.49 CAD

This book constitutes the proceedings of the 14th International Conference on Informatics in Schools: Situation, Evolution and Perspectives, ISSEP 2021, held in Nijmegen, The Netherlands, in November 2020. Due to COVID-19 related travelling restrictions the conference had to be switched to online format. The 12 full papers presented together with 4 short papers were carefully reviewed and selected
... En savoir plus
Pro Perl Programming

From Professional to Advanced

par William "Bo" Rothwell ...

Collections series Professional and Applied Computing (R0)
Master intermediate to advanced techniques of the Perl programming language starting with a focus on regular expressions and some of their advanced features. This book then covers other pro-level features, including formatted output, file handling, and more.Additionally, you'll learn and explore the most useful built-in variables, pragmas, and modules available in the Perl language. Furthermore, ... En savoir plus

$80.19 CAD

Master intermediate to advanced techniques of the Perl programming language starting with a focus on regular expressions and some of their advanced features. This book then covers other pro-level features, including formatted output, file handling, and more.Additionally, you'll learn and explore the most useful built-in variables, pragmas, and modules available in the Perl language. Furthermore,
... En savoir plus
Tests and Proofs

13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings

Modifié par Dirk Beyer, Chantal Keller ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 13th International Conference on Tests and Proofs, TAP 2019, held as part of the Third World Congress on Formal Methods 2019, Porto, Portugal, in October 2019.The 10 regular papers and 2 invited paper presented in this volume were carefully reviewed and selected from 19 submissions. The TAP conference promotes research in verification and ... En savoir plus

$64.09 CAD

This book constitutes the refereed proceedings of the 13th International Conference on Tests and Proofs, TAP 2019, held as part of the Third World Congress on Formal Methods 2019, Porto, Portugal, in October 2019.The 10 regular papers and 2 invited paper presented in this volume were carefully reviewed and selected from 19 submissions. The TAP conference promotes research in verification and
... En savoir plus
Coordination Models and Languages

20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings

Modifié par Giovanna Di Marzo Serugendo, Michele Loreti ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 20th International Conference on Coordination Models and Languages, COORDINATION 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018.The 12 full papers included in this volume were carefully reviewed and selected from 26 submissions. The papers cover a wide ... En savoir plus

$64.09 CAD

This book constitutes the proceedings of the 20th International Conference on Coordination Models and Languages, COORDINATION 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018.The 12 full papers included in this volume were carefully reviewed and selected from 26 submissions. The papers cover a wide
... En savoir plus
Python Descriptors

Understanding and Using the Descriptor Protocol

par Jacob Zimmerman ...

Collections series Professional and Applied Computing (R0)
Create descriptors and see ideas and examples of how to use descriptors effectively. In this short book, you’ll explore descriptors in general, with a deep explanation of what descriptors are, how they work, and how they're used. Once you understand the simplicity of the descriptor protocol, the author delves into using and creating descriptors in practice, with plenty of tips, patterns, and real ... En savoir plus

$41.89 CAD

Create descriptors and see ideas and examples of how to use descriptors effectively. In this short book, you’ll explore descriptors in general, with a deep explanation of what descriptors are, how they work, and how they're used. Once you understand the simplicity of the descriptor protocol, the author delves into using and creating descriptors in practice, with plenty of tips, patterns, and real
... En savoir plus
Data Science Using Oracle Data Miner and Oracle R Enterprise

Transform Your Business Systems into an Analytical Powerhouse

par Sibanjan Das ...

Collections series Professional and Applied Computing (R0)
Automate the predictive analytics process using Oracle Data Miner and Oracle R Enterprise. This book talks about how both these technologies can provide a framework for in-database predictive analytics. You'll see a unified architecture and embedded workflow to automate various analytics steps such as data preprocessing, model creation, and storing final model output to tables.You'll take a deep ... En savoir plus

$63.49 CAD

Automate the predictive analytics process using Oracle Data Miner and Oracle R Enterprise. This book talks about how both these technologies can provide a framework for in-database predictive analytics. You'll see a unified architecture and embedded workflow to automate various analytics steps such as data preprocessing, model creation, and storing final model output to tables.You'll take a deep
... En savoir plus
Stylish F#

Crafting Elegant Functional Code for .NET and .NET Core

par Kit Eason ...

Collections series Professional and Applied Computing (R0)
Why just get by in F# when you can program in style! This book goes beyond syntax and into design. It provides F# developers with best practices, guidance, and advice to write beautiful, maintainable, and correct code.Stylish F# covers every design decision that a developer makes in constructing F# programs, helping you make the most educated and valuable design choices at every stage of code ... En savoir plus

$75.49 CAD

Why just get by in F# when you can program in style! This book goes beyond syntax and into design. It provides F# developers with best practices, guidance, and advice to write beautiful, maintainable, and correct code.Stylish F# covers every design decision that a developer makes in constructing F# programs, helping you make the most educated and valuable design choices at every stage of code
... En savoir plus
Inductive Logic Programming

30th International Conference, ILP 2021, Virtual Event, October 25–27, 2021, Proceedings

Modifié par Nikos Katzouris, Alexander Artikis ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed conference proceedings of the 30th International Conference on Inductive Logic Programming, ILP 2021, held in October 2021. Due to COVID-19 pandemic the conference was held virtually.The 16 papers and 3 short papers presented were carefully reviewed and selected from 19 submissions. Inductive Logic Programming (ILP) is a subfield of machine learning, which ... En savoir plus

$83.29 CAD

This book constitutes the refereed conference proceedings of the 30th International Conference on Inductive Logic Programming, ILP 2021, held in October 2021. Due to COVID-19 pandemic the conference was held virtually.The 16 papers and 3 short papers presented were carefully reviewed and selected from 19 submissions. Inductive Logic Programming (ILP) is a subfield of machine learning, which
... En savoir plus
Rigorous State-Based Methods

11th International Conference, ABZ 2025, Düsseldorf, Germany, June 10–13, 2025, Proceedings

Modifié par Michael Leuschel, Fuyuki Ishikawa ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 11th International Conference on Rigorous State-Based Methods, ABZ 2025, held in Düsseldorf, Germany, during June 10–13, 2025.The 10 full papers, 4 short papers, 2 PhD Symposium papers and 5 case study papers presented in this book were carefully reviewed and selected from 33 submissions. The proceedings also contain one invited talk in full ... En savoir plus

$153.69 CAD

This book constitutes the refereed proceedings of the 11th International Conference on Rigorous State-Based Methods, ABZ 2025, held in Düsseldorf, Germany, during June 10–13, 2025.The 10 full papers, 4 short papers, 2 PhD Symposium papers and 5 case study papers presented in this book were carefully reviewed and selected from 33 submissions. The proceedings also contain one invited talk in full
... En savoir plus
Practical Aspects of Declarative Languages

25th International Symposium, PADL 2023, Boston, MA, USA, January 16–17, 2023, Proceedings

Modifié par Michael Hanus, Daniela Inclezan ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 25th International Symposium on Practical Aspects of Declarative Languages, PADL 2023, which was held in Boston, MA, USA, in January 2023.The 15 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 36 submissions. The papers are organized in the following topical sections: Functional Programming; Logic ... En savoir plus

$96.09 CAD

This book constitutes the proceedings of the 25th International Symposium on Practical Aspects of Declarative Languages, PADL 2023, which was held in Boston, MA, USA, in January 2023.The 15 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 36 submissions. The papers are organized in the following topical sections: Functional Programming; Logic
... En savoir plus
Testing Software and Systems

27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings

Modifié par Khaled El-Fakih, Gerassimos Barlas, Nina Yevtushenko ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2015, held in Sharjah and Dubai, United Arab Emirates, in November 2015. The 14 revised full papers and 4 short papers presented were carefully reviewed and selected from 42 submissions. The papers are organized in topical sections on model based testing, test ... En savoir plus

$64.09 CAD

This book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2015, held in Sharjah and Dubai, United Arab Emirates, in November 2015. The 14 revised full papers and 4 short papers presented were carefully reviewed and selected from 42 submissions. The papers are organized in topical sections on model based testing, test
... En savoir plus
MATLAB Differential Equations

par Cesar Lopez ...

Collections series Professional and Applied Computing (R0)
MATLAB is a high-level language and environment for numerical computation, visualization, and programming. Using MATLAB, you can analyze data, develop algorithms, and create models and applications. The language, tools, and built-in math functions enable you to explore multiple approaches and reach a solution faster than with spreadsheets or traditional programming languages, such as C/C++ or Java ... En savoir plus

$68.29 CAD

MATLAB is a high-level language and environment for numerical computation, visualization, and programming. Using MATLAB, you can analyze data, develop algorithms, and create models and applications. The language, tools, and built-in math functions enable you to explore multiple approaches and reach a solution faster than with spreadsheets or traditional programming languages, such as C/C++ or Java
... En savoir plus
Smart Card Application Development Using Java

par Martin S. Nicklous, Frank Seliger, Uwe Hansmann, Thomas Schäck, Achim Schneider ...

Collections series Computer Science (R0)
In today's world, smart cards play an increasingly important role in everyday life. We encounter them as credit cards, loyalty cards, electronic purses, health cards, and as secure tokens for authentication or digital signature. Their small size and the compatibility of their form with the magnetic stripe card make them ideal carriers of personal information such as secret keys, passwords, ... En savoir plus

$115.29 CAD

In today's world, smart cards play an increasingly important role in everyday life. We encounter them as credit cards, loyalty cards, electronic purses, health cards, and as secure tokens for authentication or digital signature. Their small size and the compatibility of their form with the magnetic stripe card make them ideal carriers of personal information such as secret keys, passwords,
... 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 series Springer Nature Proceedings 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

$64.09 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
.NET Development Using the Compiler API

par Jason Bock ...

Collections series Professional and Applied Computing (R0)
This is the first book to describe the recent significant changes to the .NET compilation process and demonstrate how .NET developers can use the new Compiler API to create compelling applications. As an open source compiler, the Compiler API now makes its code available for anyone to use. In this book, you’ll get a concise, focused view of this tremendous resource for developers, who can now use ... En savoir plus

$41.89 CAD

This is the first book to describe the recent significant changes to the .NET compilation process and demonstrate how .NET developers can use the new Compiler API to create compelling applications. As an open source compiler, the Compiler API now makes its code available for anyone to use. In this book, you’ll get a concise, focused view of this tremendous resource for developers, who can now use
... En savoir plus
Static Analysis

31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20–22, 2024, Proceedings

Modifié par Roberto Giacobazzi, Alessandra Gorla ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 31st International Static Analysis Symposium, SAS 2024, held in Pasadena, CA, USA, in October 2024.Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The papers presented in this book deal with theoretical, practical and ... En savoir plus

$102.49 CAD

This book constitutes the refereed proceedings of the 31st International Static Analysis Symposium, SAS 2024, held in Pasadena, CA, USA, in October 2024.Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The papers presented in this book deal with theoretical, practical and
... En savoir plus
Game Development with Construct 2

From Design to Realization

par LEE STEMKOSKI, Evan Leider ...

Collections series Professional and Applied Computing (R0)
Design and create video games using Construct 2. No prior experience is required.Game Development with Construct 2 teaches you to create 12 different game projects from a variety of genres, including car racing and tower defense to platformer and action-adventure. The software is user friendly and powerful, and the games you create can be exported to run on the web, desktop computers, and ... En savoir plus

$75.49 CAD

Design and create video games using Construct 2. No prior experience is required.Game Development with Construct 2 teaches you to create 12 different game projects from a variety of genres, including car racing and tower defense to platformer and action-adventure. The software is user friendly and powerful, and the games you create can be exported to run on the web, desktop computers, and
... En savoir plus
Formal Languages and Computation

Models and Their Applications

par Alexander Meduna ...

Formal Languages and Computation: Models and Their Applications gives a clear, comprehensive introduction to formal language theory and its applications in computer science. It covers all rudimental topics concerning formal languages and their models, especially grammars and automata, and sketches the basic ideas underlying the theory of computatio ... En savoir plus

$119.54 CAD

Formal Languages and Computation: Models and Their Applications gives a clear, comprehensive introduction to formal language theory and its applications in computer science. It covers all rudimental topics concerning formal languages and their models, especially grammars and automata, and sketches the basic ideas underlying the theory of computatio
... En savoir plus
Languages for Digital Embedded Systems

par Stephen A. Edwards ...

Collections Livre 572 - The Springer International Series in Engineering and Computer Science
Appropriate for use as a graduate text or a professional reference, Languages for Digital Embedded Systems is the first detailed, broad survey of hardware and software description languages for embedded system design.Instead of promoting the one language that will solve all design problems (which does not and will not ever exist), this book takes the view that different problems demand different ... En savoir plus

$179.39 CAD

Appropriate for use as a graduate text or a professional reference, Languages for Digital Embedded Systems is the first detailed, broad survey of hardware and software description languages for embedded system design.Instead of promoting the one language that will solve all design problems (which does not and will not ever exist), this book takes the view that different problems demand different
... En savoir plus
Moving to Responsive Web Design

Bring existing static sites into today's multi-device world with responsive web design

par Inayaili de León ...

Collections series Professional and Applied Computing (R0)
Redesign your static website into a modern, fully responsive website. As the usage of mobile devices of all shapes and sizes increases exponentially every year, and dominates the manner in which many users access the web, it is now imperative for any business to have a responsive website that adapts seamlessly to any screen size and resolution — a change that will impact not only your designs but ... En savoir plus

$41.89 CAD

Redesign your static website into a modern, fully responsive website. As the usage of mobile devices of all shapes and sizes increases exponentially every year, and dominates the manner in which many users access the web, it is now imperative for any business to have a responsive website that adapts seamlessly to any screen size and resolution — a change that will impact not only your designs but
... En savoir plus
Programming Concurrency on GPUs with Rust

par Zyle Kot ...

The bottleneck is not your kernel. In fact, it almost never is.After spending enough time in Nsight, the way you read a timeline becomes as intuitive as a mechanic listening to an engine. The same faults keep cropping up, such as a GPU with thousands of cores sitting idle behind a blocking copy, a single default stream or a host thread frozen at a synchronisation point that was never necessary. ... En savoir plus

$42.99 CAD ou Gratuit avec Kobo Plus

The bottleneck is not your kernel. In fact, it almost never is.After spending enough time in Nsight, the way you read a timeline becomes as intuitive as a mechanic listening to an engine. The same faults keep cropping up, such as a GPU with thousands of cores sitting idle behind a blocking copy, a single default stream or a host thread frozen at a synchronisation point that was never necessary.
... En savoir plus
Excel Avanzato 2.0

Il Manuale Completo e Aggiornato Per Diventare un Esperto e Imparare Microsoft Excel in Meno di 7 Giorni. Scopri Tutte le Sue Funzionalità in Maniera Professionale

par Denis Martin ...

Excel, come già sai, è un programma ricchissimo di funzioni e capacità. Fin dall'inizio, anche per un vero principiante, uno dei problemi più comuni che si affrontano è proprio quello di sopravvivere in un tale mare di informazioni e di possibilità, senza lasciar perdere, senza pensare che non si riuscirà mai a venirne a capo, senza arrendersi prima ancora di iniziare. Ora, se stai leggendo questo ... En savoir plus

$1.99 CAD

Excel, come già sai, è un programma ricchissimo di funzioni e capacità. Fin dall'inizio, anche per un vero principiante, uno dei problemi più comuni che si affrontano è proprio quello di sopravvivere in un tale mare di informazioni e di possibilità, senza lasciar perdere, senza pensare che non si riuscirà mai a venirne a capo, senza arrendersi prima ancora di iniziare. Ora, se stai leggendo questo
... En savoir plus
Hands-on Signal Analysis with Python

An Introduction

par Thomas Haslwanter ...

Collections series Engineering (R0)
This book provides the tools for analyzing data in Python: different types of filters are introduced and explained, such as FIR-, IIR- and morphological filters, as well as their application to one- and two-dimensional data. The required mathematics are kept to a minimum, and numerous examples and working Python programs are included for a quick start. The goal of the book is to enable also novice ... En savoir plus

$70.49 CAD

This book provides the tools for analyzing data in Python: different types of filters are introduced and explained, such as FIR-, IIR- and morphological filters, as well as their application to one- and two-dimensional data. The required mathematics are kept to a minimum, and numerous examples and working Python programs are included for a quick start. The goal of the book is to enable also novice
... 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 :