Skip to main content
Search Button
United States Kobo store Gift Cards Help

Rakuten Kobo

Wishlist

Shopping Cart

You're getting the VIP treatment!

Item(s) unavailable for purchase
Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.
itemsitem
itemsitem

Recommended For You

Loading...


Top Series in United States

Showing 1 - 12 of 12 results for “fabrice rastello”
Skip side bar filters

  • SSA-based Compiler Design

    Edited by Fabrice Rastello, Florent Bouchez Tichadou ...
    Series series Computer Science (R0)
    This book provides readers with a single-source reference to static-single assignment(SSA)-based compiler design. It is the first (and up to now only) book that coversin a deep and comprehensive way how an optimizing compiler can be designed usingthe SSA form. After introducing vanilla SSA and its main properties, the authorsdescribe several compiler analyses and optimizations under this form. ... Read more

    $80.09 USD

People who read this also enjoyed

  • Elements of Programming

    by Paul McJones, Alexander Stepanov ...
    “Ask a mechanical, structural, or electrical engineer how far they would get without a heavy reliance on a firm mathematical foundation, and they will tell you, ‘not far.’ Yet so-called software engineers often practice their art with little or no idea of the mathematical underpinnings of what they are doing. And then we wonder why software is notorious for being delivered late and full of bugs, ... Read more

    $34.19 USD

  • The Art of Multiprocessor Programming, Revised Reprint

    by Maurice Herlihy, Nir Shavit ...
    Revised and updated with improvements conceived in parallel programming courses, The Art of Multiprocessor Programming is an authoritative guide to multicore programming. It introduces a higher level set of software development skills than that needed for efficient single-core programming. This book provides comprehensive coverage of the new principles, algorithms, and tools necessary for ... Read more

    $66.59 USD

  • Graph Machine Learning

    Take graph data to the next level by applying machine learning techniques and algorithms

    by Claudio Stamile, Aldo Marzullo, Enrico Deusebio ...
    Build machine learning algorithms using graph data and efficiently exploit topological information within your modelsKey FeaturesImplement machine learning techniques and algorithms in graph dataIdentify the relationship between nodes in order to make better business decisionsApply graph-based machine learning methods to solve real-life problemsBook DescriptionGraph Machine Learning will introduce ... Read more

    $40.49 USD or Free with Kobo Plus

  • Heuristic Search

    Theory and Applications

    by Stefan Edelkamp, Stefan Schroedl ...
    Search has been vital to artificial intelligence from the very beginning as a core technique in problem solving. The authors present a thorough overview of heuristic search with a balance of discussion between theoretical analysis and efficient implementation and application to real-world problems. Current developments in search such as pattern databases and search with efficient use of external ... Read more

    $80.99 USD

  • Handbook of Constraint Programming

    Edited by Francesca Rossi, Peter van Beek, Toby Walsh ...
    Series series Foundations of Artificial Intelligence
    Constraint programming is a powerful paradigm for solving combinatorial search problems that draws on a wide range of techniques from artificial intelligence, computer science, databases, programming languages, and operations research. Constraint programming is currently applied with success to many domains, such as scheduling, planning, vehicle routing, configuration, networks, and bioinformatics ... Read more

    $193.49 USD

  • Modern Compiler Implementation in Java

    by Andrew W. Appel ...
    This textbook describes all phases of a compiler: lexical analysis, parsing, abstract syntax, semantic actions, intermediate representations, instruction selection via tree matching, dataflow analysis, graph-coloring register allocation, and runtime systems. It includes good coverage of current techniques in code generation and register allocation, as well as the compilation of functional and ... Read more

    $95.19 USD

  • Introduction to Parallel Computing

    by Zbigniew J. Czech ...
    The constantly increasing demand for more computing power can seem impossible to keep up with. However, multicore processors capable of performing computations in parallel allow computers to tackle ever larger problems in a wide variety of applications. This book provides a comprehensive introduction to parallel computing, discussing theoretical issues such as the fundamentals of concurrent ... Read more

    $85.29 USD

  • Computer Aided Verification

    32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I

    Edited by Shuvendu K. Lahiri, Chao Wang ...
    Series Book 1 - Springer Nature Proceedings Computer Science
    The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.*The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical ... Read more

    Free

  • Computer Aided Verification

    31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

    Edited by Isil Dillig, Serdar Tasiran ...
    Series Book 2 - Springer Nature Proceedings Computer Science
    The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019.The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical ... Read more

    Free

  • Distributed Algorithms for Message-Passing Systems

    by Michel Raynal ...
    Series series Computer Science (R0)
    Distributed computing is at the heart of many applications. It arises as soon as one has to solve a problem in terms of entities -- such as processes, peers, processors, nodes, or agents -- that individually have only a partial knowledge of the many input parameters associated with the problem. In particular each entity cooperating towards the common goal cannot have an instantaneous knowledge of ... Read more

    $62.99 USD

  • Multicore Programming Using the ParC Language

    by Yosi Ben-Asher ...
    Series series Computer Science (R0)
    Multicore Programming Using the ParC Language discusses the principles of practical parallel programming using shared memory on multicore machines. It uses a simple yet powerful parallel dialect of C called ParC as the basic programming language. Designed to be used in an introductory course in parallel programming and covering basic and advanced concepts of parallel programming via ParC examples, ... Read more

    $44.99 USD