LIBROS DEL AUTOR: gilles dowek

5 resultados para LIBROS DEL AUTOR: gilles dowek

gilles dowek Eliminar filtro Quitar filtros
  • Rewriting and Typed Lambda Calculi
    Gilles Dowek
    This book constitutes the refereed proceedings of the Joint 25th International Conference on Rewriting Techniques and Applications, RTA 2014, and 12th International Conference on Typed Lambda-Calculi and Applications, TLCA 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 28 revised full papers and 3 short papers presented were ca...
    Disponible

    46,78 €

  • Rewriting and Typed Lambda Calculi
    Gilles Dowek
    This book constitutes the refereed proceedings of the Joint 25th International Conference on Rewriting Techniques and Applications, RTA 2014, and 12th International Conference on Typed Lambda-Calculi and Applications, TLCA 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 28 revised full papers and 3 short papers presented were ca...
    Disponible

    65,22 €

  • Proofs and Algorithms
    Gilles Dowek
    Logic is a branch of philosophy, mathematics and computer science. It studies the required methods to determine whether a statement is true, such as reasoning and computation.Proofs and Algorithms: Introduction to Logic and Computability is an introduction to the fundamental concepts of contemporary logic - those of a proof, a computable function, a model and a set. It presents...
    Disponible

    48,39 €

  • Introduction to the Theory of Programming Languages
    Gilles Dowek / Jean-Jacques Lévy
    The design and implementation of programming languages, from Fortran and Cobol to Caml and Java, has been one of the key developments in the management of ever more complex computerized systems. Introduction to the Theory of Programming Languages gives the reader the means to discover the tools to think, design, and implement these languages.It proposes a unified vision of the ...
    Disponible

    48,65 €

  • Principles of Programming Languages
    Gilles Dowek
    We’ve known about algorithms for millennia, but we’ve only been writing c- puter programs for a few decades. A big di?erence between the Euclidean or Eratosthenes age and ours is that since the middle of the twentieth century, we express the algorithms we conceive using formal languages: programming languages. Computer scientists are not the only ones...
    Disponible

    45,95 €