Rakuten Kobo

Mastering Scale and Complexity in Software Reuse

16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017, Proceedings

Modifié par Goetz Botterweck, Claudia Werner ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 16th International Conference on Software Reuse, ICSR 2017, held in Salvador, Brazil, in May 2017.The 8 revised full papers presented together with 3 short papers and 2 keynote presentations were carefully reviewed and selected from 34 submissions. The papers are grouped in topical sections on documentation reuse and repositories; software ... En savoir plus

$64.09 CAD

This book constitutes the refereed proceedings of the 16th International Conference on Software Reuse, ICSR 2017, held in Salvador, Brazil, in May 2017.The 8 revised full papers presented together with 3 short papers and 2 keynote presentations were carefully reviewed and selected from 34 submissions. The papers are grouped in topical sections on documentation reuse and repositories; software
... En savoir plus
Beginning Robotics Programming in Java with LEGO Mindstorms

par Wei Lu ...

Collections series Professional and Applied Computing (R0)
Discover the difference between making a robot move and making a robot think.Using Mindstorms EV3 and LeJOS—an open source project for Java Mindstorms projects—you’ll learn how to create Artificial Intelligence (AI) for your bot. Your robot will learn how to problem solve, how to plan, and how to communicate. Along the way, you’ll learn about classical AI algorithms for teaching hardware how to ... En savoir plus

$80.19 CAD

Discover the difference between making a robot move and making a robot think.Using Mindstorms EV3 and LeJOS—an open source project for Java Mindstorms projects—you’ll learn how to create Artificial Intelligence (AI) for your bot. Your robot will learn how to problem solve, how to plan, and how to communicate. Along the way, you’ll learn about classical AI algorithms for teaching hardware how to
... En savoir plus
Object-Oriented Design with ABAP

A Practical Approach

par James E. McDonough ...

Collections series Professional and Applied Computing (R0)
Conquer your fear and anxiety learning how the concepts behind object-oriented design apply to the ABAP programming environment. Through simple examples and metaphors this book demystifies the object-oriented programming model.Object-Oriented Design with ABAP presents a bridge from the familiar procedural style of ABAP to the unfamiliar object-oriented style, taking you by the hand and leading you ... En savoir plus

$68.29 CAD

Conquer your fear and anxiety learning how the concepts behind object-oriented design apply to the ABAP programming environment. Through simple examples and metaphors this book demystifies the object-oriented programming model.Object-Oriented Design with ABAP presents a bridge from the familiar procedural style of ABAP to the unfamiliar object-oriented style, taking you by the hand and leading you
... En savoir plus
Formal Methods and Software Engineering

23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, Proceedings

Modifié par Adrian Riesco, Min Zhang ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 23rd International Conference on Formal Engineering Methods, ICFEM 2022, held in Madrid, Spain, in October 2022. 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 for research in all areas related to formal engineering methods, such ... En savoir plus

$64.09 CAD

This book constitutes the proceedings of the 23rd International Conference on Formal Engineering Methods, ICFEM 2022, held in Madrid, Spain, in October 2022. 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 for research in all areas related to formal engineering methods, such
... En savoir plus
Java For Dummies

par Barry Burd ...

Learn to code with Java and open the gate to a rewarding careerNow in its 9th edition, Java For Dummies gives you the essential tools you need to understand the programming language that 17 million software developers rely on. This beginner-friendly guide simplifies every step of the learning process. You'll learn the basics of Java and jump into writing your own programs. Along the way, you'll ... En savoir plus

$27.99 CAD

Learn to code with Java and open the gate to a rewarding careerNow in its 9th edition, Java For Dummies gives you the essential tools you need to understand the programming language that 17 million software developers rely on. This beginner-friendly guide simplifies every step of the learning process. You'll learn the basics of Java and jump into writing your own programs. Along the way, you'll
... En savoir plus
Schnellstart Python

Ein Einstieg ins Programmieren für MINT-Studierende

par Christoph Schäfer ...

Collections series Life Science and Basic Disciplines (German Language)
Christoph Schäfer stellt die großartige Welt der Programmierung mit Python vor und ermöglicht einen schnellen Einstieg zur eigenständigen Entwicklung von Skripten. Er verweist darauf, wie die Programmiersprache Python sich in den letzten Jahren neben MATLAB und R als Standard an naturwissenschaftlichen Arbeitsplätzen in Forschung und Entwicklung etabliert hat, und zeigt, dass die große Popularität ... En savoir plus

$6.79 CAD

Christoph Schäfer stellt die großartige Welt der Programmierung mit Python vor und ermöglicht einen schnellen Einstieg zur eigenständigen Entwicklung von Skripten. Er verweist darauf, wie die Programmiersprache Python sich in den letzten Jahren neben MATLAB und R als Standard an naturwissenschaftlichen Arbeitsplätzen in Forschung und Entwicklung etabliert hat, und zeigt, dass die große Popularität
... En savoir plus
Euro-Par 2017: Parallel Processing

