Rakuten Kobo

Advanced Parallel Processing Technologies

12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017, Proceedings

Modifié par Yong Dou, Haixiang Lin, Guangyu Sun, Junjie Wu, Dora Heras, Luc Bougé ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 12th International Symposium on Advanced Parallel Processing Technologies, APPT 2017, held in Santiago de Compostela, Spain, in August 2017.The 11 regular papers presented in this volume were carefully reviewed and selected from 18 submissions. They deal with the recent advances in big data processing; parallel architectures and systems; parallel ... En savoir plus

$64.09 CAD

This book constitutes the proceedings of the 12th International Symposium on Advanced Parallel Processing Technologies, APPT 2017, held in Santiago de Compostela, Spain, in August 2017.The 11 regular papers presented in this volume were carefully reviewed and selected from 18 submissions. They deal with the recent advances in big data processing; parallel architectures and systems; parallel
... En savoir plus
Practical Haskell

A Real World Guide to Programming

par Alejandro Serrano Mena ...

Collections series Professional and Applied Computing (R0)
Get a practical, hands-on introduction to the Haskell language, its libraries and environment, and to the functional programming paradigm that is fast growing in importance in the software industry. This book contains excellent coverage of the Haskell ecosystem and supporting tools, include Cabal and Stack for managing projects, HUnit and QuickCheck for software testing, the Spock framework for ... En savoir plus

$56.29 CAD

Get a practical, hands-on introduction to the Haskell language, its libraries and environment, and to the functional programming paradigm that is fast growing in importance in the software industry. This book contains excellent coverage of the Haskell ecosystem and supporting tools, include Cabal and Stack for managing projects, HUnit and QuickCheck for software testing, the Spock framework for
... En savoir plus
Pivotal Certified Professional Core Spring 5 Developer Exam

A Study Guide Using Spring Framework 5

par Iuliana Cosmina ...

Collections series Professional and Applied Computing (R0)
Pass the Pivotal Certified Professional exam for Core Spring, based on the latest Spring Framework 5, using source code examples, study summaries, and mock exams. This book now includes WebFlux, reactive programming, and more found in Spring 5. You'll find a descriptive overview of certification-related Spring modules and a single example application demonstrating the use of all required Spring ... En savoir plus

$119.69 CAD

Pass the Pivotal Certified Professional exam for Core Spring, based on the latest Spring Framework 5, using source code examples, study summaries, and mock exams. This book now includes WebFlux, reactive programming, and more found in Spring 5. You'll find a descriptive overview of certification-related Spring modules and a single example application demonstrating the use of all required Spring
... En savoir plus
Security Standardisation Research

4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings

Modifié par Cas Cremers, Anja Lehmann ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 4th International Conference on Security Standardisation Research, SSR 2018, held in Darmstadt, Germany, in November 2018.The papers cover a range of topics in the field of security standardisation research, including cryptographic evaluation, standards development, analysis with formal methods, potential future areas of standardisation, and ... En savoir plus

$64.09 CAD

This book constitutes the refereed proceedings of the 4th International Conference on Security Standardisation Research, SSR 2018, held in Darmstadt, Germany, in November 2018.The papers cover a range of topics in the field of security standardisation research, including cryptographic evaluation, standards development, analysis with formal methods, potential future areas of standardisation, and
... En savoir plus
Model Checking Software

25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings

Modifié par María del Mar Gallardo, Pedro Merino ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 25th International Symposium on Model Checking Software, SPIN 2018, held in Malaga, Spain, in June 2018.The 14 papers presented, 1 short paper, and 1 demo-tool paper, were carefully reviewed and selected from 28 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling ... En savoir plus

$64.09 CAD

This book constitutes the refereed proceedings of the 25th International Symposium on Model Checking Software, SPIN 2018, held in Malaga, Spain, in June 2018.The 14 papers presented, 1 short paper, and 1 demo-tool paper, were carefully reviewed and selected from 28 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling
... 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

$64.09 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
Runtime Verification

20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings

Modifié par Jyotirmoy Deshmukh, Dejan Ničković ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 20th International Conference on Runtime Verification, RV 2020, held in Los Angeles, CA, USA, in October 2020. The conference was held virtually due to the COVID-19 pandemic.The 14 regular papers and 2 short papers presented in this book were carefully reviewed and selected from 43 submissions. Also included are an invited paper, 5 tutorial ... En savoir plus

$64.09 CAD

This book constitutes the refereed proceedings of the 20th International Conference on Runtime Verification, RV 2020, held in Los Angeles, CA, USA, in October 2020. The conference was held virtually due to the COVID-19 pandemic.The 14 regular papers and 2 short papers presented in this book were carefully reviewed and selected from 43 submissions. Also included are an invited paper, 5 tutorial
... En savoir plus
Models, Algorithms, Logics and Tools

Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Modifié par Axel Legay, Anna Ingólfsdóttir, Radu Mardare, Giovanni Bacci, Giorgio Bacci, Luca Aceto ...

