-
1eBook
Συνεισφορές: Abdulla, Parosh Aziz, Kesner, Delia
Θεματικοί όροι: 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
Περιγραφή αρχείου: application/pdf
Relation: Lecture Notes in Computer Science
Σύνδεσμος πρόσβασης: https://library.oapen.org/handle/20.500.12657/101666
-
2eBook
Συνεισφορές: Kobayashi, Naoki, Worrell, James
Θεματικοί όροι: 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
Περιγραφή αρχείου: image/jpeg
Relation: Lecture Notes in Computer Science
-
3eBook
Συνεισφορές: Bouyer, Patricia, Schröder, Lutz
Θεματικοί όροι: 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
Περιγραφή αρχείου: image/jpeg
Relation: Lecture Notes in Computer Science
-
4eBook
Συνεισφορές: Goubault-Larrecq, Jean, König, Barbara
Θεματικοί όροι: 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
Περιγραφή αρχείου: image/jpeg
Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
Σύνδεσμος πρόσβασης: https://directory.doabooks.org/handle/20.500.12854/35090
http://library.oapen.org/handle/20.500.12657/37723
https://library.oapen.org/bitstream/20.500.12657/37723/1/2020_Book_FoundationsOfSoftwareScienceAn.pdf -
5
Συνεισφορές: Kobayashi, Naoki, Worrell, James
Θεματικοί όροι: 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
Περιγραφή αρχείου: application/pdf
Relation: Lecture Notes in Computer Science; ONIX_20240416_9783031572289_14; OCN: 1429286645
-
6
Συνεισφορές: Bouyer, Patricia, Schröder, Lutz
Θεματικοί όροι: 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
Περιγραφή αρχείου: application/pdf
Relation: Lecture Notes in Computer Science; ONIX_20220413_9783030992538_22; OCN: 1308973551
-
7
Συνεισφορές: Goubault-Larrecq, Jean, König, Barbara
Θεματικοί όροι: 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
Περιγραφή αρχείου: application/pdf
Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; ONIX_20200513_9783030452315_23; OCN: 1152157971; https://www.springer.com/9783030452315