Rakuten Kobo

Building Embedded Systems

Programmable Hardware

par Changyi Gu ...

Collections series Professional and Applied Computing (R0)
Develop the software and hardware you never think about. We're talking about the nitty-gritty behind the buttons on your microwave, inside your thermostat, inside the keyboard used to type this description, and even running the monitor on which you are reading it now. Such stuff is termed embedded systems, and this book shows how to design and develop embedded systems at a professional level. ... En savoir plus

$96.99 CAD

Develop the software and hardware you never think about. We're talking about the nitty-gritty behind the buttons on your microwave, inside your thermostat, inside the keyboard used to type this description, and even running the monitor on which you are reading it now. Such stuff is termed embedded systems, and this book shows how to design and develop embedded systems at a professional level.
... En savoir plus
PHP CLI

Create Command Line Interface Scripts with PHP

par Rob Aley ...

Collections series Professional and Applied Computing (R0)
This concise book shows you how to create PHP command line interface (CLI) scripts, including user interaction and scripts to automate and assist your workflow. Learn to quickly create useful and effective command line software and scripts using the world's most popular web scripting language, PHP. Enjoy the benefits of writing CLI scripts in PHP: save money by redeploying existing skills, not ... En savoir plus

$27.99 CAD

This concise book shows you how to create PHP command line interface (CLI) scripts, including user interaction and scripts to automate and assist your workflow. Learn to quickly create useful and effective command line software and scripts using the world's most popular web scripting language, PHP. Enjoy the benefits of writing CLI scripts in PHP: save money by redeploying existing skills, not
... En savoir plus
Static Analysis

33rd International Symposium, SAS 2026, Oakland, CA, USA, October 6–8, 2026, Proceedings

Modifié par Sébastien Bardin, Aditya V. Thakur ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 33rd International Static Analysis Symposium, SAS 2026, held in Oakland, CA, USA, during October 6–8, 2026.The 20 papers included here were carefully reviewed and selected from 43 submissions. They focus on abstract interpretation, automated deduction, data flow analysis, debugging techniques, deductive methods, emerging applications, model ... En savoir plus

$93.99 CAD

This book constitutes the refereed proceedings of the 33rd International Static Analysis Symposium, SAS 2026, held in Oakland, CA, USA, during October 6–8, 2026.The 20 papers included here were carefully reviewed and selected from 43 submissions. They focus on abstract interpretation, automated deduction, data flow analysis, debugging techniques, deductive methods, emerging applications, model
... En savoir plus
Programming Smalltalk – Object-Orientation from the Beginning

An introduction to the principles of programming

par Johannes Brauer ...

Collections series Computer Science (R0)
A straightforward, step-by-step introduction to clear and elegant object-oriented programming. Using a language that's perfect for this kind of programming, the book has been tested in numerous courses and workshops over ten years.Programming Smalltalk is particularly suited for readers with no prior programming knowledge. Starting from the first principles of programming, it teaches you how to ... En savoir plus

$70.99 CAD

A straightforward, step-by-step introduction to clear and elegant object-oriented programming. Using a language that's perfect for this kind of programming, the book has been tested in numerous courses and workshops over ten years.Programming Smalltalk is particularly suited for readers with no prior programming knowledge. Starting from the first principles of programming, it teaches you how to
... En savoir plus
Introduction to Scilab

For Engineers and Scientists

par Sandeep Nagar ...

Collections series Professional and Applied Computing (R0)
Familiarize yourself with Scilab using this concise, practical tutorial that is focused on writing code to learn concepts. Starting from the basics, this book covers array-based computing, plotting, and working with files in Scilab. Introduction to Scilab is useful for industry engineers, researchers, and students who are looking for open-source solutions for numerical computation.In this book you ... En savoir plus

$56.99 CAD

Familiarize yourself with Scilab using this concise, practical tutorial that is focused on writing code to learn concepts. Starting from the basics, this book covers array-based computing, plotting, and working with files in Scilab. Introduction to Scilab is useful for industry engineers, researchers, and students who are looking for open-source solutions for numerical computation.In this book you
... En savoir plus
Theory and Practice of Model Transformations

8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings

Modifié par Dimitris Kolovos, Manuel Wimmer ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 8th International Conference on Model Transformation, ICMT 2015, held in L'Aquila, Italy, in July 2015, as Part of STAF 2015, the federation of a number of the leading conferences on software technologies. The 16 revised papers were carefully selected from 34 submissions. The papers are organized in topical sections on change management; reuse ... En savoir plus

$60.99 CAD