23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 – September 1, 2017, Proceedings

Modifié par Francisco F. Rivera, Tomás F. Pena, José C. Cabaleiro ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 23rd International Conference on Parallel and Distributed Computing, Euro-Par 2017, held in Santiago de Compostela, Spain, in August/September 2017. The 50 revised full papers presented together with 2 abstract of invited talks and 1 invited paper were carefully reviewed and selected from 176 submissions. The papers are organized in the following ... En savoir plus

$64.09 CAD

This book constitutes the proceedings of the 23rd International Conference on Parallel and Distributed Computing, Euro-Par 2017, held in Santiago de Compostela, Spain, in August/September 2017. The 50 revised full papers presented together with 2 abstract of invited talks and 1 invited paper were carefully reviewed and selected from 176 submissions. The papers are organized in the following
... En savoir plus
AIxIA 2026 – Advances in Artificial Intelligence

XXIVth International Conference of the Italian Association for Artificial Intelligence, AIxIA 2026, Perugia, Italy, October 6–9, 2026, Proceedings

Modifié par Stefano Bistarelli, Marco Maratea, Francesco Santini ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the XXIVth International Conference of the Italian Association for Artificial Intelligence, AIxIA 2026, held in Perugia, Italy, during October 6–9, 2026.The 52 full papers included in this book were carefully reviewed and selected from 78 submissions. They focus on the advancement of Artificial Intelligence (AI) within academic, social, and ... En savoir plus

$83.29 CAD

This book constitutes the refereed proceedings of the XXIVth International Conference of the Italian Association for Artificial Intelligence, AIxIA 2026, held in Perugia, Italy, during October 6–9, 2026.The 52 full papers included in this book were carefully reviewed and selected from 78 submissions. They focus on the advancement of Artificial Intelligence (AI) within academic, social, and
... En savoir plus
Testing Software and Systems

29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings

Modifié par Nina Yevtushenko, Ana Rosa Cavalli, Hüsnü Yenigün ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 29th IFIP WG 6.1 International Conference on Testing Software and Systems ICTSS 2017, held in St. Petersburg, Russia, in October 2017.The 18 full papers and 4 short papers presented were carefully reviewed and selected from 41 submissions. The topics of the volume cover model based testing; test derivation and monitoring; fault localization and ... En savoir plus

$64.09 CAD

This book constitutes the refereed proceedings of the 29th IFIP WG 6.1 International Conference on Testing Software and Systems ICTSS 2017, held in St. Petersburg, Russia, in October 2017.The 18 full papers and 4 short papers presented were carefully reviewed and selected from 41 submissions. The topics of the volume cover model based testing; test derivation and monitoring; fault localization and
... En savoir plus
Inductive Logic Programming

29th International Conference, ILP 2019, Plovdiv, Bulgaria, September 3–5, 2019, Proceedings

Modifié par Dimitar Kazakov, Can Erten ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed conference proceedings of the 29th International Conference on Inductive Logic Programming, ILP 2019, held in Plovdiv, Bulgaria, in September 2019.The 11 papers presented were carefully reviewed and selected from numerous submissions. Inductive Logic Programming (ILP) is a subfield of machine learning, which originally relied on logic programming as a uniform ... En savoir plus

$64.09 CAD

This book constitutes the refereed conference proceedings of the 29th International Conference on Inductive Logic Programming, ILP 2019, held in Plovdiv, Bulgaria, in September 2019.The 11 papers presented were carefully reviewed and selected from numerous submissions. Inductive Logic Programming (ILP) is a subfield of machine learning, which originally relied on logic programming as a uniform
... En savoir plus
Pro Spring Boot 3

An Authoritative Guide with Best Practices

par Felipe Gutierrez ...

Collections series Professional and Applied Computing (R0)
This book will teach you how to build complex Spring applications and microservices out of the box, with minimal concern over things like configurations. Pro Spring Boot 3 will show you how to fully leverage Spring Boot 3's robust features and how to apply them to create enterprise-ready applications, microservices, and web/cloud applications that just work.Special focus is given to what's been ... En savoir plus

$59.89 CAD

This book will teach you how to build complex Spring applications and microservices out of the box, with minimal concern over things like configurations. Pro Spring Boot 3 will show you how to fully leverage Spring Boot 3's robust features and how to apply them to create enterprise-ready applications, microservices, and web/cloud applications that just work.Special focus is given to what's been
... En savoir plus
Master Python Without Prior Experience

par CodeCraft Dynamics ...

