Channels - Computer Aided Verification :: Library Catalog

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

מתקדם

Channels
Computer Aided Verification

Search for more channels:

פריטים דומים: Computer Aided Verification

צפיה ברשומה
Explore related channels

Quick Look
Computer Aided Verification
Quick Look
Automated Deduction – CADE 28
Quick Look
Computer Aided Verification
Quick Look
Automated Reasoning
Quick Look
Computer Aided Verification
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
Computer Aided Verification
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 25th Conference on Formal Methods in Computer-Aided Design – FMCAD 2025
Quick Look
Computer Aided Verification
Quick Look
Fundamental Approaches to Software Engineering
Quick Look
Tools and Algorithms for the Construction and Analysis of Systems
Quick Look
Formal Methods
Quick Look
Formal Methods
Quick Look
Frontiers of Combining Systems
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
Tools and Algorithms for the Construction and Analysis of Systems

נושא: architecture verification

נושא: computer programming
נושא: distributed computer systems
נושא: distributed systems
נושא: embedded systems
נושא: formal logic
נושא: formal methods
נושא: formal verifications
נושא: model checker
נושא: model checking
נושא: signal processing
נושא: software architecture
נושא: software design
נושא: software engineering
נושא: software quality
נושא: thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engi...
נושא: thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical t...
נושא: thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial int...
נושא: thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engi...
נושא: thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer model...

Show items as search results
Explore related channels

Quick Look
Computer Aided Verification
Quick Look
Computer Aided Verification

נושא: artificial intelligence

נושא: computer programming
נושא: distributed computer systems
נושא: distributed systems
נושא: embedded systems
נושא: formal logic
נושא: formal methods
נושא: formal verifications
נושא: model checker
נושא: model checking
נושא: signal processing
נושא: software architecture
נושא: software design
נושא: software engineering
נושא: software quality
נושא: thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engi...
נושא: thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical t...
נושא: thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial int...
נושא: thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engi...
נושא: thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer model...

Show items as search results
Explore related channels

Quick Look
Радіоелектроніка, інформатика, управління
Quick Look
Health and Public Health Applications for Decision Support Using Machine Learning
Quick Look
Neuroaesthetics
Quick Look
Next Generation Agriculture: Understanding Plant Life for Food, Health and Energy
Quick Look
Brain-Inspired Computing
Quick Look
Frontiers in Organizing Processes
Quick Look
The Impact of Digital Technologies on Public Health in Developed and Developing Countries
Quick Look
Computational Intelligence and Soft Computing: Recent Applications
Quick Look
Advanced Operation and Maintenance in Solar Plants, Wind Farms and Microgrids
Quick Look
Women in Artificial intelligence (AI)
Quick Look
Participative Urban Health and Healthy Aging in the Age of AI
Quick Look
Chapter Mobility hubs in the context of urban logistics – a proposal for Lodz
Quick Look
Societal Transformation: AI and Big Data Journal
Quick Look
Computers and Informatics
Quick Look
Human-Machine Communication Journal
Quick Look
New Horizons in Artificial Intelligence in Libraries
Quick Look
Data, Signal and Image Processing and Applications in Sensors II
Quick Look
Intelligent Human Computer Interaction: 9th International Conference, IHCI 2017, Evry, France, December 11-13, 2017, Proceedings
Quick Look
On the path to AI
Quick Look
Artificial Intelligence in Image-Based Screening, Diagnostics, and Clinical Care of Cardiopulmonary Diseases
Quick Look
Computer Aided Verification
Quick Look
Advanced Digital, Modeling and Control Applies into Various Processes
Quick Look
Security in Computer and Information Sciences
Quick Look
Selected Papers from the 7th World Conference on Qualitative Research

אפשרויות חיפוש

חיפושים קודמים
חיפוש מתקדם

מצא עוד

דפדוף בקטלוג
דפדוף בסדר אלפבתי
Explore Channels