This book constitutes the refereed proceedings of the 8th International Conference on Model Transformation, ICMT 2015, held in L'Aquila, Italy, in July 2015, as Part of STAF 2015, the federation of a number of the leading conferences on software technologies. The 16 revised papers were carefully selected from 34 submissions. The papers are organized in topical sections on change management; reuse
... En savoir plus
Practical Numerical C Programming

Finance, Engineering, and Physics Applications

par Philip Joyce ...

Collections series Professional and Applied Computing (R0)
Master the C code appropriate for numerical methods and computational modeling, including syntax, loops, subroutines, and files. Then, this hands-on book dives into financial applications using regression models, product moment correlation coefficients, and asset pricing.Next, Practical Numerical C Programming covers applications for engineering/business such as supermarket stock reordering ... En savoir plus

$96.99 CAD

Master the C code appropriate for numerical methods and computational modeling, including syntax, loops, subroutines, and files. Then, this hands-on book dives into financial applications using regression models, product moment correlation coefficients, and asset pricing.Next, Practical Numerical C Programming covers applications for engineering/business such as supermarket stock reordering
... En savoir plus
A Concise Introduction to Software Engineering

With Open Source and GenAI

par Pankaj Jalote ...

Collections series Computer Science (R0)
Software engineering has changed: A software project today is likely to use large language models (LLMs) for some tasks and will employ some open-source software. It is therefore important to integrate open source and use of LLMs in teaching software engineering – a key goal of this textbook.This reader-friendly textbook/reference introduces a carefully curated set of concepts and practices ... En savoir plus

$64.99 CAD

Software engineering has changed: A software project today is likely to use large language models (LLMs) for some tasks and will employ some open-source software. It is therefore important to integrate open source and use of LLMs in teaching software engineering – a key goal of this textbook.This reader-friendly textbook/reference introduces a carefully curated set of concepts and practices
... En savoir plus
Networked Systems

10th International Conference, NETYS 2022, Virtual Event, May 17–19, 2022, Proceedings

Modifié par Mohammed-Amine Koulali, Mira Mezini ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the revised selected papers of the 10th International Conference on Networked Systems, NETYS 2022, held as virtual event, in May 17–19, 2022. The conference was held virtually due to the COVID-19 crisis.The 18 full papers and 2 short papers presented were carefully reviewed and selected from 100 submissions. The scope of the conference covers all aspects related to the design ... En savoir plus

$64.99 CAD

This book constitutes the revised selected papers of the 10th International Conference on Networked Systems, NETYS 2022, held as virtual event, in May 17–19, 2022. The conference was held virtually due to the COVID-19 crisis.The 18 full papers and 2 short papers presented were carefully reviewed and selected from 100 submissions. The scope of the conference covers all aspects related to the design
... En savoir plus
Languages for Digital Embedded Systems

par Stephen A. Edwards ...

Collections Livre 572 - The Springer International Series in Engineering and Computer Science
Appropriate for use as a graduate text or a professional reference, Languages for Digital Embedded Systems is the first detailed, broad survey of hardware and software description languages for embedded system design.Instead of promoting the one language that will solve all design problems (which does not and will not ever exist), this book takes the view that different problems demand different ... En savoir plus

$179.99 CAD

Appropriate for use as a graduate text or a professional reference, Languages for Digital Embedded Systems is the first detailed, broad survey of hardware and software description languages for embedded system design.Instead of promoting the one language that will solve all design problems (which does not and will not ever exist), this book takes the view that different problems demand different
... En savoir plus
Practical Scala DSLs

Real-World Applications Using Domain Specific Languages

par Pierluigi Riti ...

Collections series Professional and Applied Computing (R0)
Build domain specific languages (DSLs) using Java's most popular functional programming language: Scala. This book introduces the basics of Scala and DSLs using a series of practical examples. In Practical Scala DSLs, you’ll learn to create pragmatic and complete code examples that explain the actual use of DSLs with Scala: a web API and microservices; a custom language; a mobile app; a Forex ... En savoir plus

$57.99 CAD

Build domain specific languages (DSLs) using Java's most popular functional programming language: Scala. This book introduces the basics of Scala and DSLs using a series of practical examples. In Practical Scala DSLs, you’ll learn to create pragmatic and complete code examples that explain the actual use of DSLs with Scala: a web API and microservices; a custom language; a mobile app; a Forex
... En savoir plus
Java in Two Semesters

Featuring JavaFX

par Quentin Charatan, Aaron Kans ...

Collections series Computer Science (R0)
This easy-to-follow textbook teaches Java programming from first principles, as well as covering design and testing methodologies. The text is divided into two parts. Each part supports a one-semester module, the first part addressing fundamental programming concepts, and the second part building on this foundation, teaching the skills required to develop more advanced applications.This fully ... En savoir plus

