Skip to main content

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 1057 - 1080 de 1276 resultados
Skip side bar filters
  • Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems

    18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 18th International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems and Dependability and Fault Tolerance, MMB & DFT 2016, held in Münster, Germany, in April 2016.The 12 full papers and 3 short papers included in this volume were carefully reviewed and selected from 23 submissions. The papers deal with the fields of ... Leer más

    $909 MXN

  • Structured Object-Oriented Formal Language and Method

    5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers

    Edición de Shaoying Liu, Zhenhua Duan ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2015, held in Paris, France, in November 2015. The 15 papers presented in this volume were carefully reviewed and selected from 22 submissions.The focus of this workshops was on following subjects: Modeling, specification, ... Leer más

    $909 MXN

  • Perspectives of System Informatics

    9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers

    Series series Springer Nature Proceedings Computer Science
    This book contains the thoroughly refereed papers from the 9th International Ershov Informatics Conference, PSI 2014, held in St. Petersburg, Russia, in June 2014.The 17 revised full papers, 11 revised short papers, and 2 system and experimental papers presented in this book were carefully reviewed and selected from 80 submissions. The volume also contains 5 keynote talks which cover a range of ... Leer más

    $909 MXN

  • Formal Techniques for Distributed Objects, Components, and Systems

    38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings

    Edición de Christel Baier, Luís Caires ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 38th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018.The 10 full papers presented were carefully reviewed and selected from 28 submissions. ... Leer más

    $909 MXN

  • Trends in Functional Programming

    17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers

    Edición de David Van Horn, John Hughes ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 17th International Conference on Trends in Functional Programming, TFP 2016, held in College Park, USA, in June 2016.The 10 full papers presented in this volume were carefully reviewed and selected from 18 submissions. The papers were organized in topical sections named: implementation techniques; types and verification; and programming. ... Leer más

    $909 MXN

  • Languages and Compilers for Parallel Computing

    30th International Workshop, LCPC 2017, College Station, TX, USA, October 11–13, 2017, Revised Selected Papers

    Edición de Lawrence Rauchwerger ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 30th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2017, held in College Station, TX, USA, in October 2017.The 17 full papers presented together with abstracts of 5 keynote talks, 11 invited speakers and 4 poster papers in this volume were carefully reviewed and selected from 26 submissions. LCPC encourages submissions ... Leer más

    $909 MXN

  • Chatbot Research and Design

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

    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,363 MXN

  • Accelerator Programming Using Directives

    7th International Workshop, WACCPD 2020, Virtual Event, November 20, 2020, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 7th International Workshop on Accelerator Programming Using Directives, WACCPD 2020, which took place on November 20, 2021. The workshop was initially planned to take place in Atlanta, GA, USA, and changed to an online format due to the COVID-19 pandemic.WACCPD is one of the major forums for bringing together users, developers, and the software and ... Leer más

    $909 MXN

  • Automated Technology for Verification and Analysis

    16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

    Edición de Shuvendu K. Lahiri, Chao Wang ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 16th International Symposium on Automated Technology for Verification and Analysis, ATVA 2018, held in Los Angeles, CA, USA in October 2018.The 27 full papers presented together with 5 short papers and 3 invited talks were carefully reviewed and selected from 82 submissions.The symposium is dedicated to the promotion of research on theoretical ... Leer más

    $909 MXN

  • Software Technologies: Applications and Foundations

    STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers

    Series series Springer Nature Proceedings Computer Science
    This book contains the thoroughly refereed technical papers presented in eight workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2018, held in Toulouse, France, in June 2018.The 65 full papers presented were carefully reviewed and selected from 120 submissions.The events whose papers are included in this volume are:CoSim-CPS 2018: ... Leer más

    $909 MXN

  • Practical Aspects of Declarative Languages

    21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 21st International Conference on Practical Aspects of Declarative Languages, PADL 2019, held in Lisbon, Portugal, in January 2019. The 14 revised full papers were carefully reviewed and selected from 35 submissions. The papers present original work emphasizing novel applications and implementation techniques for all forms of declarative ... Leer más

    $909 MXN

  • Logic-Based Program Synthesis and Transformation

    28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers

    Edición de Fred Mesnard, Peter J. Stuckey ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed post-conference proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2018, held in Frankfurt/Main, Germany, in September 2018.The 11 revised full papers were carefully reviewed and selected from 29 submissions. In addition to the 11 papers, this volume includes 3 abstracts of invited talks and 2 ... Leer más

    $909 MXN

  • End-User Development

    7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10–12, 2019, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 7th International Symposium on End-User Development, IS-EUD 2017, held in Hatfield, UK, in July 2019.The 9 full papers and 8 short papers presented were carefully reviewed and selected from 35 submissions. The papers discuss progress in research around end-user development through, or towards, methods, socio-technical environments, intelligent ... Leer más

    $1,036 MXN

  • Theoretical Aspects of Computing – ICTAC 2017

    14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings

    Edición de Dang Van Hung, Deepak Kapur ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 14th International Colloquium on Theoretical Aspects of Computing, ICTAC 2017, held in Hanoi, Vietnam, in October 2017.The 17 revised full papers presented together with three invited talks were carefully reviewed and selected from 40 submissions. The papers are organized in topical sections on logics; software components and concurrency; ... Leer más

    $909 MXN

  • Cyber Physical Systems. Model-Based Design

    9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 9th International Workshop on Model-Based Design of Cyber Physical Systems, CyPhy 2019 and 15th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2019, held in conjunction with ESWeek 2019, in New York City, NY, USA, in October 2019.The 13 full papers presented together in this volume were carefully reviewed and selected from ... Leer más

    $909 MXN

  • Dynamic SQL

    Applications, Performance, and Security

    de Ed Pollack ...
    Series series Professional and Applied Computing (R0)
    This book is an introduction and deep-dive into the many uses of dynamic SQL in Microsoft SQL Server. Dynamic SQL is key to large-scale searching based upon user-entered criteria. It’s also useful in generating value-lists, in dynamic pivoting of data for business intelligence reporting, and for customizing database objects and querying their structure.Executing dynamic SQL is at the heart of ... Leer más

    $679 MXN

  • Essential TypeScript

    From Beginner to Pro

    de Adam Freeman ...
    Series series Professional and Applied Computing (R0)
    Work with Typescript and get the most from this versatile open source language. Author Adam Freeman begins this book by describing Typescript and the benefits it offers, and goes on to show you how to use TypeScript in realistic scenarios, going in-depth to give you the knowledge you need.Starting from the nuts-and-bolts and building up to the most advanced and sophisticated features, you will ... Leer más

    $968 MXN

  • Customizing Dynamics 365

    Implementing and Releasing Business Solutions

    de Sanjaya Yapa ...
    Series series Professional and Applied Computing (R0)
    Gain an understanding of basic and advanced customizations in Dynamics 365 and learn how they can be effectively used to implement simple business requirements. This is a practical book for developers that explains the use of various Dynamics 365 features as well as use of advanced concepts such as Azure integration and custom development.Customizing Dynamics 365 starts by explaining the business ... Leer más

    $1,070 MXN

  • Introducing Algorithms in C

    A Step by Step Guide to Algorithms in C

    Series series Professional and Applied Computing (R0)
    Study elementary and complex algorithms with clear examples and implementations in C. This book introduces data types (simple and structured) and algorithms with graphical and textual explanations. In the next sections, you’ll cover simple and complex standard algorithms with their flowcharts: everything is integrated with explanations and tables to give a step-by-step evolution of the algorithms ... Leer más

    $799 MXN

  • Introducing Play Framework

    Java Web Application Development

    Series series Professional and Applied Computing (R0)
    Enter the world of rapid web application development. This gentle introduction to Play covers all you need to know: it carefully introduces the background concepts before diving into examples, making learning Play 2 enjoyable (it includes the latest Play framework version 2.8).Introducing Play Framework is crisp, up-to-the-point, and full of valuable information. You will find chapters covering ... Leer más

    $799 MXN

  • Introducing Vala Programming

    A Language and Techniques to Boost Productivity

    de Michael Lauer ...
    Series series Professional and Applied Computing (R0)
    Get an introduction into the Vala programming language and learn about its syntax, semantics, and idioms. Do you want to boost your productivity? Are you interested in a programming language that combines the efficiency of a scripting language with the performance of a compiled language? Did you always want to write GTK+ or GNOME programs, but hate C with a passion? Read this book and learn Vala ... Leer más

    $799 MXN

  • From Linear Operators to Computational Biology

    Essays in Memory of Jacob T. Schwartz

    Edición de Martin Davis, Edmond Schonberg ...
    Series series Computer Science (R0)
    In his rich and varied career as a mathematician, computer scientist, and educator, Jacob T. Schwartz wrote seminal works in analysis, mathematical economics, programming languages, algorithmics, and computational geometry. In this volume of essays, his friends, students, and collaborators at the Courant Institute of Mathematical Sciences present recent results in some of the fields that Schwartz ... Leer más

    $1,636 MXN

  • Instruction Level Parallelism

    Series series Computer Science (R0)
    This book precisely formulates and simplifies the presentation of Instruction Level Parallelism (ILP) compilation techniques. It uniquely offers consistent and uniform descriptions of the code transformations involved. Due to the ubiquitous nature of ILP in virtually every processor built today, from general purpose CPUs to application-specific and embedded processors, this book is useful to the ... Leer más

    $1,091 MXN

  • Introduction to MATLAB for Engineers and Scientists

    Solutions for Numerical Computation and Modeling

    de Sandeep Nagar ...
    Series series Professional and Applied Computing (R0)
    Familiarize yourself with MATLAB using this concise, practical tutorial that is focused on writing code to learn concepts. Starting from the basics, this book covers array-based computing, plotting and working with files, numerical computation formalism, and the primary concepts of approximations. Introduction to MATLAB is useful for industry engineers, researchers, and students who are looking ... Leer más

    $629 MXN