Rakuten Kobo

Informatics in Schools. Challenges and Opportunities in Informatics Education in the Era of AI

19th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2026, Tallinn, Estonia, September 20–23, 2026, Proceedings

Modifié par Piret Luik, Mart Laanpere ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 19th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2026, held in Tallinn, Estonia during September 20–23, 2026.The 13 full papers, 1 short paper and 1 keynote paper presented were carefully reviewed and selected from 34 submissions. The papers cover the following topics: Curriculum, Policy, ... En savoir plus

$72.99 CAD

This book constitutes the refereed proceedings of the 19th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2026, held in Tallinn, Estonia during September 20–23, 2026.The 13 full papers, 1 short paper and 1 keynote paper presented were carefully reviewed and selected from 34 submissions. The papers cover the following topics: Curriculum, Policy,
... En savoir plus
Modern CMake for C++

Effortlessly build cutting-edge C++ code and deliver high-quality solutions

par Rafał Świdziński ...

Gain proficiency in CMake and unlock the complete potential of C++ to develop exceptional projects Get With Your Book: PDF Copy, AI Assistant, and Next-Gen Reader FreeKey FeaturesGet to grips with CMake and take your C++ development skills to enterprise standardsUse hands-on exercises and self-assessment questions to lock-in your learningUnderstand how to build in an array of quality checks and ... En savoir plus

$40.79 CAD ou Gratuit avec Kobo Plus

Gain proficiency in CMake and unlock the complete potential of C++ to develop exceptional projects Get With Your Book: PDF Copy, AI Assistant, and Next-Gen Reader FreeKey FeaturesGet to grips with CMake and take your C++ development skills to enterprise standardsUse hands-on exercises and self-assessment questions to lock-in your learningUnderstand how to build in an array of quality checks and
... En savoir plus
Using the C++ Standard Template Libraries

par Ivor Horton ...

Collections series Professional and Applied Computing (R0)
Using the C++ Standard Template Libraries is a contemporary treatment that teaches the generic programming capabilities that the C++ 14 Standard Library provides. In this book, author Ivor Horton explains what the class and function templates available with C++ 14 do, and how to use them in a practical context.You'll learn how to create containers, and how iterators are used with them to access, ... En savoir plus

$80.19 CAD

Using the C++ Standard Template Libraries is a contemporary treatment that teaches the generic programming capabilities that the C++ 14 Standard Library provides. In this book, author Ivor Horton explains what the class and function templates available with C++ 14 do, and how to use them in a practical context.You'll learn how to create containers, and how iterators are used with them to access,
... En savoir plus
Programming Languages and Systems

19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17–18, 2021, Proceedings

Modifié par Hakjoo Oh ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 19th Asian Symposium on Programming Languages and Systems, APLAS 2021, held in Chicago, USA, in October 2021.*The 17 papers presented in this volume were carefully reviewed and selected from 43 submissions. They were organized in topical sections named: analysis and synthesis, compilation and transformation, language, and verification.* The conference ... En savoir plus

$96.09 CAD

This book constitutes the proceedings of the 19th Asian Symposium on Programming Languages and Systems, APLAS 2021, held in Chicago, USA, in October 2021.*The 17 papers presented in this volume were carefully reviewed and selected from 43 submissions. They were organized in topical sections named: analysis and synthesis, compilation and transformation, language, and verification.* The conference
... En savoir plus
Foundational and Practical Aspects of Resource Analysis

Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers

Modifié par Ugo Dal Lago, Ricardo Peña ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the Third International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2013, held in Bertinoro, Italy, in August 2013. The 9 papers presented in this volume were carefully reviewed and selected from 12 submissions. They deal with traditional approaches to complexity analysis, differential privacy, and probabilistic analysis of ... En savoir plus

$51.29 CAD

This book constitutes the proceedings of the Third International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2013, held in Bertinoro, Italy, in August 2013. The 9 papers presented in this volume were carefully reviewed and selected from 12 submissions. They deal with traditional approaches to complexity analysis, differential privacy, and probabilistic analysis of
... En savoir plus
Workload Characterization for Computer System Design

