Rakuten Kobo

Rigorous State-Based Methods

8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings

Modifié par Alexander Raschke, Dominique Méry ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 8th International Conference on Rigorous State-Based Methods, ABZ 2021, which was planned to take place in Ulm, Germany, during June 6-11, 2021. The conference changed to an online format due to the COVID-19 pandemic.The 6 full and 8 short papers included in this volume were carefully reviewed and selected from 18 submissions. The proceedings also ... En savoir plus

$76.89 CAD

This book constitutes the proceedings of the 8th International Conference on Rigorous State-Based Methods, ABZ 2021, which was planned to take place in Ulm, Germany, during June 6-11, 2021. The conference changed to an online format due to the COVID-19 pandemic.The 6 full and 8 short papers included in this volume were carefully reviewed and selected from 18 submissions. The proceedings also
... En savoir plus
Programming Languages and Systems

21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26–29, 2023, Proceedings

Modifié par Chung-Kil Hur ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 21st Asian Symposium on Programming Languages and Systems, APLAS 2023, held in Taipei, Taiwan, during November 26–29, 2023.The 15 full papers included in this book are carefully reviewed and selected from 32 submissions. They were organized in topical sections as follows: semantics, logics, and foundational theory; design of languages, type ... En savoir plus

$76.89 CAD

This book constitutes the refereed proceedings of the 21st Asian Symposium on Programming Languages and Systems, APLAS 2023, held in Taipei, Taiwan, during November 26–29, 2023.The 15 full papers included in this book are carefully reviewed and selected from 32 submissions. They were organized in topical sections as follows: semantics, logics, and foundational theory; design of languages, type
... En savoir plus
Foundational Java

Key Elements and Practical Programming

par David Parsons ...

Collections series Computer Science (R0)
This book presents a guide to the core features of Java – and some more recent innovations – enabling the reader to build skills and confidence though tried-and-trusted stages, supported by exercises that reinforce key learning points. All of the most useful and commonly applied Java syntax and libraries are introduced, along with many example programs that can provide the basis for more ... En savoir plus

$98.69 CAD

This book presents a guide to the core features of Java – and some more recent innovations – enabling the reader to build skills and confidence though tried-and-trusted stages, supported by exercises that reinforce key learning points. All of the most useful and commonly applied Java syntax and libraries are introduced, along with many example programs that can provide the basis for more
... En savoir plus
Logic-Based Program Synthesis and Transformation

28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers

Modifié par Fred Mesnard, Peter J. Stuckey ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2018, held in Frankfurt/Main, Germany, in September 2018.The 11 revised full papers were carefully reviewed and selected from 29 submissions. In addition to the 11 papers, this volume includes 3 abstracts of invited talks and 2 ... En savoir plus

$64.09 CAD

This book constitutes the thoroughly refereed post-conference proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2018, held in Frankfurt/Main, Germany, in September 2018.The 11 revised full papers were carefully reviewed and selected from 29 submissions. In addition to the 11 papers, this volume includes 3 abstracts of invited talks and 2
... En savoir plus
Software Architecture

10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28 -- December 2, 2016, Proceedings

Modifié par Bedir Tekinerdogan, Uwe Zdun, Ali Babar ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 10th European Conference on Software Architecture, ECSA 2016, held in Copenhagen, Denmark, in November/December 2016.The 13 full papers presented together with 12 short papers were carefully reviewed and selected from 84 submissions. They are organized in topical sections on full research and experience papers, short papers for addressing emerging ... En savoir plus

$64.09 CAD

This book constitutes the proceedings of the 10th European Conference on Software Architecture, ECSA 2016, held in Copenhagen, Denmark, in November/December 2016.The 13 full papers presented together with 12 short papers were carefully reviewed and selected from 84 submissions. They are organized in topical sections on full research and experience papers, short papers for addressing emerging
... En savoir plus
NASA Formal Methods

8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings

Modifié par Sanjai Rayadurgam, Oksana Tkachuk ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 8th International Symposium on NASA Formal Methods, NFM 2016, held in Minneapolis, MN, USA, in June 2016.The 19 full and 10 short papers presented in this volume were carefully reviewed and selected from 70 submissions. The papers were organized in topical sections named: requirements and architectures; testing and run-time enforcement; theorem proving ... En savoir plus

$83.29 CAD

This book constitutes the proceedings of the 8th International Symposium on NASA Formal Methods, NFM 2016, held in Minneapolis, MN, USA, in June 2016.The 19 full and 10 short papers presented in this volume were carefully reviewed and selected from 70 submissions. The papers were organized in topical sections named: requirements and architectures; testing and run-time enforcement; theorem proving
... En savoir plus
Practical Machine Learning with Rust

Creating Intelligent Applications in Rust

par Joydeep Bhattacharjee ...

