Programming Languages: An Active Learning Approach introduces students to three programming paradigms: object-oriented/imperative ...
اقرأ المزيدThis book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which took place in Dublin, ...
اقرأ المزيدThis book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March ...
اقرأ المزيدIt is devoted to fundamental issues in the specification, design, analysis, and implementation of programming languages and ...
اقرأ المزيدThis book presented together with the abstract of one invited talk and two tool presentations were carefully reviewed and ...
اقرأ المزيدThis book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April ...
اقرأ المزيدThe symposium is devoted to all topics ranging from foundational to practical issues in programming languages and systems. ...
اقرأ المزيدProgramming Languages is a self-contained approach to the topic, and differentiates between the design, implementation and ...
اقرأ المزيدThe aim of the ProMAS workshop series is to promote and contribute to the establishment of MAS as a mainstream approach to ...
اقرأ المزيدThis book is organized in topical sections on architectural design and architectural decisions, tracing architectural decisions, ...
اقرأ المزيدtarting with the basic structure of R, the book takes you on a journey through the terminology used in R and the syntax required ...
اقرأ المزيدThis book address all aspects of constraint and logic programming, including foundational issues, implementation techniques, ...
اقرأ المزيدThis book is organized in topical sections on applications, collective operations, library internals, message passing for ...
اقرأ المزيدThis book covers topics ranging from formal verification to real-time systems via concurrency, embedded systems, language ...
اقرأ المزيدRethinking Productivity in Software Engineering, includes chapters covering definitions and core concepts related to productivity, ...
اقرأ المزيدThe book covers current research on all aspects of rewriting including typical areas of interest such as applications, foundational ...
اقرأ المزيدThis book is organized in topical sections on logical and mathematical foundations, data analysis, data mining, decision ...
اقرأ المزيدThe subject covers several technical fields such as runtime verification, runtime checking, runtime monitoring, and security ...
اقرأ المزيدThe book address artificial intelligence researchers, database researchers, and practitioners to demonstrate theoretical ...
اقرأ المزيدThis book focus on formalisms, technologies, and processes for describing, verifying, validating, transforming, building, ...
اقرأ المزيد