Modifié par Lizy Kurian John, Ann Marie Grizzaffi Maynard ...

Collections Livre 542 - The Springer International Series in Engineering and Computer Science
The advent of the world-wide web and web-based applications have dramatically changed the nature of computer applications. Computer system design, in the light of these changes, involves understanding these modem workloads, identifying bottlenecks during their execution, and appropriately tailoring microprocessors, memory systems, and the overall system to minimize bottlenecks. This book contains ... En savoir plus

$115.29 CAD

The advent of the world-wide web and web-based applications have dramatically changed the nature of computer applications. Computer system design, in the light of these changes, involves understanding these modem workloads, identifying bottlenecks during their execution, and appropriately tailoring microprocessors, memory systems, and the overall system to minimize bottlenecks. This book contains
... En savoir plus
Decode the Compiler

Understand how compilers optimize C/C++ using AI-guided explanations

par Amar Akshat ...

Understand modern compiler optimization logs and use AI tools to decode Clang/LLVM decisions in C/C++ workflows.Key FeaturesDecode complex Clang/LLVM optimization outputs using AILearn performance-tuning strategies rooted in compiler cost modelsBuild trustable AI pipelines for code optimization analysisBook DescriptionDecode the Compiler takes you on a journey through the inner workings of modern ... En savoir plus

$40.79 CAD

PRÉCOMMANDER

Understand modern compiler optimization logs and use AI tools to decode Clang/LLVM decisions in C/C++ workflows.Key FeaturesDecode complex Clang/LLVM optimization outputs using AILearn performance-tuning strategies rooted in compiler cost modelsBuild trustable AI pipelines for code optimization analysisBook DescriptionDecode the Compiler takes you on a journey through the inner workings of modern
... En savoir plus
Modern C

par Jens Gustedt ...

SummaryModern C focuses on the new and unique features of modern C programming. The book is based on the latest C standards and offers an up-to-date perspective on this tried-and-true language.About the technologyC is extraordinarily modern for a 50-year-old programming language. Whether you’re writing embedded code, low-level system routines, or high-performance applications, C is up to the ... En savoir plus

$38.99 CAD

SummaryModern C focuses on the new and unique features of modern C programming. The book is based on the latest C standards and offers an up-to-date perspective on this tried-and-true language.About the technologyC is extraordinarily modern for a 50-year-old programming language. Whether you’re writing embedded code, low-level system routines, or high-performance applications, C is up to the
... En savoir plus
FME 2003: Formal Methods

International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings

Modifié par Keijiro Araki, Stefania Gnesi, Dion Mandrioli ...

Collections series Computer Science (R0)
ThisvolumecontainstheproceedingsofFM2003,the12thInternationalFormal Methods Europe Symposium which was held in Pisa, Italy on September 8–14, 2003. Formal Methods Europe (FME, www. fmeurope. org) is an independent - sociation which aims to stimulate the use of and research on formal methods for system development. FME conferences began with a VDM Europe symposium in 1987. Since then, the meetings ... En savoir plus

$115.29 CAD

ThisvolumecontainstheproceedingsofFM2003,the12thInternationalFormal Methods Europe Symposium which was held in Pisa, Italy on September 8–14, 2003. Formal Methods Europe (FME, www. fmeurope. org) is an independent - sociation which aims to stimulate the use of and research on formal methods for system development. FME conferences began with a VDM Europe symposium in 1987. Since then, the meetings
... En savoir plus
Scientific Data Analysis using Jython Scripting and Java

par Sergei V. Chekanov ...

Collections series Computer Science (R0)
Scientific Data Analysis using Jython Scripting and Java presents practical approaches for data analysis using Java scripting based on Jython, a Java implementation of the Python language. The chapters essentially cover all aspects of data analysis, from arrays and histograms to clustering analysis, curve fitting, metadata and neural networks. A comprehensive coverage of data visualisation tools ... En savoir plus

$64.09 CAD