Collections series Computer Science (R0)
This Festschrift is published in honor of Kim Guldstrand Larsen, one of the earliest precursors of computer science in Denmark, on the occasion of his 60th birthday. During the last three decades, Kim Guldstrand Larsen has given major contributions across a remarkably wide range of topics, including real-time, concurrent, and probabilistic models of computation, logic in computer science, and ... En savoir plus

$64.09 CAD

This Festschrift is published in honor of Kim Guldstrand Larsen, one of the earliest precursors of computer science in Denmark, on the occasion of his 60th birthday. During the last three decades, Kim Guldstrand Larsen has given major contributions across a remarkably wide range of topics, including real-time, concurrent, and probabilistic models of computation, logic in computer science, and
... En savoir plus
Automated Technology for Verification and Analysis

16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

Modifié par Shuvendu K. Lahiri, Chao Wang ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 16th International Symposium on Automated Technology for Verification and Analysis, ATVA 2018, held in Los Angeles, CA, USA in October 2018.The 27 full papers presented together with 5 short papers and 3 invited talks were carefully reviewed and selected from 82 submissions.The symposium is dedicated to the promotion of research on theoretical ... En savoir plus

$64.09 CAD

This book constitutes the refereed proceedings of the 16th International Symposium on Automated Technology for Verification and Analysis, ATVA 2018, held in Los Angeles, CA, USA in October 2018.The 27 full papers presented together with 5 short papers and 3 invited talks were carefully reviewed and selected from 82 submissions.The symposium is dedicated to the promotion of research on theoretical
... En savoir plus
Formal Methods and Software Engineering

22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings

Modifié par Shang-Wei Lin, Zhe Hou, Brendan Mahony ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 22nd International Conference on Formal Engineering Methods, ICFEM 2020, held in Singapore, Singapore, in March 2021. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover theory and applications in formal engineering methods together ... En savoir plus

$64.09 CAD

This book constitutes the proceedings of the 22nd International Conference on Formal Engineering Methods, ICFEM 2020, held in Singapore, Singapore, in March 2021. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover theory and applications in formal engineering methods together
... En savoir plus
Leveraging Applications of Formal Methods, Verification and Validation

10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Proceedings

Modifié par Tiziana Margaria, Bernhard Steffen ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes contributions of the ISoLA 2021 associated events. Altogether, ISoLA 2021 comprises contributions from the proceedings originally foreseen for ISoLA 2020 collected in 4 volumes, LNCS 12476: Verification Principles, LNCS 12477: Engineering Principles, LNCS 12478: Applications, and LNCS 12479: Tools and Trends.The contributions included in this volume were organized in the ... En savoir plus

$89.69 CAD

This book constitutes contributions of the ISoLA 2021 associated events. Altogether, ISoLA 2021 comprises contributions from the proceedings originally foreseen for ISoLA 2020 collected in 4 volumes, LNCS 12476: Verification Principles, LNCS 12477: Engineering Principles, LNCS 12478: Applications, and LNCS 12479: Tools and Trends.The contributions included in this volume were organized in the
... En savoir plus
Mining Made Simple: A Beginner's Guide to Software Installation and Configuration

The Crypto Mining Mastery Series, #4

par Ladd Baby ...

Collections Livre 4 - The Crypto Mining Mastery Series
Mining Made Simple: A Beginner's Guide to Software Installation and ConfigurationUnlock the world of cryptocurrency mining with Mining Made Simple: A Beginner's Guide to Software Installation and Configuration. Whether you're brand new to crypto or just setting up your first mining rig, this step-by-step guide takes the complexity out of mining and breaks it down into clear, easy-to-follow ... En savoir plus

Prix courant $6.99 CAD Maintenant $4.99 CAD ou Gratuit avec Kobo Plus

Mining Made Simple: A Beginner's Guide to Software Installation and ConfigurationUnlock the world of cryptocurrency mining with Mining Made Simple: A Beginner's Guide to Software Installation and Configuration. Whether you're brand new to crypto or just setting up your first mining rig, this step-by-step guide takes the complexity out of mining and breaks it down into clear, easy-to-follow
... En savoir plus
Hands-on Booting

Learn the Boot Process of Linux, Windows, and Unix

par Yogesh Babar ...

Collections series Professional and Applied Computing (R0)
Master the booting procedure of various operating systems with in-depth analysis of bootloaders and firmware. The primary focus is on the Linux booting procedure along with other popular operating systems such as Windows and Unix.Hands-on Booting begins by explaining what a bootloader is, starting with the Linux bootloader followed by bootloaders for Windows and Unix systems. Next, you’ll address ... En savoir plus

