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: verification
Add more channels like this
Toggle additional channel list for Topic: verification
Topic: dependent types
Topic: effects
Topic: emerging models of computation
Topic: functional programming
Topic: language theory, automata, and games
Topic: logical aspects of computational complexity
Topic: logics of programming
Topic: modal, spatial, and temporal logics
Topic: models of software security
Topic: program synthesis
Topic: quantum programming
Topic: semantics
Topic: session types
Topic: software specification and refinement
Topic: categorical models and logics
Topic: concurrency theory
Topic: thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations
Topic: thema EDItEUR::U Computing and Information Technology::UM Computer programming / software eng...
Topic: thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical...
Topic: thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analy...
Topic: thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GP Research and infor...
Topic: thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations::PBCD...
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: thema EDItEUR::U Computing and Information Technology::UY Computer science
Topic: thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical...
Topic: Algorithms & data structures
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
Quick Look
Fundamental Approaches to Software Engineering
Load more items
Topic: abstract interpretation
Add more channels like this
Toggle additional channel list for Topic: abstract interpretation
Topic: dependent types
Topic: effects
Topic: emerging models of computation
Topic: functional programming
Topic: language theory, automata, and games
Topic: logical aspects of computational complexity
Topic: logics of programming
Topic: modal, spatial, and temporal logics
Topic: models of software security
Topic: program synthesis
Topic: quantum programming
Topic: semantics
Topic: session types
Topic: software specification and refinement
Topic: categorical models and logics
Topic: concurrency theory
Topic: thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations
Topic: thema EDItEUR::U Computing and Information Technology::UM Computer programming / software eng...
Topic: thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical...
Topic: thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analy...
Topic: thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GP Research and infor...
Topic: thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations::PBCD...
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: thema EDItEUR::U Computing and Information Technology::UY Computer science
Topic: thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical...
Topic: Algorithms & data structures
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
Similar Items: Programming Languages and Systems
Add more channels like this
Toggle additional channel list for Similar Items: Programming Languages and Systems
Similar Items: Foundations of Software Science and Computation Structures
Similar Items: Programming Languages and Systems
Similar Items: Programming Languages and Systems
Similar Items: Foundations of Software Science and Computation Structures
Similar Items: Programming Languages and Systems
Similar Items: Fundamental Approaches to Software Engineering
Similar Items: Foundations of Software Science and Computation Structures
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: Foundations of Software Science and Computation Structures
Add more channels like this
Toggle additional channel list for Similar Items: Foundations of Software Science and Computation Structures
Similar Items: Foundations of Software Science and Computation Structures
Similar Items: Programming Languages and Systems
Similar Items: Programming Languages and Systems
Similar Items: Foundations of Software Science and Computation Structures
Similar Items: Programming Languages and Systems
Similar Items: Fundamental Approaches to Software Engineering
Similar Items: Foundations of Software Science and Computation Structures
Channel Options
View Record
Explore related channels
Quick Look
Foundations of Software Science and Computation Structures
Quick Look
Foundations of Software Science and Computation Structures
Quick Look
Robust Argumentation Machines
Quick Look
Automated Deduction – CADE 28
Quick Look
The Amazing Journey of Reason
Quick Look
Foundations of Software Science and Computation Structures
Quick Look
Tools and Algorithms for the Construction and Analysis of Systems
Quick Look
Harmony and Paradox
Quick Look
Computer Aided Verification
Quick Look
Tools and Algorithms for the Construction and Analysis of Systems
Quick Look
Computer Aided Verification
Quick Look
Foundations of Software Science and Computation Structures
Quick Look
Tools and Algorithms for the Construction and Analysis of Systems
Quick Look
Computer Aided Verification
Quick Look
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020
Quick Look
Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024
Quick Look
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021
Quick Look
Algorithmic Foundations for Social Advancement
Quick Look
High-speed surface profilometry based on an adaptive microscope with axial chromatic encoding
Quick Look
Active Vision for Scene Understanding
Quick Look
Ansätze zur lokalen Bayes’schen Fusion von Informationsbeiträgen heterogener Quellen
Quick Look
Umsetzung des datenschutzrechtlichen Auskunftsanspruchs auf Grundlage von Usage-Control und Data-Provenance-Technologien
Quick Look
Automated Reasoning
Quick Look
Proceedings of the 2020 Joint Workshop of Fraunhofer IOSB and Institute for Anthropomatics, Vision and Fusion Laboratory
Load more items
View Record
Prev
Explore related channels
Next