This comprehensive Python programming guide seamlessly transitions you from fundamental concepts to advanced topics, ensuring a deep comprehension of the Python language. Discover the essence of programming and Python, unraveling the significance of programming, the allure of Python, and the essential steps to configure your Python environment.Embark on a journey through Python essentials like ... En savoir plus

$4.99 CAD ou Gratuit avec Kobo Plus

This comprehensive Python programming guide seamlessly transitions you from fundamental concepts to advanced topics, ensuring a deep comprehension of the Python language. Discover the essence of programming and Python, unraveling the significance of programming, the allure of Python, and the essential steps to configure your Python environment.Embark on a journey through Python essentials like
... En savoir plus
Raspberry Pi GPU Audio Video Programming

par Jan Newmarch ...

Collections series Professional and Applied Computing (R0)
Delve into the Broadcom VideoCore GPU used on the Raspberry Pi and master topics such as OpenGL ES and OpenMAX. Along the way, you’ll also learn some Dispmanx, OpenVG, and GPGPU programming.The author, Jan Newmarch bumped into a need to do this kind of programming while trying to turn the RPi into a karaoke machine: with the CPU busting its gut rendering MIDI files, there was nothing left for ... En savoir plus

$95.79 CAD

Delve into the Broadcom VideoCore GPU used on the Raspberry Pi and master topics such as OpenGL ES and OpenMAX. Along the way, you’ll also learn some Dispmanx, OpenVG, and GPGPU programming.The author, Jan Newmarch bumped into a need to do this kind of programming while trying to turn the RPi into a karaoke machine: with the CPU busting its gut rendering MIDI files, there was nothing left for
... En savoir plus
Software Engineering and Formal Methods

14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings

Modifié par Rocco De Nicola, Eva Kühn ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 14th International Conference on Software Engineering and Formal Methods, SEFM 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016.The 20 full and 5 short papers presented in this volume were carefully reviewed and selected from 88 submissions. They were organized in topical sections named: concurrency and non-interference; program ... En savoir plus

$64.09 CAD

This book constitutes the proceedings of the 14th International Conference on Software Engineering and Formal Methods, SEFM 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016.The 20 full and 5 short papers presented in this volume were carefully reviewed and selected from 88 submissions. They were organized in topical sections named: concurrency and non-interference; program
... En savoir plus
The Joys of Hashing

Hash Table Programming with C

par Thomas Mailund ...

Collections series Professional and Applied Computing (R0)
Build working implementations of hash tables, written in the C programming language. The new and revised Second Edition has been enhanced with simplified code and more comprehensive explanations, aimed at improving clarity and comprehension while exploiting the latest features in C programming.This book starts with simple first attempts devoid of collision resolution strategies. It then progresses ... En savoir plus

$65.89 CAD

Build working implementations of hash tables, written in the C programming language. The new and revised Second Edition has been enhanced with simplified code and more comprehensive explanations, aimed at improving clarity and comprehension while exploiting the latest features in C programming.This book starts with simple first attempts devoid of collision resolution strategies. It then progresses
... En savoir plus
Theory and Practice of Model Transformation

10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings

Modifié par Esther Guerra, Mark van den Brand ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 10th International Conference on Model Transformation, ICMT 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017.The 9 full papers and 2 short papers were carefully reviewed and selected from 31 submissions. The papers are organized in the following topical sections: transformation paradigms, languages, algorithms and strategies; ... En savoir plus

$64.09 CAD

This book constitutes the refereed proceedings of the 10th International Conference on Model Transformation, ICMT 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017.The 9 full papers and 2 short papers were carefully reviewed and selected from 31 submissions. The papers are organized in the following topical sections: transformation paradigms, languages, algorithms and strategies;
... En savoir plus
Intelligent Computer Mathematics

11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings

Modifié par Florian Rabe, William M. Farmer, Grant O. Passmore, Abdou Youssef ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 11th International Conference on Intelligent Computer Mathematics, CICM 2018, held in Hagenberg, Austria, in August 2018.The 23 full papers presented were carefully reviewed and selected from a total of 36 submissions. The papers focos on the Calculemus, Digital Mathematics Libraries, and Mathematical Knowledge Management tracks which also ... En savoir plus

$64.09 CAD

This book constitutes the refereed proceedings of the 11th International Conference on Intelligent Computer Mathematics, CICM 2018, held in Hagenberg, Austria, in August 2018.The 23 full papers presented were carefully reviewed and selected from a total of 36 submissions. The papers focos on the Calculemus, Digital Mathematics Libraries, and Mathematical Knowledge Management tracks which also
... En savoir plus
Formal Languages and Compilation

par Stefano Crespi Reghizzi, Luca Breveglieri, Angelo Morzenti ...

