Skip to main content
Search Button
Librairie Kobo États-Unis Cartes cadeau Aide
Kobo Rakuten
Liste d'envies

Panier

Vous profitez des avantages réservés aux VIP !

Article(s) non disponible(s) à la vente
Veuillez vérifier votre panier. Vous pouvez supprimer le ou les articles qui ne sont pas disponibles maintenant ou nous les supprimerons automatiquement au moment du règlement de la commande.
articlesarticle
articlesarticle

Recommandé pour vous

Loading...


Computer Science (R0) Collections de eBooks

1 - 12 sur 12 résultats
Skip side bar filters

  • Introduction to the Theory of Programming Languages

    par Gilles Dowek, Jean-Jacques Lévy ...
    Collection series Computer Science (R0)
    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 different ... En savoir plus

    $31.49 USD

  • Proofs and Algorithms

    An Introduction to Logic and Computability

    par Gilles Dowek ...
    Collection series Computer Science (R0)
    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 a series of results ... En savoir plus

    $31.49 USD

Les lecteurs de ces livres ont aussi aimé

  • Sets, Logic and Maths for Computing

    par David Makinson ...
    Collection series Computer Science (R0)
    This easy-to-follow textbook introduces the mathematical language, knowledge and problem-solving skills that undergraduates need to study computing. The language is in part qualitative, with concepts such as set, relation, function and recursion/induction; but it is also partly quantitative, with principles of counting and finite probability. Entwined with both are the fundamental notions of logic ... En savoir plus

    $31.99 USD

  • More Secrets of Consulting

    Consulting Secrets, #2

    par Gerald M. Weinberg ...
    Collection Livre 2 - Consulting Secrets
    More Secrets of Consulting is a sequel or extension to The Secrets of Consulting, but the two books may be read in either order. One reviewer said: "Just buy this book and improve your life. I add Mr. Weinberg to a short list of those authors and persons in my life that have made me a better person and provided some direction to the chaos of the universe."Another reviewer said: The "Consultant's ... En savoir plus

    $9.99 USD ou Gratuit avec Kobo Plus

  • Beginning Julia Programming

    For Engineers and Scientists

    par Sandeep Nagar ...
    Collection series Professional and Applied Computing (R0)
    Get started with Julia for engineering and numerical computing, especially data science, machine learning, and scientific computing applications. This book explains how Julia provides the functionality, ease-of-use and intuitive syntax of R, Python, MATLAB, SAS, or Stata combined with the speed, capacity, and performance of C, C++, or Java. You’ll learn the OOP principles required to get you ... En savoir plus

    $71.99 USD

  • Programming Embedded Systems

    With C and GNU Development Tools

    par Michael Barr, Anthony Massa ...
    If you have programming experience and a familiarity with C--the dominant language in embedded systems--Programming Embedded Systems, Second Edition is exactly what you need to get started with embedded software. This software is ubiquitous, hidden away inside our watches, DVD players, mobile phones, anti-lock brakes, and even a few toasters. The military uses embedded software to guide missiles, ... En savoir plus

    $28.99 USD

  • Applied Logic for Computer Scientists

    Computational Deduction and Formal Proofs

    par Mauricio Ayala-Rincón, Flávio L. C. de Moura ...
    Collection series Computer Science (R0)
    This book provides an introduction to logic and mathematical induction which are the basis of any deductive computational framework. A strong mathematical foundation of the logical engines available in modern proof assistants, such as the PVS verification system, is essential for computer scientists, mathematicians and engineers to increment their capabilities to provide formal proofs of theorems ... En savoir plus

    $44.99 USD

  • Topics in Theoretical Computer Science

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

    Modifié par Mohammad Reza Mousavi, Jiří Sgall ...
    Collection 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 ... En savoir plus

    $49.49 USD

  • Concise Computer Mathematics

    Tutorials on Theory and Problems

    par Ovidiu Bagdasar ...
    Collection series Computer Science (R0)
    Adapted from a modular undergraduate course on computational mathematics, Concise Computer Mathematics delivers an easily accessible, self-contained introduction to the basic notions of mathematics necessary for a computer science degree. The text reflects the need to quickly introduce students from a variety of educational backgrounds to a number of essential mathematical concepts. The material ... En savoir plus

    $62.99 USD

  • Database and Expert Systems Applications

    28th International Conference, DEXA 2017, Lyon, France, August 28-31, 2017, Proceedings, Part I

    Modifié par Djamal Benslimane, Ernesto Damiani, William I. Grosky, Abdelkader Hameurlain, Amit Sheth, Roland R. Wagner ...
    Collection Livre 1 - Springer Nature Proceedings Computer Science
    This two volume set LNCS 10438 and LNCS 10439 constitutes the refereed proceedings of the 28th International Conference on Database and Expert Systems Applications, DEXA 2017, held in Lyon, France, August 2017.The 37 revised full papers presented together with 40 short papers were carefully reviewed and selected from 166 submissions. The papers discuss a range of topics including: Semantic Web and ... En savoir plus

    $49.49 USD

  • Programming Language Pragmatics

    par Michael Scott ...
    Programming Language Pragmatics, Third Edition, is the most comprehensive programming language book available today. Taking the perspective that language design and implementation are tightly interconnected and that neither can be fully understood in isolation, this critically acclaimed and bestselling book has been thoroughly updated to cover the most recent developments in programming language ... En savoir plus

    $70.99 USD

  • Rewriting Logic and Its Applications

    11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers

    Modifié par Dorel Lucanu ...
    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed post-workshop proceedings of the 11th International Workshop on Rewriting Logic and its Applications, WRLA 2016, held as a satellite event of ETAPS 2016, in Eindhoven, The Netherlands, in April 2016.The 8 revised full papers presented together with 2 invited papers and 3 abstracts were carefully reviewed and selected from 14 submissions. The papers ... En savoir plus

    $49.99 USD