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

Topic: Operating systems

  • Topic: thema EDItEUR::U Computing and Information Technology::UM Computer programming / software eng...
  • Topic: open access
  • Topic: Expert systems / knowledge-based systems
  • Topic: Special Purpose and Application-Based Systems
  • Topic: signal processing
  • Topic: software architecture
  • Topic: Algorithms & data structures
  • Topic: Computer Applications
  • Topic: Computer and Information Systems Applications
  • Topic: Computer programming / software engineering
  • Topic: Information Systems and Communication Service
  • Topic: Information technology: general issues
  • Topic: Mathematical theory of computation
  • Topic: Programming Techniques
  • Topic: databases
  • Topic: embedded systems
  • Topic: model checking
  • Topic: network protocols
  • Topic: object-oriented programming
  • Topic: parallel processing systems
  • Topic: software design
  • Topic: thema EDItEUR::U Computing and Information Technology::UM Computer programming / software eng...
  • Topic: thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial in...
  • Topic: Agile software development
  • Topic: Algorithms
  • Topic: Artificial Intelligence (incl. Robotics)
  • Topic: Business and Management
  • Show items as search results
  • Explore related channels
  • Quick Look
    Tools and Algorithms for the Construction and Analysis of Systems
  • Quick Look
    Towards Interoperable Research Infrastructures for Environmental and Earth Sciences
  • Quick Look
    Technical, Economic and Societal Effects of Manufacturing 4.0
  • Quick Look
    Solving PDEs in Python
  • Quick Look
    Fundamental Approaches to Software Engineering
  • Quick Look
    Agile Processes in Software Engineering and Extreme Programming
  • Quick Look
    The Once-Only Principle

Topic: Software Engineering

  • Topic: thema EDItEUR::U Computing and Information Technology::UM Computer programming / software eng...
  • Topic: open access
  • Topic: Expert systems / knowledge-based systems
  • Topic: Special Purpose and Application-Based Systems
  • Topic: signal processing
  • Topic: software architecture
  • Topic: Algorithms & data structures
  • Topic: Computer Applications
  • Topic: Computer and Information Systems Applications
  • Topic: Computer programming / software engineering
  • Topic: Information Systems and Communication Service
  • Topic: Information technology: general issues
  • Topic: Mathematical theory of computation
  • Topic: Programming Techniques
  • Topic: databases
  • Topic: embedded systems
  • Topic: model checking
  • Topic: network protocols
  • Topic: object-oriented programming
  • Topic: parallel processing systems
  • Topic: software design
  • Topic: thema EDItEUR::U Computing and Information Technology::UM Computer programming / software eng...
  • Topic: thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial in...
  • Topic: Agile software development
  • Topic: Algorithms
  • Topic: Artificial Intelligence (incl. Robotics)
  • Topic: Business and Management
  • Show items as search results
  • Explore related channels
  • Quick Look
    Tools and Algorithms for the Construction and Analysis of Systems
  • Quick Look
    Towards Interoperable Research Infrastructures for Environmental and Earth Sciences
  • Quick Look
    Technical, Economic and Societal Effects of Manufacturing 4.0
  • Quick Look
    Solving PDEs in Python
  • Quick Look
    Fundamental Approaches to Software Engineering
  • Quick Look
    Agile Processes in Software Engineering and Extreme Programming
  • Quick Look
    The Once-Only Principle

Author: Langtangen, Hans Petter

  • Show items as search results
  • Explore related channels
  • Quick Look
    Solving PDEs in Python

Author: Logg, Anders

  • Show items as search results
  • Explore related channels
  • Quick Look
    Solving PDEs in Python

