Chuyển đến nội dung
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
Tất cả các trường
Tiêu đề
Tác giả
Chủ đề
Số hiệu
số ISBN/ISSN
Nhãn
Tìm kiếm
Nâng cao
Channels
Foundations of Software Science and Computation Structures
Tìm kiếm các kênh hơn:
Những quyển sách tương tự: Foundations of Software Science and Computation Structures
Channel Options
Xem bản ghi
Các kênh liên quan thám hiểm
Quick Look
Foundations of Software Science and Computation Structures
Quick Look
Foundations of Software Science and Computation Structures
Quick Look
Robust Argumentation Machines
Quick Look
Automated Deduction – CADE 28
Quick Look
The Amazing Journey of Reason
Quick Look
Foundations of Software Science and Computation Structures
Quick Look
Tools and Algorithms for the Construction and Analysis of Systems
Quick Look
Harmony and Paradox
Quick Look
Computer Aided Verification
Quick Look
Tools and Algorithms for the Construction and Analysis of Systems
Quick Look
Computer Aided Verification
Quick Look
Foundations of Software Science and Computation Structures
Quick Look
Tools and Algorithms for the Construction and Analysis of Systems
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
Algorithmic Foundations for Social Advancement
Quick Look
High-speed surface profilometry based on an adaptive microscope with axial chromatic encoding
Quick Look
Active Vision for Scene Understanding
Quick Look
Ansätze zur lokalen Bayes’schen Fusion von Informationsbeiträgen heterogener Quellen
Quick Look
Umsetzung des datenschutzrechtlichen Auskunftsanspruchs auf Grundlage von Usage-Control und Data-Provenance-Technologien
Quick Look
Automated Reasoning
Quick Look
Proceedings of the 2020 Joint Workshop of Fraunhofer IOSB and Institute for Anthropomatics, Vision and Fusion Laboratory
Load more items
Đề tài: program analysis
Thêm các kênh như thế này
Toggle additional channel list for Đề tài: program analysis
Đề tài: language theory, automata, and games
Đề tài: concurrency theory
Đề tài: modal, spatial, and temporal logics
Đề tài: logics of programming
Đề tài: software specification and refinement
Đề tài: emerging models of computation
Đề tài: models of software security
Đề tài: logical aspects of computational complexity
Đề tài: thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical...
Đề tài: thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations::PBCD...
Đề tài: thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations
Đề tài: thema EDItEUR::U Computing and Information Technology::UM Computer programming / software en...
Đề tài: thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GP Research and info...
Đề tài: thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems anal...
Đề tài: thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical...
Channel Options
Hiển thị khoản mục như kết quả tìm kiếm
Các kênh liên quan thám hiểm
Quick Look
Programming Languages and Systems
Quick Look
Programming Languages and Systems
Quick Look
Fundamental Approaches to Software Engineering
Quick Look
Programming Languages and Systems
Quick Look
Foundations of Software Science and Computation Structures
Quick Look
Foundations of Software Science and Computation Structures
Quick Look
Foundations of Software Science and Computation Structures
Quick Look
Foundations of Software Science and Computation Structures
Quick Look
Programming Languages and Systems
Load more items
Đề tài: categorical models and logics
Thêm các kênh như thế này
Toggle additional channel list for Đề tài: categorical models and logics
Đề tài: language theory, automata, and games
Đề tài: concurrency theory
Đề tài: modal, spatial, and temporal logics
Đề tài: logics of programming
Đề tài: software specification and refinement
Đề tài: emerging models of computation
Đề tài: models of software security
Đề tài: logical aspects of computational complexity
Đề tài: thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical...
Đề tài: thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations::PBCD...
Đề tài: thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations
Đề tài: thema EDItEUR::U Computing and Information Technology::UM Computer programming / software en...
Đề tài: thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GP Research and info...
Đề tài: thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems anal...
Đề tài: thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical...
Channel Options
Hiển thị khoản mục như kết quả tìm kiếm
Các kênh liên quan thám hiểm
Quick Look
Foundations of Software Science and Computation Structures
Quick Look
Foundations of Software Science and Computation Structures
Quick Look
Foundations of Software Science and Computation Structures
Quick Look
Foundations of Software Science and Computation Structures
Quick Look
Foundations of Software Science and Computation Structures
Load more items
Xem bản ghi
Trước
Các kênh liên quan thám hiểm
Tiếp theo
