Rakuten Kobo

Tools and Algorithms for the Construction and Analysis of Systems

23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II

Modifié par Axel Legay, Tiziana Margaria ...

Collections Livre 2 - Springer Nature Proceedings Computer Science
The two-book set LNCS 10205 + 10206 constitutes the proceedings of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017.The 48 full papers, 4 tool demonstration papers, and 12 software ... En savoir plus

$64.99 CAD

The two-book set LNCS 10205 + 10206 constitutes the proceedings of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017.The 48 full papers, 4 tool demonstration papers, and 12 software
... En savoir plus
Introduction to Compiler Design

par Torben Ægidius Mogensen ...

Collections series Computer Science (R0)
The third edition of this textbook has been fully revised and adds material about the SSA form, polymorphism, garbage collection, and pattern matching. It presents techniques for making realistic compilers for simple to intermediate-complexity programming languages. The techniques presented in the book are close to those used in professional compilers, albeit in places slightly simplified for ... En savoir plus

$64.99 CAD

The third edition of this textbook has been fully revised and adds material about the SSA form, polymorphism, garbage collection, and pattern matching. It presents techniques for making realistic compilers for simple to intermediate-complexity programming languages. The techniques presented in the book are close to those used in professional compilers, albeit in places slightly simplified for
... En savoir plus
Pointers in C Programming

A Modern Approach to Memory Management, Recursive Data Structures, Strings, and Arrays

par Thomas Mailund ...

Collections series Professional and Applied Computing (R0)
Gain a better understanding of pointers, from the basics of how pointers function at the machine level, to using them for a variety of common and advanced scenarios. This short contemporary guide book on pointers in C programming provides a resource for professionals and advanced students needing in-depth hands-on coverage of pointer basics and advanced features. It includes the latest versions of ... En savoir plus

$75.99 CAD

Gain a better understanding of pointers, from the basics of how pointers function at the machine level, to using them for a variety of common and advanced scenarios. This short contemporary guide book on pointers in C programming provides a resource for professionals and advanced students needing in-depth hands-on coverage of pointer basics and advanced features. It includes the latest versions of
... En savoir plus
Perspectives of System Informatics

9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers

Modifié par Andrei Voronkov, A.P. Ershov Institute of Informatics Systems ...

Collections series Springer Nature Proceedings Computer Science
This book contains the thoroughly refereed papers from the 9th International Ershov Informatics Conference, PSI 2014, held in St. Petersburg, Russia, in June 2014.The 17 revised full papers, 11 revised short papers, and 2 system and experimental papers presented in this book were carefully reviewed and selected from 80 submissions. The volume also contains 5 keynote talks which cover a range of ... En savoir plus

$64.99 CAD

This book contains the thoroughly refereed papers from the 9th International Ershov Informatics Conference, PSI 2014, held in St. Petersburg, Russia, in June 2014.The 17 revised full papers, 11 revised short papers, and 2 system and experimental papers presented in this book were carefully reviewed and selected from 80 submissions. The volume also contains 5 keynote talks which cover a range of
... En savoir plus
Visual Design of GraphQL Data

A Practical Introduction with Legacy Data and Neo4j

par Thomas Frisendal ...

Collections series Professional and Applied Computing (R0)
Get an introduction to the visual design of GraphQL data and concepts, including GraphQL structures, semantics, and schemas in this compact, pragmatic book. In it you will see simple guidelines based on lessons learned from real-life data discovery and unification, as well as useful visualization techniques. These in turn help you improve the quality of your API designs and give you the skills to ... En savoir plus

$56.99 CAD

Get an introduction to the visual design of GraphQL data and concepts, including GraphQL structures, semantics, and schemas in this compact, pragmatic book. In it you will see simple guidelines based on lessons learned from real-life data discovery and unification, as well as useful visualization techniques. These in turn help you improve the quality of your API designs and give you the skills to
... En savoir plus
OpenMP: Conquering the Full Hardware Spectrum

15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings

Modifié par Xing Fan, Bronis R. de Supinski, Oliver Sinnen, Nasser Giacaman ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 15th International Workshop on Open MP, IWOMP 2019, held in Auckland, New Zealand, in September 2019.The 22 full papers presented in this volume were carefully reviewed and selected for inclusion in this book. The papers are organized in topical sections named: best paper; tools, accelerators, compilation, extensions, tasking, and using OpenMP. ... En savoir plus

