Skip to main content
Search Button
Librairie Kobo Belgique 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...

eBooks Compilateurs

Si vous aimez les titres Compilateurs, vous allez adorer cette sélection.
Affichage des résultats 625 - 648 sur 1199
Skip side bar filters

  • Logic-Based Program Synthesis and Transformation

    26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers

    Modifié par Manuel V Hermenegildo, Pedro Lopez-Garcia ...
    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2016, held in Edinburgh, UK, in September 2016.The 20 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 38 submissions. The aim of the LOPSTR series is to ... En savoir plus

    52,99 €

  • Perspectives of System Informatics

    10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers

    Modifié par Manuel Mazzara, Andrei Voronkov ...
    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 10th International Andrei Ershov Informatics Conference, PSI 2015, held in Kazan and Innopolis, Russia, in August 2015.The 2 invited and 23 full papers presented in this volume were carefully reviewed and selected from 56 submissions. The papers cover various topics related to the foundations of program and system development and analysis, ... En savoir plus

    52,99 €

  • Future Data and Security Engineering

    4th International Conference, FDSE 2017, Ho Chi Minh City, Vietnam, November 29 – December 1, 2017, Proceedings

    Modifié par Josef Küng, Roland Wagner, Erich J. Neuhold, Makoto Takizawa, Tran Khanh Dang, Nam Thoai ...
    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the Third International Conference on Future Data and Security Engineering, FDSE 2016, held in Can Tho City, Vietnam, in November 2016.The 28 revised full papers and 7 short papers presented were carefully reviewed and selected from 128 submissions.The accepted papers were grouped into the following sessions:Advances in query processing and ... En savoir plus

    52,99 €

  • Graph Transformation, Specifications, and Nets

    In Memory of Hartmut Ehrig

    Modifié par Reiko Heckel, Gabriele Taentzer ...
    Collection series Computer Science (R0)
    This volume pays tribute to the scientific achievements of Hartmut Ehrig, who passed away in March 2016.The contributions represent a selection from a symposium, held in October 2016 at TU Berlin, commemorating Hartmut’ s life and work as well as other invited papers in the areas he was active in.These areas include Graph Transformation, Model Transformation, Concurrency Theory, in particular ... En savoir plus

    52,99 €

  • Abstract State Machines, Alloy, B, TLA, VDM, and Z

    6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings

    Modifié par Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl ...
    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Southampton, UK, in June 2018.The 20 full and 11 short papers presented in this volume were carefully reviewed and selected from 60 submissions. They record the latest research developments in state-based formal methods Abstract State Machines, ... En savoir plus

    52,99 €

  • Topics in Parallel and Distributed Computing

    Enhancing the Undergraduate Curriculum: Performance, Concurrency, and Programming on Modern Platforms

    Modifié par Sushil K. Prasad, Anshul Gupta, Arnold Rosenberg, Alan Sussman, Charles Weems ...
    Collection series Computer Science (R0)
    This book introduces beginning undergraduate students of computing and computational disciplines to modern parallel and distributed programming languages and environments, including map-reduce, general-purpose graphics processing units (GPUs), and graphical user interfaces (GUI) for mobile applications. The book also guides instructors via selected essays on what and how to introduce parallel and ... En savoir plus

    58,29 €

  • Introduction to Octave

    For Engineers and Scientists

    par Sandeep Nagar ...
    Collection series Professional and Applied Computing (R0)
    Familiarize yourself with Octave using this concise, practical tutorial that is focused on writing code to learn concepts. Starting from the basics, this book covers array-based computing, plotting, and working with files in Octave, which can run MATLAB files without modification. Introduction to Octave is useful for industry engineers, researchers, and students who are looking for open-source ... En savoir plus

    56,46 €

  • Functional and Logic Programming

    13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings

    Modifié par Andy King, Oleg Kiselyov ...
    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 13th International Symposium on Functional and Logic Programming, FLOPS 2016, held in Kochi, Japan, in March 2016.The 14 papers presented in this volume were carefully reviewed and selected from 36 submissions. They cover the following topics: functional and logic programming; program transformation and re-writing; and extracting programs from proofs of ... En savoir plus

    49,81 €

  • Fundamental Approaches to Software Engineering

    22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

    Modifié par Reiner Hähnle, Wil van der Aalst ...
    Collection series Springer Nature Proceedings Computer Science
    This book is Open Access under a CC BY licence.This book constitutes the proceedings of the 22nd International Conference on Fundamental Approaches to Software Engineering, FASE 2019, which took place in Prague, Czech Republic in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.The 24 papers presented in this volume were carefully reviewed ... En savoir plus

    Gratuit

  • Thinking with Diagrams

    Modifié par Alan F. Blackwell ...
    This book provides an introductory overview of the rapid growth in interdisciplinary research into Thinking with Diagrams. Diagrammatic representations are becoming more common in everyday human experience, yet they offer unique challenges to cognitive science research. Neither linguistic nor perceptual theories are sufficient to completely explain their advantages and applications. These research ... En savoir plus

    137,79 €

  • Beginning C for Arduino, Second Edition

    Learn C Programming for the Arduino

    par Jack Purdum ...
    Collection series Professional and Applied Computing (R0)
    Beginning C for Arduino, Second Edition is written for those who have no prior experience with microcontrollers or programming but would like to experiment and learn both. Updated with new projects and new boards, this book introduces you to the C programming language, reinforcing each programming structure with a simple demonstration of how you can use C to control the Arduino family of ... En savoir plus

    66,37 €

  • Verification, Model Checking, and Abstract Interpretation

    17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

    Modifié par Barbara Jobstmann, K. Rustan M. Leino ...
    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 17th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2016, held in St. Petersburg, FL, USA, in January 2016. The 24 full papers together with 2 invited talks and 1 abstract presented were carefully reviewed and selected from 67 submissions.VMCAI provides topics including: program verification, model ... En savoir plus

    52,99 €

  • Programming Languages and Systems

    23rd Asian Symposium, APLAS 2025, Bengaluru, India, October 27–30, 2025, Proceedings

    Modifié par Alex Potanin ...
    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 23nd Asian Symposium on Programming Languages and Systems, APLAS 2025, held in Bengaluru, India, October 27–30, 2025.The 13 full papers presented here were carefully reviewed and selected from 28 submissions.They were focused on the following topical sections: Type Systems, Safety, and Verification; Control, Effects, and Decidability; Quantum ... En savoir plus

    77,37 €

  • Theory and Practice of Model Transformation

    11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings

    Modifié par Arend Rensink, Jesús Sánchez Cuadrado ...
    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 11th International Conference on Model Transformation, ICMT 2018, held as part of STAF 2018, in Toulouse, France, in June 2018.The 9 full papers were carefully reviewed and selected from 24 submissions. This book also presents 1 invited paper. The papers include research, application, and tool demonstration papers presented in the context of ... En savoir plus

    52,99 €

  • Essentials of Compilation

    An Incremental Approach in Python

    par Jeremy G. Siek ...
    A hands-on approach to understanding and building compilers using the programming language Python.Compilers are notoriously difficult programs to teach and understand. Most books about compilers dedicate one chapter to each progressive stage, a structure that hides how language features motivate design choices. By contrast, this innovative textbook provides an incremental approach that allows ... En savoir plus

    29,56 €

  • Structured Object-Oriented Formal Language and Method

    Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers

    Modifié par Zhenhua Duan, Shaoying Liu ...
    Collection series Springer Nature Proceedings Computer Science
    This book constitutes revised selected papers from the Third International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2013, held in Queenstown, New Zealand, in October 2013. The 13 papers presented in this volume were carefully reviewed and selected from 22 submissions. They are organized in topical sections on testing and verification, simulation and model ... En savoir plus

    52,99 €

  • Learn to Program with C

    par Noel Kalicharan ...
    Collection series Professional and Applied Computing (R0)
    This book teaches computer programming to the complete beginner using the native C language. As such, it assumes you have no knowledge whatsoever about programming. The main goal of this book is to teach fundamental programming principles using C, one of the most widely used programming languages in the world today.We discuss only those features and statements in C that are necessary to achieve ... En savoir plus

    56,46 €

  • Runtime Verification

    6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings

    Modifié par Ezio Bartocci, Rupak Majumdar ...
    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 6th International Conference on Runtime Verification, RV 2015, held in Vienna, Austria, in September 2015. The 15 revised full papers presented together with 4 short papers, 2 tool papers, 4 tutorials, 3 invited talks, and 2 software competition papers were carefully reviewed and selected from 45 submissions.The discussion of the conference ... En savoir plus

    52,99 €

  • Developing Turn-Based Multiplayer Games

    with GameMaker Studio 2 and NodeJS

    par Yadu Rajiv ...
    Collection series Professional and Applied Computing (R0)
    Create your first turn-based multiplayer game using GameMaker Studio 2’s built-in networking functions as well as using a simple NodeJS server. This book introduces you to the complexities of network programming and communication, where the focus will be on building the game from the ground up.You will start with a brief introduction to GameMaker Studio 2 and GML coding before diving into the ... En savoir plus

    36,64 €

  • CMake Cookbook

    Building, testing, and packaging modular software with modern CMake

    par Radovan Bast, Roberto Di Remigio ...
    Learn CMake through a series of task-based recipes that provide you with practical, simple, and ready-to-use CMake solutions for your codeKey FeaturesLearn to configure, build, test, and package software written in C, C++, and FortranProgress from simple to advanced tasks with examples tested on Linux, macOS, and WindowsManage code complexity and library dependencies with reusable CMake building ... En savoir plus

    41,33 € ou Gratuit avec Kobo Plus

  • Static Analysis

    22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings

    Modifié par Sandrine Blazy, Thomas Jensen ...
    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 22nd International Static Analysis Symposium, SAS 2015, held in Saint-Malo, France, in September 2015.The 18 papers presented in this volume were carefully reviewed and selected from 44 submissions. All fields of static analysis as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and ... En savoir plus

    52,99 €

  • Learn Pixi.js

    par Rex van der Spuy ...
    Collection series Professional and Applied Computing (R0)
    Create and display interactive graphics, build scenes and animated transitions, make cross-platform, responsive games and applications for multiple screen resolutions, and use Pixi.js’s spectacular WebGL rendering effects. Learn how to create applications for desktop and touch-screen devices, and how to use the best open-source plugins to extend Pixi.js’s capabilities in a myriad of exciting ways ... En savoir plus

    62,40 €

  • Mastering Rust: The Ultimate Starter Guide

    par Dan Miller ...
    Ready to dive into Rust but not sure where to start? Mastering Rust: The Ultimate Starter Guide by Dan Miller is your comprehensive companion on this exciting journey. Dan's unique approach to writing makes learning Rust a personable and rewarding experience.What sets this guide apart is its focus on practical application. You'll not only learn the "how" but also the "why," gaining insights into ... En savoir plus

    1,99 € ou Gratuit avec Kobo Plus

  • New Opportunities for Software Reuse

    17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings

    Modifié par Rafael Capilla, Barbara Gallina, Carlos Cetina ...
    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 17th International Conference on Software Reuse, ICSR 2018, held in Madrid, Spain, in May 2018.The 9 revised full papers and 2 short papers presented were carefully reviewed and selected from 29 submissions. The papers are organized in the following topical sections: variability management; hierarchies and reuse measures; dependencies and ... En savoir plus

    116,59 €