Rakuten Kobo

Data Flow Analysis

Theory and Practice

par Uday Khedker, Amitabha Sanyal, Bageshri Sathe ...

Data flow analysis is used to discover information for a wide variety of useful applications, ranging from compiler optimizations to software engineering and verification. Modern compilers apply it to produce performance-maximizing code, and software engineers use it to re-engineer or reverse engineer programs and verify the integrity of their programs.Supplementary Online Materials to Strengthen ... En savoir plus

$107.17 CAD

Data flow analysis is used to discover information for a wide variety of useful applications, ranging from compiler optimizations to software engineering and verification. Modern compilers apply it to produce performance-maximizing code, and software engineers use it to re-engineer or reverse engineer programs and verify the integrity of their programs.Supplementary Online Materials to Strengthen
... En savoir plus
Arduino Software Internals

A Complete Guide to How Your Arduino Language and Hardware Work Together

par Norman Dunbar ...

Collections series Professional and Applied Computing (R0)
It’s not enough to just build your Arduino projects; it’s time to actually learn how things work! This book will take you through not only how to use the Arduino software and hardware, but more importantly show you how it all works and how the software relates to the hardware.Arduino Software Internals takes a detailed dive into the Arduino environment. We’ll cover the Arduino language, hardware ... En savoir plus

$68.29 CAD

It’s not enough to just build your Arduino projects; it’s time to actually learn how things work! This book will take you through not only how to use the Arduino software and hardware, but more importantly show you how it all works and how the software relates to the hardware.Arduino Software Internals takes a detailed dive into the Arduino environment. We’ll cover the Arduino language, hardware
... En savoir plus
Practical C++ Financial Programming

par Carlos Oliveira ...

Collections series Professional and Applied Computing (R0)
Practical C++ Financial Programming is a hands-on book for programmers wanting to apply C++ to programming problems in the financial industry. The book explains those aspects of the language that are more frequently used in writing financial software, including the STL, templates, and various numerical libraries. The book also describes many of the important problems in financial engineering that ... En savoir plus

$107.79 CAD

Practical C++ Financial Programming is a hands-on book for programmers wanting to apply C++ to programming problems in the financial industry. The book explains those aspects of the language that are more frequently used in writing financial software, including the STL, templates, and various numerical libraries. The book also describes many of the important problems in financial engineering that
... En savoir plus
Advances in Data Mining. Applications and Theoretical Aspects

16th Industrial Conference, ICDM 2016, New York, NY, USA, July 13-17, 2016. Proceedings

Modifié par Petra Perner ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 16th Industrial Conference on Advances in Data Mining, ICDM 2016, held in New York, NY, USA, in July 2016.The 33 revised full papers presented were carefully reviewed and selected from 100 submissions. The topics range from theoretical aspects of data mining to applications of data mining, such as in multimedia data, in marketing, in medicine, ... En savoir plus

$64.09 CAD

This book constitutes the refereed proceedings of the 16th Industrial Conference on Advances in Data Mining, ICDM 2016, held in New York, NY, USA, in July 2016.The 33 revised full papers presented were carefully reviewed and selected from 100 submissions. The topics range from theoretical aspects of data mining to applications of data mining, such as in multimedia data, in marketing, in medicine,
... 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

$95.79 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
NASA Formal Methods

9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings

Modifié par Clark Barrett, Misty Davies, Temesghen Kahsai ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 9th International Symposium on NASA Formal Methods, NFM 2017, held in Moffett Field, CA, USA, in May 2017.The 23 full and 8 short papers presented in this volume were carefully reviewed and selected from 77 submissions. The papers focus on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations, ... En savoir plus

$64.09 CAD

This book constitutes the proceedings of the 9th International Symposium on NASA Formal Methods, NFM 2017, held in Moffett Field, CA, USA, in May 2017.The 23 full and 8 short papers presented in this volume were carefully reviewed and selected from 77 submissions. The papers focus on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations,
... En savoir plus
Systems Programming in Unix/Linux

