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 1192 resultados
Skip side bar filters
  • Explainable and Transparent AI and Multi-Agent Systems

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

    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

    $68.19 USD

  • Software Engineering: Specification, Implementation, Verification

    de Suad Alagić ...
    Series series Computer Science (R0)
    This book takes a formal approach to teaching software engineering, using not only UML, but also Object Constraint Language (OCL) for specification and analysis of designed models. Employing technical details typically missing from existing textbooks on software engineering, the author shows how precise specifications lead to static verification of software systems. In addition, data management is ... Leer más

    $73.39 USD

  • Learn Rails 6

    Accelerated Web Development with Ruby on Rails

    Series series Professional and Applied Computing (R0)
    Effectively learn and apply software development and engineering techniques to web application development using Rails 6 with this accelerated tutorial. This book teaches modern engineering practices including git flow, containerization, debugging, testing, and deployment. Along the way, you’ll see how to build a social network application and then deploy it on a cloud provider such as Amazon Web ... Leer más

    $78.39 USD

  • Modern X86 Assembly Language Programming

    Covers x86 64-bit, AVX, AVX2, and AVX-512

    Series Libro 512 - Professional and Applied Computing (R0)
    Gain the fundamentals of x86 64-bit assembly language programming and focus onthe updated aspects of the x86 instruction set that are most relevant to applicationsoftware development. This book covers topics including x86 64-bit programming andAdvanced Vector Extensions (AVX) programming.The focus in this second edition is exclusively on 64-bit base programming architectureand AVX programming. ... Leer más

    $61.79 USD

  • Die ultimative QNAP NAS Bibel - Das Praxisbuch - mit vielen Insider Tipps und Tricks - komplett in Farbe

    Die ultimative QNAP NAS BibelDieses Praxisbuch zu den hochwertigen NAS-Systemen des Anbieters QNAP bietet einen umfassenden Einblick in das Thema der Network-Attached-Storage-Geräte. Dieses Buch begleitet Sie von Anfang an durch das Abenteuer NAS: Falls Sie noch kein Gerät haben, bekommen Sie Entscheidungshilfen für den Kauf, und eine anschauliche Schrittanleitung führt Sie durch den ... Leer más

    $14.39 USD

  • Pro Functional PHP Programming

    Application Development Strategies for Performance Optimization, Concurrency, Testability, and Code Brevity

    de Rob Aley ...
    Series series Professional and Applied Computing (R0)
    Bring the power of functional programming to your PHP applications. From performance optimizations to concurrency, improved testability to code brevity, functional programming has a host of benefits when compared to traditional imperative programming.Part one of Pro Functional PHP Programming takes you through the basics of functional programming, outlining the key concepts and how they translate ... Leer más

    $46.09 USD

  • Diagrammatic Representation and Inference

    14th International Conference, Diagrams 2024, Münster, Germany, September 27 – October 1, 2024, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 14th International Conference on the Theory and Application of Diagrams, Diagrams 2024, held in Münster, Germany, during September 27–October 1, 2024.The 17 full papers, 19 short papers and 11 papers of other types included in this book were carefully reviewed and selected from 69 submissions. They were organized in topical sections as follows: ... Leer más

    $68.19 USD

  • 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

    $78.39 USD

  • Test Driven Development in Ruby

    A Practical Introduction to TDD Using Problem and Solution Domain Analysis

    de Bala Paranj ...
    Series series Professional and Applied Computing (R0)
    Learn the basics of test driven development (TDD) using Ruby. You will carry out problem domain analysis, solution domain analysis, designing test cases, and writing tests first. These fundamental concepts will give you a solid TDD foundation to build upon. Test Driven Development in Ruby is written by a developer for developers.The concepts are first explained, then a coding demo illustrates how ... Leer más

    $55.89 USD

  • Specification of Software Systems

    Series series Computer Science (R0)
    This extensively revised and updated new edition of Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods for specification and verification activities for different types of software systems and at different stages of developing software systems. Topics and features: provides a wide coverage of formal ... Leer más

    $52.49 USD

  • Runtime Verification

    19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings

    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 19th International Conference on Runtime Verification, RV 2019, held in Porto, Portugal, in October 2019.The 25 regular papers presented in this book were carefully reviewed and selected from 38 submissions.The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. ... Leer más

    $68.19 USD

  • 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

    $68.19 USD

  • Model and Data Engineering

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

    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

    $52.49 USD

  • Requirements Engineering: Foundation for Software Quality

    25th International Working Conference, REFSQ 2019, Essen, Germany, March 18–21, 2019, Proceedings

    Edición de Eric Knauss, Michael Goedicke ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 25th International Working Conference on Requirements Engineering - Foundation for Software Quality, REFSQ 2019, held in Essen, Germany, in March 2019.The 13 full papers and 9 short papers in this volume were carefully reviewed and selected from 66 submissions. The papers were organized in topical sections named: Automated Analysis; Making Sense of ... Leer más

    $68.19 USD

  • Python Programming for Beginners

    The Complete Guide to Mastering Python in 10 Days with Guiding Exercises – Top Secret Coding Tips, Well-detailed Examples and Outputs, with Questions and Answers for Each Chapter. The Ultimate Python Crash Course for Dummies. Computer science

    de C J Smith ...
    THE EASIEST PYTHON PROGRAMMING BOOK EVERLooking to learn Python programming in a beginner-friendly way? Look no further than "Python Programming for Beginners" by Musa Usman! This comprehensive guide covers everything you need to know about Python, from the basics of data types and control structures to advanced topics like object-oriented programming and multithreading. With clear explanations, ... Leer más

    $9.99 USD o gratis con Kobo Plus

  • Programming Smalltalk – Object-Orientation from the Beginning

    An introduction to the principles of programming

    Series series Computer Science (R0)
    A straightforward, step-by-step introduction to clear and elegant object-oriented programming. Using a language that's perfect for this kind of programming, the book has been tested in numerous courses and workshops over ten years.Programming Smalltalk is particularly suited for readers with no prior programming knowledge. Starting from the first principles of programming, it teaches you how to ... Leer más

    $57.69 USD

  • Principles of Modeling

    Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday

    Series series Computer Science (R0)
    This Festschrift is published in honor of Edward A. Lee, Robert S. Pepper Distinguished Professor Emeritus and Professor in the Graduate School in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley, USA, on the occasion of his 60th birthday.The title of this Festschrift is “Principles of Modeling" because Edward A. Lee has long been devoted to ... Leer más

    $52.49 USD

  • Advanced Parallel Processing Technologies

    11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015, Proceedings

    Edición de Yunji Chen, Paolo Ienne, Qing Ji ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 11th International Symposium on Advanced Parallel Processing Technologies, APPT 2015, held in Jinan, China, in August 2015. The 8 papers presented in this volume were carefully reviewed and selected from 24 submissions. They deal with the recent advances in big data processing; parallel architectures and systems; parallel software; parallel algorithms ... Leer más

    $41.99 USD

  • MATLAB Optimization Techniques

    de Cesar Lopez ...
    Series series Professional and Applied Computing (R0)
    MATLAB is a high-level language and environment for numerical computation, visualization, and programming. Using MATLAB, you can analyze data, develop algorithms, and create models and applications. The language, tools, and built-in math functions enable you to explore multiple approaches and reach a solution faster than with spreadsheets or traditional programming languages, such as C/C++ or Java ... Leer más

    $78.39 USD

  • Learning C# by Programming Games

    Series series Computer Science (R0)
    Developing computer games is a perfect way to learn how to program in modern programming languages. This book teaches how to program in C# through the creation of computer games – and without requiring any previous programming experience.Contrary to most programming books, Egges, Fokker and Overmars do not organize the presentation according to programming language constructs, but instead use the ... Leer más

    $52.49 USD

  • Rust for the IoT

    Building Internet of Things Apps with Rust and Raspberry Pi

    Series series Professional and Applied Computing (R0)
    Get started programming Rust applications for the Internet of Things (IoT). This book is a programming skills migration book that teaches you the Rust programming techniques most useful for IoT applications. You'll step through from server to board development in creating a set of IoT applications.In Rust for the IoT, you'll learn how to build a modern server-side application using Rust on the ... Leer más

    $65.69 USD

  • Learn PHP 8

    Using MySQL, JavaScript, CSS3, and HTML5

    Series series Professional and Applied Computing (R0)
    Write solid, secure, object-oriented code in the new PHP 8. In this book you will create a complete three-tier application using a natural process of building and testing modules within each tier. This practical approach teaches you about app development and introduces PHP features when they are actually needed rather than providing you with abstract theory and contrived examples.In Learn PHP 8, ... Leer más

    $46.09 USD

  • Informatics in Schools. Fostering Problem-Solving, Creativity, and Critical Thinking Through Computer Science Education

    18th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2025, Trier, Germany, September 8–10, 2025, Proceedings

    Edición de Jacqueline Staub, Adish Singla ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 18th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2025, held in Trier, Germany, during September 8–10, 2025.The 13 full papers presented were carefully reviewed and selected from 41 submissions. The papers cover the following topics: Curricula and Computer Science Concepts; Teachers’ Perspective; AI ... Leer más

    $52.49 USD

  • Verified Software: Theories, Tools and Experiments

    6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

    Series series Springer Nature Proceedings Computer Science
    This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, held in July 2014 at the Vienna Summer of Logic in Vienna, Austria, as an associated event of CAV 2014, the International Conference on Computer-Aided Verification. The 17 revised full papers presented were carefully ... Leer más

    $49.29 USD