$68.29 CAD

Master the booting procedure of various operating systems with in-depth analysis of bootloaders and firmware. The primary focus is on the Linux booting procedure along with other popular operating systems such as Windows and Unix.Hands-on Booting begins by explaining what a bootloader is, starting with the Linux bootloader followed by bootloaders for Windows and Unix systems. Next, you’ll address
... En savoir plus
Moderne C-Programmierung

Kompendium und Referenz

par Helmut Schellong ...

Collections series Computer Science and Engineering (German Language)
Dieses Buch wendet sich an Entwickler, die bereits über erste Erfahrungen in der Programmierung verfügen. Es fördert den effizienten, strukturierten Umgang mit C. Das vorgestellte Detailwissen hilft zudem bei der Entwicklung eigener Ideen und Konzepte für vielfältige Anwendungsgebiete und zeigt viele Feinheiten der Sprache. Einen Schwerpunkt der Darstellung bildet der Einsatz von C in der ... En savoir plus

$47.89 CAD

Dieses Buch wendet sich an Entwickler, die bereits über erste Erfahrungen in der Programmierung verfügen. Es fördert den effizienten, strukturierten Umgang mit C. Das vorgestellte Detailwissen hilft zudem bei der Entwicklung eigener Ideen und Konzepte für vielfältige Anwendungsgebiete und zeigt viele Feinheiten der Sprache. Einen Schwerpunkt der Darstellung bildet der Einsatz von C in der
... En savoir plus
Identifying Relevant Information for Testing Technique Selection

An Instantiated Characterization Schema

par Sira Vegas, Natalia Juristo, Victor R. Basili ...

Collections Livre 8 - International Series in Software Engineering
Engineering tasks are supposed to achieve defined goals under certain project constraints. Example goals of software engineering tasks include achieving a certain functionality together with some level of reliability or performance. Example constraints of software engineering tasks include budget and time limitations or experience limitations of the developers at hand. Planning of an engineering ... En savoir plus

$115.29 CAD

Engineering tasks are supposed to achieve defined goals under certain project constraints. Example goals of software engineering tasks include achieving a certain functionality together with some level of reliability or performance. Example constraints of software engineering tasks include budget and time limitations or experience limitations of the developers at hand. Planning of an engineering
... En savoir plus
R for Cloud Computing

An Approach for Data Scientists

par A Ohri ...

Collections series Mathematics and Statistics (R0)
R for Cloud Computing looks at some of the tasks performed by business analysts on the desktop (PC era) and helps the user navigate the wealth of information in R and its 4000 packages as well as transition the same analytics using the cloud. With this information the reader can select both cloud vendors and the sometimes confusing cloud ecosystem as well as the R packages that can help process ... En savoir plus

$64.09 CAD

R for Cloud Computing looks at some of the tasks performed by business analysts on the desktop (PC era) and helps the user navigate the wealth of information in R and its 4000 packages as well as transition the same analytics using the cloud. With this information the reader can select both cloud vendors and the sometimes confusing cloud ecosystem as well as the R packages that can help process
... En savoir plus
Provenance and Annotation of Data and Processes

7th International Provenance and Annotation Workshop, IPAW 2018, London, UK, July 9-10, 2018, Proceedings

Modifié par Khalid Belhajjame, Ashish Gehani, Pinar Alper ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 7th International Provenance and Annotation Workshop, IPAW 2018, held in London, UK, in July 2018.The 12 revised full papers, 19 poster papers, and 2 demonstration papers presented were carefully reviewed and selected from 50 submissions. The papers feature a variety of provenance-related topics ranging from the capture and inference of ... En savoir plus

$64.09 CAD

This book constitutes the refereed proceedings of the 7th International Provenance and Annotation Workshop, IPAW 2018, held in London, UK, in July 2018.The 12 revised full papers, 19 poster papers, and 2 demonstration papers presented were carefully reviewed and selected from 50 submissions. The papers feature a variety of provenance-related topics ranging from the capture and inference of
... En savoir plus
Hardware and Software: Verification and Testing

12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings

Modifié par Roderick Bloem, Eli Arbel ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 12th International Haifa Verification Conference, HVC 2016, held in Haifa, Israel in November 2016. The 13 revised full papers and one tool paper presented were carefully reviewed and selected from 26 submissions. They are dedicated to advance the state of the art and state of the practice in verification and testing and are discussing future ... En savoir plus

$64.09 CAD

This book constitutes the refereed proceedings of the 12th International Haifa Verification Conference, HVC 2016, held in Haifa, Israel in November 2016. The 13 revised full papers and one tool paper presented were carefully reviewed and selected from 26 submissions. They are dedicated to advance the state of the art and state of the practice in verification and testing and are discussing future
... En savoir plus
Building Arduino Projects for the Internet of Things

