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
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Channels
Search for more channels:
Topic: abstract interpretation
Add more channels like this
Toggle additional channel list for Topic: abstract interpretation
Topic: effects
Topic: program analysis
Topic: program synthesis
Topic: quantum programming
Topic: semantics
Topic: session types
Topic: verification
Topic: thema EDItEUR::U Computing and Information Technology::UM Computer programming / software eng...
Topic: thema EDItEUR::U Computing and Information Technology::UM Computer programming / software eng...
Topic: FP-Growth algorithm
Topic: Internet of Things
Topic: Internet of Things (IoT)
Topic: IoT
Topic: WSN
Topic: association rules
Topic: cache memory
Topic: computational offloading
Topic: convolutional neural network
Topic: data processing
Topic: dew computing
Topic: distributed collaboration
Topic: dynamic offloading
Topic: edge computing
Topic: edge node
Topic: edge security
Topic: failure recovery
Topic: fog access points
Channel Options
Show items as search results
Explore related channels
Quick Look
Programming Languages and Systems
Quick Look
Programming Languages and Systems
Quick Look
Programming Languages and Systems
Quick Look
Programming Languages and Systems
Load more items
Topic: dependent types
Add more channels like this
Toggle additional channel list for Topic: dependent types
Topic: effects
Topic: program analysis
Topic: program synthesis
Topic: quantum programming
Topic: semantics
Topic: session types
Topic: verification
Topic: thema EDItEUR::U Computing and Information Technology::UM Computer programming / software eng...
Topic: thema EDItEUR::U Computing and Information Technology::UM Computer programming / software eng...
Topic: FP-Growth algorithm
Topic: Internet of Things
Topic: Internet of Things (IoT)
Topic: IoT
Topic: WSN
Topic: association rules
Topic: cache memory
Topic: computational offloading
Topic: convolutional neural network
Topic: data processing
Topic: dew computing
Topic: distributed collaboration
Topic: dynamic offloading
Topic: edge computing
Topic: edge node
Topic: edge security
Topic: failure recovery
Topic: fog access points
Channel Options
Show items as search results
Explore related channels
Quick Look
Programming Languages and Systems
Quick Look
Programming Languages and Systems
Quick Look
Programming Languages and Systems
Quick Look
Programming Languages and Systems
Load more items
Author: Madhavapeddy, Anil
Channel Options
Show items as search results
Explore related channels
Quick Look
Real World OCaml: Functional Programming for the Masses
Load more items
Author: Minsky, Yaron
Channel Options
Show items as search results
Explore related channels
Quick Look
Real World OCaml: Functional Programming for the Masses
Load more items
Similar Items: Programming Languages and Systems
Add more channels like this
Toggle additional channel list for Similar Items: Programming Languages and Systems
Similar Items: Real World OCaml: Functional Programming for the Masses
Similar Items: Programming Languages and Systems
Similar Items: Programming Languages and Systems
Similar Items: Edge Computing for Internet of Things
Channel Options
View Record
Explore related channels
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
Load more items
Similar Items: Programming Languages and Systems
Add more channels like this
Toggle additional channel list for Similar Items: Programming Languages and Systems
Similar Items: Real World OCaml: Functional Programming for the Masses
Similar Items: Programming Languages and Systems
Similar Items: Programming Languages and Systems
Similar Items: Edge Computing for Internet of Things
Channel Options
View Record
Explore related channels
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
Load more items
View Record
Prev
Explore related channels
Next