par K.C. Wang ...

Collections series Computer Science (R0)
Covering all the essential components of Unix/Linux, including process management, concurrent programming, timer and time service, file systems and network programming, this textbook emphasizes programming practice in the Unix/Linux environment. Systems Programming in Unix/Linux is intended as a textbook for systems programming courses in technically-oriented Computer Science/Engineering curricula ... En savoir plus

$76.89 CAD

Covering all the essential components of Unix/Linux, including process management, concurrent programming, timer and time service, file systems and network programming, this textbook emphasizes programming practice in the Unix/Linux environment. Systems Programming in Unix/Linux is intended as a textbook for systems programming courses in technically-oriented Computer Science/Engineering curricula
... En savoir plus
Languages and Compilers for Parallel Computing

27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised Selected Papers

Modifié par James Brodman, Peng Tu ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 27th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2014, held in Hillsboro, OR, USA, in September 2014. The 25 revised full papers were carefully reviewed and selected from 39 submissions. The papers are organized in topical sections on accelerator programming; algorithms for ... En savoir plus

$64.09 CAD

This book constitutes the thoroughly refereed post-conference proceedings of the 27th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2014, held in Hillsboro, OR, USA, in September 2014. The 25 revised full papers were carefully reviewed and selected from 39 submissions. The papers are organized in topical sections on accelerator programming; algorithms for
... En savoir plus
Beginning MATLAB and Simulink

From Novice to Professional

par Sulaymon Eshkabilov ...

Collections series Professional and Applied Computing (R0)
Employ essential and hands-on tools and functions of the MATLAB and Simulink packages, which are explained and demonstrated via interactive examples and case studies. This book contains dozens of simulation models and solved problems via m-files/scripts and Simulink models which help you to learn programming and modeling essentials. You’ll become efficient with many of the built-in tools and ... En savoir plus

$44.29 CAD

Employ essential and hands-on tools and functions of the MATLAB and Simulink packages, which are explained and demonstrated via interactive examples and case studies. This book contains dozens of simulation models and solved problems via m-files/scripts and Simulink models which help you to learn programming and modeling essentials. You’ll become efficient with many of the built-in tools and
... En savoir plus
Getting Started with Visual Studio 2022

Learning and Implementing New Features

par Dirk Strauss ...

Collections series Professional and Applied Computing (R0)
Learn how to use the features of Visual Studio 2022 and utilize the IDE correctly to make it your one-stop solution for creating quality code. Learn what's new in VS 2022 and explore the existing features of Visual Studio so you can become a more efficient programmer.This revised edition covers the latest features of Visual Studio 2022 and how to use them. The book includes new topics likeSubword ... En savoir plus

$68.29 CAD

Learn how to use the features of Visual Studio 2022 and utilize the IDE correctly to make it your one-stop solution for creating quality code. Learn what's new in VS 2022 and explore the existing features of Visual Studio so you can become a more efficient programmer.This revised edition covers the latest features of Visual Studio 2022 and how to use them. The book includes new topics likeSubword
... En savoir plus
Swift 4 for Absolute Beginners

Develop Apps for iOS

par Stefan Kaczmarek, Brad Lees, Gary Bennett ...

Collections series Professional and Applied Computing (R0)
Stay motivated and overcome obstacles while learning to use Swift Playgrounds to be a great iOS developer. This book is perfect for those with no programming background, those with some programming experience but no object-oriented experience, or those that have a great idea for an app but haven’t programmed since school, and it is now updated for Swift 4.Many people have a difficult time ... En savoir plus

$41.89 CAD

Stay motivated and overcome obstacles while learning to use Swift Playgrounds to be a great iOS developer. This book is perfect for those with no programming background, those with some programming experience but no object-oriented experience, or those that have a great idea for an app but haven’t programmed since school, and it is now updated for Swift 4.Many people have a difficult time
... En savoir plus
It's All About Coordination

Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab

Modifié par Frank de Boer, Marcello Bonsangue, Jan Rutten ...

Collections series Computer Science (R0)
This Festschrift volume has been published to celebrate the lifelong scientific achievements of Farhad Arbab on the occasion of his retirement from the Centre of Mathematics and Computer Science (CWI).Over the years Farhad Arbab has sucessfully been engaged in scientific explorations in various directions: Software Composition, Service Oriented Computing, Component-based Software, Concurrency ... En savoir plus

$64.09 CAD

This Festschrift volume has been published to celebrate the lifelong scientific achievements of Farhad Arbab on the occasion of his retirement from the Centre of Mathematics and Computer Science (CWI).Over the years Farhad Arbab has sucessfully been engaged in scientific explorations in various directions: Software Composition, Service Oriented Computing, Component-based Software, Concurrency
... 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.59 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
Options and Derivatives Programming in C++

Algorithms and Programming Techniques for the Financial Industry

par CARLOS OLIVEIRA ...

Collections series Professional and Applied Computing (R0)
Learn how C++ is used in the development of solutions for options and derivatives trading in the financial industry. As an important part of the financial industry, options and derivatives trading has become increasingly sophisticated. Advanced trading techniques using financial derivatives have been used at banks, hedge funds, and pension funds. Because of stringent performance characteristics, ... En savoir plus

$68.29 CAD

Learn how C++ is used in the development of solutions for options and derivatives trading in the financial industry. As an important part of the financial industry, options and derivatives trading has become increasingly sophisticated. Advanced trading techniques using financial derivatives have been used at banks, hedge funds, and pension funds. Because of stringent performance characteristics,
... En savoir plus
Computer Safety, Reliability, and Security

36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings

Modifié par Erwin Schoitsch, Stefano Tonetta, Friedemann Bitsch ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 36th International Conference on ComputerSafety, Reliability, and Security, SAFECOMP 2017, held in Trento, Italy, in September 2017.The 22 revised full papers and two abstracts of keynotes presented were carefully reviewedand selected from 65 submissions.The papers are organized in topical sections on dynamic fault trees; safety case and ... En savoir plus

$64.09 CAD

This book constitutes the refereed proceedings of the 36th International Conference on ComputerSafety, Reliability, and Security, SAFECOMP 2017, held in Trento, Italy, in September 2017.The 22 revised full papers and two abstracts of keynotes presented were carefully reviewedand selected from 65 submissions.The papers are organized in topical sections on dynamic fault trees; safety case and
... En savoir plus
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

Modifié par Tiziana Margaria, Bernhard Steffen ...

Collections Livre 2 - Springer Nature Proceedings Computer Science
The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, held in Imperial, Corfu, Greece, in October 2016.The papers presented in this volume were carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each ... En savoir plus

$64.09 CAD

The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, held in Imperial, Corfu, Greece, in October 2016.The papers presented in this volume were carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each
... 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.09 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
Structured Object-Oriented Formal Language and Method

4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers

Modifié par Shaoying Liu, Zhenhua Duan ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2014, held in Luxembourg, Luxembourg, in November 2014. The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections on testing and inspection; model ... En savoir plus

$51.29 CAD

This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2014, held in Luxembourg, Luxembourg, in November 2014. The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections on testing and inspection; model
... En savoir plus
Das C++ Kompendium

STL, Objektfabriken, Exceptions

par Gilbert Brands ...

Collections series Computer Science and Engineering (German Language)
Dieses Lehrbuch vermittelt sehr detailliert die zentralen Konzepte der Programmierung in C++. Dabei wird anhand vielfältiger, komplexer Problemstellungen die Entwicklung korrekten und wiederverwendbaren Codes gezeigt und zudem eine Programmiertechnik vorgestellt, die typische Fehler und Inkonsistenzen zu vermeiden hilft.In den einzelnen Kapiteln werden Grundlagen und fortgeschrittene Themen zu ... En savoir plus