$89.99 CAD

This easy-to-follow textbook teaches Java programming from first principles, as well as covering design and testing methodologies. The text is divided into two parts. Each part supports a one-semester module, the first part addressing fundamental programming concepts, and the second part building on this foundation, teaching the skills required to develop more advanced applications.This fully
... En savoir plus
Leveraging Applications of Formal Methods, Verification and Validation. Modeling

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

Modifié par Tiziana Margaria, Bernhard Steffen ...

Collections Livre 1 - 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.99 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
Rewriting Logic and Its Applications

11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers

Modifié par Dorel Lucanu ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-workshop proceedings of the 11th International Workshop on Rewriting Logic and its Applications, WRLA 2016, held as a satellite event of ETAPS 2016, in Eindhoven, The Netherlands, in April 2016.The 8 revised full papers presented together with 2 invited papers and 3 abstracts were carefully reviewed and selected from 14 submissions. The papers ... En savoir plus

$64.99 CAD

This book constitutes the thoroughly refereed post-workshop proceedings of the 11th International Workshop on Rewriting Logic and its Applications, WRLA 2016, held as a satellite event of ETAPS 2016, in Eindhoven, The Netherlands, in April 2016.The 8 revised full papers presented together with 2 invited papers and 3 abstracts were carefully reviewed and selected from 14 submissions. The papers
... 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.99 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
Ethical Hacking: Complete Guide to Osint and Real-world Pentesting Labs

A Step by Step Guide for You to Learn the Fundamentals of Ethical Hacking and Cybersecurity

par Dwight Smith ...

This book is perfect for beginners and professionals who want to improve their skills. You will learn how to use essential tools such as metasploit, wireshark, nmap, and burp suite, explore encryption techniques, and discover how to design ethical attacks to test the security of systems. Each chapter is packed with practical examples and real-world case studies, making learning engaging and ... En savoir plus

$4.99 CAD

This book is perfect for beginners and professionals who want to improve their skills. You will learn how to use essential tools such as metasploit, wireshark, nmap, and burp suite, explore encryption techniques, and discover how to design ethical attacks to test the security of systems. Each chapter is packed with practical examples and real-world case studies, making learning engaging and
... En savoir plus
Software Engineering and Formal Methods

16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings

Modifié par Einar Broch Johnsen, Ina Schaefer ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 16th International Conference on Software Engineering and Formal Methods, SEFM 2018, held as part of STAF 2018, in Toulouse, France, in June 2018.The 17 full papers presented in this book were carefully reviewed and selected from 58 submissions. The papers deal with a large range of topics in the following research areas: specification; ... En savoir plus

$64.99 CAD

This book constitutes the refereed proceedings of the 16th International Conference on Software Engineering and Formal Methods, SEFM 2018, held as part of STAF 2018, in Toulouse, France, in June 2018.The 17 full papers presented in this book were carefully reviewed and selected from 58 submissions. The papers deal with a large range of topics in the following research areas: specification;
... En savoir plus
Programming with Actors

State-of-the-Art and Research Perspectives

Modifié par Alessandro Ricci, Philipp Haller ...

Collections series Computer Science (R0)
The set of papers collected in this issue originated from the AGERE! Workshop series - the last edition was held in 2017 - and concern the application of actor-based approaches to mainstream application domains and the discussion of related issues. The issue is divided into two parts. The first part concerns Web Programming; Data-Intensive Parallel Programming; Mobile Computing; Self-Organizing ... En savoir plus

$64.99 CAD

The set of papers collected in this issue originated from the AGERE! Workshop series - the last edition was held in 2017 - and concern the application of actor-based approaches to mainstream application domains and the discussion of related issues. The issue is divided into two parts. The first part concerns Web Programming; Data-Intensive Parallel Programming; Mobile Computing; Self-Organizing
... En savoir plus
Software Technologies: Applications and Foundations

STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers

Modifié par Martina Seidl, Steffen Zschaler ...

Collections series Springer Nature Proceedings Computer Science
This book contains the thoroughly refereed technical papers presented in six workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2017, held in Marburg, Germany, in July 2017.The 15 full and 22 short papers presented were carefully reviewed and selected from 37 submissions.The events whose papers are included in this volume are:BigMDE ... En savoir plus

$64.99 CAD

This book contains the thoroughly refereed technical papers presented in six workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2017, held in Marburg, Germany, in July 2017.The 15 full and 22 short papers presented were carefully reviewed and selected from 37 submissions.The events whose papers are included in this volume are:BigMDE
... En savoir plus
Symposium on Real-Time and Hybrid Systems

Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday

Modifié par Cliff Jones, Ji Wang, Naijun Zhan ...

Collections series Computer Science (R0)
This volume is published in honor of Professor Chaochen Zhou’s 80th birthday. The Festschrift contains 13 refereed papers by leading researchers who were among the participants of the celebratory conference in Changsha, China that took place in October 2017.The papers cover a broad spectrum of subjects related to Formal Methods for the development of computer systems. Topics include Probabilistic ... En savoir plus

$64.99 CAD

This volume is published in honor of Professor Chaochen Zhou’s 80th birthday. The Festschrift contains 13 refereed papers by leading researchers who were among the participants of the celebratory conference in Changsha, China that took place in October 2017.The papers cover a broad spectrum of subjects related to Formal Methods for the development of computer systems. Topics include Probabilistic
... En savoir plus
Chatbot Research and Design

5th International Workshop, CONVERSATIONS 2021, Virtual Event, November 23–24, 2021, Revised Selected Papers

Modifié par Asbjørn Følstad, Theo Araujo, Symeon Papadopoulos, Effie L.-C. Law, Ewa Luger, Morten Goodwin, Petter Bae Brandtzaeg ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 5th International Workshop on Chatbot Research and Design, CONVERSATIONS 2021, which was held during November 2021.Due to COVID-19 pandemic the conference was held online.The 12 papers included in this volume were carefully reviewed and selected from a total of 25 submissions. The papers in the proceedings are structured in four topical groups: Chatbot ... En savoir plus

$83.99 CAD

This book constitutes the proceedings of the 5th International Workshop on Chatbot Research and Design, CONVERSATIONS 2021, which was held during November 2021.Due to COVID-19 pandemic the conference was held online.The 12 papers included in this volume were carefully reviewed and selected from a total of 25 submissions. The papers in the proceedings are structured in four topical groups: Chatbot
... En savoir plus
Getting Structured Data from the Internet

Running Web Crawlers/Scrapers on a Big Data Production Scale

par Jay M. Patel ...

Collections series Business and Management (R0)
Utilize web scraping at scale to quickly get unlimited amounts of free data available on the web into a structured format. This book teaches you to use Python scripts to crawl through websites at scale and scrape data from HTML and JavaScript-enabled pages and convert it into structured data formats such as CSV, Excel, JSON, or load it into a SQL database of your choice.This book goes beyond the ... En savoir plus

$75.99 CAD

Utilize web scraping at scale to quickly get unlimited amounts of free data available on the web into a structured format. This book teaches you to use Python scripts to crawl through websites at scale and scrape data from HTML and JavaScript-enabled pages and convert it into structured data formats such as CSV, Excel, JSON, or load it into a SQL database of your choice.This book goes beyond the
... En savoir plus
Compiler Design

Syntactic and Semantic Analysis

par Reinhard Wilhelm, Helmut Seidl, Sebastian Hack ...

Collections series Computer Science (R0)
While compilers for high-level programming languages are large complex software systems, they have particular characteristics that differentiate them from other software systems. Their functionality is almost completely well-defined – ideally there exist complete precise descriptions of the source and target languages. Additional descriptions of the interfaces to the operating system, programming ... En savoir plus

$73.99 CAD

While compilers for high-level programming languages are large complex software systems, they have particular characteristics that differentiate them from other software systems. Their functionality is almost completely well-defined – ideally there exist complete precise descriptions of the source and target languages. Additional descriptions of the interfaces to the operating system, programming
... En savoir plus
Übersetzerbau

Band 2: Syntaktische und semantische Analyse

par Reinhard Wilhelm, Helmut Seidl, Sebastian Hack ...

Collections series Computer Science and Engineering (German Language)
Das Buch behandelt die Analysephase von Übersetzern für Programmiersprachen. Es beschreibt die lexikalische, die syntaktische und die semantische Analyse, Spezifikationsmechanismen für diese Aufgaben aus der Theorie der formalen Sprachen und automatische Erzeugungsverfahren aus der Theorie der Automaten. Vorgestellt wird eine konzeptionelle Übersetzerstruktur, also eine Aufteilung in eine Menge ... En savoir plus

$16.99 CAD

Das Buch behandelt die Analysephase von Übersetzern für Programmiersprachen. Es beschreibt die lexikalische, die syntaktische und die semantische Analyse, Spezifikationsmechanismen für diese Aufgaben aus der Theorie der formalen Sprachen und automatische Erzeugungsverfahren aus der Theorie der Automaten. Vorgestellt wird eine konzeptionelle Übersetzerstruktur, also eine Aufteilung in eine Menge
... 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 :