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 de 1177 à 1187 sur 1197 résultats
Skip side bar filters
  • Diagrammatic Representation and Inference

    14th International Conference, Diagrams 2024, Münster, Germany, September 27 – October 1, 2024, Proceedings

    Collections series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 14th International Conference on the Theory and Application of Diagrams, Diagrams 2024, held in Münster, Germany, during September 27–October 1, 2024.The 17 full papers, 19 short papers and 11 papers of other types included in this book were carefully reviewed and selected from 69 submissions. They were organized in topical sections as follows: ... En savoir plus

    $83.29 CAD

  • Python Machine Learning Case Studies

    Five Case Studies for the Data Scientist

    par Danish Haroon ...
    Collections series Professional and Applied Computing (R0)
    Embrace machine learning approaches and Python to enable automatic rendering of rich insights and solve business problems. The book uses a hands-on case study-based approach to crack real-world applications to which machine learning concepts can be applied. These smarter machines will enable your business processes to achieve efficiencies on minimal time and resources.Python Machine Learning Case ... En savoir plus

    $95.79 CAD

  • Test Driven Development in Ruby

    A Practical Introduction to TDD Using Problem and Solution Domain Analysis

    par Bala Paranj ...
    Collections series Professional and Applied Computing (R0)
    Learn the basics of test driven development (TDD) using Ruby. You will carry out problem domain analysis, solution domain analysis, designing test cases, and writing tests first. These fundamental concepts will give you a solid TDD foundation to build upon. Test Driven Development in Ruby is written by a developer for developers.The concepts are first explained, then a coding demo illustrates how ... En savoir plus

    $68.29 CAD

  • Principles of Modeling

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

    Collections 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

    $64.09 CAD

  • Advanced Parallel Processing Technologies

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

    Modifié par Yunji Chen, Paolo Ienne, Qing Ji ...
    Collections 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

    $51.29 CAD

  • MATLAB Optimization Techniques

    par Cesar Lopez ...
    Collections 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

    $95.79 CAD

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

    $64.09 CAD

  • Verified Software: Theories, Tools and Experiments

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

    Collections 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

    $60.19 CAD

  • Java in Two Semesters

    Featuring JavaFX

    Collections 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

    $89.69 CAD

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

    $80.69 CAD

  • NASA Formal Methods

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

    Collections 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

    $83.29 CAD