Skip to main content
Search Button
United States 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 “k narayan kumar”
Skip side bar filters

  • Automated Technology for Verification and Analysis

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

    Edited by K. Narayan Kumar, Deepak D'Souza ...
    Series 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 ... Read more

    $49.99 USD

People who read this also enjoyed

  • Mobile Design and Development

    Practical concepts and techniques for creating mobile sites and web apps

    by Brian Fling ...
    Mobile devices outnumber desktop and laptop computers three to one worldwide, yet little information is available for designing and developing mobile applications. Mobile Design and Development fills that void with practical guidelines, standards, techniques, and best practices for building mobile products from start to finish. With this book, you'll learn basic design and development principles ... Read more

    $20.99 USD

  • Enterprise Service Bus

    Theory in Practice

    by 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 ... Read more

    $23.99 USD

  • iOS Programming: Starter Guide: What Every Programmer Needs to Know About iOS Programming

    by Jason Scotts ...
    What Every Programmers Need To Know About iOS Programming Exposed! iOS Programming: Starter Guide: What Every Programmer Needs to Know About iOS Programming is a precise and concise book for any programmmer to get a quick grasp of the intricacies of iOS and how to master it quickly. The book covers:- Chapter 1- What is iOS SDK? Chapter 2- How Do You Get Started With ios- C Programming? Chapter 3- ... Read more

    $4.99 USD

  • Building Arduino Projects for the Internet of Things

    Experiments with Real-World Applications

    by Adeel Javed ...
    Series 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 ... Read more

    $62.99 USD

  • Harley Hahn's Emacs Field Guide

    by Harley Hahn ...
    Series 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, ... Read more

    $62.99 USD

  • Software Architecture

    11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings

    Edited by Rogério de Lemos, Antónia Lopes ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 11th European Conference on Software Architecture, ECSA 2017, held in Canterbury, UK, in September 2017.The 9 full papers presented together with 12 short papers and one keynote talk were carefully reviewed and selected from 54 submissions. They are organized in topical sections on Software Architecture Analysis and Verification; Software Architecture ... Read more

    $49.49 USD

  • Raspberry Pi Image Processing Programming

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

    by Ashwin Pajankar ...
    Series 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 ... Read more

    $28.49 USD

  • MicroPython for the Internet of Things

    A Beginner’s Guide to Programming with Python on Microcontrollers

    by Charles Bell ...
    Series 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 ... Read more

    $58.49 USD

  • Graphical Models for Security

    4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers

    Edited by Peng Liu, Sjouke Mauw, Ketil Stolen ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes revised selected papers from the 4th International Workshop on Graphical Models for Security, GraMSec 2017, held in Santa Barbara, CA, USA, in August 2017.The 5 full and 4 short papers presented in this volume were carefully reviewed and selected from 19 submissions. The book also contains one invited paper from the WISER project. The contributions deal with the latest ... Read more

    $53.99 USD

  • Software Engineering and Formal Methods

    SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers

    Edited by Antonio Cerone, Marco Roveri ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes revised selected papers from the five workshops collocated with the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017.The 38 papers presented in this volume were carefully reviewed and selected from a total of 55 submissions. They stem from the following workshops:DataMod 2017 -- 6th International Symposium “From Data to Models and Back"; ... Read more

    $89.99 USD

  • 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

    Edited by Sunita Chandrasekaran, Guido Juckeland ...
    Series 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 ... Read more

    $53.99 USD