Skip to main content

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...

eBooks Compilateurs

Si vous aimez les titres Compilateurs, vous allez adorer cette sélection.
Affichage des résultats 49 - 72 sur 1199
Skip side bar filters
  • Formal Aspects of Component Software

    15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings

    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings from the 15th International Conference on Formal Aspects of Component Software, FACS 2018, held in Pohang, South Korea, in October 2018.The 14 full papers presented together with an invited abstract and an invited paper were carefully reviewed and selected from 32 submissions. FACS 2016 is concerned with how formal methods can be used to make ... En savoir plus

    52,99 €

  • JavaScript Frameworks for Modern Web Development

    The Essential Frameworks, Libraries, and Tools to Learn Right Now

    Collection series Professional and Applied Computing (R0)
    Enrich your software design skills and take a guided tour of the wild, vast, and untamed frontier that is JavaScript development. Especially useful for frontend developers, this revision includes specific chapters on React and VueJS, as well as an updated one on Angular. To help you get the most of your new skills, each chapter also has a "further reading" section.This book will serve as an ... En savoir plus

    56,46 €

  • Parsing with Perl 6 Regexes and Grammars

    A Recursive Descent into Parsing

    par Moritz Lenz ...
    Collection series Professional and Applied Computing (R0)
    Write good regexes and parsers with the Perl 6 programming language. You’ll see how regexes are used for searching, parsing, and validation: in particular the grammar extension makes them uniquely suitable for parsing, the main focus of this book. Written by Perl 6 expert Moritz Lenz, a core contributor of Rakudo, Parsing with Perl 6 Regexes and Grammars starts from the very basics of regular ... En savoir plus

    36,64 €

  • Composability, Comprehensibility and Correctness of Working Software

    8th Summer School, CEFP 2019, Budapest, Hungary, June 17–21, 2019, Revised Selected Papers

    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the revised selected papers of the 8th Summer School, CEFP 2019, held in Budapest, Hungary, during June 2019.The 7 full papers and the 4 short papers included in this volume were carefully reviewed and selected. The lectures cover various programming subjects with a focus on composability, comprehensibility, and correctness of working software. ... En savoir plus

    79,49 €

  • Objective-C Programmer's Reference

    par Carlos Oliveira ...
    Collection series Professional and Applied Computing (R0)
    Objective-C Programmer's Reference provides the tools necessary to write software in Objective-C—the language of choice for developing iOS and OS X applications. Author Carlos Oliveira begins from the basic building blocks of the language. He shows how to create correct and efficient applications by applying your knowledge of object-oriented and structured programming. This book:Takes you quickly ... En savoir plus

    52,49 €

  • Rewriting Logic and Its Applications

    10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers

    Modifié par Santiago Escobar ...
    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Rewriting Logic and its Applications, WRLA 2014, held as a satellite event of ETAPS 2014, in Grenoble, France, in March 2014.The 13 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 21 submissions. The papers address a great diversity of ... En savoir plus

    49,81 €

  • Beginning Haskell

    A Project-Based Approach

    Collection series Professional and Applied Computing (R0)
    Beginning Haskell provides a broad-based introduction to the Haskell language, its libraries and environment, and to the functional programming paradigm that is fast growing in importance in the software industry. The book takes a project-based approach to learning the language that is unified around the building of a web-based storefront. Excellent coverage is given to the Haskell ecosystem and ... En savoir plus

    52,49 €

  • Model Checking Software

    22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings

    Modifié par Bernd Fischer, Jaco Geldenhuys ...
    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 22nd International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented – 14 regular papers and 4 tool or new idea papers – were carefully reviewed and selected from 27 submissions. They cover the field between theoretical advances and practical considerations and are ... En savoir plus

    52,99 €

  • Bad Programming Practices 101

    Become a Better Coder by Learning How (Not) to Program

    par Karl Beecher ...
    Collection series Professional and Applied Computing (R0)
    This book takes a humorous slant on the programming practice manual by reversing the usual approach: under the pretence of teaching you how to become the world’s worst programmer who generally causes chaos, the book teaches you how to avoid the kind of bad habits that introduce bugs or cause code contributions to be rejected.Why be a code monkey when you can be a chaos monkey? OK, so you want to ... En savoir plus

    46,56 €

  • Formal Techniques for Safety-Critical Systems

    Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers

    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the Third International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2014, held in Luxembourg, in November 2014. The 14 revised full papers presented together with two invited talks were carefully reviewed and selected from 40 submissions. The papers address various topics related to the application of formal and semi-formal ... En savoir plus

    52,99 €

  • Introduction to Programming with Fortran

    Collection series Computer Science (R0)
    This fourth Edition presents new examples on submodules, derived type i/o, object oriented programming, abstract interfaces and procedure pointers, C interop, sorting and searching, statistics and converting to more modern versions of Fortran.Key FeaturesHighlights the core language features of modern Fortran including data typing, array processing, control structures, functions, subroutines, ... En savoir plus

    95,39 €

  • Introduction to Compiler Design

    Collection series Computer Science (R0)
    The third edition of this textbook has been fully revised and adds material about the SSA form, polymorphism, garbage collection, and pattern matching. It presents techniques for making realistic compilers for simple to intermediate-complexity programming languages. The techniques presented in the book are close to those used in professional compilers, albeit in places slightly simplified for ... En savoir plus

    52,99 €

  • C++ 14 Quick Syntax Reference

    Second Edition

    par Mikael Olsson ...
    Collection series Professional and Applied Computing (R0)
    This updated handy quick C++ 14 guide is a condensed code and syntax reference based on the newly updated C++ 14 release of the popular programming language. It presents the essential C++ syntax in a well-organized format that can be used as a handy reference.You won’t find any technical jargon, bloated samples, drawn out history lessons, or witty stories in this book. What you will find is a ... En savoir plus

    26,73 €

  • Automata and Computability

    A Programmer's Perspective

    Automata and Computability is a class-tested textbook which provides a comprehensive and accessible introduction to the theory of automata and computation. The author uses illustrations, engaging examples, and historical remarks to make the material interesting and relevant for students. It incorporates modern/handy ideas, such as derivative-based parsing and a Lambda reducer showing the ... En savoir plus

    58,61 €

  • Fundamentals of Software Engineering

    8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers

    Modifié par Hossein Hojjat, Mieke Massink ...
    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Fundamentals of Software Engineering, FSEN 2019, held in Tehran, Iran, in May 2019.The 14 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 47 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially ... En savoir plus

    52,99 €

  • 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

    Modifié par Christel Baier, Luís Caires ...
    Collection 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. ... En savoir plus

    52,99 €

  • Design Patterns in C#

    A Hands-on Guide with Real-World Examples

    par Vaskaran Sarcar ...
    Collection series Professional and Applied Computing (R0)
    Get hands-on experience with each Gang of Four design pattern using C#. For each of the patterns, you’ll see at least one real-world scenario, a coding example, and a complete implementation including output.In the first part of Design Patterns in C#, you will cover the 23 Gang of Four (GoF) design patterns, before moving onto some alternative design patterns, including the Simple Factory Pattern, ... En savoir plus

    52,49 €

  • Ruby Recipes

    A Problem-Solution Approach

    par Malay Mandal ...
    Collection series Professional and Applied Computing (R0)
    Solve your Ruby programming problems that occur during your day-to-day scripting work. This book contains a varied selection of practical and interesting code recipes designed to make your coding life easier. Ruby Recipes includes solutions to problems in working with data, handling exceptions, writing blocks, and using regular expressions.This book provides ready scripts for both simple complex ... En savoir plus

    26,73 €

  • Quick Python Guide

    par Coder1 ...
    Quick Python Guide by Coder1Unlock the world of programming with "Introduction to Python Programming," a comprehensive guide designed for beginners. This eBook covers the essentials of Python, from basic syntax to advanced topics, with clear explanations and practical examples. Learn how to write clean and efficient code, master data structures, and explore libraries like NumPy, Pandas, and ... En savoir plus

    8,49 € ou Gratuit avec Kobo Plus

  • String Algorithms in C

    Efficient Text Representation and Search

    par Thomas Mailund ...
    Collection series Professional and Applied Computing (R0)
    Implement practical data structures and algorithms for text search and discover how it is used inside other larger applications. This unique in-depth guide explains string algorithms using the C programming language. String Algorithms in C teaches you the following algorithms and how to use them: classical exact search algorithms; tries and compact tries; suffix trees and arrays; approximative ... En savoir plus

    66,37 €

  • R Quick Syntax Reference

    A Pocket Guide to the Language, APIs and Library

    Collection series Professional and Applied Computing (R0)
    This handy reference book detailing the intricacies of R updates the popular first edition by adding R version 3.4 and 3.5 features. Starting with the basic structure of R, the book takes you on a journey through the terminology used in R and the syntax required to make R work. You will find looking up the correct form for an expression quick and easy. Some of the new material includes information ... En savoir plus

    39,61 €

  • Deep Belief Nets in C++ and CUDA C: Volume 3

    Convolutional Nets

    par Timothy Masters ...
    Collection series Professional and Applied Computing (R0)
    Discover the essential building blocks of a common and powerful form of deep belief network: convolutional nets. This book shows you how the structure of these elegant models is much closer to that of human brains than traditional neural networks; they have a ‘thought process’ that is capable of learning abstract concepts built from simpler primitives. These models are especially useful for image ... En savoir plus

    62,40 €

  • Ant: The Definitive Guide

    Complete Build Management for Java

    par Steve Holzner ...
    Soon after its launch, Ant succeeded in taking the Java world by storm, becoming the most widely used tool for building applications in Java environments. Like most popular technologies, Ant quickly went through a series of early revision cycles. With each new version, more functionality was added, and more complexity was introduced. Ant evolved from a simple-to-learn build tool into a full ... En savoir plus

    22,14 €

  • Nonsequential and Distributed Programming with Go

    Synchronization of Concurrent Processes: Communication - Cooperation - Competition

    Collection series Computer Science (R0)
    After a short chapter on basic aspects of software engineering and its realization in Go, this book introduces to nonsequential and distributed programming with Go. It systematically presents basic concepts for the synchronization and communication of concurrent processes. These include locks, semaphores, fairness and deadlocks, monitors, local and network-wide message passing, networks as graphs, ... En savoir plus

    52,99 €