Skip to main content
Search Button
México Tienda Kobo Tarjetas de regalo Ayuda

Kobo Rakuten

Wishlist

Carrito de compra

¡Obtienes el tratamiento VIP!

Artículos no disponibles para compra.
Por favor revisa tu carrito. Puedes eliminar los artículos no disponibles ahora o los eliminaremos nosotros automáticamente al momento de pagar.
artículosartículo
artículosartículo

Recomendado para ti

Loading...

eBooks de Compiladores

Si te gustan los eBooks de Compiladores, seguro que te encanta esta selección.
Mostrando 937 - 960 de 1266 resultados
Skip side bar filters

  • Formal Techniques for Safety-Critical Systems

    6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers

    Edición de Cyrille Artho, Peter Csaba Ölveczky ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 6th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2018, held in Gold Coast, Australia in November 2018.The 10 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on analysis and ... Leer más

    $906 MXN

  • Mining Made Simple: A Beginner's Guide to Software Installation and Configuration

    The Crypto Mining Mastery Series, #4

    de Ladd Baby ...
    Series Libro 4 - The Crypto Mining Mastery Series
    Mining Made Simple: A Beginner's Guide to Software Installation and ConfigurationUnlock the world of cryptocurrency mining with Mining Made Simple: A Beginner's Guide to Software Installation and Configuration. Whether you're brand new to crypto or just setting up your first mining rig, this step-by-step guide takes the complexity out of mining and breaks it down into clear, easy-to-follow ... Leer más

    $52 MXN o gratis con Kobo Plus

  • Formal Methods and Software Engineering

    24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings

    Edición de Yi Li, Sofiène Tahar ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 24th International Conference on Formal Methods and Software Engineering, ICFEM 2023, held in Brisbane, QLD, Australia, during November 21–24, 2023.The 13 full papers presented together with 8 doctoral symposium papers in this volume were carefully reviewed and selected from 34 submissions, the volume also contains one invited paper. The conference ... Leer más

    $1,178 MXN

  • Advanced API Security

    OAuth 2.0 and Beyond

    de Prabath Siriwardena ...
    Series series Professional and Applied Computing (R0)
    Prepare for the next wave of challenges in enterprise security. Learn to better protect, monitor, and manage your public and private APIs.Enterprise APIs have become the common way of exposing business functions to the outside world. Exposing functionality is convenient, but of course comes with a risk of exploitation. This book teaches you about TLS Token Binding, User Managed Access (UMA) 2.0, ... Leer más

    $796 MXN

  • The Foundations of Mobile Development: Theory and Practice

    de Kameron Hussain, Frahaan Hussain ...
    Unlock the secrets of mobile development with The Foundations of Mobile Development: Theory and Practice. This comprehensive guide is your ultimate resource for understanding the intricacies of mobile app creation, from the basic principles to advanced practices. Whether you're a beginner looking to break into the field or an experienced developer seeking to enhance your skills, this book offers ... Leer más

    $173 MXN

  • Building Secure Defenses Against Code-Reuse Attacks

    de Lucas Davi, Ahmad-Reza Sadeghi ...
    Series series Computer Science (R0)
    This book provides an in-depth look at return-oriented programming attacks. It explores several conventional return-oriented programming attacks and analyzes the effectiveness of defense techniques including address space layout randomization (ASLR) and the control-flow restrictions implemented in security watchdogs such as Microsoft EMET.Chapters also explain the principle of control-flow ... Leer más

    $906 MXN

  • Coordination Models and Languages

    22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings

    Edición de Simon Bliudze, Laura Bocchi ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 22nd International Conference on Coordination Models and Languages, COORDINATION 2020, which was due to be held in Valletta, Malta, in June 2020, as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020. The conference was held virtually due to the COVID-19 pandemic.The 12 full papers and 6 short papers ... Leer más

    $906 MXN

  • Chatbot Research and Design

    Third International Workshop, CONVERSATIONS 2019, Amsterdam, The Netherlands, November 19–20, 2019, Revised Selected Papers

    Edición de Asbjørn Følstad, Theo Araujo, Symeon Papadopoulos, Effie Lai-Chong Law, Ole-Christoffer Granmo, Ewa Luger, Petter Bae Brandtzaeg ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the Third International Workshop on Chatbot Research and Design, CONVERSATIONS 2019, held in Amsterdam, The Netherlands, in November 2019. The 18 revised full papers presented in this volume were carefully reviewed and selected from 31 submissions.The papers are grouped in the following topical sections: user and communication studies user ... Leer más

    $1,360 MXN

  • Practical Aspects of Declarative Languages

    22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20–21, 2020, Proceedings

    Edición de Ekaterina Komendantskaya, Yanhong Annie Liu ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 22nd International Symposium on Practical Aspects of Declarative Languages, PADL 2020, held in New Orleans, USA, in January 2020.The 10 full and 4 short papers were carefully reviewed and selected from 24 submissions. The papers present original work emphasizing novel applications and implementation techniques for all forms of declarative ... Leer más

    $906 MXN

  • Foundations of Libvirt Development

    How to Set Up and Maintain a Virtual Machine Environment with Python

    de W. David Ashley ...
    Series series Professional and Applied Computing (R0)
    Discover the essential concepts of libvirt development and see how to interface to Linux virtualization environments, such as QEMU/KVM, XEN, Virtuozzo, VMWare ESX, LXC, Bhyve, and more. This book will prepare you to set up and maintain a virtual machine environment.You'll start by reviewing virtualization in general and then move on to libvirt-specific concepts using Python, including virtualized ... Leer más

    $966 MXN

  • Secure the Cloud: Azure Networking for Engineers

    de Kameron Hussain, Frahaan Hussain ...
    Secure the Cloud: Azure Networking for Engineers is your ultimate guide to building robust, scalable, and secure network architectures in Microsoft Azure. Designed for cloud engineers, architects, and IT professionals, this book delivers a structured, in-depth approach to mastering Azure networking—from foundational concepts to advanced implementations.Start your journey with an overview of cloud ... Leer más

    $173 MXN

  • C# Programming for Absolute Beginners

    de Radek Vystavěl ...
    Series series Professional and Applied Computing (R0)
    Get started using the C# programming language. Based on the author’s 15 years of experience teaching beginners, the book provides you with a step-by-step introduction to the principles of programming, or rather, how to think like a programmer. The task-solution approach will get you immersed, with minimum theory and maximum action.What You Will LearnUnderstand what programming is all aboutWrite ... Leer más

    $678 MXN

  • Kotlin Unleashed: Harnessing the Power of Modern Android Development

    de Kameron Hussain, Frahaan Hussain ...
    "Kotlin Unleashed: Harnessing the Power of Modern Android Development" is your comprehensive guide to mastering Android app development using the Kotlin programming language. Whether you're a novice looking to start your Android development journey or an experienced developer seeking to leverage Kotlin's power, this book is your key to creating cutting-edge Android applications.This in-depth guide ... Leer más

    $173 MXN

  • Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

    8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III

    Edición de Tiziana Margaria, Bernhard Steffen ...
    Series Libro 3 - Springer Nature Proceedings Computer Science
    The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018.The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual ... Leer más

    $906 MXN

  • Software Testing Automation Tips

    50 Things Automation Engineers Should Know

    de Gennadiy Alpaev ...
    Series series Professional and Applied Computing (R0)
    Quickly access 50 tips for software test engineers using automated methods. The tips point to practices that save time and increase the accuracy and reliability of automated test techniques. Techniques that play well during demos of testing tools often are not the optimal techniques to apply on a running project. This book highlights those differences, helping you apply techniques that are ... Leer más

    $483 MXN

  • Rewriting Logic and Its Applications

    10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers

    Edición de Santiago Escobar ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Rewriting Logic and its Applications, WRLA 2014, held as a satellite event of ETAPS 2014, in Grenoble, France, in March 2014.The 13 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 21 submissions. The papers address a great diversity of ... Leer más

    $852 MXN

  • Design Patterns in C#

    A Hands-on Guide with Real-world Examples

    de Vaskaran Sarcar ...
    Series series Professional and Applied Computing (R0)
    Get hands-on experience with each Gang of Four (GoF) design pattern using C#. For each of the patterns, you will see at least one real-world scenario, a coding example, and a complete implementation including output. In addition to GoF patterns, you will learn additional design patterns which are common and equally important.In this second edition, you will go through the design patterns and their ... Leer más

    $966 MXN

  • Beginning Ada Programming

    From Novice to Professional

    de Andrew T. Shvets ...
    Series series Professional and Applied Computing (R0)
    Discover the Ada programming language by being gently guided through the various parts of the language and its latest available stable release. The goal in this book is to slowly ease you into the different topics. It is understood that you do not always have ample free time, so the text is easy to digest and concepts are spoon fed to the reader.Starting with the simplest of topics, detailed ... Leer más

    $966 MXN

  • Logic-Based Program Synthesis and Transformation

    27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers

    Edición de Fabio Fioravanti, John P. Gallagher ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed post-conference proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2017, held in Namur, Belgium, in October 2017.The 19 revised full papers were carefully reviewed and selected from 29 submissions. In addition to the 19 revised papers, this volume includes the abstracts of the invited talks by ... Leer más

    $906 MXN

  • Introducing Jakarta EE CDI

    Contexts and Dependency Injection for Enterprise Java Development

    de Luqman Saeed ...
    Series series Professional and Applied Computing (R0)
    Discover the Jakarta EE Contexts and Dependency Injection (CDI 2.0) framework which helps you write better code through the use of well-defined enterprise Java-based components and beans (EJBs). If you have ever wanted to write clean Java EE code, this short book is your best guide for doing so: you will pick up valuable tips along the way from your author's years of experience teaching and coding ... Leer más

    $796 MXN

  • Rethinking Productivity in Software Engineering

    Edición de Caitlin Sadowski, Thomas Zimmermann ...
    Get the most out of this foundational reference and improve the productivity of your software teams. This open access book collects the wisdom of the 2017 "Dagstuhl" seminar on productivity in software engineering, a meeting of community leaders, who came together with the goal of rethinking traditional definitions and measures of productivity.The results of their work, Rethinking Productivity in ... Leer más

    Gratis

  • Mastering ChatGPT: A Comprehensive Guide to Harnessing AI-Powered Conversations

    de Kameron Hussain, Frahaan Hussain ...
    In "Mastering ChatGPT: A Comprehensive Guide to Harnessing AI-Powered Conversations," readers are invited into the dynamic world of artificial intelligence and its profound impact on communication. This book is an essential resource for anyone eager to delve into the intricacies of conversational AI, especially the groundbreaking ChatGPT.At the heart of this guide is an in-depth exploration of ... Leer más

    $173 MXN

  • Exploring Advanced Features in C#

    Enhance Your Code and Productivity

    de Dirk Strauss ...
    Series series Professional and Applied Computing (R0)
    Become a more productive programmer by leveraging the newest features available to you in C#. This book highlights the new language features available to you and how to use these and other tools such as Bootstrap, SCSS, and jQuery to enhance your web applications.Exploring Advanced Features in C# starts with some of the new features of C# 7 such as how to implement local functions, tuples and ... Leer más

    $796 MXN

  • Practical Video Game Bots

    Automating Game Processes using C++, Python, and AutoIt

    de Ilya Shpigor ...
    Series series Professional and Applied Computing (R0)
    Develop and use bots in video gaming to automate game processes and see possible ways to avoid this kind of automation. This book explains how bots can be very helpful in games such as multiplayer online games, both for training your character and for automating repetitious game processes in order to start a competition with human opponents much faster.Some players might use bots for cheating or ... Leer más

    $796 MXN