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: thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation
Add more channels like this
Toggle additional channel list for Topic: thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation
Topic: Software engineering
Topic: thema EDItEUR::U Computing and Information Technology::UM Computer programming / software eng...
Topic: Artificial intelligence
Topic: Computer logic
Topic: Computers
Topic: Mathematical logic
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::UYQ Artificial in...
Topic: Algorithms
Topic: Computer system failures
Topic: Programming languages (Electronic computers)
Topic: thema EDItEUR::U Computing and Information Technology::UB Information technology: general top...
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::UYD Systems analy...
Topic: Application software
Topic: Archaeology
Topic: Computational physics
Topic: Computer organization
Topic: Europe—History—To 476
Topic: Social sciences
Topic: Social sciences—Computer programs
Topic: Social sciences—Data processing
Topic: thema EDItEUR::J Society and Social Sciences
Topic: thema EDItEUR::N History and Archaeology::NH History::NHD European history
Channel Options
Show items as search results
Explore related channels
Quick Look
Fundamental Approaches to Software Engineering
Quick Look
Tools and Algorithms for the Construction and Analysis of Systems
Quick Look
Computer Aided Verification
Quick Look
Computer Aided Verification
Quick Look
Computer Aided Verification
Quick Look
Finding the Limits of the Limes
Quick Look
VR Technologies in Cultural Heritage
Load more items
Topic: Computer science
Add more channels like this
Toggle additional channel list for Topic: Computer science
Topic: Software engineering
Topic: thema EDItEUR::U Computing and Information Technology::UM Computer programming / software eng...
Topic: Artificial intelligence
Topic: Computer logic
Topic: Computers
Topic: Mathematical logic
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::UYQ Artificial in...
Topic: Algorithms
Topic: Computer system failures
Topic: Programming languages (Electronic computers)
Topic: thema EDItEUR::U Computing and Information Technology::UB Information technology: general top...
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::UYD Systems analy...
Topic: Application software
Topic: Archaeology
Topic: Computational physics
Topic: Computer organization
Topic: Europe—History—To 476
Topic: Social sciences
Topic: Social sciences—Computer programs
Topic: Social sciences—Data processing
Topic: thema EDItEUR::J Society and Social Sciences
Topic: thema EDItEUR::N History and Archaeology::NH History::NHD European history
Channel Options
Show items as search results
Explore related channels
Quick Look
Fundamental Approaches to Software Engineering
Quick Look
Tools and Algorithms for the Construction and Analysis of Systems
Quick Look
Computer Aided Verification
Quick Look
Computer Aided Verification
Quick Look
Computer Aided Verification
Quick Look
VR Technologies in Cultural Heritage
Load more items
Similar Items: Fundamental Approaches to Software Engineering
Add more channels like this
Toggle additional channel list for Similar Items: Fundamental Approaches to Software Engineering
Similar Items: Computer Aided Verification
Similar Items: Computer Aided Verification
Similar Items: Computer Aided Verification
Similar Items: Finding the Limits of the Limes
Similar Items: VR Technologies in Cultural Heritage
Similar Items: System- and Data-Driven Methods and Algorithms
Channel Options
View Record
Explore related channels
Quick Look
Programming Languages and Systems
Quick Look
Computer Aided Verification
Quick Look
Tools and Algorithms for the Construction and Analysis of Systems
Quick Look
Real World OCaml: Functional Programming for the Masses
Quick Look
Computer Aided Verification
Quick Look
Developing Graphics Frameworks with Python and OpenGL
Quick Look
Programming Languages and Systems
Quick Look
Computer Aided Verification
Quick Look
Computer Aided Verification
Quick Look
Rhetorical Code Studies: Discovering Arguments in and around Code
Quick Look
Fundamental Approaches to Software Engineering
Quick Look
Programming Languages and Systems
Quick Look
Tools and Algorithms for the Construction and Analysis of Systems
Quick Look
Tools and Algorithms for the Construction and Analysis of Systems
Quick Look
Foundations of Software Science and Computation Structures
Quick Look
Computer Aided Verification
Quick Look
Practical Machine Learning
Quick Look
Pro TBB
Quick Look
Programming Languages and Systems
Quick Look
Programming Languages and Systems
Quick Look
Automated Reasoning
Quick Look
Computer Aided Verification
Quick Look
Programming Languages and Systems
Quick Look
Programming Languages and Systems
Load more items
Similar Items: Tools and Algorithms for the Construction and Analysis of Systems
Add more channels like this
Toggle additional channel list for Similar Items: Tools and Algorithms for the Construction and Analysis of Systems
Similar Items: Computer Aided Verification
Similar Items: Computer Aided Verification
Similar Items: Computer Aided Verification
Similar Items: Finding the Limits of the Limes
Similar Items: VR Technologies in Cultural Heritage
Similar Items: System- and Data-Driven Methods and Algorithms
Channel Options
View Record
Explore related channels
Quick Look
Fundamental Approaches to Software Engineering
Quick Look
Computer Aided Verification
Quick Look
Tools and Algorithms for the Construction and Analysis of Systems
Quick Look
Computer Aided Verification
Quick Look
Computer Aided Verification
Quick Look
Computer Aided Verification
Quick Look
Computer Aided Verification
Quick Look
Programming Languages and Systems
Quick Look
Tools and Algorithms for the Construction and Analysis of Systems
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
Automated Reasoning
Quick Look
Automated Deduction – CADE 28
Quick Look
Tools and Algorithms for the Construction and Analysis of Systems
Quick Look
Tools and Algorithms for the Construction and Analysis of Systems
Quick Look
Computer Aided Verification
Quick Look
Fundamental Approaches to Software Engineering
Quick Look
Tools and Algorithms for the Construction and Analysis of Systems
Quick Look
Fundamental Approaches to Software Engineering
Quick Look
Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design – FMCAD 2025
Quick Look
Principles of Security and Trust
Quick Look
Computer Aided Verification
Quick Look
Fundamental Approaches to Software Engineering
Load more items
View Record
Prev
Explore related channels
Next