Skip to main content
Search Button
Canada Kobo store Gift Cards Help

Rakuten Kobo

Wishlist

Shopping Cart

You're getting the VIP treatment!

Item(s) unavailable for purchase
Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.
itemsitem
itemsitem

Recommended For You

Loading...


Showing 1 - 12 of 12 results for “alexandre petrenko”
Skip side bar filters

  • Perspectives of System Informatics

    11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers

    Edited by Alexander K. Petrenko, Andrei Voronkov ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 11th International Andrei P. Ershov Informatics Conference, PSI 2017, held in Moscow, Russia, in June 2017.The 31 full papers presented in this volume were carefully reviewed and selected from 57 submissions. The papers cover various topics related to the foundations of program and system development and analysis, programming methodology and ... Read more

    $64.09 CAD

  • Software Technology: Methods and Tools

    51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings

    Edited by Manuel Mazzara, Jean-Michel Bruel, Bertrand Meyer, Alexander Petrenko ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 51st International Conference on Software Technology: Methods and Tools, TOOLS 2019, held in Innopolis, Russia, in October 2019.The 19 revised full papers and 13 short papers presented in this book were carefully reviewed and selected from 62 submissions.The papers discuss all aspects of software engineering and programming languages; machine ... Read more

    $64.09 CAD

  • The Unknown Component Problem

    Theory and Applications

    by Tiziano Villa, Nina Yevtushenko, Robert K. Brayton, Alan Mishchenko, Alexandre Petrenko, Alberto Sangiovanni-Vincentelli ...
    Series series Engineering (R0)
    The Problem of the Unknown Component: Theory and Applications addresses the issue of designing a component that, combined with a known part of a system, conforms to an overall specification. The authors tackle this problem by solving abstract equations over a language. The most general solutions are studied when both synchronous and parallel composition operators are used. The abstract equations ... Read more

    $179.39 CAD

People who read these also enjoyed

  • Getting Started with Matlab Simulink and Arduino

    by Agus Kurniawan ...
    Getting started with Matlab Simulink and Arduino comprehensively explains how to use MATLAB and Simulink to perform Arduino simulation. This book begins with covering the Matlab Simulink with targeting Arduino, and the solutions to different problems in simulation.*TOC*Preparing Development Environment1.1 Arduino1.1.1 Arduino Uno1.1.2 Arduino Leonardo1.1.3 Arduino Mega 25601.1.4 Arduino Due1.2 ... Read more

    $6.02 CAD

  • Programmable Logic Controllers

    by William Bolton ...
    A programmable logic controllers (PLC) is a real-time system optimized for use in severe conditions such as high/low temperatures or an environment with excessive electrical noise. This control technology is designed to have multiple interfaces (I/Os) to connect and control multiple mechatronic devices such as sensors and actuators. Programmable Logic Controllers, Fifth Edition, continues to be a ... Read more

    $50.39 CAD

  • Raspberry Pi I/O Programming Using Python

    by Agus Kurniawan ...
    This book provides alternative approach to access Raspberry Pi I/O using Python. It describes how to work with Raspberry Pi I/O and illustrates their use with code examples in Python. The following is highlight topics in book:* Setup Development Environment* Hello Raspberry Pi I/O and Python* Raspberry Pi GPIO* Raspberry Pi UART* Raspberry Pi I2C* Raspberry Pi SPI* Working with DAC and ADC on ... Read more

    $4.69 CAD

  • Digital Design and Computer Architecture

    by David Harris, Sarah Harris ...
    Digital Design and Computer Architecture, Second Edition, takes a unique and modern approach to digital design, introducing the reader to the fundamentals of digital logic and then showing step by step how to build a MIPS microprocessor in both Verilog and VHDL. This new edition combines an engaging and humorous writing style with an updated and hands-on approach to digital design. It presents new ... Read more

    $99.59 CAD

  • Getting Started with Arduino and Python

    by Agus Kurniawan ...
    Finding the power of Python for Arduino programming. This book helps you to explore several Python libraries to access Arduino boards.**TOC**Preparing Development Environment1.1 Arduino1.1.1 Arduino Uno1.1.2 Arduino Leonardo1.1.3 Arduino Mega 25601.1.4 Arduino Due1.2 Electronic Components1.2.1 Arduino Starter Kit1.2.2 Fritzing1.2.3 Cooking-Hacks: Arduino Starter Kit1.2.4 Arduino Side... ... Read more

    $5.30 CAD

  • Programming with Qt

    Writing Portable GUI applications on Unix and Win32

    by Matthias Kalle Dalheimer ...
    The popular open source KDE desktop environment for Unix was built with Qt, a C++ class library for writing GUI applications that run on Unix, Linux, Windows 95/98, Windows 2000, and Windows NT platforms. Qt emulates the look and feel of Motif, but is much easier to use. Best of all, after you have written an application with Qt, all you have to do is recompile it to have a version that works on ... Read more

    $32.79 CAD

  • Getting Started with Intel IoT and Intel Galileo

    by Agus Kurniawan ...
    The Intel Galileo board is the first in a family of Arduino-certified development and prototyping boards based on Intel architecture. Intel provides Intel IoT Developer Kit which you can build and deploy application on top of Intel Galileo board. This book helps you getting started with Intel IoT and Intel Galileo. The following is a list of highlight topics:* Preparing Development Environment* ... Read more

    $2.98 CAD

  • Digital Logic Design Using Verilog

    Coding and RTL Synthesis

    by Vaibbhav Taraate ...
    Series series Engineering (R0)
    This second edition focuses on the thought process of digital design and implementation in the context of VLSI and system design. It covers the Verilog 2001 and Verilog 2005 RTL design styles, constructs and the optimization at the RTL and synthesis level. The book also covers the logic synthesis, low power, multiple clock domain design concepts and design performance improvement techniques. The ... Read more

    $108.89 CAD

  • Programming Interactivity

    A Designer's Guide to Processing, Arduino, and openFrameworks

    by Joshua Noble ...
    Ready to create rich interactive experiences with your artwork, designs, or prototypes? This is the ideal place to start. With this hands-on guide, you’ll explore several themes in interactive art and design—including 3D graphics, sound, physical interaction, computer vision, and geolocation—and learn the basic programming and electronics concepts you need to implement them. No previous experience ... Read more

    $36.79 CAD