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::UM Computer programming / software engineering
Add more channels like this
Toggle additional channel list for Topic: thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
Topic: formal logic
Topic: thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial in...
Topic: Programming Techniques
Topic: Software Engineering
Topic: Mathematical theory of computation
Topic: Natural Language Processing (NLP)
Topic: Natural language & machine translation
Topic: object-oriented programming
Topic: semantics
Topic: software architecture
Topic: software design
Topic: thema EDItEUR::U Computing and Information Technology::UT Computer networking and communicati...
Topic: Compilers & interpreters
Topic: Computer Science Logic and Foundations of Programming
Topic: Computer Systems Organization and Communication Networks
Topic: Computer architecture & logic design
Topic: Computer networking & communications
Topic: Computer science
Topic: Energy
Topic: Formal Languages and Automata Theory
Topic: Logics and Meanings of Programs
Topic: Mathematical Logic and Formal Languages
Topic: Operating systems
Topic: Programming & scripting languages: general
Topic: Programming Languages, Compilers, Interpreters
Topic: Software Engineering/Programming and Operating Systems
Topic: Theory of Computation
Channel Options
Show items as search results
Explore related channels
Quick Look
Foundations of Software Science and Computation Structures
Quick Look
Fundamental Approaches to Software Engineering
Quick Look
Foundations of Software Science and Computation Structures
Quick Look
Programming Languages and Systems
Quick Look
The Once-Only Principle
Quick Look
Automated Deduction – CADE 28
Quick Look
Critical Perspectives on Open Development
Load more items
Topic: thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
Add more channels like this
Toggle additional channel list for Topic: thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
Topic: formal logic
Topic: thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial in...
Topic: Programming Techniques
Topic: Software Engineering
Topic: Mathematical theory of computation
Topic: Natural Language Processing (NLP)
Topic: Natural language & machine translation
Topic: object-oriented programming
Topic: semantics
Topic: software architecture
Topic: software design
Topic: thema EDItEUR::U Computing and Information Technology::UT Computer networking and communicati...
Topic: Compilers & interpreters
Topic: Computer Science Logic and Foundations of Programming
Topic: Computer Systems Organization and Communication Networks
Topic: Computer architecture & logic design
Topic: Computer networking & communications
Topic: Computer science
Topic: Energy
Topic: Formal Languages and Automata Theory
Topic: Logics and Meanings of Programs
Topic: Mathematical Logic and Formal Languages
Topic: Operating systems
Topic: Programming & scripting languages: general
Topic: Programming Languages, Compilers, Interpreters
Topic: Software Engineering/Programming and Operating Systems
Topic: Theory of Computation
Channel Options
Show items as search results
Explore related channels
Quick Look
Fundamental Approaches to Software Engineering
Quick Look
Programming Languages and Systems
Quick Look
The Once-Only Principle
Quick Look
Automated Deduction – CADE 28
Quick Look
Code/Space
Quick Look
Interfaces on Trial 2.0
Load more items
Author: Band, Jonathan
Add more channels like this
Toggle additional channel list for Author: Band, Jonathan
Author: Davies, Jim
Author: Dodge, Martin
Author: Feeney, Kevin
Author: Katoh, Masanobu
Author: Kitchin, Rob
Author: Welch, James
Channel Options
Show items as search results
Explore related channels
Quick Look
Interfaces on Trial 2.0
Load more items
Author: Chlipala, Adam
Add more channels like this
Toggle additional channel list for Author: Chlipala, Adam
Author: Davies, Jim
Author: Dodge, Martin
Author: Feeney, Kevin
Author: Katoh, Masanobu
Author: Kitchin, Rob
Author: Welch, James
Channel Options
Show items as search results
Explore related channels
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: The Once-Only Principle
Similar Items: Automated Deduction – CADE 28
Similar Items: Code/Space
Similar Items: Interfaces on Trial 2.0
Similar Items: Certified Programming with Dependent Types
Similar Items: Critical Perspectives on Open Development
Similar Items: Engineering Agile Big-Data Systems
Similar Items: Towards a Common Software/Hardware Methodology for Future Advanced Driver Assistance...
Similar Items: Computer-Driven Instructional Design with INTUITEL
Channel Options
View Record
Explore related channels
Quick Look
Programming Languages and Systems
Quick Look
Automated Deduction – CADE 28
Quick Look
Foundations of Software Science and Computation Structures
Quick Look
Foundations of Software Science and Computation Structures
Quick Look
Foundations of Software Science and Computation Structures
Quick Look
Programming Languages and Systems
Quick Look
Tools and Algorithms for the Construction and Analysis of Systems
Quick Look
Automated Reasoning
Quick Look
Foundations of Software Science and Computation Structures
Quick Look
Foundations of Software Science and Computation Structures
Quick Look
Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings
Quick Look
Programming Languages and Systems
Quick Look
Programming Languages and Systems
Quick Look
Robust Argumentation Machines
Quick Look
Fundamental Approaches to Software Engineering
Quick Look
Computer Aided Verification
Quick Look
Automated Reasoning
Quick Look
Automated Reasoning
Quick Look
Programming Languages and Systems
Quick Look
Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Quick Look
Computer Aided Verification
Quick Look
XcalableMP PGAS Programming Language
Quick Look
Data Parallel C++
Quick Look
Computer Aided Verification
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: Foundations of Software Science and Computation Structures
Similar Items: Programming Languages and Systems
Similar Items: The Once-Only Principle
Similar Items: Automated Deduction – CADE 28
Similar Items: Code/Space
Similar Items: Interfaces on Trial 2.0
Similar Items: Certified Programming with Dependent Types
Similar Items: Critical Perspectives on Open Development
Similar Items: Engineering Agile Big-Data Systems
Similar Items: Towards a Common Software/Hardware Methodology for Future Advanced Driver Assistance...
Similar Items: Computer-Driven Instructional Design with INTUITEL
Channel Options
View Record
Explore related channels
Quick Look
Computer Aided Verification
Quick Look
Programming Languages and Systems
Quick Look
Programming Languages and Systems
Quick Look
Automated Deduction – CADE 28
Quick Look
Fundamental Approaches to Software Engineering
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
Automated Reasoning
Quick Look
Tools and Algorithms for the Construction and Analysis of Systems
Quick Look
Computer Aided Verification
Quick Look
Computer Aided Verification
Quick Look
The Once-Only Principle
Quick Look
Computer Aided Verification
Quick Look
Computer Aided Verification
Quick Look
Tools and Algorithms for the Construction and Analysis of Systems
Quick Look
Frontiers of Combining Systems
Quick Look
Tools and Algorithms for the Construction and Analysis of Systems
Quick Look
Computer Aided Verification
Quick Look
Formal Methods
Quick Look
Formal Methods
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
Load more items
View Record
Prev
Explore related channels
Next