Similar Items: Computer and Information Sciences

  • Similar Items: Towards Interoperable Research Infrastructures for Environmental and Earth Sciences
  • Similar Items: Technical, Economic and Societal Effects of Manufacturing 4.0
  • Similar Items: Solving PDEs in Python
  • Similar Items: Fundamental Approaches to Software Engineering
  • Similar Items: Agile Processes in Software Engineering and Extreme Programming
  • Similar Items: The Once-Only Principle
  • View Record
  • Explore related channels
  • Quick Look
    Safer Healthcare
  • Quick Look
    Microfinance 3.0
  • Quick Look
    Infrastructure and Economic Growth in Asia
  • Quick Look
    Fulfilling the Promise of Technology Transfer
  • Quick Look
    Sustainable Manufacturing: Challenges, Solutions and Implementation Perspectives
  • Quick Look
    Linked Open Data - Creating Knowledge Out of Interlinked Data
  • Quick Look
    Innovations in Derivatives Markets: Fixed Income Modeling, Valuation Adjustments, Risk Management, and Regulation
  • Quick Look
    Ship and Offshore Structure Design in Climate Change Perspective
  • Quick Look
    Has Latin American Inequality Changed Direction?: Looking Over the Long Run
  • Quick Look
    Global Business Strategy
  • Quick Look
    Beyond the Limits to Growth
  • Quick Look
    Greening the Financial Sector: How to Mainstream Environmental Finance in Developing Countries
  • Quick Look
    The Future Internet: Future Internet Assembly 2011: Achievements and Technological Promises
  • Quick Look
    Agile Processes in Software Engineering and Extreme Programming: 17th International Conference, XP 2016, Edinburgh, UK, May 24-27, 2016, Proceedings
  • Quick Look
    Wetlands and Water Framework Directive
  • Quick Look
    Sustainable Land Use and Rural Development in Southeast Asia: Innovations and Policies for Mountainous Areas
  • Quick Look
    Formalizing the Shadow Economy in Serbia: Policy Measures and Growth Effects
  • Quick Look
    Report on Global Environmental Competitiveness (2013)
  • Quick Look
    Finance for Food
  • Quick Look
    Economics of Land Degradation and Improvement – A Global Assessment for Sustainable Development
  • Quick Look
    Science and Technology Governance and Ethics
  • Quick Look
    Regulatory Pathways for Smart Grid Development in China
  • Quick Look
    Enabling Things to Talk
  • Quick Look
    Urbanization, Biodiversity and Ecosystem Services: Challenges and Opportunities: A Global Assessment

Similar Items: Tools and Algorithms for the Construction and Analysis of Systems

  • Similar Items: Towards Interoperable Research Infrastructures for Environmental and Earth Sciences
  • Similar Items: Technical, Economic and Societal Effects of Manufacturing 4.0
  • Similar Items: Solving PDEs in Python
  • Similar Items: Fundamental Approaches to Software Engineering
  • Similar Items: Agile Processes in Software Engineering and Extreme Programming
  • Similar Items: The Once-Only Principle
  • View Record
  • Explore related channels
  • Quick Look
    Tools and Algorithms for the Construction and Analysis of Systems
  • Quick Look
    Fundamental Approaches to Software Engineering
  • Quick Look
    Fundamental Approaches to Software Engineering
  • Quick Look
    Tools and Algorithms for the Construction and Analysis of Systems
  • Quick Look
    The Once-Only Principle
  • Quick Look
    Computer Aided Verification
  • 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
    Computer Aided Verification
  • Quick Look
    Fundamental Approaches to Software Engineering
  • Quick Look
    Computer Aided Verification
  • Quick Look
    Formal Methods
  • Quick Look
    Formal Methods
  • Quick Look
    Programming Languages and Systems
  • Quick Look
    Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design – FMCAD 2025
  • Quick Look
    Programming Languages and Systems
  • 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
    Reversible Computation: Extending Horizons of Computing
  • Quick Look
    Computer Aided Verification
  • Quick Look
    Fundamental Approaches to Software Engineering

Search Options

  • Search History
  • Advanced Search

Find More

  • Browse the Catalog
  • Browse Alphabetically
  • Explore Channels