Collections series Professional and Applied Computing (R0)
Explore machine learning in Rust and learn about the intricacies of creating machine learning applications. This book begins by covering the important concepts of machine learning such as supervised, unsupervised, and reinforcement learning, and the basics of Rust. Further, you’ll dive into the more specific fields of machine learning, such as computer vision and natural language processing, and ... En savoir plus

$68.29 CAD

Explore machine learning in Rust and learn about the intricacies of creating machine learning applications. This book begins by covering the important concepts of machine learning such as supervised, unsupervised, and reinforcement learning, and the basics of Rust. Further, you’ll dive into the more specific fields of machine learning, such as computer vision and natural language processing, and
... En savoir plus
Testing and Tuning Market Trading Systems

Algorithms in C++

par Timothy Masters ...

Collections series Professional and Applied Computing (R0)
Build, test, and tune financial, insurance or other market trading systems using C++ algorithms and statistics. You’ve had an idea and have done some preliminary experiments, and it looks promising. Where do you go from here? Well, this book discusses and dissects this case study approach.Seemingly good backtest performance isn't enough to justify trading real money. You need to perform rigorous ... En savoir plus

$75.49 CAD

Build, test, and tune financial, insurance or other market trading systems using C++ algorithms and statistics. You’ve had an idea and have done some preliminary experiments, and it looks promising. Where do you go from here? Well, this book discusses and dissects this case study approach.Seemingly good backtest performance isn't enough to justify trading real money. You need to perform rigorous
... En savoir plus
OpenMP: Portable Multi-Level Parallelism on Modern Systems

16th International Workshop on OpenMP, IWOMP 2020, Austin, TX, USA, September 22–24, 2020, Proceedings

Modifié par Kent Milfeld, Bronis R. de Supinski, Lars Koesterke, Jannis Klinkenberg ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 16th International Workshop on OpenMP, IWOMP 2020, held in Austin, TX, USA, in September 2020. The conference was held virtually due to the COVID-19 pandemic.The 21 full papers presented in this volume were carefully reviewed and selected for inclusion in this book. The papers are organized in topical sections named: performance methodologies; ... En savoir plus

$96.09 CAD

This book constitutes the proceedings of the 16th International Workshop on OpenMP, IWOMP 2020, held in Austin, TX, USA, in September 2020. The conference was held virtually due to the COVID-19 pandemic.The 21 full papers presented in this volume were carefully reviewed and selected for inclusion in this book. The papers are organized in topical sections named: performance methodologies;
... En savoir plus
#1 Book on Python Programming

par Minhaj ...

This book, written by Minhaj Abdullah, is designed to take you on a journey through the world of Python programming, starting with the fundamentals and progressing to more advanced concepts like AI and automation. Whether you're a complete beginner or have some prior coding experience, this book offers a practical and engaging approach to learning Python.Key Features:Beginner-Friendly Introduction ... En savoir plus

$7.99 CAD ou Gratuit avec Kobo Plus

This book, written by Minhaj Abdullah, is designed to take you on a journey through the world of Python programming, starting with the fundamentals and progressing to more advanced concepts like AI and automation. Whether you're a complete beginner or have some prior coding experience, this book offers a practical and engaging approach to learning Python.Key Features:Beginner-Friendly Introduction
... En savoir plus
Logic and Argumentation

5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings

Modifié par Andreas Herzig, Jieting Luo, Pere Pardo ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 5th International Conference on Logic and Argumentation, CLAR 2023, held in Hangzhou, China, during September 10-12, 2023.The 11 full papers, one short paper and one invited paper presented in this book were carefully reviewed and selected from 20 submissions.The papers focus on topics such as:logic and automated deduction; abstract and ... En savoir plus

$83.29 CAD

This book constitutes the refereed proceedings of the 5th International Conference on Logic and Argumentation, CLAR 2023, held in Hangzhou, China, during September 10-12, 2023.The 11 full papers, one short paper and one invited paper presented in this book were carefully reviewed and selected from 20 submissions.The papers focus on topics such as:logic and automated deduction; abstract and
... En savoir plus
O Que São Agentes Gpt?

par Claudio Torres ...

O livro O que são Agentes GPT: A revolução da inteligência artificial na linguagem explora a fronteira da inteligência artificial através dos Transformadores Pré-treinados Generativos (GPT). Desenvolvidos pela OpenAI, esses modelos estão redefinindo as possibilidades de processamento de linguagem natural (PLN) e interação inteligente. Ao longo dos capítulos, o texto mergulha na arquitetura, ... En savoir plus

$11.99 CAD ou Gratuit avec Kobo Plus

O livro O que são Agentes GPT: A revolução da inteligência artificial na linguagem explora a fronteira da inteligência artificial através dos Transformadores Pré-treinados Generativos (GPT). Desenvolvidos pela OpenAI, esses modelos estão redefinindo as possibilidades de processamento de linguagem natural (PLN) e interação inteligente. Ao longo dos capítulos, o texto mergulha na arquitetura,
... En savoir plus
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

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 :