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
Udvidet
  • Channels
Search for more channels:

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
  • 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

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
  • 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

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
  • Show items as search results
  • Explore related channels
  • Quick Look
    Wi-Fi Enabled Healthcare

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
  • Show items as search results
  • Explore related channels
  • Quick Look
    Wi-Fi Enabled Healthcare

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
  • 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

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
  • 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

Søgemuligheder

  • Søg Historie
  • Udvidet søgning

Find flere

  • Gennemse kataloget
  • Gennemse alfabetisk
  • Explore Channels