Search Results - Theory of computation Models of computation Concurrency
-
1
Contributors:
Subject Terms: program analysis, categorical models and logics, language theory, automata, and games, concurrency theory, modal, spatial, and temporal logics, logics of programming, software specification and refinement, emerging models of computation, models of software security, logical aspects of computational complexity, Mathematical theory of computation, Mathematical logic, Mathematical foundations, Algorithms and data structures, Information theory, Systems analysis and design, Maths for computer scientists
File Description: application/pdf
Relation: Lecture Notes in Computer Science
-
2
Contributors:
Subject Terms: program analysis, categorical models and logics, language theory, automata, and games, concurrency theory, modal, spatial, and temporal logics, logics of programming, software specification and refinement, emerging models of computation, models of software security, logical aspects of computational complexity, Mathematical theory of computation, Mathematical logic, Mathematical foundations, Algorithms and data structures, Information theory, Systems analysis and design, Maths for computer scientists
File Description: application/pdf
Relation: Lecture Notes in Computer Science
-
3
Contributors:
Subject Terms: Categorical models and logics, language theory, automata, and games, modal, spatial, and temporal logics, type theory and proof theory, concurrency theory and process calculi, rewriting theory, semantics of programming languages, program analysis, logics of programming, software specification and refinement, models of concurrent systems, emerging models of computation, logical aspects of computational complexity, correctness, transformation, and verification, models of software security, Computer science, Mathematical foundations, Algorithms and data structures, Systems analysis and design, Mathematical theory of computation
File Description: application/pdf
Relation: Lecture Notes in Computer Science
-
4
Contributors:
Subject Terms: Mathematical Logic and Formal Languages, Theory of Computation, Natural Language Processing (NLP), Database Management, Programming Techniques, Formal Languages and Automata Theory, automata theory, databases, formal languages, formal logic, computational linguistics, open access, semantics, categorical models and logics, language theory, automata, and games, modal, spatial, and temporal logics, type theory and proof theory, concurrency theory and process calculi, rewriting theory, logical foundations of data bases, models of software security, logical aspects of computation complexity, logics of programming, Mathematical theory of computation, Computer science, Natural language & machine translation, Database programming, Computer programming / software engineering, Artificial intelligence, Databases
File Description: application/pdf
Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
-
5
Contributors:
Subject Terms: Mathematical Logic and Foundations, Discrete Mathematics in Computer Science, Programming Languages, Compilers, Interpreters, Programming Techniques, Logic in AI, Computer Systems Organization and Communication Networks, categorical models and logics, language theory, automata, and games, modal, spatial, and temporal logics, type theory and proof theory, concurrency theory and process calculi, rewriting theory, semantics of programming languages, program analysis, correctness, transformation, and verification, logics of programming, software specification and refinement, emerging models of computation, logical aspects of computational complexity, models of software security, logical foundations of data bases, mathematics, artificial intellegence, formal logic, linguistics, Mathematical foundations, Mathematical logic, Discrete mathematics, Maths for computer scientists, Programming & scripting languages: general, Compilers & interpreters, Computer programming / software engineering, Artificial intelligence, Computer networking & communications, Programming and scripting languages: general, Computer networking and communications
File Description: application/pdf
Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
-
6
-
7
Authors:
Resource Type: eBook.
Categories: COMPUTERS / Computer Science, BUSINESS & ECONOMICS / Careers / General, COMPUTERS / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Architecture, COMPUTERS / Software Development & Engineering / General, MATHEMATICS / Discrete Mathematics
PDF Full Text ePub Full Text -
8
Authors:
Source: Zagadnienia Filozoficzne w Nauce, Iss 73, Pp 77-119 (2022)
Subject Terms: philosophy of computing, models of computation, interactive computing, computing mechanism, computational mechanistic explanation, Philosophy (General), B1-5802
File Description: electronic resource
-
9
Contributors:
Subject Terms: TACAS, formal verification, software systems, hardware systems, static analysis, probabilistic programming, program synthesis, concurrency, testing, simulations, verification of machine, Mathematical theory of computation, Computer hardware, Network hardware, Computer modelling and simulation, Software Engineering
File Description: application/pdf
Relation: Lecture Notes in Computer Science
-
10
Authors: et al.
Source: Proceedings of the 6th International Workshop on Programming Models and Applications for Multicores and Manycores Pmam 2015
Subject Terms: 4613 Theory Of Computation (for-2020), 33 Built Environment and Design (for-2020), 40 Engineering (for-2020), 46 Information and Computing Sciences (for-2020), 4009 Electronics, Sensors and Digital Hardware (for-2020), 4606 Distributed Computing and Systems Software (for-2020), 3301 Architecture (for-2020)
File Description: application/pdf
-
11
-
12
-
13
Contributors:
Subject Terms: architecture verification and validation, artificial intelligence, computer programming, distributed computer systems, formal logic, software engineering, distributed systems, model checking, programming languages, software quality, theory of computation
File Description: application/pdf
Relation: Lecture Notes in Computer Science
-
14
Authors: et al.
Resource Type: eBook.
Subjects: Computer science
Categories: COMPUTERS / General
PDF Full Text -
15
Authors:
Source: Information and Computation vol.302 (2025) [ISSN 0890-5401]
-
16
Authors:
Resource Type: eBook.
Subjects: Information theory, Software engineering--Congresses, Computer software--Congresses, Computer systems
Categories: COMPUTERS / Computer Science, COMPUTERS / Computer Architecture, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, COMPUTERS / Hardware / General, MATHEMATICS / Applied, MATHEMATICS / Logic
PDF Full Text -
17
Authors:
Resource Type: eBook.
Categories: COMPUTERS / Computer Science
PDF Full Text ePub Full Text -
18
-
19
Authors:
Resource Type: eBook.
Categories: COMPUTERS / Computer Science, COMPUTERS / Database Administration & Management, COMPUTERS / Programming / General, COMPUTERS / Speech & Audio Processing
PDF Full Text -
20
Authors: et al.
Contributors: et al.
Source: ISSN: 1049-331X ; ACM Transactions on Software Engineering and Methodology ; https://hal.science/hal-04251909 ; ACM Transactions on Software Engineering and Methodology, 2022, 31 (3), pp.1-38. ⟨10.1145/3490386⟩.
Full Text Finder 
Nájsť tento článok vo Web of Science