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
Alle Felter
Titel
Forfatter
Fag
Klassifikationsnummer
ISBN/ISSN
Tag
Find
Udvidet
Channels
Search for more channels:
Emne: thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications
Add more channels like this
Toggle additional channel list for Emne: thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications
Emne: Computer Engineering and Networks
Emne: Information Systems and Communication Service
Emne: artificial intelligence
Emne: distributed computer systems
Emne: embedded systems
Emne: formal logic
Emne: linguistics
Emne: Software Engineering
Emne: computer systems
Emne: open access
Emne: parallel processing systems
Emne: software architecture
Emne: thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial int...
Emne: Algorithms & data structures
Emne: Computer science
Emne: Control Structures and Microprogramming
Emne: Mathematical theory of computation
Emne: Open Access
Emne: Theory of Computation
Emne: computer networks
Emne: mathematics
Emne: model checking
Emne: semantics
Emne: software design
Emne: thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engi...
Emne: thema EDItEUR::U Computing and Information Technology::UY Computer science
Emne: verification and validation
Channel Options
Show items as search results
Explore related channels
Quick Look
Computer Aided Verification
Quick Look
Wi-Fi Enabled Healthcare
Quick Look
Programming Languages and Systems
Quick Look
Fundamental Approaches to Software Engineering
Quick Look
Advances in Intelligent Data Analysis XVIII
Quick Look
Semantic Systems. In the Era of Knowledge Graphs
Quick Look
Machine Learning for Cyber Physical Systems
Quick Look
Foundations of Software Science and Computation Structures
Quick Look
Computer Aided Verification
Quick Look
Software for Exascale Computing - SPPEXA 2016-2019
Quick Look
The Cloud-to-Thing Continuum
Quick Look
Supercomputing Frontiers
Quick Look
Cyber-Physical Systems: A Model-Based Approach
Quick Look
Sensor and Data Fusion
Quick Look
Ultra Wideband
Quick Look
Communications and Networking
Quick Look
Emerging Communications for Wireless Sensor Networks
Quick Look
VoIP Technologies
Quick Look
Advanced Trends in Wireless Communications
Quick Look
Intrusion Detection Systems
Quick Look
Digital Filters
Quick Look
Ultra Wideband Communications
Quick Look
Ultra Wideband Communications
Quick Look
Recent Advances in Wireless Communications and Networks
Load more items
Emne: Computer Systems Organization and Communication Networks
Add more channels like this
Toggle additional channel list for Emne: Computer Systems Organization and Communication Networks
Emne: Computer Engineering and Networks
Emne: Information Systems and Communication Service
Emne: artificial intelligence
Emne: distributed computer systems
Emne: embedded systems
Emne: formal logic
Emne: linguistics
Emne: Software Engineering
Emne: computer systems
Emne: open access
Emne: parallel processing systems
Emne: software architecture
Emne: thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial int...
Emne: Algorithms & data structures
Emne: Computer science
Emne: Control Structures and Microprogramming
Emne: Mathematical theory of computation
Emne: Open Access
Emne: Theory of Computation
Emne: computer networks
Emne: mathematics
Emne: model checking
Emne: semantics
Emne: software design
Emne: thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engi...
Emne: thema EDItEUR::U Computing and Information Technology::UY Computer science
Emne: verification and validation
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
Forfatter: Earle, Aaron
Add more channels like this
Toggle additional channel list for Forfatter: Earle, Aaron
Forfatter: Marwedel, Peter
Forfatter: McDonald II, Douglas
Forfatter: Taha, Abd-Elhamid M.
Forfatter: Taha, Walid M.
Forfatter: Thunberg, Johan
Forfatter: Youssef, Ali
Forfatter: Zemke, Bob
Channel Options
Show items as search results
Explore related channels
Quick Look
Wi-Fi Enabled Healthcare
Load more items
Forfatter: Linton, Jon
Add more channels like this
Toggle additional channel list for Forfatter: Linton, Jon
Forfatter: Marwedel, Peter
Forfatter: McDonald II, Douglas
Forfatter: Taha, Abd-Elhamid M.
Forfatter: Taha, Walid M.
Forfatter: Thunberg, Johan
Forfatter: Youssef, Ali
Forfatter: Zemke, Bob
Channel Options
Show items as search results
Explore related channels
Quick Look
Wi-Fi Enabled Healthcare
Load more items
Lignende værker: Computer Aided Verification
Add more channels like this
Toggle additional channel list for Lignende værker: Computer Aided Verification
Lignende værker: Programming Languages and Systems
Lignende værker: Fundamental Approaches to Software Engineering
Lignende værker: Advances in Intelligent Data Analysis XVIII
Lignende værker: Semantic Systems. In the Era of Knowledge Graphs
Lignende værker: Machine Learning for Cyber Physical Systems
Lignende værker: Towards Interoperable Research Infrastructures for Environmental and Earth Sciences
Lignende værker: Foundations of Software Science and Computation Structures
Lignende værker: Computer Aided Verification
Lignende værker: Software for Exascale Computing - SPPEXA 2016-2019
Lignende værker: The Cloud-to-Thing Continuum
Lignende værker: Supercomputing Frontiers
Lignende værker: Cyber-Physical Systems: A Model-Based Approach
Lignende værker: Sensor and Data Fusion
Lignende værker: Ultra Wideband
Lignende værker: Communications and Networking
Lignende værker: Emerging Communications for Wireless Sensor Networks
Lignende værker: VoIP Technologies
Lignende værker: Advanced Trends in Wireless Communications
Lignende værker: Intrusion Detection Systems
Lignende værker: Digital Filters
Lignende værker: Ultra Wideband Communications
Lignende værker: Ultra Wideband Communications
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
Lignende værker: Wi-Fi Enabled Healthcare
Add more channels like this
Toggle additional channel list for Lignende værker: Wi-Fi Enabled Healthcare
Lignende værker: Programming Languages and Systems
Lignende værker: Fundamental Approaches to Software Engineering
Lignende værker: Advances in Intelligent Data Analysis XVIII
Lignende værker: Semantic Systems. In the Era of Knowledge Graphs
Lignende værker: Machine Learning for Cyber Physical Systems
Lignende værker: Towards Interoperable Research Infrastructures for Environmental and Earth Sciences
Lignende værker: Foundations of Software Science and Computation Structures
Lignende værker: Computer Aided Verification
Lignende værker: Software for Exascale Computing - SPPEXA 2016-2019
Lignende værker: The Cloud-to-Thing Continuum
Lignende værker: Supercomputing Frontiers
Lignende værker: Cyber-Physical Systems: A Model-Based Approach
Lignende værker: Sensor and Data Fusion
Lignende værker: Ultra Wideband
Lignende værker: Communications and Networking
Lignende værker: Emerging Communications for Wireless Sensor Networks
Lignende værker: VoIP Technologies
Lignende værker: Advanced Trends in Wireless Communications
Lignende værker: Intrusion Detection Systems
Lignende værker: Digital Filters
Lignende værker: Ultra Wideband Communications
Lignende værker: Ultra Wideband Communications
Channel Options
View Record
Explore related channels
Quick Look
The Moral Economy of Mobile Phones
Quick Look
Recent Developments in Mobile Communications
Quick Look
Mobile Multimedia
Quick Look
Advances and Applications in Mobile Computing
Quick Look
Innovation in MIMO Technologies, Systems, and Antennas
Quick Look
Mobile and Wireless Communications
Quick Look
Telecommunications Networks
Quick Look
Novel Applications of the UWB Technologies
Quick Look
Advanced Topics in Multimedia Research
Quick Look
Mobile Computing
Quick Look
Mobile Networks
Quick Look
5G and 6G Enhanced Broadband Communications
Quick Look
Mobile Computing
Quick Look
Geospatial Technology
Quick Look
Advanced Wireless Communications and Mobile Networks
Quick Look
5G Outlook – Innovations and Applications
Quick Look
Tsunami
Quick Look
Hydraulic Structures
Quick Look
Advances in Structural Health Monitoring
Quick Look
Infrastructure Management and Construction
Quick Look
Failure Analysis
Quick Look
Advances in Computational Stability Analysis
Quick Look
Truss and Frames
Quick Look
Advances on Analysis and Control of Vibrations
Load more items
View Record
Forrige
Explore related channels
Næste