Filter

Kompilatorer

Filter
  • Fundamental Problems in Computing

    E-bok, 2009, Engelska, ISBN 9781402096884

    Fundamental Problems in Computing is in honor of Professor Daniel J. Rosenkrantz, a distinguished researcher in Computer Science. Professor Rosenkrantz has made seminal

  • Getting Started with Visual Studio 2022

    av

    E-bok, 2025, Engelska, ISBN 9798868821141

    Explore Visual Studio 2022 and supercharge your .NET development workflow with the latest AI-powered tools and modern application design.Whether you're a seasoned .NET developer or

  • Automata and Computability

    av

    E-bok, 2019, Engelska, ISBN 9781351374293
    Från 807 kr

    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

  • Programming Languages and Systems

    häftad, 2013, Engelska, ISBN 9783319035413

    This book constitutes the refereed proceedings of the 11th Asian Symposium on Programming Languages and Systems, APLAS 2013, held in Melbourne, Australia, in December 2013. The

  • Python Projects for Beginners

    av

    E-bok, 2019, Engelska, ISBN 9781484253557

    Immerse yourself in learning Python and introductory data analytics with this book s project-based approach. Through the structure of a ten-week coding bootcamp course, you ll

  • Tests and Proofs

    E-bok, 2014, Engelska, ISBN 9783319090993

    This book constitutes the refereed proceedings of the 8th International Conference on Tests and Proofs, TAP 2014, held in York, UK, in July 2014, as part of the STAF 2014 Federated

  • Algorithms - ESA 2015

    E-bok, 2015, Engelska, ISBN 9783662483503

    This book constitutes the refereed proceedings of the 23rd Annual European Symposium on Algorithms, ESA 2015, held in Patras, Greece, in September 2015, as part of ALGO 2015. The

  • Software Engineering with OBJ

    E-bok, 2013, Engelska, ISBN 9781475765410

    Software Engineering with OBJ: Algebraic Specification in Action is a comprehensive introduction to OBJ, the most widely used algebraic specification system. As a formal

  • B Language and Method

    av

    E-bok, 2012, Engelska, ISBN 9781447114949

    B is one of the few formal methods which has robust, commercially-available tool support for the entire development lifecycle from specification through to code generation. This

  • Central European Functional Programming School

    E-bok, 2019, Engelska, ISBN 9783030283469

    This volume presents the revised lecture notes of selected talks given at the 6th Central European Functional Programming School, CEFP 2015, held in July 2015, in Budapest,