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 793 - 816 de 1266 resultados
Skip side bar filters

  • C++ 14 Quick Syntax Reference

    Second Edition

    de Mikael Olsson ...
    Series series Professional and Applied Computing (R0)
    This updated handy quick C++ 14 guide is a condensed code and syntax reference based on the newly updated C++ 14 release of the popular programming language. It presents the essential C++ syntax in a well-organized format that can be used as a handy reference.You won’t find any technical jargon, bloated samples, drawn out history lessons, or witty stories in this book. What you will find is a ... Leer más

    $483 MXN

  • Learn coding with Python and JavaScript

    A practical introduction for beginners

    de Joachim L. Zuckarelli ...
    Series series Computer Science (R0)
    Whether on the computer, tablet, mobile phone, in the car or in the coffee machine - computer programs determine our everyday life. Software is becoming increasingly important, hardly anything works without the mysterious power of algorithms. But how do programs work? And how do you develop them? This book teaches you the basics of programming. Using everyday examples, you will first learn the ... Leer más

    $1,088 MXN

  • Scale Smart: Azure Architecture Essentials

    de Kameron Hussain, Frahaan Hussain ...
    Scale Smart: Azure Architecture Essentials is your definitive guide to building robust, scalable, and secure cloud solutions using Microsoft Azure. Whether you're an IT professional, solutions architect, or a developer stepping into the world of cloud architecture, this book equips you with the foundational principles and practical techniques to design systems that scale intelligently and ... Leer más

    $173 MXN o gratis con Kobo Plus

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

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

    Edición de Tiziana Margaria, Bernhard Steffen ...
    Series Libro 2 - 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

  • The Definitive ANTLR 4 Reference

    de Terence Parr ...
    Programmers run into parsing problems all the time. Whether it's a data format like JSON, a network protocol like SMTP, a server configuration file for Apache, a PostScript/PDF file, or a simple spreadsheet macro language--ANTLR v4 and this book will demystify the process. ANTLR v4 has been rewritten from scratch to make it easier than ever to build parsers and the language applications built on ... Leer más

    $398 MXN

  • Pro MERN Stack

    Full Stack Web App Development with Mongo, Express, React, and Node

    de Vasan Subramanian ...
    Series series Professional and Applied Computing (R0)
    Assemble the complete stack required to build a modern web app using MongoDB, Express, React, and Node. This book also covers many other complementary tools: React Router, GraphQL, React-Bootstrap, Babel, and Webpack. This new edition will use the latest version of React (React 16) and the latest React Router (React Router 4), which has a significantly different approach to routing compared to ... Leer más

    $966 MXN

  • Software Engineering for Resilient Systems

    9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings

    Edición de Alexander Romanovsky, Elena A. Troubitsyna ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the International Workshop on Software Engineering for Resilient Systems, SERENE 2017, held in Geneva; Switzerland, in September 2017.The 11 papers presented together with 2 invited talks were carefully reviewed and selected from 16 submissions. They cover the following areas: modeling and specification; safety and security; fault tolerance, ... Leer más

    $906 MXN

  • Distributed Virtual Worlds

    Foundations and Implementation Techniques Using VRML, Java, and CORBA

    de Stephan Diehl ...
    Series series Computer Science (R0)
    Recently, with the success of Java and the existence of different interfaces be tween VRML and Java, it became possible to implement three-dimensional internet applications on standard VRML browsers (Plugins) using Java. With the widespread use of VRML-Browsers, e.g., as part of the Netscape Com municator and Microsoft's Internet Explorerstandard distributions, everyone connected to the internet ... Leer más

    $906 MXN

  • Moderne C-Programmierung

    Kompendium und Referenz

    de Helmut Schellong ...
    Series series Computer Science and Engineering (German Language)
    Dieses Buch wendet sich an Entwickler, die bereits über erste Erfahrungen in der Programmierung verfügen. Es fördert den effizienten, strukturierten Umgang mit C. Das vorgestellte Detailwissen hilft zudem bei der Entwicklung eigener Ideen und Konzepte für vielfältige Anwendungsgebiete und zeigt viele Feinheiten der Sprache. Einen Schwerpunkt der Darstellung bildet der Einsatz von C in der ... Leer más

    $678 MXN

  • Software Technologies

    12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papers

    Edición de Enrique Cabello, Jorge Cardoso, Leszek A. Maciaszek, Marten van Sinderen ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Joint Conference on Software Technologies, ICSOFT 2017, held in Madrid, Spain, in July 2017.The 17 revised full papers and 24 short papers presented were carefully reviewed and selected from 85 submissions. The topics covered in the papers include: software quality and metrics; software testing and ... Leer más

    $906 MXN

  • Perspectives of System Informatics

    10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers

    Edición de Manuel Mazzara, Andrei Voronkov ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 10th International Andrei Ershov Informatics Conference, PSI 2015, held in Kazan and Innopolis, Russia, in August 2015.The 2 invited and 23 full papers presented in this volume were carefully reviewed and selected from 56 submissions. The papers cover various topics related to the foundations of program and system development and analysis, ... Leer más

    $906 MXN

  • FME 2003: Formal Methods

    International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings

    Edición de Keijiro Araki, Stefania Gnesi, Dion Mandrioli ...
    Series series Computer Science (R0)
    ThisvolumecontainstheproceedingsofFM2003,the12thInternationalFormal Methods Europe Symposium which was held in Pisa, Italy on September 8–14, 2003. Formal Methods Europe (FME, www. fmeurope. org) is an independent - sociation which aims to stimulate the use of and research on formal methods for system development. FME conferences began with a VDM Europe symposium in 1987. Since then, the meetings ... Leer más

    $1,632 MXN

  • Automated Technology for Verification and Analysis

    14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

    Edición de Cyrille Artho, Axel Legay, Doron Peled ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016, held in Chiba, Japan, in October 2016.The 31 papers presented in this volume were carefully reviewed and selected from 82 submissions. They were organized in topical sections named: keynote; Markov models, chains, and decision processes; counter systems, ... Leer más

    $906 MXN

  • Selenium WebDriver Recipes in C#

    Second Edition

    de Zhimin Zhan ...
    Series series Professional and Applied Computing (R0)
    Solve your Selenium WebDriver problems with this quick guide to automated testing of web applications with Selenium WebDriver in C#. Selenium WebDriver Recipes in C#, Second Edition contains hundreds of solutions to real-world problems, with clear explanations and ready-to-run Selenium test scripts that you can use in your own projects.You'll learn:How to locate web elements and test functions for ... Leer más

    $966 MXN

  • Explainable and Transparent AI and Multi-Agent Systems

    6th International Workshop, EXTRAAMAS 2024, Auckland, New Zealand, May 6–10, 2024, Revised Selected Papers

    Edición de Davide Calvaresi, Amro Najjar, Andrea Omicini, Reyhan Aydogan, Rachele Carli, Giovanni Ciatto, Joris Hulstijn, Kary Främling ...
    Series series Springer Nature Proceedings Computer Science
    This volume constitutes the papers of several workshops which were held in conjunction with the 6th International Workshop on Explainable and Transparent AI and Multi-Agent Systems, EXTRAAMAS 2024, in Auckland, New Zealand, during May 6–10, 2024.The 13 full papers presented in this book were carefully reviewed and selected from 25 submissions. The papers are organized in the following topical ... Leer más

    $1,178 MXN

  • Mastery in Azure DevOps: Navigating the Future of Software Development

    de Kameron Hussain, Frahaan Hussain ...
    Dive into the transformative world of Azure DevOps and unlock the full potential of software development with "Mastery in Azure DevOps: Navigating the Future of Software Development." This comprehensive guide is designed for professionals and enthusiasts alike, offering deep insights into the practices that drive efficiency, innovation, and success in the digital age.With "Mastery in Azure DevOps, ... Leer más

    $173 MXN

  • Declarative Programming and Knowledge Management

    Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9–12, 2019, Revised Selected Papers

    Edición de Petra Hofstedt, Salvador Abreu, Ulrich John, Herbert Kuchen, Dietmar Seipel ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes revised selected papers from the 22nd International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2019, the 33rd Workshop on Logic Programming, WLP 2019, and the 27th Workshop on Functional and (Constraint) Logic Programming, WFLP 2019.The 15 full papers and 1 short paper presented in this volume were carefully reviewed and selected from ... Leer más

    $906 MXN

  • ASP.NET Core Recipes

    A Problem-Solution Approach

    de John Ciliberti ...
    Series series Professional and Applied Computing (R0)
    Quickly find solutions to common web development problems. Content is presented in the popular problem-solution format. Look up the problem that you want to solve. Read the solution. Apply the solution directly in your own code. Problem solved!ASP.NET Core Recipes is a practical guide for developers creating modern web applications, cutting through the complexities of ASP.NET, jQuery, React, and ... Leer más

    $1,525 MXN

  • Haskell Quick Syntax Reference

    A Pocket Guide to the Language, APIs, and Library

    de Stefania Loredana Nita, Marius Mihailescu ...
    Series series Professional and Applied Computing (R0)
    This condensed code and syntax reference presents the essential Haskell syntax in a well-organized format that can be used as a quick and handy reference, including applications to cloud computing and data analysis. This book covers the functional programming features of Haskell as well as strong static typing, lazy evaluation, extensive parallelism, and concurrencyYou won’t find any technical ... Leer más

    $627 MXN

  • Learn LLVM 12

    A beginner's guide to learning LLVM compiler tools and core libraries with C++

    de Kai Nacke ...
    Learn how to build and use all parts of real-world compilers, including the frontend, optimization pipeline, and a new backend by leveraging the power of LLVM core librariesKey FeaturesGet to grips with effectively using LLVM libraries step-by-stepUnderstand LLVM compiler high-level design and apply the same principles to your own compilerUse compiler-based tools to improve the quality of code in ... Leer más

    $857 MXN o gratis con Kobo Plus

  • Build Your Own Programming Language

    A programmer's guide to designing compilers, interpreters, and DSLs for solving modern computing problems

    de Clinton L. Jeffery ...
    Written by the creator of the Unicon programming language, this book will show you how to implement programming languages to reduce the time and cost of creating applications for new or specialized areas of computingKey FeaturesReduce development time and solve pain points in your application domain by building a custom programming languageLearn how to create parsers, code generators, file readers ... Leer más

    $1,477 MXN o gratis con Kobo Plus

  • Formal Methods for Multicore Programming

    15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures

    Edición de Marco Bernardo, Einar Broch Johnsen ...
    Series series Computer Science (R0)
    This book presents 5 tutorial lectures given by leading researchers at the 15th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2015, held in Bertinoro, Italy, in June 2015. SFM 2015 was devoted to multicore programming and covered topics such as concurrency and coordination mechanisms, architecture and memory models and ... Leer más

    $852 MXN

  • Model and Data Engineering

    8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedings

    Edición de El Hassan Abdelwahed, Ladjel Bellatreche, Mattéo Golfarelli, Dominique Méry, Carlos Ordonez ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 8h International Conference on Model and Data Engineering, MEDI 2018, held in Marrakesh, Morocco, in October 2018.The 23 full papers and 4 short papers presented together with 2 invited talks were carefully reviewed and selected from 86 submissions. The papers covered the recent and relevant topics in the areas of databases; ontology and model ... Leer más

    $906 MXN

  • Beginning C++17

    From Novice to Professional

    de Ivor Horton, Peter Van Weert ...
    Series series Professional and Applied Computing (R0)
    Learn how to program using the updated C++17 language. You'll start with the basics and progress through step-by-step examples to become a working C++ programmer. All you need are Beginning C++17 and any recent C++ compiler and you'll soon be writing real C++ programs. There is no assumption of prior programming knowledge.All language concepts that are explained in the book are illustrated with ... Leer más

    $966 MXN