$83.99 CAD

This book constitutes the proceedings of the 15th International Workshop on Open MP, IWOMP 2019, held in Auckland, New Zealand, in September 2019.The 22 full papers presented in this volume were carefully reviewed and selected for inclusion in this book. The papers are organized in topical sections named: best paper; tools, accelerators, compilation, extensions, tasking, and using OpenMP.
... En savoir plus
Engineering Trustworthy Software Systems

Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, 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 Third International School on Engineering Trustworthy Software Systems (SETSS 2017), held in April 2017 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 been ... En savoir plus

$64.99 CAD

This volume contains a record of some of the lectures and seminars delivered at the Third International School on Engineering Trustworthy Software Systems (SETSS 2017), held in April 2017 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 been
... En savoir plus
MATLAB Graphical Programming

Practical hands-on MATLAB solutions

par Cesar Lopez ...

Collections series Professional and Applied Computing (R0)
MATLAB enables you to work with its graphics capabilities in almost all areas of the experimental sciences and engineering. The commands that MATLAB implements in job related graphics are quite useful and are very efficient.MATLAB has functions for working with two-dimensional and three-dimensional graphics, statistical graphs, curves and surfaces in explicit, implicit, parametric and polar ... En savoir plus

$56.99 CAD

MATLAB enables you to work with its graphics capabilities in almost all areas of the experimental sciences and engineering. The commands that MATLAB implements in job related graphics are quite useful and are very efficient.MATLAB has functions for working with two-dimensional and three-dimensional graphics, statistical graphs, curves and surfaces in explicit, implicit, parametric and polar
... En savoir plus
Build Mobile Apps with Ionic 4 and Firebase

Hybrid Mobile App Development

par Fu Cheng ...

Collections series Professional and Applied Computing (R0)
Leverage your existing web development skills to learn the whole cycle of hybrid mobile app development. This edition is fully updated with the changes in Ionic 4, including Stencil, a new framework based on the web components standard. It explains Ionic and Firebase in detail, including how to create hybrid mobile apps using using React and Vue, and run those apps in an internal browser using a ... En savoir plus

$80.99 CAD

Leverage your existing web development skills to learn the whole cycle of hybrid mobile app development. This edition is fully updated with the changes in Ionic 4, including Stencil, a new framework based on the web components standard. It explains Ionic and Firebase in detail, including how to create hybrid mobile apps using using React and Vue, and run those apps in an internal browser using a
... En savoir plus
Beginning Adobe Animate CC

Learn to Efficiently Create and Deploy Animated and Interactive Content

par TOM GREEN, Joseph Labrecque ...

Collections series Professional and Applied Computing (R0)
Use solid and practical exercises to master the fundamentals of Adobe Animate CC. This is one of the first comprehensive books on Adobe Animate CC to thoroughly examine and demonstrate how to create and deploy interactive and motion design content to mobile, tablet, and desktop screens.Using a series of carefully developed tutorials, Beginning Adobe Animate CC will lead you from basic Animate CC ... En savoir plus

$96.99 CAD

Use solid and practical exercises to master the fundamentals of Adobe Animate CC. This is one of the first comprehensive books on Adobe Animate CC to thoroughly examine and demonstrate how to create and deploy interactive and motion design content to mobile, tablet, and desktop screens.Using a series of carefully developed tutorials, Beginning Adobe Animate CC will lead you from basic Animate CC
... En savoir plus
Software Engineering and Formal Methods

SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers

Modifié par Carlos Canal, Akram Idani ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes revised selected papers from the workshops collocated with the SEFM 2014 conference on Software Engineering and Formal Methods, held in Grenoble, France, in September 2014. The 26 papers included in this volume were carefully reviewed and selected from 49 submissions. They are from the following workshops: the 1st Workshop on Human-Oriented Formal Methods - From Readability ... En savoir plus

$64.99 CAD

This book constitutes revised selected papers from the workshops collocated with the SEFM 2014 conference on Software Engineering and Formal Methods, held in Grenoble, France, in September 2014. The 26 papers included in this volume were carefully reviewed and selected from 49 submissions. They are from the following workshops: the 1st Workshop on Human-Oriented Formal Methods - From Readability
... En savoir plus
OpenMP: Memory, Devices, and Tasks

12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings

