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 865 - 888 de 1249 resultados
Skip side bar filters

  • Python Machine Learning Case Studies

    Five Case Studies for the Data Scientist

    de Danish Haroon ...
    Series series Professional and Applied Computing (R0)
    Embrace machine learning approaches and Python to enable automatic rendering of rich insights and solve business problems. The book uses a hands-on case study-based approach to crack real-world applications to which machine learning concepts can be applied. These smarter machines will enable your business processes to achieve efficiencies on minimal time and resources.Python Machine Learning Case ... Leer más

    $1,375 MXN

  • Formal Methods: Foundations and Applications

    18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings

    Edición de Bill Roscoe, Márcio Cornélio ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes revised selected papers from the 18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in Belo Horizonte, Brazil, in September 2015.The 11 papers presented in this volume were carefully reviewed and selected from 25 submissions. They were organized in topical sections named: model checking; languages and semantics; refinement and verification; testing and ... Leer más

    $736 MXN

  • AIxIA 2020 – Advances in Artificial Intelligence

    XIXth International Conference of the Italian Association for Artificial Intelligence, Virtual Event, November 25–27, 2020, Revised Selected Papers

    Edición de Matteo Baldoni, Stefania Bandini ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed post proceedings of the XIXth International Conference of the Italian Association for Artificial Intelligence, AIxIA 2020, held in Milano, Italy, in November 2020.Due to the COVID-19 pandemic, the conference was "rebooted"/ re-organized w.r.t. the original format.The 27 full papers were carefully reviewed and selected from 89 submissions. The society aims at ... Leer más

    $1,656 MXN

  • C# 10 Quick Syntax Reference

    A Pocket Guide to the Language, APIs, and Library

    de Mikael Olsson ...
    Series Libro 10 - Professional and Applied Computing (R0)
    Discover what's new in C# and .NET for Windows programming. This book is a condensed code and syntax reference to the C# programming language, updated with the latest features of version 10 for .NET 6.You'll review the essential C# 10 and earlier syntax, not previously covered, in a well-organized format that can be used as a handy reference. Specifically, unions, generic attributes, ... Leer más

    $602 MXN

  • Roslyn Cookbook

    Compiler as a Service, Code Analysis, Code Quality and more

    de Manish Vasani, Ovais Mehboob Ahmed Khan ...
    Use Roslyn as a service to write powerful extensions and tools and use them in Visual Studio to improve code quality and maintain your source code more effectively.Key Features1. Use Roslyn extensions and tools in Visual Studio to enforce "house rules" on code and fix security and performance vulnerabilities in your code.2. Write Roslyn extensions using the Roslyn service API to help developers ... Leer más

    $753 MXN o gratis con Kobo Plus

  • Theory and Practice of Formal Methods

    Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

    Edición de Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen ...
    Series series Computer Science (R0)
    This Festschrift volume has been published in honor of Frank de Boer, on the occasion of his 60th birthday.Frank S. de Boer is a prominent member of the research community in formal methods and theoretical computer science. A brief look at his lengthy publication list reveals a broad area of interest and a versatile modus operandi with: logic and constraint programming; deductive proof systems, ... Leer más

    $920 MXN

  • Verified Software. Theories, Tools, and Experiments

    9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers

    Edición de Andrei Paskevich, Thomas Wies ...
    Series series Springer Nature Proceedings Computer Science
    This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2017, held in Heidelberg, Germany, in July 2017.The 12 full papers presented were carefully revised and selected from 20 submissions. The papers describe large-scale verification efforts that involve collaboration, theory ... Leer más

    $920 MXN

  • Guide to Programming and Algorithms Using R

    de Özgür Ergül ...
    Series series Computer Science (R0)
    This easy-to-follow textbook provides a student-friendly introduction to programming and algorithms. Emphasis is placed on the threshold concepts that present barriers to learning, including the questions that students are often too embarrassed to ask. The book promotes an active learning style in which a deeper understanding is gained from evaluating, questioning, and discussing the material, and ... Leer más

    $920 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

    $980 MXN

  • Learn Microsoft Visual Studio App Center

    With Xamarin Forms

    de Sunny Mukherjee ...
    Series series Professional and Applied Computing (R0)
    Use Visual Studio App Center with Xamarin Forms to set up a DevOps CI/CD pipeline, set up your mobile builds on either iOS or Android, set up Android and Apple certificates and provisioning profiles, distribute your app to your developers and testers, capture analytics and crashes from your users, communicate to your users with push notifications, and run UI tests on the Microsoft cloud. You will ... Leer más

    $1,083 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

    $920 MXN

  • PHP CLI

    Create Command Line Interface Scripts with PHP

    de Rob Aley ...
    Series series Professional and Applied Computing (R0)
    This concise book shows you how to create PHP command line interface (CLI) scripts, including user interaction and scripts to automate and assist your workflow. Learn to quickly create useful and effective command line software and scripts using the world's most popular web scripting language, PHP. Enjoy the benefits of writing CLI scripts in PHP: save money by redeploying existing skills, not ... Leer más

    $417 MXN

  • Beginning Haskell

    A Project-Based Approach

    de Alejandro Serrano Mena ...
    Series series Professional and Applied Computing (R0)
    Beginning Haskell provides a broad-based introduction to the Haskell language, its libraries and environment, and to the functional programming paradigm that is fast growing in importance in the software industry. The book takes a project-based approach to learning the language that is unified around the building of a web-based storefront. Excellent coverage is given to the Haskell ecosystem and ... Leer más

    $911 MXN

  • Einführung in die Bash

    Konzepte, Kommandos und Programmierung

    de Peter Mandl ...
    Series series Computer Science and Engineering (German Language)
    Das Buch vermittelt praktisch verwertbare Shell-Kenntnisse mit einem Fokus auf Bash unter Linux. Neben den grundlegenden Konzepten werden die wichtigsten Bash-Kommandos für die Dateibearbeitung, die Vergabe von Rechten und die Prozessverwaltung knapp und prägnant erläutert. Die Kommandos werden mit vielen Übungen praktisch erprobt. Erste Shell-Programme können nach kurzer Zeit eigenständig ... Leer más

    $326 MXN

  • Systems Programming in Unix/Linux

    de K.C. Wang ...
    Series series Computer Science (R0)
    Covering all the essential components of Unix/Linux, including process management, concurrent programming, timer and time service, file systems and network programming, this textbook emphasizes programming practice in the Unix/Linux environment. Systems Programming in Unix/Linux is intended as a textbook for systems programming courses in technically-oriented Computer Science/Engineering curricula ... Leer más

    $1,104 MXN

  • Language Constructs for Describing Features

    Proceedings of the FIREworks workshop

    Edición de Stephen Gilmore, Mark Ryan ...
    A feature is a small modification or extension of a system which can be seen as having a self-contained functional role, such as Call Forwarding, Automatic Call back and Voice Mail in telephone services, to which users can subscribe. Feature interaction happens when one feature modifies or subverts the operation of another, and this problem has received a great deal of attention from industry and ... Leer más

    $920 MXN

  • Multi-Paradigm Programming using C++

    de Dirk Vermeir ...
    An Introduction to Multi-Paradigm Programming using C++ is a self-contained reference book for those studying and using C++. Starting from scratch, Dirk Vermeir explains the idea of address, value and type in C++ before quickly moving on to cover the more important aspects of the language such as classes, templates, generic programming and inheritance. He includes recent developments in C++, such ... Leer más

    $1,656 MXN

  • Formal Verification of Just-in-Time Compilation

    de Aurèle Barrière ...
    Series series ACM Books
    This book outlines a methodology to develop formally verified Just-in-Time compilers. Just-in-Time compilation is a technique to execute programs, where execution is interleaved with optimizations of the program itself. These compilers often produce fast executions, so much so that their use has grown greatly for dynamic programming languages. Most modern web browsers today use Just-in-Time ... Leer más

    $681 MXN

  • Topics in Theoretical Computer Science

    Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings

    Edición de Mohammad Reza Mousavi, Jiří Sgall ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the Second IFIP WG 1.8 International Conference on Topics in Theoretical Computer Science, TTCS 2017, held in Tehran, Iran, in September 2017.The 8 papers presented in this volume were carefully reviewed and selected from 20 submissions. They were organized in topical sections named: algorithms and complexity; and logic, semantics, and programming ... Leer más

    $920 MXN

  • JAVA Aufgaben und Übungen

    Aufgaben, Lösungen, PAP und Struktogramme für den IT-Unterricht

    de Erich J. Schreiber ...
    Series series Computer Science and Engineering (German Language)
    Dieses Lehrbuch erklärt grundlegende JAVA-Konzepte mit Hilfe von zahlreichen Beispielen und Aufgabenstellungen. Insgesamt sind über 100 Aufgaben vorhanden mit Lösungen im Quellcode (Source). Das Buch bietet ebenfalls Präsentationsvorlagen, die auf die Syntax der Programmanweisungen eingehen.Zu der Planung von Software gehört die UML (Unified Modeling Language), eine grafische Modellierungssprache. ... Leer más

    $602 MXN

  • Rigorous State-Based Methods

    11th International Conference, ABZ 2025, Düsseldorf, Germany, June 10–13, 2025, Proceedings

    Edición de Michael Leuschel, Fuyuki Ishikawa ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 11th International Conference on Rigorous State-Based Methods, ABZ 2025, held in Düsseldorf, Germany, during June 10–13, 2025.The 10 full papers, 4 short papers, 2 PhD Symposium papers and 5 case study papers presented in this book were carefully reviewed and selected from 33 submissions. The proceedings also contain one invited talk in full ... Leer más

    $2,207 MXN

  • Maîtriser le Développement d'Applications Mobiles : De Swift à Kotlin, une Approche Complète

    Un Guide Pratique pour Créer des Applications Mobiles Modernes sur iOS et Android

    de YVES SITBON ...
    Ce livre est un guide complet destiné aux développeurs cherchant à exceller dans la création d'applications mobiles sur les plateformes iOS et Android. Couvrant les langages de programmation Swift et Kotlin, ainsi que les frameworks tels que Flutter, ce livre offre une exploration détaillée des meilleures pratiques, des outils essentiels et des techniques avancées nécessaires pour réussir dans le ... Leer más

    $245 MXN o gratis con Kobo Plus

  • Interactive Theorem Proving

    8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings

    Edición de Mauricio Ayala-Rincón, César A. Muñoz ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017.The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and selected from 65 submissions. The topics range from theoretical foundations to implementation aspects and applications in ... Leer más

    $920 MXN

  • Conceptual Modeling

    36th International Conference, ER 2017, Valencia, Spain, November 6–9, 2017, Proceedings

    Edición de Heinrich C. Mayr, Giancarlo Guizzardi, Hui Ma, Oscar Pastor ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 35th International Conference on Conceptual Modeling, ER 2017, held in Valencia, Spain, in November 2017.The 28 full and 10 short papers presented together with 1 full 6 keynotes were carefully reviewed and selected from 153 submissions.This events covers a wide range of following topics: Conceptual Modeling Methodology, Conceptual Modeling and ... Leer más

    $920 MXN