المساهمون: Weirich, Stephanie

مصطلحات موضوعية: effects, functional programming, semantics, program synthesis, session types, dependent types, quantum programming, verification, program analysis, abstract interpretation, thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMC Compilers and interpreters, thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general

وصف الملف: application/pdf

العلاقة: Lecture Notes in Computer Science

الوصول الحر: https://library.oapen.org/handle/20.500.12657/90434Test

المساهمون: Weirich, Stephanie

مصطلحات موضوعية: effects, functional programming, semantics, program synthesis, session types, dependent types, quantum programming, verification, program analysis, abstract interpretation, thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general, thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMC Compilers and interpreters

وصف الملف: application/pdf

العلاقة: Lecture Notes in Computer Science

الوصول الحر: https://library.oapen.org/handle/20.500.12657/89909Test

المساهمون: Shamma, Tarek, Salama-Carr, Myriam

مصطلحات موضوعية: Anthology of Arabic Discourse on Translation, Arabic Discourse on Translation, Classical Period, Holy Scriptures in Arabic, Interpreters in wars, Interpreting for Judges and Rulers, Mona Baker, Myriam Salama-Carr, Nahda Period, Protestant Translation of the Bible, Tarek Shamma, Translation and Islamic History, Translation in Islamic History, Translation in the Arab World, Translation of the gospel of Barnabas, Translation of the Quran, Translation of the Torah, bic Book Industry Communication::C Language::CF linguistics

وصف الملف: application/pdf

العلاقة: Translation Studies in Translation

الوصول الحر: https://library.oapen.org/handle/20.500.12657/51900Test

المؤلفون: Reinders, James, Ashbaugh, Ben, Brodman, James, Kinsner, Michael, Pennycook, John, Tian, Xinmin

مصطلحات موضوعية: Programming Languages, Compilers, Interpreters, Hardware and Maker, Maker, heterogenous, FPGA programming, GPU programming, Parallel programming, Data parallelism, SYCL, Intel One API, Programming & scripting languages: general, Compilers & interpreters, Computer hardware, bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMX Programming & scripting languages: general, bic Book Industry Communication::U Computing & information technology::UK Computer hardware

وصف الملف: application/pdf

الوصول الحر: https://library.oapen.org/handle/20.500.12657/42917Test

المساهمون: Yoshida, Nobuko

مصطلحات موضوعية: Programming Languages, Compilers, Interpreters, Natural Language Processing (NLP), Software Engineering, Logics and Meanings of Programs, Computer Systems Organization and Communication Networks, Compilers and Interpreters, Computer Science Logic and Foundations of Programming, Computer Engineering and Networks, computer programming, concurrency theory, distributed computer systems, formal logic, lamdba calculi, linguistics, logic, object-oriented programming, parallel processing systems, probabilistic programming, process calculi, program compilers, semantics, software design, software quality, theory, types, verification and validation, Programming & scripting languages: general, Compilers & interpreters, Natural language & machine translation, Computer programming / software engineering, Computer architecture & logic design, Computer networking & communications, bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMX Programming & scripting languages: general, bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence, bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering, bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development, bic Book Industry Communication::U Computing & information technology::UT Computer networking & communications

وصف الملف: application/pdf

العلاقة: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues

الوصول الحر: https://library.oapen.org/handle/20.500.12657/48221Test

المؤلفون: Sato, Mitsuhisa

المساهمون: Sato, Mitsuhisa

مصطلحات موضوعية: Programming Languages, Compilers, Interpreters, PGAS model, Partitioned Global Address Space model, Coarray, parallel programming language, high performance computing, Open Access, Programming & scripting languages: general, Compilers & interpreters, bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMX Programming & scripting languages: general

وصف الملف: application/pdf

الوصول الحر: https://library.oapen.org/handle/20.500.12657/43305Test

المساهمون: Müller, Peter

مصطلحات موضوعية: Programming Languages, Compilers, Interpreters, Computer Systems Organization and Communication Networks, Control Structures and Microprogramming, Information Systems and Communication Service, Natural Language Processing (NLP), Theory of Computation, artificial intelligence, computer networks, computer programming, computer security, distributed computer systems, embedded systems, formal languages, formal logic, linguistics, mathematics, model checking, object-oriented programming, parallel processing systems, program compilers, semantics, software architecture, software design, software engineering, software quality, verification and validation, Programming & scripting languages: general, Compilers & interpreters, Computer networking & communications, Algorithms & data structures, Natural language & machine translation, Computer science, Mathematical theory of computation, bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMX Programming & scripting languages: general, bic Book Industry Communication::U Computing & information technology::UT Computer networking & communications, bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMB Algorithms & data structures, bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence::UYQL Natural language & machine translation, bic Book Industry Communication::U Computing & information technology::UY Computer science

وصف الملف: application/pdf

العلاقة: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues

الوصول الحر: http://library.oapen.org/handle/20.500.12657/37721Test

المساهمون: Goubault-Larrecq, Jean, König, Barbara

مصطلحات موضوعية: Mathematical Logic and Foundations, Discrete Mathematics in Computer Science, Programming Languages, Compilers, Interpreters, Programming Techniques, Logic in AI, Computer Systems Organization and Communication Networks, categorical models and logics, language theory, automata, and games, modal, spatial, and temporal logics, type theory and proof theory, concurrency theory and process calculi, rewriting theory, semantics of programming languages, program analysis, correctness, transformation, and verification, logics of programming, software specification and refinement, emerging models of computation, logical aspects of computational complexity, models of software security, logical foundations of data bases, mathematics, artificial intellegence, formal logic, linguistics, Mathematical foundations, Mathematical logic, Discrete mathematics, Maths for computer scientists, Programming & scripting languages: general, Compilers & interpreters, Computer programming / software engineering, Artificial intelligence, Computer networking & communications, bic Book Industry Communication::P Mathematics & science::PB Mathematics::PBC Mathematical foundations, bic Book Industry Communication::P Mathematics & science::PB Mathematics::PBD Discrete mathematics, bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMX Programming & scripting languages: general, bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development, bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence, bic Book Industry Communication::U Computing & information technology::UT Computer networking & communications

وصف الملف: application/pdf

العلاقة: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues

الوصول الحر: http://library.oapen.org/handle/20.500.12657/37723Test