Scientific Data Analysis using Jython Scripting and Java presents practical approaches for data analysis using Java scripting based on Jython, a Java implementation of the Python language. The chapters essentially cover all aspects of data analysis, from arrays and histograms to clustering analysis, curve fitting, metadata and neural networks. A comprehensive coverage of data visualisation tools
... En savoir plus
Engineering Trustworthy Software Systems

Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

Modifié par Jonathan P. Bowen, Zhiming Liu, Zili Zhang ...

Collections series Springer Nature Proceedings Computer Science
This volume contains a record of some of the lectures and seminars delivered at the Second International School on Engineering Trustworthy Software Systems (SETSS 2016), held in March/April 2016 at Southwest University in Chongqing, China.The six contributions included in this volume provide an overview of leading-edge research in methods and tools for use in computer system engineering. They have ... En savoir plus

$64.09 CAD

This volume contains a record of some of the lectures and seminars delivered at the Second International School on Engineering Trustworthy Software Systems (SETSS 2016), held in March/April 2016 at Southwest University in Chongqing, China.The six contributions included in this volume provide an overview of leading-edge research in methods and tools for use in computer system engineering. They have
... En savoir plus
MATLAB Recipes

A Problem-Solution Approach

par Michael Paluszek, Stephanie Thomas ...

Collections series Professional and Applied Computing (R0)
Learn from state-of-the-art examples in robotics, motors, detection filters, chemical processes, aircraft, and spacecraft. With this book you will review contemporary MATLAB coding including the latest MATLAB language features and use MATLAB as a software development environment including code organization, GUI development, and algorithm design and testing.Features now covered include the new ... En savoir plus

$75.49 CAD

Learn from state-of-the-art examples in robotics, motors, detection filters, chemical processes, aircraft, and spacecraft. With this book you will review contemporary MATLAB coding including the latest MATLAB language features and use MATLAB as a software development environment including code organization, GUI development, and algorithm design and testing.Features now covered include the new
... En savoir plus
Programming Languages and Operational Semantics

A Concise Overview

par Maribel Fernández ...

Collections series Computer Science (R0)
This book provides an introduction to the essential concepts in programming languages, using operational semantics techniques. It presents alternative programming language paradigms and gives an in-depth analysis of the most significant constructs in modern imperative, functional and logic programming languages. The book is designed to accompany lectures on programming language design for ... En savoir plus

$51.29 CAD

This book provides an introduction to the essential concepts in programming languages, using operational semantics techniques. It presents alternative programming language paradigms and gives an in-depth analysis of the most significant constructs in modern imperative, functional and logic programming languages. The book is designed to accompany lectures on programming language design for
... En savoir plus
Business Analytics Using R - A Practical Approach

par Umesh R Hodeghatta, Umesha Nayak ...

Collections series Professional and Applied Computing (R0)
Learn the fundamental aspects of the business statistics, data mining, and machine learning techniques required to understand the huge amount of data generated by your organization. This book explains practical business analytics through examples, covers the steps involved in using it correctly, and shows you the context in which a particular technique does not make sense. Further, Practical ... En savoir plus

$75.49 CAD

Learn the fundamental aspects of the business statistics, data mining, and machine learning techniques required to understand the huge amount of data generated by your organization. This book explains practical business analytics through examples, covers the steps involved in using it correctly, and shows you the context in which a particular technique does not make sense. Further, Practical
... En savoir plus
Evaluation of Novel Approaches to Software Engineering

13th International Conference, ENASE 2018, Funchal, Madeira, Portugal, March 23–24, 2018, Revised Selected Papers

Modifié par Ernesto Damiani, George Spanoudakis, Leszek A. Maciaszek ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2018, held in Funchal, Madeira, Portugal, in March 2018.The 17 revised full papers and 5 revised short papers presented were carefully reviewed and selected from 95 submissions. The papers are organized in topical sections on service science and ... En savoir plus

$96.09 CAD