$32.29 CAD

Dieses Lehrbuch vermittelt sehr detailliert die zentralen Konzepte der Programmierung in C++. Dabei wird anhand vielfältiger, komplexer Problemstellungen die Entwicklung korrekten und wiederverwendbaren Codes gezeigt und zudem eine Programmiertechnik vorgestellt, die typische Fehler und Inkonsistenzen zu vermeiden hilft.In den einzelnen Kapiteln werden Grundlagen und fortgeschrittene Themen zu
... En savoir plus
Advanced Metaprogramming in Classic C++

par Davide Di Gennaro ...

Collections series Professional and Applied Computing (R0)
Advanced Metaprogramming in Classic C++ aims to be both an introduction and a reference to C++ template metaprogramming (TMP); TMP is presented in the book as a set of techniques that will bring a new style in C++ and make code exceptionally clear and efficient. The book deals with language aspects, design patterns, examples and applications (seen as case studies). Special emphasis is put on small ... En savoir plus

$107.79 CAD

Advanced Metaprogramming in Classic C++ aims to be both an introduction and a reference to C++ template metaprogramming (TMP); TMP is presented in the book as a set of techniques that will bring a new style in C++ and make code exceptionally clear and efficient. The book deals with language aspects, design patterns, examples and applications (seen as case studies). Special emphasis is put on small
... En savoir plus
OpenSHMEM and Related Technologies. Experiences, Implementations, and Technologies

Second Workshop, OpenSHMEM 2015, Annapolis, MD, USA, August 4-6, 2015. Revised Selected Papers

Modifié par Pavel Shamis, Manjunath Gorentla Venkata, Neena Imam, M. Graham Lopez ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the Second OpenSHMEM Workshop, held in Annapolis, MD, USA, in August 2015.The 12 technical papers and one short position papers presented in this book were carefully reviewed and selected from 17 submissions. The topics of the workshop included extensions to the OpenSHMEM API, implementation of the API for current and emerging architectures, tools to debug ... En savoir plus

$51.29 CAD

This book constitutes the proceedings of the Second OpenSHMEM Workshop, held in Annapolis, MD, USA, in August 2015.The 12 technical papers and one short position papers presented in this book were carefully reviewed and selected from 17 submissions. The topics of the workshop included extensions to the OpenSHMEM API, implementation of the API for current and emerging architectures, tools to debug
... En savoir plus
Formal Techniques for Safety-Critical Systems

5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers

Modifié par Cyrille Artho, Peter Csaba Ölveczky ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 5th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2016, held in Tokyo, Japan, in November 2016.The 9 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 23 submissions. The papers are organized in topical sections on specification and verification; ... En savoir plus

$64.09 CAD

This book constitutes the refereed proceedings of the 5th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2016, held in Tokyo, Japan, in November 2016.The 9 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 23 submissions. The papers are organized in topical sections on specification and verification;
... En savoir plus
Smart Card Research and Advanced Applications

15th International Conference, CARDIS 2016, Cannes, France, November 7–9, 2016, Revised Selected Papers

Modifié par Kerstin Lemke-Rust, Michael Tunstall ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 15th International Conference on Smart Card Research and Advanced Applications, CARDIS 2016, held in Cannes, France, in November 2016.The 15 revised full papers presented in this book were carefully reviewed and selected from 29 submissions. The focus of the conference was on all aspects of the design, development, ... En savoir plus

$64.09 CAD

This book constitutes the thoroughly refereed post-conference proceedings of the 15th International Conference on Smart Card Research and Advanced Applications, CARDIS 2016, held in Cannes, France, in November 2016.The 15 revised full papers presented in this book were carefully reviewed and selected from 29 submissions. The focus of the conference was on all aspects of the design, development,
... 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.09 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

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 :