Modifié par Naoya Maruyama, Bronis R. de Supinski, Mohamed Wahib ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 12th International Workshop on OpenMP, IWOMP 2016, held in Nara, Japan, in October 2016.The 24 full papers presented in this volume were carefully reviewed and selected from 28 submissions. They were organized in topical sections named: applications, locality, task parallelism, extensions, tools, accelerator programming, and performance evaluations and ... En savoir plus

$64.99 CAD

This book constitutes the proceedings of the 12th International Workshop on OpenMP, IWOMP 2016, held in Nara, Japan, in October 2016.The 24 full papers presented in this volume were carefully reviewed and selected from 28 submissions. They were organized in topical sections named: applications, locality, task parallelism, extensions, tools, accelerator programming, and performance evaluations and
... En savoir plus
A Tiny Handbook of R

par Mike Allerhand ...

Collections series Mathematics and Statistics (R0)
This Brief provides a roadmap for the R language and programming environment with signposts to further resources and documentation. ... En savoir plus

$77.99 CAD

This Brief provides a roadmap for the R language and programming environment with signposts to further resources and documentation.
... En savoir plus
MATLAB Linear Algebra

par Cesar Lopez ...

Collections series Professional and Applied Computing (R0)
MATLAB is a high-level language and environment for numerical computation, visualization, and programming. Using MATLAB, you can analyze data, develop algorithms, and create models and applications. The language, tools, and built-in math functions enable you to explore multiple approaches and reach a solution faster than with spreadsheets or traditional programming languages, such as C/C++ or Java ... En savoir plus

$63.99 CAD

MATLAB is a high-level language and environment for numerical computation, visualization, and programming. Using MATLAB, you can analyze data, develop algorithms, and create models and applications. The language, tools, and built-in math functions enable you to explore multiple approaches and reach a solution faster than with spreadsheets or traditional programming languages, such as C/C++ or Java
... En savoir plus
Computer Graphics for Java Programmers

par Kang Zhang, Leen Ammeraal ...

Collections series Computer Science (R0)
This third edition covers fundamental concepts in creating and manipulating 2D and 3D graphical objects, including topics from classic graphics algorithms to color and shading models. It maintains the style of the two previous editions, teaching each graphics topic in a sequence of concepts, mathematics, algorithms, optimization techniques, and Java coding.Completely revised and updated according ... En savoir plus

$86.99 CAD

This third edition covers fundamental concepts in creating and manipulating 2D and 3D graphical objects, including topics from classic graphics algorithms to color and shading models. It maintains the style of the two previous editions, teaching each graphics topic in a sequence of concepts, mathematics, algorithms, optimization techniques, and Java coding.Completely revised and updated according
... En savoir plus
MATLAB Deep Learning

With Machine Learning, Neural Networks and Artificial Intelligence

par Phil Kim ...

Collections series Professional and Applied Computing (R0)
Get started with MATLAB for deep learning and AI with this in-depth primer. In this book, you start with machine learning fundamentals, then move on to neural networks, deep learning, and then convolutional neural networks. In a blend of fundamentals and applications, MATLAB Deep Learning employs MATLAB as the underlying programming language and tool for the examples and case studies in this book ... En savoir plus

$75.99 CAD

Get started with MATLAB for deep learning and AI with this in-depth primer. In this book, you start with machine learning fundamentals, then move on to neural networks, deep learning, and then convolutional neural networks. In a blend of fundamentals and applications, MATLAB Deep Learning employs MATLAB as the underlying programming language and tool for the examples and case studies in this book
... En savoir plus
Programming Languages and Systems

13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings

Modifié par Xinyu Feng, Sungwoo Park ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 13th Asian Symposium on Programming Languages and Systems, APLAS 2015, held in Pohang, South Korea, in November/December 2015. The 24 regular papers presented together with 1 short paper were carefully reviewed and selected from 74 submissions. The papers cover a variety of foundational and practical issues in programming languages and systems ... En savoir plus

$64.99 CAD

This book constitutes the refereed proceedings of the 13th Asian Symposium on Programming Languages and Systems, APLAS 2015, held in Pohang, South Korea, in November/December 2015. The 24 regular papers presented together with 1 short paper were carefully reviewed and selected from 74 submissions. The papers cover a variety of foundational and practical issues in programming languages and systems
... En savoir plus
Graph Transformation

16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19–20, 2023, Proceedings