This book constitutes the refereed proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2018, held in Funchal, Madeira, Portugal, in March 2018.The 17 revised full papers and 5 revised short papers presented were carefully reviewed and selected from 95 submissions. The papers are organized in topical sections on service science and
... En savoir plus
Reversible Computation

10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings

Modifié par Jarkko Kari, Irek Ulidowski ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 10th International Conference on Reversible Computation, RC 2018, held in Leicester, UK, in September 2018.The 13 full, 7 short, and one tutorial papers included in this volume together with four invited talks were carefully reviewed and selected from 28 submissions. The papers are organized in the following topical sections: reversible ... En savoir plus

$64.09 CAD

This book constitutes the refereed proceedings of the 10th International Conference on Reversible Computation, RC 2018, held in Leicester, UK, in September 2018.The 13 full, 7 short, and one tutorial papers included in this volume together with four invited talks were carefully reviewed and selected from 28 submissions. The papers are organized in the following topical sections: reversible
... En savoir plus
Exploring Robotics with ROBOTIS Systems

par Chi N. Thai ...

Collections series Computer Science (R0)
This 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-learner. It covers wheel-based robots, as well as walking robots. Although it uses the standard “Sense, Think, Act” approach, communications (bot-to-bot and PC-to-bot) programming concepts are ... En savoir plus

$51.29 CAD

This 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-learner. It covers wheel-based robots, as well as walking robots. Although it uses the standard “Sense, Think, Act” approach, communications (bot-to-bot and PC-to-bot) programming concepts are
... En savoir plus
Go Recipes

A Problem-Solution Approach

par Shiju Varghese ...

Collections series Professional and Applied Computing (R0)
Solve your Go problems using a problem-solution approach. Each recipe is a self-contained answer to a practical programming problem in Go. Go Recipes contains recipes that deal with the fundamentals of Go, allowing you to build simple, reliable, and efficient software. Other topics include working with data using modern NoSQL databases such as MongoDB and RethinkDB. The book provides in-depth ... En savoir plus

$56.29 CAD

Solve your Go problems using a problem-solution approach. Each recipe is a self-contained answer to a practical programming problem in Go. Go Recipes contains recipes that deal with the fundamentals of Go, allowing you to build simple, reliable, and efficient software. Other topics include working with data using modern NoSQL databases such as MongoDB and RethinkDB. The book provides in-depth
... En savoir plus
Einführung in die Bash

Konzepte, Kommandos und Programmierung

par Peter Mandl ...

Collections series Computer Science and Engineering (German Language)
Das Buch vermittelt praktisch verwertbare Shell-Kenntnisse mit einem Fokus auf Bash unter Linux. Neben den grundlegenden Konzepten werden die wichtigsten Bash-Kommandos für die Dateibearbeitung, die Vergabe von Rechten und die Prozessverwaltung knapp und prägnant erläutert. Die Kommandos werden mit vielen Übungen praktisch erprobt. Erste Shell-Programme können nach kurzer Zeit eigenständig ... En savoir plus

$21.59 CAD

Das Buch vermittelt praktisch verwertbare Shell-Kenntnisse mit einem Fokus auf Bash unter Linux. Neben den grundlegenden Konzepten werden die wichtigsten Bash-Kommandos für die Dateibearbeitung, die Vergabe von Rechten und die Prozessverwaltung knapp und prägnant erläutert. Die Kommandos werden mit vielen Übungen praktisch erprobt. Erste Shell-Programme können nach kurzer Zeit eigenständig
... En savoir plus
Python 3 - Intensivkurs

Projekte erfolgreich realisieren

Traduit par Florian Wollenschein ...

par Mark Pilgrim ...

Collections series Computer Science and Engineering (German Language)
Python ist eine übersichtliche Programmiersprache, die objektorientierte und strukturierte Programmierung ermöglicht sowie Aspekt-orientierte und funktionale Features besitzt. In den letzten Jahren kamen immer mehr Python-programmierte Anwendungen hinzu. Mit Python 3 steht nun eine Version zur Verfügung, die wesentliche Änderungen zu früheren Versionen enthält.In Python 3 - Intensivkurs gibt der ... En savoir plus

