Resultados de procura - "distributed computer systems"
Suggested Topics within your search.
Suggested Topics within your search.
- distributed computer systems 20
- computer programming 13
- formal logic 13
- artificial intelligence 12
- embedded systems 12
- model checking 12
- software quality 12
- computer systems 11
- parallel processing systems 10
- software design 10
- thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications 10
- software architecture 9
- thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering 9
- thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence 9
- architecture verification and validation 8
- computer networks 8
- distributed systems 8
- Computer networking & communications 7
- signal processing 7
- software engineering 7
- thema EDItEUR::U Computing and Information Technology::UY Computer science 7
- Computer Systems Organization and Communication Networks 6
- linguistics 6
- network protocols 6
- programming languages 6
- thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures 6
- verification and validation 6
- Computer Engineering and Networks 5
- Software Engineering 5
- formal languages 5
-
Computer Aided Verification
Publicado 2023Subjects: “...distributed computer systems...”
Ligazón do recurso
Online -
Computer Aided Verification
Publicado 2023Subjects: “...distributed computer systems...”
Ligazón do recurso
Online -
Computer Aided Verification
Publicado 2021Subjects: “...distributed computer systems...”
Ligazón do recurso
Online -
Programming Languages and Systems
Publicado 2021Subjects: “...distributed computer systems...”
Ligazón do recurso
Online -
Towards Interoperable Research Infrastructures for Environmental and Earth Sciences
Publicado 2021Subjects: “...distributed computer systems...”
Ligazón do recurso
Online -
Computer Aided Verification
Publicado 2021Subjects: “...distributed computer systems...”
Ligazón do recurso
Online -
Supercomputing Frontiers
Publicado 2021Subjects: “...distributed computer systems...”
Ligazón do recurso
Online -
Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,...
Publicado 2021Subjects: “...distributed computer systems...”
Ligazón do recurso
Online -
Tools and Algorithms for the Construction and Analysis of Systems
Publicado 2021Subjects: “...distributed computer systems...”
Ligazón do recurso
Online -
Programming Languages and Systems
Publicado 2021Subjects: “...distributed computer systems...”
Ligazón do recurso
Online -
Brain-Inspired Computing
Publicado 2021Subjects: “...distributed computer systems...”
Ligazón do recurso
Online -
Computer Aided Verification
Publicado 2021Subjects: “...distributed computer systems...”
Ligazón do recurso
Online -
Computer Aided Verification
Publicado 2021Subjects: “...distributed computer systems...”
Ligazón do recurso
Online -
Programming Languages and Systems
Publicado 2022Subjects: “...distributed computer systems...”
Ligazón do recurso
Online -
Fundamental Approaches to Software Engineering
Publicado 2022Subjects: “...distributed computer systems...”
Ligazón do recurso
Online -
Supercomputing Frontiers
Publicado 2022Subjects: “...distributed computer systems...”
Ligazón do recurso
Online -
Computer Aided Verification
Publicado 2022Subjects: “...distributed computer systems...”
Ligazón do recurso
Online -
Computer Aided Verification
Publicado 2022Subjects: “...distributed computer systems...”
Ligazón do recurso
Online -
Silicon Valley Cybersecurity Conference
Publicado 2023Subjects: “...distributed computer systems...”
Ligazón do recurso
Online -
Algorithms for Big Data
Publicado 2023Subjects: “...distributed computer systems...”
Ligazón do recurso
Online