Experiments with Real-World Applications

par Adeel Javed ...

Collections series Professional and Applied Computing (R0)
Gain a strong foundation of Arduino-based device development, from which you can go in any direction according to your specific development needs and desires. You'll build Arduino-powered devices for everyday use, and then connect those devices to the Internet.You'll be introduced to the building blocks of IoT, and then deploy those principles to by building a variety of useful projects. Projects ... En savoir plus

$80.19 CAD

Gain a strong foundation of Arduino-based device development, from which you can go in any direction according to your specific development needs and desires. You'll build Arduino-powered devices for everyday use, and then connect those devices to the Internet.You'll be introduced to the building blocks of IoT, and then deploy those principles to by building a variety of useful projects. Projects
... En savoir plus
Practical Swift

par Eric Downey ...

Collections series Professional and Applied Computing (R0)
Take a firsthand tour of Xcode and all the latest features Swift 3 has to offer.If you have picked up this book, chances are you know a little bit about Swift Programming. With Practical Swift you’ll develop an advanced understanding of the language that will enable you to create a reference guide using Xcode Playgrounds, one you can continue to grow throughout your iOS career.This book not only ... En savoir plus

$56.29 CAD

Take a firsthand tour of Xcode and all the latest features Swift 3 has to offer.If you have picked up this book, chances are you know a little bit about Swift Programming. With Practical Swift you’ll develop an advanced understanding of the language that will enable you to create a reference guide using Xcode Playgrounds, one you can continue to grow throughout your iOS career.This book not only
... En savoir plus
C# 7 Quick Syntax Reference

A Pocket Guide to the Language, APIs, and Library

par Mikael Olsson ...

Collections Livre 7 - Professional and Applied Computing (R0)
This quick C# 7 guide is a condensed code and syntax reference to the C# programming language, updated with the latest features of C# 7.3 for .NET and Windows 10. It presents the essential C# 7 syntax in a well-organized format that can be used as a handy reference.In the C# 7 Quick Syntax Reference, you will find a concise reference to the C# language syntax: short, simple, and focused code ... En savoir plus

$32.39 CAD

This quick C# 7 guide is a condensed code and syntax reference to the C# programming language, updated with the latest features of C# 7.3 for .NET and Windows 10. It presents the essential C# 7 syntax in a well-organized format that can be used as a handy reference.In the C# 7 Quick Syntax Reference, you will find a concise reference to the C# language syntax: short, simple, and focused code
... En savoir plus
Rules and Reasoning

International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedings

Modifié par Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, Dumitru Roman ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2017, held in London, UK, during July 2017. This is the first conference of a new series, joining the efforts of two existing conference series, namely “RuleML” (International Web Rule Symposium) and “RR” (Web Reasoning and Rule Systems).The 16 regular papers presented together with 2 ... En savoir plus

$64.09 CAD

This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2017, held in London, UK, during July 2017. This is the first conference of a new series, joining the efforts of two existing conference series, namely “RuleML” (International Web Rule Symposium) and “RR” (Web Reasoning and Rule Systems).The 16 regular papers presented together with 2
... En savoir plus
Building Firmware with CMake

A practical guide to automating embedded builds, tests, and release artifacts

par Amar Mahmutbegović ...

Go beyond ad-hoc Makefiles and vendor IDE workflows by moving to a reproducible CMake-based firmware build system with automated testing and reliable outputs, from the author of bestselling C++ in Embedded Systems Free with your book: DRM-free PDF version + access to Packt's next-gen Reader\* Key FeaturesPin toolchains and external dependencies for reproducible firmware builds across machines and ... En savoir plus

$32.79 CAD

PRÉCOMMANDER

Go beyond ad-hoc Makefiles and vendor IDE workflows by moving to a reproducible CMake-based firmware build system with automated testing and reliable outputs, from the author of bestselling C++ in Embedded Systems Free with your book: DRM-free PDF version + access to Packt's next-gen Reader\* Key FeaturesPin toolchains and external dependencies for reproducible firmware builds across machines and
... En savoir plus
Learn Unity for Android Game Development

A Guide to Game Design, Development, and Marketing

par Adam Sinicki ...

Collections series Professional and Applied Computing (R0)
Get a thorough and practical introduction to Unity development for Android devices with no previous experience with game development needed. In this book, you'll go through every step from downloading and installing Unity and the Android SDK, to creating fully functional games. The bulk of Learn Unity for Android Game Development is a simple project to create a 2D platform game complete with ... En savoir plus

$75.49 CAD

Get a thorough and practical introduction to Unity development for Android devices with no previous experience with game development needed. In this book, you'll go through every step from downloading and installing Unity and the Android SDK, to creating fully functional games. The bulk of Learn Unity for Android Game Development is a simple project to create a 2D platform game complete with
... 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 :