$50.59 CAD

Python ist eine übersichtliche Programmiersprache, die objektorientierte und strukturierte Programmierung ermöglicht sowie Aspekt-orientierte und funktionale Features besitzt. In den letzten Jahren kamen immer mehr Python-programmierte Anwendungen hinzu. Mit Python 3 steht nun eine Version zur Verfügung, die wesentliche Änderungen zu früheren Versionen enthält.In Python 3 - Intensivkurs gibt der
... En savoir plus
Introduction to Concurrency in Programming Languages

par Matthew J. Sottile, Timothy G. Mattson, Craig E Rasmussen ...

Illustrating the effect of concurrency on programs written in familiar languages, this text focuses on novel language abstractions that truly bring concurrency into the language and aid analysis and compilation tools in generating efficient, correct programs. It also explains the complexity involved in taking advantage of concurrency with regard to program correctness and performance. The book ... En savoir plus

Prix courant $126.41 CAD Maintenant $112.67 CAD

Illustrating the effect of concurrency on programs written in familiar languages, this text focuses on novel language abstractions that truly bring concurrency into the language and aid analysis and compilation tools in generating efficient, correct programs. It also explains the complexity involved in taking advantage of concurrency with regard to program correctness and performance. The book
... En savoir plus
Die ultimative FRITZ!Box Bibel - Das Praxisbuch 2. aktualisierte Auflage - mit vielen Insider Tipps und Tricks - komplett in Farbe

par Wolfram Gieseke ...

Die ultimative FRITZ!Box-Bibel - Das Praxisbuch – komplett in Farbe! 2. aktualisierte AuflageUnd sollten einmal Probleme auftreten, steht Ihnen der erfahrene Autor Wolfram Gieseke ebenfalls mit Rat und Tat zur Seite.Aus dem Inhalt: ... En savoir plus

$21.99 CAD ou Gratuit avec Kobo Plus

Die ultimative FRITZ!Box-Bibel - Das Praxisbuch – komplett in Farbe! 2. aktualisierte AuflageUnd sollten einmal Probleme auftreten, steht Ihnen der erfahrene Autor Wolfram Gieseke ebenfalls mit Rat und Tat zur Seite.Aus dem Inhalt:
... En savoir plus
Interpreting LISP

Programming and Data Structures

par Gary D. Knott ...

Collections series Professional and Applied Computing (R0)
Learn Lisp programming in a data structures context, including tables, functions, forms, expressions, typed-pointers, I/O, garbage collection and some applications. This short primer contains a careful description of the data structures manipulated by Lisp functions. These data structures and others, notably hash tables, are also used in constructing a Lisp interpreter.Interpreting Lisp will be of ... En savoir plus

$44.29 CAD

Learn Lisp programming in a data structures context, including tables, functions, forms, expressions, typed-pointers, I/O, garbage collection and some applications. This short primer contains a careful description of the data structures manipulated by Lisp functions. These data structures and others, notably hash tables, are also used in constructing a Lisp interpreter.Interpreting Lisp will be of
... En savoir plus
SDL 2017: Model-Driven Engineering for Future Internet

18th International SDL Forum, Budapest, Hungary, October 9–11, 2017, Proceedings

Modifié par Gábor Kovács, György Réthy, Tibor Csöndes ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 18th International System Design Language Forum, SDL 2017, held in Budapest, Hungary, in October 2017. The 10 full papers presented in this volume were carefully reviewed and selected from 17 submissions. The selected papers cover a wide spectrum of topics related to system design languages ranging from the system design language usage to UML and GRL ... En savoir plus

$64.09 CAD

This book constitutes the proceedings of the 18th International System Design Language Forum, SDL 2017, held in Budapest, Hungary, in October 2017. The 10 full papers presented in this volume were carefully reviewed and selected from 17 submissions. The selected papers cover a wide spectrum of topics related to system design languages ranging from the system design language usage to UML and GRL
... 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 :