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 457 - 480 sur 1199
Skip side bar filters

  • Specification of Software Systems

    par V.S. Alagar, K. Periyasamy ...
    Collection series Computer Science (R0)
    This extensively revised and updated new edition of Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods for specification and verification activities for different types of software systems and at different stages of developing software systems. Topics and features: provides a wide coverage of formal ... En savoir plus

    46,34 €

  • Runtime Verification

    19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings

    Modifié par Bernd Finkbeiner, Leonardo Mariani ...
    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 19th International Conference on Runtime Verification, RV 2019, held in Porto, Portugal, in October 2019.The 25 regular papers presented in this book were carefully reviewed and selected from 38 submissions.The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. ... En savoir plus

    60,24 €

  • Formal Methods and Software Engineering

    24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings

    Modifié par Yi Li, Sofiène Tahar ...
    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 24th International Conference on Formal Methods and Software Engineering, ICFEM 2023, held in Brisbane, QLD, Australia, during November 21–24, 2023.The 13 full papers presented together with 8 doctoral symposium papers in this volume were carefully reviewed and selected from 34 submissions, the volume also contains one invited paper. The conference ... En savoir plus

    60,24 €

  • Model and Data Engineering

    8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedings

    Modifié par El Hassan Abdelwahed, Ladjel Bellatreche, Mattéo Golfarelli, Dominique Méry, Carlos Ordonez ...
    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 8h International Conference on Model and Data Engineering, MEDI 2018, held in Marrakesh, Morocco, in October 2018.The 23 full papers and 4 short papers presented together with 2 invited talks were carefully reviewed and selected from 86 submissions. The papers covered the recent and relevant topics in the areas of databases; ontology and model ... En savoir plus

    46,34 €

  • Requirements Engineering: Foundation for Software Quality

    25th International Working Conference, REFSQ 2019, Essen, Germany, March 18–21, 2019, Proceedings

    Modifié par Eric Knauss, Michael Goedicke ...
    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 25th International Working Conference on Requirements Engineering - Foundation for Software Quality, REFSQ 2019, held in Essen, Germany, in March 2019.The 13 full papers and 9 short papers in this volume were carefully reviewed and selected from 66 submissions. The papers were organized in topical sections named: Automated Analysis; Making Sense of ... En savoir plus

    60,24 €

  • Python Programming for Beginners

    The Complete Guide to Mastering Python in 10 Days with Guiding Exercises – Top Secret Coding Tips, Well-detailed Examples and Outputs, with Questions and Answers for Each Chapter. The Ultimate Python Crash Course for Dummies. Computer science

    par C J Smith ...
    THE EASIEST PYTHON PROGRAMMING BOOK EVERLooking to learn Python programming in a beginner-friendly way? Look no further than "Python Programming for Beginners" by Musa Usman! This comprehensive guide covers everything you need to know about Python, from the basics of data types and control structures to advanced topics like object-oriented programming and multithreading. With clear explanations, ... En savoir plus

    8,83 € ou Gratuit avec Kobo Plus

  • Programming Smalltalk – Object-Orientation from the Beginning

    An introduction to the principles of programming

    par Johannes Brauer ...
    Collection series Computer Science (R0)
    A straightforward, step-by-step introduction to clear and elegant object-oriented programming. Using a language that's perfect for this kind of programming, the book has been tested in numerous courses and workshops over ten years.Programming Smalltalk is particularly suited for readers with no prior programming knowledge. Starting from the first principles of programming, it teaches you how to ... En savoir plus

    50,97 €

  • Principles of Modeling

    Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday

    Modifié par Marten Lohstroh, Patricia Derler, Marjan Sirjani ...
    Collection series Computer Science (R0)
    This Festschrift is published in honor of Edward A. Lee, Robert S. Pepper Distinguished Professor Emeritus and Professor in the Graduate School in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley, USA, on the occasion of his 60th birthday.The title of this Festschrift is “Principles of Modeling" because Edward A. Lee has long been devoted to ... En savoir plus

    46,34 €

  • Advanced Parallel Processing Technologies

    11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015, Proceedings

    Modifié par Yunji Chen, Paolo Ienne, Qing Ji ...
    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 11th International Symposium on Advanced Parallel Processing Technologies, APPT 2015, held in Jinan, China, in August 2015. The 8 papers presented in this volume were carefully reviewed and selected from 24 submissions. They deal with the recent advances in big data processing; parallel architectures and systems; parallel software; parallel algorithms ... En savoir plus

    37,07 €

  • 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 €

  • Rust for the IoT

    Building Internet of Things Apps with Rust and Raspberry Pi

    par Joseph Faisal Nusairat ...
    Collection series Professional and Applied Computing (R0)
    Get started programming Rust applications for the Internet of Things (IoT). This book is a programming skills migration book that teaches you the Rust programming techniques most useful for IoT applications. You'll step through from server to board development in creating a set of IoT applications.In Rust for the IoT, you'll learn how to build a modern server-side application using Rust on the ... En savoir plus

    58,08 €

  • Learn PHP 8

    Using MySQL, JavaScript, CSS3, and HTML5

    par Steve Prettyman ...
    Collection series Professional and Applied Computing (R0)
    Write solid, secure, object-oriented code in the new PHP 8. In this book you will create a complete three-tier application using a natural process of building and testing modules within each tier. This practical approach teaches you about app development and introduces PHP features when they are actually needed rather than providing you with abstract theory and contrived examples.In Learn PHP 8, ... En savoir plus

    40,78 €

  • Informatics in Schools. Fostering Problem-Solving, Creativity, and Critical Thinking Through Computer Science Education

    18th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2025, Trier, Germany, September 8–10, 2025, Proceedings

    Modifié par Jacqueline Staub, Adish Singla ...
    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 18th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2025, held in Trier, Germany, during September 8–10, 2025.The 13 full papers presented were carefully reviewed and selected from 41 submissions. The papers cover the following topics: Curricula and Computer Science Concepts; Teachers’ Perspective; AI ... En savoir plus

    46,34 €

  • 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 €

  • 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 €

  • Formal Techniques for Distributed Objects, Components, and Systems

    39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings

    Modifié par Jorge A. Pérez, Nobuko Yoshida ...
    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 39th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2019, held in Copenhagen, Denmark, in June 2019, as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019.The 15 full and 3 short papers presented were carefully reviewed and selected ... En savoir plus

    58,39 €

  • NASA Formal Methods

    11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings

    Modifié par Julia M. Badger, Kristin Yvonne Rozier ...
    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 11th International Symposium on NASA Formal Methods, NFM 2019, held in Houston, TX, USA, in May 2019.The 20 full and 8 short papers presented in this volume were carefully reviewed and selected from 102 submissions. The papers focus on formal verification, including theorem proving, model checking, and static analysis; advances in automated theorem ... En savoir plus

    60,24 €

  • Machine Learning with R

    par Abhijit Ghatak ...
    Collection series Computer Science (R0)
    This book helps readers understand the mathematics of machine learning, and apply them in different situations. It is divided into two basic parts, the first of which introduces readers to the theory of linear algebra, probability, and data distributions and it’s applications to machine learning. It also includes a detailed introduction to the concepts and constraints of machine learning and what ... En savoir plus

    52,83 €

  • Formal Methods and Software Engineering

    26th International Conference on Formal Engineering Methods, ICFEM 2025, Hangzhou, China, November 10–13, 2025, Proceedings

    Modifié par Étienne André, Jingyi Wang, Naijun Zhan ...
    Collection series Springer Nature Proceedings Computer Science
    This volume LNCS 16229 constitutes the refereed proceedings of 26th International Conference on Formal Methods and Software Engineering, ICFEM 2025, in Hangzhou, China, during November 10–13, 2025.The 20 full papers presented were carefully reviewed and selected from 47 submissions. The conference focuses on wide range of research areas, covering both theoretical foundations and practical ... En savoir plus

    67,66 €

  • Automated Technology for Verification and Analysis

    13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings

    Modifié par Bernd Finkbeiner, Geguang Pu, Lijun Zhang ...
    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, held in Shanghai, China, in October 2015.The 27 revised papers presented together with 6 tool papers in this volume were carefully reviewed and selected from 95 submissions. They show current research on theoretical and practical aspects of automated analysis, ... En savoir plus

    46,34 €

  • Euro-Par 2015: Parallel Processing

    21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings

    Modifié par Jesper Larsson Träff, Sascha Hunold, Francesco Versaci ...
    Collection series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 21st International Conference on Parallel and Distributed Computing, Euro-Par 2015, held in Vienna, Austria, in August 2015. The 51 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 190 submissions. The papers are organized in the following topical sections: support tools and environments; ... En savoir plus

    46,34 €

  • Beginning iPhone Development with Swift 5

    Exploring the iOS SDK

    par Wallace Wang ...
    Collection series Professional and Applied Computing (R0)
    Learn how to integrate all the interface elements iOS users have come to know and love, such as buttons, switches, pickers, toolbars, and sliders. In this edition of the best selling book, you’ll also learn about touch gestures, table views, and collection views for displaying data on a user interface.Assuming little or no working knowledge of the Swift programming language, and written in a ... En savoir plus

    40,78 €

  • Introducing Markdown and Pandoc

    Using Markup Language and Document Converter

    par Thomas Mailund ...
    Collection series Professional and Applied Computing (R0)
    Discover how to write manuscripts in Markdown and translate them with Pandoc into different output formats. You’ll use Markdown to annotate text formatting information with a strong focus on semantic information: you can annotate your text with information about where chapters and sections start, but not how chapter and heading captions should be formatted. As a result, you’ll decouple the ... En savoir plus

    49,43 €

  • Hybrid Artificial Intelligent Systems

    12th International Conference, HAIS 2017, La Rioja, Spain, June 21-23, 2017, Proceedings

    Modifié par Rubén Urraca, Emilio Corchado, Francisco Javier Martínez de Pisón, Héctor Quintián ...
    Collection series Springer Nature Proceedings Computer Science
    This volume constitutes the refereed proceedings of the 12th International Conference on Hybrid Artificial Intelligent Systems, HAIS 2017, held in La Rioja, Spain, in June 2017.The 60 full papers published in this volume were carefully reviewed and selected from 130 submissions. They are organized in the following topical sections: data mining, knowledge discovery and big data; bioinspired models ... En savoir plus

    46,34 €