Skip to content

Welcome to University of UNSW, Bengaluru

  • Home
    • English
    • Deutsch
    • Español
    • Français
    • Italiano
    • 日本語
    • Nederlands
    • Português
    • Português (Brasil)
    • 中文(简体)
    • 中文(繁體)
    • Türkçe
    • עברית
    • Gaeilge
    • Cymraeg
    • Ελληνικά
    • Català
    • Euskara
    • Русский
    • Čeština
    • Suomi
    • Svenska
    • polski
    • Dansk
    • slovenščina
    • اللغة العربية
    • বাংলা
    • Galego
    • Tiếng Việt
    • Hrvatski
    • हिंदी
    • Հայերէն
    • Українська
    • Sámegiella
    • Монгол
    • Māori
  • Sign In
高级检索
  • Channels
  • Programming Languages and Systems
搜索更多频道:

相似书籍: Programming Languages and Systems

  • View Record
  • 探索相关频道
  • Quick Look
    Programming Languages and Systems
  • Quick Look
    Data Parallel C++
  • Quick Look
    Programming Languages and Systems
  • Quick Look
    XcalableMP PGAS Programming Language
  • Quick Look
    Programming Languages and Systems
  • Quick Look
    Today's TBB
  • Quick Look
    Real World OCaml: Functional Programming for the Masses
  • Quick Look
    Ein datenparalleler Ansatz zur Beschleunigung von Datenflussanalysen mittels GPU
  • Quick Look
    Programming Languages and Systems
  • Quick Look
    Programming Languages and Systems
  • Quick Look
    Pro TBB
  • Quick Look
    Developing Graphics Frameworks with Python and OpenGL
  • Quick Look
    Rhetorical Code Studies: Discovering Arguments in and around Code
  • Quick Look
    Programming Languages and Systems
  • Quick Look
    Foundations of Software Science and Computation Structures
  • Quick Look
    Detecting Unrealizable Bit Vector Program Synthesis Problems
  • Quick Look
    Foundations of Software Science and Computation Structures
  • Quick Look
    Practical Machine Learning
  • Quick Look
    Fundamental Approaches to Software Engineering
  • Quick Look
    Foundations of Probabilistic Programming
  • Quick Look
    Computer Aided Verification
  • Quick Look
    Rethinking Productivity in Software Engineering
  • Quick Look
    Coderspeak
  • Quick Look
    Certified Programming with Dependent Types

主题: effects

  • 主题: 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 engine...
  • 主题: thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engine...
  • 将项目显示为搜索结果
  • 探索相关频道
  • Quick Look
    Programming Languages and Systems
  • Quick Look
    Programming Languages and Systems
  • Quick Look
    Association of Physical Fitness and Motor Competence with Health and Well-Being in Children and Adolescents
  • Quick Look
    Cooperative/Collaborative Learning
  • Quick Look
    Programming Languages and Systems
  • Quick Look
    Family Therapy
  • Quick Look
    Corporate Social Responsibility: Organizational Strategy for Sustainable Growth
  • Quick Look
    Age-Period-Cohort Analysis
  • Quick Look
    Programming Languages and Systems

主题: 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 engine...
  • 主题: thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engine...
  • 将项目显示为搜索结果
  • 探索相关频道
  • Quick Look
    Edge Computing for Internet of Things
  • Quick Look
    Programming Languages and Systems
  • Quick Look
    Programming Languages and Systems
  • Quick Look
    Real World OCaml: Functional Programming for the Masses
  • Quick Look
    Programming Languages and Systems
  • Quick Look
    Programming Languages and Systems

检索选项

  • 检索历史
  • 高级检索

查找更多

  • 浏览目录
  • 按字母顺序浏览
  • 探索频道