Rakuten Kobo

Beginning Data Science in R

Data Analysis, Visualization, and Modelling for the Data Scientist

par Thomas Mailund ...

Collections series Professional and Applied Computing (R0)
Discover best practices for data analysis and software development in R and start on the path to becoming a fully-fledged data scientist. This book teaches you techniques for both data manipulation and visualization and shows you the best way for developing new software packages for R.Beginning Data Science in R details how data science is a combination of statistics, computational science, and ... En savoir plus

$75.49 CAD

Discover best practices for data analysis and software development in R and start on the path to becoming a fully-fledged data scientist. This book teaches you techniques for both data manipulation and visualization and shows you the best way for developing new software packages for R.Beginning Data Science in R details how data science is a combination of statistics, computational science, and
... En savoir plus
Automated Reasoning

8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings

Modifié par Nicola Olivetti, Ashish Tiwari ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 8th International Joint Conference on Automated Reasoning, IJCAR 2016, held in Coimbra, Portugal, in June/July 2016. IJCAR 2014 was a merger of three leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems) and TABLEAUX (International ... En savoir plus

$102.49 CAD

This book constitutes the refereed proceedings of the 8th International Joint Conference on Automated Reasoning, IJCAR 2016, held in Coimbra, Portugal, in June/July 2016. IJCAR 2014 was a merger of three leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems) and TABLEAUX (International
... En savoir plus
Runtime Verification

25th International Conference, RV 2025, Graz, Austria, September 15–19, 2025, Proceedings

Modifié par Bettina Könighofer, Hazem Torfah ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 25th International Conference on Runtime Verification, RV 2025, held in Graz, Austria, during September 15–19, 2025.The 22 regular papers, 1 short paper, 2 tool papers, and 1 tutorial paper included in this book were carefully reviewed and selected from 64 submissions.The RV conference focuses on all aspects of formal methods for monitoring, ... En savoir plus

$83.29 CAD

This book constitutes the refereed proceedings of the 25th International Conference on Runtime Verification, RV 2025, held in Graz, Austria, during September 15–19, 2025.The 22 regular papers, 1 short paper, 2 tool papers, and 1 tutorial paper included in this book were carefully reviewed and selected from 64 submissions.The RV conference focuses on all aspects of formal methods for monitoring,
... En savoir plus
Programming Languages

20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings

Modifié par Fernando Castor, Yu David Liu ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 20th Brazilian Symposium on Progamming Languages, SBLP 2016, held in Maringá, Brazil, in September 2016.The 12 papers presented in this volume were carefully reviewed and selected from 26 submissions. They deal with fundamental principles and innovations in the design and implementation of programming languages and systems. ... En savoir plus

$64.09 CAD

This book constitutes the proceedings of the 20th Brazilian Symposium on Progamming Languages, SBLP 2016, held in Maringá, Brazil, in September 2016.The 12 papers presented in this volume were carefully reviewed and selected from 26 submissions. They deal with fundamental principles and innovations in the design and implementation of programming languages and systems.
... En savoir plus
Pro Design Patterns in Swift

par Adam Freeman ...

Collections series Professional and Applied Computing (R0)
The Swift programming language has transformed the world of iOS development and started a new age of modern development. Pro Design Patterns in Swift shows you how to harness the power and flexibility of Swift to apply the most important and enduring design patterns to your applications, taking your development projects to master level.This book will teach you those design patterns that have ... En savoir plus

$63.49 CAD

The Swift programming language has transformed the world of iOS development and started a new age of modern development. Pro Design Patterns in Swift shows you how to harness the power and flexibility of Swift to apply the most important and enduring design patterns to your applications, taking your development projects to master level.This book will teach you those design patterns that have
... En savoir plus
Formal Aspects of Component Software

14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings

Modifié par José Proença, Markus Lumpe ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly revised selected papers from the 14th International Conference on Formal Aspects of Component Software, FACS 2017, held in Braga, Portugal, in October 2017.The 14 full papers presented were carefully reviewed and selected from 26 submissions. FACS 2016 is concerned with how formal methods can be used to make component-based and service-oriented software ... En savoir plus

$64.09 CAD

This book constitutes the thoroughly revised selected papers from the 14th International Conference on Formal Aspects of Component Software, FACS 2017, held in Braga, Portugal, in October 2017.The 14 full papers presented were carefully reviewed and selected from 26 submissions. FACS 2016 is concerned with how formal methods can be used to make component-based and service-oriented software
... En savoir plus
Testing Software and Systems

28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings

Modifié par Natalia Kushik, Mihai Nica, Franz Wotawa ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 278th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2016, held in Graz, Austria, in October 2016.The 12 revised full papers and 6 short papers presented were carefully reviewed and selected from 41 submissions. The papers are organized in topical sections on testing methodologies, heuristics and non-determinism in ... En savoir plus

$64.09 CAD

This book constitutes the refereed proceedings of the 278th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2016, held in Graz, Austria, in October 2016.The 12 revised full papers and 6 short papers presented were carefully reviewed and selected from 41 submissions. The papers are organized in topical sections on testing methodologies, heuristics and non-determinism in
... En savoir plus
Supercomputing

4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24–25, 2018, Revised Selected Papers

Modifié par Vladimir Voevodin, Sergey Sobolev ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 4th Russian Supercomputing Days, RuSCDays 2018, held in Moscow, Russia, in September 2018.The 59 revised full papers and one revised short paper presented were carefully reviewed and selected from 136 submissions. The papers are organized in topical sections on parallel algorithms; supercomputer simulation; high performance architectures, tools ... En savoir plus

$64.09 CAD

This book constitutes the refereed proceedings of the 4th Russian Supercomputing Days, RuSCDays 2018, held in Moscow, Russia, in September 2018.The 59 revised full papers and one revised short paper presented were carefully reviewed and selected from 136 submissions. The papers are organized in topical sections on parallel algorithms; supercomputer simulation; high performance architectures, tools
... En savoir plus
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice

8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV

Modifié par Tiziana Margaria, Bernhard Steffen ...

Collections Livre 4 - Springer Nature Proceedings Computer Science
The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018.The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual ... En savoir plus

$64.09 CAD

The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018.The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual
... En savoir plus
Essential Visual J++ 6.0 fast

How to develop Java applications and applets with Visual J++

par John Cowell ...

Collections series Computer Science (R0)
Java is an object oriented language which allows you to create interactive Web pages, or to write applications which will run on any computer. Visual J++ gives you access to the power of Java with all the benefits of a modern visual development environment, for fast programming, and debugging. If you are new to Java or are an existing Java programmer who wants to switch to Visual J++, this book ... En savoir plus

$64.09 CAD

Java is an object oriented language which allows you to create interactive Web pages, or to write applications which will run on any computer. Visual J++ gives you access to the power of Java with all the benefits of a modern visual development environment, for fast programming, and debugging. If you are new to Java or are an existing Java programmer who wants to switch to Visual J++, this book
... En savoir plus
Creating Maintainable APIs

A Practical, Case-Study Approach

par Ervin Varga ...

Collections series Professional and Applied Computing (R0)
Build straightforward and maintainable APIs to create services that are usable and maintainable. Although this book focuses on distributed services, it also emphasizes how the core principles apply even to pure OOD and OOP constructs.The overall context of Creating Maintainable APIs is to classify the topics into four main areas: classes and interfaces, HTTP REST APIs, messaging APIs, and message ... En savoir plus

$57.69 CAD

Build straightforward and maintainable APIs to create services that are usable and maintainable. Although this book focuses on distributed services, it also emphasizes how the core principles apply even to pure OOD and OOP constructs.The overall context of Creating Maintainable APIs is to classify the topics into four main areas: classes and interfaces, HTTP REST APIs, messaging APIs, and message
... En savoir plus
Agile Android

par Godfrey Nolan ...

This concise book walks you through how to get unit testing and test driven development done on Android, specifically using JUnit 4. You'll learn how to do agile development quickly and correctly, with a significant increase in development efficiency and a reduction in the number of defects.Agile practices have made major inroads in Java development, however it’s very unusual to see something as ... En savoir plus

$23.99 CAD

This concise book walks you through how to get unit testing and test driven development done on Android, specifically using JUnit 4. You'll learn how to do agile development quickly and correctly, with a significant increase in development efficiency and a reduction in the number of defects.Agile practices have made major inroads in Java development, however it’s very unusual to see something as
... En savoir plus
Quality of Information and Communications Technology

12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11–13, 2019, Proceedings

Modifié par Mario Piattini, Paulo Rupino da Cunha, Ignacio García Rodríguez de Guzmán, Ricardo Pérez-Castillo ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 12th International Conference on the Quality of Information and Communications Technology, QUATIC 2019, held in Ciudad Real, Spain, in September 2019.The 19 full papers and 6 short papers were carefully reviewed and selected from 66 submissions. The papers are organized in topical sections: security & privacy, requirements engineering, business ... En savoir plus

$96.09 CAD

This book constitutes the refereed proceedings of the 12th International Conference on the Quality of Information and Communications Technology, QUATIC 2019, held in Ciudad Real, Spain, in September 2019.The 19 full papers and 6 short papers were carefully reviewed and selected from 66 submissions. The papers are organized in topical sections: security & privacy, requirements engineering, business
... En savoir plus
Computer Safety, Reliability, and Security

34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings

Modifié par Floor Koornneef, Coen van Gulijk ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 34th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2015, held in Delft, The Netherlands, in September 2014. The 32 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 104 submissions. The papers are organized in topical sections on flight systems, automotive ... En savoir plus

$64.09 CAD

This book constitutes the refereed proceedings of the 34th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2015, held in Delft, The Netherlands, in September 2014. The 32 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 104 submissions. The papers are organized in topical sections on flight systems, automotive
... En savoir plus
Exploring Robotics with ROBOTIS Systems

par Chi N. Thai ...

Collections series Computer Science (R0)
This 2nd edition textbook has been expanded to include of 175 additional pages of additional content, created in response to readers feedback, as well as to new hardware and software releases. The book presents foundational robotics concepts using the ROBOTIS BIOLOID and OpenCM-904 robotic systems, and is suitable as a curriculum for a first course in robotics for undergraduate students or a self ... En savoir plus

$76.89 CAD

This 2nd edition textbook has been expanded to include of 175 additional pages of additional content, created in response to readers feedback, as well as to new hardware and software releases. The book presents foundational robotics concepts using the ROBOTIS BIOLOID and OpenCM-904 robotic systems, and is suitable as a curriculum for a first course in robotics for undergraduate students or a self
... En savoir plus
Artificial Intelligence in Medicine

16th Conference on Artificial Intelligence in Medicine, AIME 2017, Vienna, Austria, June 21-24, 2017, Proceedings

Modifié par Annette ten Teije, Christian Popow, John H. Holmes, Lucia Sacchi ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 16th Conference on Artificial Intelligence in Medicine, AIME 2017, held in Vienna, Austria, in June 2017.The 21 revised full and 23 short papers presented were carefully reviewed and selected from 113 submissions. The papers are organized in the following topical sections: ontologies and knowledge representation; Bayesian methods; temporal ... En savoir plus

$83.29 CAD

This book constitutes the refereed proceedings of the 16th Conference on Artificial Intelligence in Medicine, AIME 2017, held in Vienna, Austria, in June 2017.The 21 revised full and 23 short papers presented were carefully reviewed and selected from 113 submissions. The papers are organized in the following topical sections: ontologies and knowledge representation; Bayesian methods; temporal
... En savoir plus
MATLAB Symbolic Algebra and Calculus Tools

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

$75.49 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
Learn RStudio IDE

Quick, Effective, and Productive Data Science

par Matthew Campbell ...

Collections series Professional and Applied Computing (R0)
Discover how to use the popular RStudio IDE as a professional tool that includes code refactoring support, debugging, and Git version control integration. This book gives you a tour of RStudio and shows you how it helps you do exploratory data analysis; build data visualizations with ggplot; and create custom R packages and web-based interactive visualizations with Shiny. In addition, you will ... En savoir plus

$56.29 CAD

Discover how to use the popular RStudio IDE as a professional tool that includes code refactoring support, debugging, and Git version control integration. This book gives you a tour of RStudio and shows you how it helps you do exploratory data analysis; build data visualizations with ggplot; and create custom R packages and web-based interactive visualizations with Shiny. In addition, you will
... En savoir plus
Beginning C

From Beginner to Pro

par German Gonzalez-Morris, Ivor Horton ...

Collections series Professional and Applied Computing (R0)
Learn how to program using C, beginning from first principles and progressing through step-by-step examples to become a competent, C-language programmer. All you need are this book and any of the widely available C compilers, and you'll soon be writing real C programs.You’ll discover that C is a foundation language that every programmer ought to know. Beginning C is written by renowned author Ivor ... En savoir plus

$95.79 CAD

Learn how to program using C, beginning from first principles and progressing through step-by-step examples to become a competent, C-language programmer. All you need are this book and any of the widely available C compilers, and you'll soon be writing real C programs.You’ll discover that C is a foundation language that every programmer ought to know. Beginning C is written by renowned author Ivor
... En savoir plus
Computing with Data

An Introduction to the Data Industry

par Guy Lebanon, Mohamed El-Geish ...

Collections series Computer Science (R0)
This book introduces basic computing skills designed for industry professionals without a strong computer science background. Written in an easily accessible manner, and accompanied by a user-friendly website, it serves as a self-study guide to survey data science and data engineering for those who aspire to start a computing career, or expand on their current roles, in areas such as applied ... En savoir plus

$115.29 CAD

This book introduces basic computing skills designed for industry professionals without a strong computer science background. Written in an easily accessible manner, and accompanied by a user-friendly website, it serves as a self-study guide to survey data science and data engineering for those who aspire to start a computing career, or expand on their current roles, in areas such as applied
... En savoir plus
Agile Artificial Intelligence in Pharo

Implementing Neural Networks, Genetic Algorithms, and Neuroevolution

par Alexandre Bergel ...

Collections series Professional and Applied Computing (R0)
Cover classical algorithms commonly used as artificial intelligence techniques and program agile artificial intelligence applications using Pharo. This book takes a practical approach by presenting the implementation details to illustrate the numerous concepts it explains.Along the way, you’ll learn neural net fundamentals to set you up for practical examples such as the traveling salesman problem ... En savoir plus

$75.49 CAD

Cover classical algorithms commonly used as artificial intelligence techniques and program agile artificial intelligence applications using Pharo. This book takes a practical approach by presenting the implementation details to illustrate the numerous concepts it explains.Along the way, you’ll learn neural net fundamentals to set you up for practical examples such as the traveling salesman problem
... En savoir plus
Software Reading Techniques

Twenty Techniques for More Effective Software Review and Inspection

par Yang‐Ming Zhu ...

Collections series Professional and Applied Computing (R0)
Learn twenty software reading techniques to enhance your effectiveness in reviewing and inspecting software artifacts such as requirements specifications, designs, code files, and usability.Software review and inspection is the best practice in software development that detects and fixes problems early. Software professionals are trained to write software but not read and analyze software written ... En savoir plus

$41.89 CAD

Learn twenty software reading techniques to enhance your effectiveness in reviewing and inspecting software artifacts such as requirements specifications, designs, code files, and usability.Software review and inspection is the best practice in software development that detects and fixes problems early. Software professionals are trained to write software but not read and analyze software written
... En savoir plus
C++-Metaprogrammierung

Eine Einführung in die Präprozessor- und Template-Metaprogrammierung

par Jürgen Lemke ...

Collections series Computer Science and Engineering (German Language)
Dieses Buch ist das erste deutschsprachige Fachbuch zur C++-Metaprogrammierung. Es hilft dem C++ Programmierer, die Metaprogrammierung zu verstehen und die Vorteile für den täglichen Gebrauch zu erkennen. Durch die umfangreiche Darstellung der Grundlagen der Präprozessor- und Template-Metaprogrammierung bietet das Buch einen strukturierten Einstieg, für den Grundkenntnisse in C++ ausreichend sind. ... En savoir plus

$51.49 CAD

Dieses Buch ist das erste deutschsprachige Fachbuch zur C++-Metaprogrammierung. Es hilft dem C++ Programmierer, die Metaprogrammierung zu verstehen und die Vorteile für den täglichen Gebrauch zu erkennen. Durch die umfangreiche Darstellung der Grundlagen der Präprozessor- und Template-Metaprogrammierung bietet das Buch einen strukturierten Einstieg, für den Grundkenntnisse in C++ ausreichend sind.
... En savoir plus
Abstract State Machines, Alloy, B, TLA, VDM, and Z

5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

Modifié par Michael Butler, Miklos Biro, Klaus-Dieter Schewe, Atif Mashkoor ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Linz, Austria, in May 2016.The 17 full and 15 short papers presented in this volume were carefully reviewed and selected from 61 submissions. They record the latest research developments in state-based formal methods Abstract State Machines, ... En savoir plus

$64.09 CAD

This book constitutes the refereed proceedings of the 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Linz, Austria, in May 2016.The 17 full and 15 short papers presented in this volume were carefully reviewed and selected from 61 submissions. They record the latest research developments in state-based formal methods Abstract State Machines,
... 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 :