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: Computer networking & communications
Add more channels like this
Toggle additional channel list for Topic: Computer networking & communications
Topic: Computer Engineering and Networks
Topic: formal logic
Topic: distributed computer systems
Topic: embedded systems
Topic: linguistics
Topic: thema EDItEUR::U Computing and Information Technology::UY Computer science
Topic: Computer science
Topic: Mathematical theory of computation
Topic: Open Access
Topic: Software Engineering
Topic: Theory of Computation
Topic: artificial intelligence
Topic: model checking
Topic: parallel processing systems
Topic: software architecture
Topic: thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial in...
Topic: verification and validation
Topic: Algorithms & data structures
Topic: Control Structures and Microprogramming
Topic: Information Systems and Communication Service
Topic: architecture verification and validation
Topic: computer networks
Topic: computer systems
Topic: mathematics
Topic: semantics
Topic: software design
Topic: software quality
Channel Options
Show items as search results
Explore related channels
Quick Look
Computer Aided Verification
Quick Look
Programming Languages and Systems
Quick Look
Advances in Intelligent Data Analysis XVIII
Quick Look
Machine Learning for Cyber Physical Systems
Quick Look
Foundations of Software Science and Computation Structures
Quick Look
Computer Aided Verification
Quick Look
The Cloud-to-Thing Continuum
Quick Look
Supercomputing Frontiers
Quick Look
Cyber-Physical Systems: A Model-Based Approach
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
Programming Languages and Systems
Quick Look
Eingebettete Systeme
Load more items
Topic: thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications
Add more channels like this
Toggle additional channel list for Topic: thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications
Topic: Computer Engineering and Networks
Topic: formal logic
Topic: distributed computer systems
Topic: embedded systems
Topic: linguistics
Topic: thema EDItEUR::U Computing and Information Technology::UY Computer science
Topic: Computer science
Topic: Mathematical theory of computation
Topic: Open Access
Topic: Software Engineering
Topic: Theory of Computation
Topic: artificial intelligence
Topic: model checking
Topic: parallel processing systems
Topic: software architecture
Topic: thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial in...
Topic: verification and validation
Topic: Algorithms & data structures
Topic: Control Structures and Microprogramming
Topic: Information Systems and Communication Service
Topic: architecture verification and validation
Topic: computer networks
Topic: computer systems
Topic: mathematics
Topic: semantics
Topic: software design
Topic: software quality
Channel Options
Show items as search results
Explore related channels
Quick Look
Computer Aided Verification
Quick Look
Programming Languages and Systems
Quick Look
Advances in Intelligent Data Analysis XVIII
Quick Look
Machine Learning for Cyber Physical Systems
Quick Look
Foundations of Software Science and Computation Structures
Quick Look
Computer Aided Verification
Quick Look
The Cloud-to-Thing Continuum
Quick Look
Supercomputing Frontiers
Quick Look
Cyber-Physical Systems: A Model-Based Approach
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
Programming Languages and Systems
Quick Look
Eingebettete Systeme
Load more items
Author: Marwedel, Peter
Add more channels like this
Toggle additional channel list for Author: Marwedel, Peter
Author: Taha, Abd-Elhamid M.
Author: Taha, Walid M.
Author: Thunberg, Johan
Channel Options
Show items as search results
Explore related channels
Quick Look
Eingebettete Systeme
Load more items
Author: Robertson, Margaret E.
Add more channels like this
Toggle additional channel list for Author: Robertson, Margaret E.
Author: Taha, Abd-Elhamid M.
Author: Taha, Walid M.
Author: Thunberg, Johan
Channel Options
Show items as search results
Explore related channels
Quick Look
Communicating, Networking: Interacting: The International Year of Global Understanding - IYGU
Load more items
Similar Items: Computer Aided Verification
Add more channels like this
Toggle additional channel list for Similar Items: Computer Aided Verification
Similar Items: Advances in Intelligent Data Analysis XVIII
Similar Items: Machine Learning for Cyber Physical Systems
Similar Items: Foundations of Software Science and Computation Structures
Similar Items: Computer Aided Verification
Similar Items: Cyber-Physical Systems of Systems
Similar Items: The Cloud-to-Thing Continuum
Similar Items: Supercomputing Frontiers
Similar Items: Communicating, Networking: Interacting: The International Year of Global Understandin...
Similar Items: Cyber-Physical Systems: A Model-Based Approach
Similar Items: Tools and Algorithms for the Construction and Analysis of Systems
Similar Items: Tools and Algorithms for the Construction and Analysis of Systems
Similar Items: Programming Languages and Systems
Similar Items: Eingebettete Systeme
Channel Options
View Record
Explore related channels
Quick Look
Computer Aided Verification
Quick Look
Computer Aided Verification
Quick Look
Automated Reasoning
Quick Look
Nordic Artificial Intelligence Research and Development
Quick Look
Frontiers of Combining Systems
Quick Look
Computer Aided Verification
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
Fundamental Approaches to Software Engineering
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
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
Programming Languages and Systems
Quick Look
Computer Aided Verification
Quick Look
Cyber Security
Quick Look
Tools and Algorithms for the Construction and Analysis of Systems
Quick Look
Computer Aided Verification
Quick Look
Computer Aided Verification
Quick Look
Formal Methods
Quick Look
Formal Methods
Quick Look
Programming Languages and Systems
Quick Look
The AI Act and The Agile Safety Plan
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: Advances in Intelligent Data Analysis XVIII
Similar Items: Machine Learning for Cyber Physical Systems
Similar Items: Foundations of Software Science and Computation Structures
Similar Items: Computer Aided Verification
Similar Items: Cyber-Physical Systems of Systems
Similar Items: The Cloud-to-Thing Continuum
Similar Items: Supercomputing Frontiers
Similar Items: Communicating, Networking: Interacting: The International Year of Global Understandin...
Similar Items: Cyber-Physical Systems: A Model-Based Approach
Similar Items: Tools and Algorithms for the Construction and Analysis of Systems
Similar Items: Tools and Algorithms for the Construction and Analysis of Systems
Similar Items: Programming Languages and Systems
Similar Items: Eingebettete Systeme
Channel Options
View Record
Explore related channels
Quick Look
Programming Languages and Systems
Quick Look
Programming Languages and Systems
Quick Look
Pro TBB
Quick Look
Programming Languages and Systems
Quick Look
Programming Languages and Systems
Quick Look
Data Parallel C++
Quick Look
Fundamental Approaches to Software Engineering
Quick Look
Foundations of Software Science and Computation Structures
Quick Look
Programming Languages and Systems
Quick Look
Developing Graphics Frameworks with Python and OpenGL
Quick Look
Programming Languages and Systems
Quick Look
Today's TBB
Quick Look
Real World OCaml: Functional Programming for the Masses
Quick Look
Fundamental Approaches to Software Engineering
Quick Look
Computer Aided Verification
Quick Look
XcalableMP PGAS Programming Language
Quick Look
Computer Aided Verification
Quick Look
Fundamental Approaches to Software Engineering
Quick Look
Rhetorical Code Studies: Discovering Arguments in and around Code
Quick Look
Formal Methods
Quick Look
Formal Methods
Quick Look
Tools and Algorithms for the Construction and Analysis of Systems
Quick Look
Foundations of Probabilistic Programming
Quick Look
Computer Aided Verification
Load more items
View Record
Prev
Explore related channels
Next