Collections series Computer Science (R0)
This classroom-tested and clearly-written textbook presents a focused guide to the conceptual foundations of compilation, explaining the fundamental principles and algorithms used for defining the syntax of languages, and for implementing simple translators.This significantly updated and expanded third edition has been enhanced with additional coverage of regular expressions, visibly pushdown ... En savoir plus

$115.29 CAD

This classroom-tested and clearly-written textbook presents a focused guide to the conceptual foundations of compilation, explaining the fundamental principles and algorithms used for defining the syntax of languages, and for implementing simple translators.This significantly updated and expanded third edition has been enhanced with additional coverage of regular expressions, visibly pushdown
... En savoir plus
Trends in Functional Programming

17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers

Modifié par David Van Horn, John Hughes ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 17th International Conference on Trends in Functional Programming, TFP 2016, held in College Park, USA, in June 2016.The 10 full papers presented in this volume were carefully reviewed and selected from 18 submissions. The papers were organized in topical sections named: implementation techniques; types and verification; and programming. ... En savoir plus

$64.09 CAD

This book constitutes the refereed proceedings of the 17th International Conference on Trends in Functional Programming, TFP 2016, held in College Park, USA, in June 2016.The 10 full papers presented in this volume were carefully reviewed and selected from 18 submissions. The papers were organized in topical sections named: implementation techniques; types and verification; and programming.
... En savoir plus
Tools for High Performance Computing 2011

Proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing, September 2011, ZIH, Dresden

Modifié par Michael M. Resch, Holger Brunst, Matthias S. Müller, Wolfgang E. Nagel ...

Collections series Springer Nature Proceedings Computer Science
The proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing provide an overview on supportive software tools and environments in the fields of System Management, Parallel Debugging and Performance Analysis. In the pursuit to maintain exponential growth for the performance of high performance computers the HPC community is currently targeting Exascale Systems. ... En savoir plus

$115.29 CAD

The proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing provide an overview on supportive software tools and environments in the fields of System Management, Parallel Debugging and Performance Analysis. In the pursuit to maintain exponential growth for the performance of high performance computers the HPC community is currently targeting Exascale Systems.
... En savoir plus
Theory and Practice of Formal Methods

Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

Modifié par Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen ...

Collections series Computer Science (R0)
This Festschrift volume has been published in honor of Frank de Boer, on the occasion of his 60th birthday.Frank S. de Boer is a prominent member of the research community in formal methods and theoretical computer science. A brief look at his lengthy publication list reveals a broad area of interest and a versatile modus operandi with: logic and constraint programming; deductive proof systems, ... En savoir plus

$64.09 CAD

This Festschrift volume has been published in honor of Frank de Boer, on the occasion of his 60th birthday.Frank S. de Boer is a prominent member of the research community in formal methods and theoretical computer science. A brief look at his lengthy publication list reveals a broad area of interest and a versatile modus operandi with: logic and constraint programming; deductive proof systems,
... En savoir plus
C++ Standard Library Quick Reference

par Marc Gregoire, Peter Van Weert ...

Collections series Professional and Applied Computing (R0)
This quick reference is a condensed guide to the essential data structures, algorithms, and functions provided by the C++ Standard Library. Used by millions of C++ programmers on a daily basis, the C++ Standard Library features core classes for strings, I/O streams, and various generic containers, as well as a comprehensive set of algorithms to manipulate them. In recent years, the C++11 and C++14 ... En savoir plus

$32.39 CAD

This quick reference is a condensed guide to the essential data structures, algorithms, and functions provided by the C++ Standard Library. Used by millions of C++ programmers on a daily basis, the C++ Standard Library features core classes for strings, I/O streams, and various generic containers, as well as a comprehensive set of algorithms to manipulate them. In recent years, the C++11 and C++14
... En savoir plus
Tools and Algorithms for the Construction and Analysis of Systems

22nd International Conference, TACAS 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 Marsha Chechik, Jean-François Raskin ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 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 44 full papers presented in this volume were carefully reviewed and selected from ... En savoir plus

$64.09 CAD

This book constitutes the proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 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 44 full papers presented in this volume were carefully reviewed and selected from
... En savoir plus
Programming Language Concepts

par Peter Sestoft ...

Collections series Computer Science (R0)
This book uses a functional programming language (F#) as a metalanguage to present all concepts and examples, and thus has an operational flavour, enabling practical experiments and exercises. It includes basic concepts such as abstract syntax, interpretation, stack machines, compilation, type checking, garbage collection, and real machine code. Also included are more advanced topics on ... En savoir plus

$67.89 CAD

This book uses a functional programming language (F#) as a metalanguage to present all concepts and examples, and thus has an operational flavour, enabling practical experiments and exercises. It includes basic concepts such as abstract syntax, interpretation, stack machines, compilation, type checking, garbage collection, and real machine code. Also included are more advanced topics on
... 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 :