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
Vsa polja
Naslov
Avtor
Tema
Signatura
ISBN/ISSN
Oznaka
Išči
Napredno
Channels
Foundations of Software Science and Computation Structures
Search for more channels:
Podobne knjige/članki: Foundations of Software Science and Computation Structures
Channel Options
Poglej zadetek
Explore related channels
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
Tema: program analysis
Add more channels like this
Toggle additional channel list for Tema: program analysis
Tema: language theory, automata, and games
Tema: concurrency theory
Tema: modal, spatial, and temporal logics
Tema: logics of programming
Tema: software specification and refinement
Tema: emerging models of computation
Tema: models of software security
Tema: logical aspects of computational complexity
Tema: thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical t...
Tema: thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations::PBCD M...
Tema: thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations
Tema: thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engi...
Tema: thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GP Research and inform...
Tema: thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analys...
Tema: thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical t...
Channel Options
Show items as search results
Explore related channels
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
Tema: categorical models and logics
Add more channels like this
Toggle additional channel list for Tema: categorical models and logics
Tema: language theory, automata, and games
Tema: concurrency theory
Tema: modal, spatial, and temporal logics
Tema: logics of programming
Tema: software specification and refinement
Tema: emerging models of computation
Tema: models of software security
Tema: logical aspects of computational complexity
Tema: thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical t...
Tema: thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations::PBCD M...
Tema: thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations
Tema: thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engi...
Tema: thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GP Research and inform...
Tema: thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analys...
Tema: thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical t...
Channel Options
Show items as search results
Explore related channels
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
Poglej zadetek
Prej.
Explore related channels
Naslednji