Modifié par Maribel Fernández, Christopher M. Poskitt ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 16th International Conference on Graph Transformation, ICGT 2023, held as Part of STAF 2023 in Leicester, UK, in July 2023.The 14 full papers and 2 short papers presented in this book were carefully reviewed and selected from 29 submissions. The conference focuses on describing new unpublished contributions in the theory and applications of ... En savoir plus

$83.99 CAD

This book constitutes the refereed proceedings of the 16th International Conference on Graph Transformation, ICGT 2023, held as Part of STAF 2023 in Leicester, UK, in July 2023.The 14 full papers and 2 short papers presented in this book were carefully reviewed and selected from 29 submissions. The conference focuses on describing new unpublished contributions in the theory and applications of
... 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.99 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
Windows APT Warfare

Identify and prevent Windows APT attacks effectively

par Sheng-Hao Ma ...

Learn Windows system design from the PE binary structure to modern and practical attack techniques used by red teams to implement advanced prevention Purchase of the print or Kindle book includes a free PDF eBookKey FeaturesUnderstand how malware evades modern security productsLearn to reverse engineer standard PE format program filesBecome familiar with modern attack techniques used by multiple ... En savoir plus

$38.99 CAD ou Gratuit avec Kobo Plus

Learn Windows system design from the PE binary structure to modern and practical attack techniques used by red teams to implement advanced prevention Purchase of the print or Kindle book includes a free PDF eBookKey FeaturesUnderstand how malware evades modern security productsLearn to reverse engineer standard PE format program filesBecome familiar with modern attack techniques used by multiple
... En savoir plus
Beginning Rust

Get Started with Rust 2021 Edition

par Carlo Milanesi ...

Collections series Professional and Applied Computing (R0)
Learn to program with Rust 2021 Edition, in an easy, step-by-step manner on Unix, the Linux shell, macOS, and the Windows command line. As you read this book, you’ll build on the knowledge you gained in previous chapters and see what Rust has to offer.Beginning Rust starts with the basics of Rust, including how to name objects, control execution flow, and handle primitive types. You’ll see how to ... En savoir plus

$75.99 CAD

Learn to program with Rust 2021 Edition, in an easy, step-by-step manner on Unix, the Linux shell, macOS, and the Windows command line. As you read this book, you’ll build on the knowledge you gained in previous chapters and see what Rust has to offer.Beginning Rust starts with the basics of Rust, including how to name objects, control execution flow, and handle primitive types. You’ll see how to
... En savoir plus
Graph Transformation

15th International Conference, ICGT 2022, Held as Part of STAF 2022, Nantes, France, July 7–8, 2022, Proceedings

Modifié par Nicolas Behr, Daniel Strüber ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 15th International Conference on Graph Transformation, ICGT 2022, which took place Nantes, France in July 2022.The 10 full papers and 1 tool paper presented in this book were carefully reviewed and selected from 19 submissions. The conference focuses on describing new unpublished contributions in the theory and applications of graph ... En savoir plus

$70.99 CAD

This book constitutes the refereed proceedings of the 15th International Conference on Graph Transformation, ICGT 2022, which took place Nantes, France in July 2022.The 10 full papers and 1 tool paper presented in this book were carefully reviewed and selected from 19 submissions. The conference focuses on describing new unpublished contributions in the theory and applications of graph
... En savoir plus
Inductive Logic Programming

28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedings

Modifié par Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed conference proceedings of the 28th International Conference on Inductive Logic Programming, ILP 2018, held in Ferrara, Italy, in September 2018.The 10 full 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.99 CAD

This book constitutes the refereed conference proceedings of the 28th International Conference on Inductive Logic Programming, ILP 2018, held in Ferrara, Italy, in September 2018.The 10 full 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
D Cookbook

par Adam D. Ruppe ...

A recipe-packed reference guide filled with practical tasks that are concisely explained to develop and broaden the user's abilities with the D programming language. If you are an experienced programmer who is looking to explore a language that offers plenty of advantages over more established programming languages, this is the book for you. We assume that you are already familiar with general ... En savoir plus

$34.99 CAD ou Gratuit avec Kobo Plus

A recipe-packed reference guide filled with practical tasks that are concisely explained to develop and broaden the user's abilities with the D programming language. If you are an experienced programmer who is looking to explore a language that offers plenty of advantages over more established programming languages, this is the book for you. We assume that you are already familiar with general
... 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 :