Skip to main content
Search Button
Librairie Kobo Luxembourg 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 1 - 24 sur 1255
Skip side bar filters

  • Advanced Topics in C

    Core Concepts in Data Structures

    par Noel Kalicharan ...
    Collection series Professional and Applied Computing (R0)
    C is the most widely used programming language of all time. It has been used to create almost every category of software imaginable and the list keeps growing every day. Cutting-edge applications, such as Arduino, embeddable and wearable computing are ready-made for C.Advanced Topics In C teaches concepts that any budding programmer should know. You'll delve into topics such as sorting, searching, ... En savoir plus

    69,31 €

  • Creating Business Applications with Microsoft 365

    Techniques in Power Apps, Power BI, SharePoint, and Power Automate

    par Jeffrey M. Rhodes ...
    Collection series Professional and Applied Computing (R0)
    Learn how to automate processes, visualize your data, and improve productivity using Power Apps, Power Automate, Power BI, SharePoint, Forms, Teams, and more. This book will help you build complete solutions that often involve storing data in SharePoint, creating a front-end application in Power Apps or Forms, adding additional functionality with Power Automate, and effective reports and ... En savoir plus

    49,43 €

  • Fundamental Approaches to Software Engineering

    19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

    Modifié par Perdita Stevens, Andrzej Wąsowski ...
    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 19th International Conference on Fundamental Approaches to Software Engineering, FASE 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016.The 23 full papers presented in this volume were carefully reviewed and selected from 90 submissions. They ... En savoir plus

    46,34 €

  • Foundational Java

    Key Elements and Practical Programming

    par David Parsons ...
    Collection series Computer Science (R0)
    Java is now well-established as one of the world’s major programming languages, used in everything from desktop applications to web-hosted applications, enterprise systems and mobile devices. Java applications cover cloud-based services, the Internet of Things, self-driving cars, animation, game development, big data analysis and many more domains.The second edition of Foundational Java: Key ... En savoir plus

    55,61 €

  • Software Engineering: Specification, Implementation, Verification

    par Suad Alagić ...
    Collection series Computer Science (R0)
    This book takes a formal approach to teaching software engineering, using not only UML, but also Object Constraint Language (OCL) for specification and analysis of designed models. Employing technical details typically missing from existing textbooks on software engineering, the author shows how precise specifications lead to static verification of software systems. In addition, data management is ... En savoir plus

    64,88 €

  • Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems

    18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings

    Modifié par Anne Remke, Boudewijn R. Haverkort ...
    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 18th International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems and Dependability and Fault Tolerance, MMB & DFT 2016, held in Münster, Germany, in April 2016.The 12 full papers and 3 short papers included in this volume were carefully reviewed and selected from 23 submissions. The papers deal with the fields of ... En savoir plus

    46,34 €

  • Graph Transformation

    17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10–11, 2024, Proceedings

    Modifié par Russ Harmer, Jens Kosiol ...
    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 17th International Conference on Graph Transformation, ICGT 2024, held in Enschede, The Netherlands, during July 10–11, 2024.The 10 full papers and 3 short papers included in this book were carefully reviewed and selected from 21 submissions. They were organized in topical sections as follows: Theoretical Advances; Application Domains; and Tool ... En savoir plus

    60,24 €

  • Transactions on Modularity and Composition I

    Modifié par Shigeru Chiba, Mario Südholt, Patrick Eugster, Lukasz Ziarek, Gary T. Leavens ...
    Collection series Computer Science (R0)
    The LNCS Transactions on Modularity and Composition are devoted to all aspects of software modularity and composition methods, tools, and techniques, covering requirement analysis, design, implementation, maintenance, and evolution. The focus of the journal also includes modelling techniques, new paradigms and languages, development tools, measurement, novel verification and testing approaches, ... En savoir plus

    71,37 €

  • Integrated Formal Methods

    12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

    Modifié par Erika Ábrahám, Marieke Huisman ...
    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 12th International Conference on Integrated Formal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016.The 33 papers presented in this volume were carefully reviewed and selected from 99 submissions. They were organized in topical sections named: invited contributions; program verification; probabilistic systems; concurrency; safety and ... En savoir plus

    74,15 €

  • Learn Rails 5.2

    Accelerated Web Development with Ruby on Rails

    par Stefan Wintermeyer ...
    Collection series Professional and Applied Computing (R0)
    Learn to build Rails-based web applications using all the latest features offered in Rails 5.2. Author Stefan Wintermeyer begins by teaching the basics of Ruby 2.5 before proceeding through all aspects of Rails, utilizing clean, succinct examples – rather than a single large application.This book covers topics including Active Storage, Credentials, Active Record, Scaffolding, REST, Routing, ... En savoir plus

    54,58 €

  • Practical TLA+

    Planning Driven Development

    par Hillel Wayne ...
    Collection series Professional and Applied Computing (R0)
    Learn how to design complex, correct programs and fix problems before writing a single line of code. This book is a practical, comprehensive resource on TLA+ programming with rich, complex examples. Practical TLA+ shows you how to use TLA+ to specify a complex system and test the design itself for bugs.You’ll learn how even a short TLA+ spec can find critical bugs. Start by getting your feet wet ... En savoir plus

    40,78 €

  • Mastering UI/UX Design: Theoretical Foundations and Practical Applications

    par Kameron Hussain, Frahaan Hussain ...
    "Mastering UI/UX Design: Theoretical Foundations and Practical Applications" is a comprehensive guide for anyone looking to deepen their understanding of user interface (UI) and user experience (UX) design. This book delves into the core principles and theories that underpin effective UI/UX design, offering readers a solid foundation to build upon. It seamlessly bridges the gap between theory and ... En savoir plus

    9,49 €

  • Julia Quick Syntax Reference

    A Pocket Guide for Data Science Programming

    par Antonello Lobianco ...
    Collection series Professional and Applied Computing (R0)
    Learn the Julia programming language as quickly as possible. This book is a must-have reference guide that presents the essential Julia syntax in a well-organized format, updated with the latest features of Julia’s APIs, libraries, and packages.This book provides an introduction that reveals basic Julia structures and syntax; discusses data types, control flow, functions, input/output, exceptions, ... En savoir plus

    49,43 €

  • Python Unit Test Automation

    Automate, Organize, and Execute Unit Tests in Python

    par Ashwin Pajankar ...
    Collection series Professional and Applied Computing (R0)
    Learn how to automate unit tests of Python 3 with automation libraries, such as doctest, unittest, nose, nose2, pytest, and selenium. This book explores important concepts in software test automation and demonstrates how to automate, organize, and execute unit tests with Python. It also introduces readers to the concepts of web browser automation and logging.This new edition starts with an ... En savoir plus

    49,43 €

  • Programming Languages and Systems

    25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

    Modifié par Peter Thiemann ...
    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 25th European Symposium on Programming, ESOP 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016.The 29 papers presented in this volume were carefully reviewed and selected from 98 submissions. Being devoted to fundamental issues in the ... En savoir plus

    46,34 €

  • MATLAB Optimization Techniques

    par Cesar Lopez ...
    Collection series Professional and Applied Computing (R0)
    MATLAB is a high-level language and environment for numerical computation, visualization, and programming. Using MATLAB, you can analyze data, develop algorithms, and create models and applications. The language, tools, and built-in math functions enable you to explore multiple approaches and reach a solution faster than with spreadsheets or traditional programming languages, such as C/C++ or Java ... En savoir plus

    69,31 €

  • Java in Two Semesters

    Featuring JavaFX

    par Quentin Charatan, Aaron Kans ...
    Collection series Computer Science (R0)
    This easy-to-follow textbook teaches Java programming from first principles, as well as covering design and testing methodologies. The text is divided into two parts. Each part supports a one-semester module, the first part addressing fundamental programming concepts, and the second part building on this foundation, teaching the skills required to develop more advanced applications.This fully ... En savoir plus

    64,88 €

  • Verified Software: Theories, Tools and Experiments

    6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

    Modifié par Dimitra Giannakopoulou, Daniel Kroening ...
    Collection series Springer Nature Proceedings Computer Science
    This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, held in July 2014 at the Vienna Summer of Logic in Vienna, Austria, as an associated event of CAV 2014, the International Conference on Computer-Aided Verification. The 17 revised full papers presented were carefully ... En savoir plus

    43,56 €

  • Writing a C Compiler

    Build a Real Programming Language from Scratch

    par Nora Sandler ...
    A fun, hands-on guide to writing your own compiler for a real-world programming language.Compilers are at the heart of everything programmers do, yet even experienced developers find them intimidating. For those eager to truly grasp how compilers work, Writing a C Compiler dispels the mystery. This book guides you through a fun and engaging project where you’ll learn what it takes to compile a ... En savoir plus

    31,20 €

  • Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

    7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

    Modifié par Tiziana Margaria, Bernhard Steffen ...
    Collection Livre 2 - Springer Nature Proceedings Computer Science
    The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, held in Imperial, Corfu, Greece, in October 2016.The papers presented in this volume were carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each ... En savoir plus

    46,34 €

  • LLVM Techniques, Tips, and Best Practices Clang and Middle-End Libraries

    Design powerful and reliable compilers using the latest libraries and tools from LLVM

    par Min-Yih Hsu ...
    Learn how you can build the next big programming language, compiler, or source code analyzer using LLVM and ClangKey FeaturesExplore Clang, LLVM’s middle-end and backend, in a pragmatic wayDevelop your LLVM skillset and get to grips with a variety of common use casesEngage with real-world LLVM development through various coding examplesBook DescriptionEvery programmer or engineer, at some point in ... En savoir plus

    28,73 € ou Gratuit avec Kobo Plus

  • PowerShell Playbook: Taming the Terminal with Wit, Script, and Wizardry

    par Scott Markham ...
    PowerShell Playbook: Taming the Terminal with Wit, Script, and WizardryIf you've ever looked at your terminal and thought, "Well, that's an intimidating beast," then PowerShell Playbook is here to change the game. This isn't your typical dry, technical manual. Think of it as a guide to the secret world of scripting, where automation meets magic, and you're the wizard in charge. From your first ... En savoir plus

    7,49 €

  • PHP Persistence

    Concepts, Techniques and Practical Solutions with Doctrine

    par Michael Romer ...
    Collection series Professional and Applied Computing (R0)
    Take the pain out of dealing with relational databases in an object-oriented programming world. With this short book, you can save time and money by simply coding less while accomplishing more with the Doctrine persistence framework, a leading persistence solution for PHP programmers and web developers. PHP Persistence teaches you about PHP persistence and how to use it effectively for your ... En savoir plus

    19,97 €

  • Software Verification

    13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, Revised Selected Papers

    Modifié par Roderick Bloem, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina ...
    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14th International Workshop on Numerical Software Verification, NSV 2021, held online, in July/ October 2021. Due to COVID-19 pandemic the conference was held virtually.There were 10 papers presented in this volume were carefully reviewed and selected from 20 submissions ... En savoir plus

    50,97 €