Skip to main content
Search Button
Librairie Kobo Canada Cartes cadeau Aide

Kobo Rakuten

Ma liste d'envies

Panier

Vous profitez des avantages réservés aux VIP !

Article(s) non disponible(s) à la vente
Veuillez vérifier votre panier. Vous pouvez supprimer le ou les articles qui ne sont pas disponibles maintenant ou nous les supprimerons automatiquement au moment du règlement de la commande.
articlesarticle
articlesarticle

Recommandé pour vous

Loading...


1-12 sur 12 résultats pour « nadia polikarpova »
Skip side bar filters

  • Software Verification

    12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, Revised Selected Papers

    Modifié par Maria Christakis, Nadia Polikarpova, Parasara Sridhar Duggirala, Peter Schrammel ...
    Collections series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE 2020, and the 13th International Workshop on Numerical Software Verification, NSV 2020, held in Los Angeles, CA, USA, in July 2020. Due to COVID-19 pandemic the conference was held virtually.The 13 papers presented in this volume were carefully reviewed and selected from 21 submissions. ... En savoir plus

    $64.09 CAD

  • Integrated Formal Methods

    13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

    Modifié par Nadia Polikarpova, Steve Schneider ...
    Collections series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017.The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions. They are organized in topical sections on cyber-physical systems, software verification tools, safety-critical systems, ... En savoir plus

    $64.99 CAD

Les lecteurs de ces romans ont aussi aimé

  • Enterprise Service Bus

    Theory in Practice

    par David A Chappell ...
    Large IT organizations increasingly face the challenge of integrating various web services, applications, and other technologies into a single network. The solution to finding a meaningful large-scale architecture that is capable of spanning a global enterprise appears to have been met in ESB, or Enterprise Service Bus. Rather than conform to the hub-and-spoke architecture of traditional ... En savoir plus

    $28.99 CAD

  • Building Arduino Projects for the Internet of Things

    Experiments with Real-World Applications

    par Adeel Javed ...
    Collections series Professional and Applied Computing (R0)
    Gain a strong foundation of Arduino-based device development, from which you can go in any direction according to your specific development needs and desires. You'll build Arduino-powered devices for everyday use, and then connect those devices to the Internet.You'll be introduced to the building blocks of IoT, and then deploy those principles to by building a variety of useful projects. Projects ... En savoir plus

    $80.99 CAD

  • Better, Faster, Lighter Java

    par Justin Gehtland, Bruce Tate ...
    Sometimes the simplest answer is the best. Many Enterprise Java developers, accustomed to dealing with Java's spiraling complexity, have fallen into the habit of choosing overly complicated solutions to problems when simpler options are available. Building server applications with "heavyweight" Java-based architectures, such as WebLogic, JBoss, and WebSphere, can be costly and cumbersome. When you ... En savoir plus

    $25.99 CAD

  • Harley Hahn's Emacs Field Guide

    par Harley Hahn ...
    Collections series Professional and Applied Computing (R0)
    In this book, Harley Hahn demystifies Emacs for programmers, students, and everyday users. The first part of the book carefully creates a context for your work with Emacs. What exactly is Emacs? How does it relate to your personal need to work quickly and to solve problems? Hahn then explains the technical details you need to understand to work with your operating system, the various interfaces, ... En savoir plus

    $80.99 CAD

  • MicroPython for the Internet of Things

    A Beginner’s Guide to Programming with Python on Microcontrollers

    par Charles Bell ...
    Collections series Professional and Applied Computing (R0)
    Quickly learn to program for microcontrollers and IoT devices without a lot of study and expense. MicroPython and controllers that support it eliminate the need for programming in a C-like language, making the creation of IoT applications and devices easier and more accessible than ever.MicroPython for the Internet of Things is ideal for readers new to electronics and the world of IoT. Specific ... En savoir plus

    $75.99 CAD

  • Automated Technology for Verification and Analysis

    15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings

    Modifié par K. Narayan Kumar, Deepak D'Souza ...
    Collections series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, held in Pune, India, in October 2017.The 22 full and 7 short papers presented in this volume were carefully reviewed and selected from 78 submissions. The book also contains one invited talk in full-paper length.The contributions are organized in ... En savoir plus

    $64.09 CAD

  • Raspberry Pi Image Processing Programming

    Develop Real-Life Examples with Python, Pillow, and SciPy

    par Ashwin Pajankar ...
    Collections series Professional and Applied Computing (R0)
    Write your own Digital Image Processing programs with the use of pillow, scipy.ndimage, and matplotlib in Python 3 with Raspberry Pi 3 as the hardware platform. This concise quick-start guide provides working code examples and exercises. Learn how to interface Raspberry Pi with various image sensors.What You'll LearnUnderstand Raspberry Pi concepts and setupUnderstand digital image processing ... En savoir plus

    $41.99 CAD

  • Accelerator Programming Using Directives

    4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings

    Modifié par Sunita Chandrasekaran, Guido Juckeland ...
    Collections series Springer Nature Proceedings Computer Science
    This book constitutes the refereed post-conference proceedings of the 4th International Workshop on Accelerator Programming Using Directives, WACCPD 2017, held in Denver, CO, USA, in November 2017.The 9 full papers presented have been carefully reviewed and selected from 14 submissions. The papers share knowledge and experiences to program emerging complex parallel computing systems. They are ... En savoir plus

    $51.29 CAD

  • Fundamentals of Software Engineering

    7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers

    Modifié par Mehdi Dastani, Marjan Sirjani ...
    Collections series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Fundamentals of Software Engineering, FSEN 2017, held in Tehran, Iran, in April 2017.The 16 full papers presented in this volume were carefully reviewed and selected from 49 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially those related to ... En savoir plus

    $64.99 CAD

  • Handbook of Big Data Technologies

    Modifié par Albert Y. Zomaya, Sherif Sakr ...
    Collections series Computer Science (R0)
    This handbook offers comprehensive coverage of recent advancements in Big Data technologies and related paradigms. Chapters are authored by international leading experts in the field, and have been reviewed and revised for maximum reader value. The volume consists of twenty-five chapters organized into four main parts. Part one covers the fundamental concepts of Big Data technologies including ... En savoir plus

    $498.99 CAD