Suggested Topics within your search.
Suggested Topics within your search.
- Computer science 44
- Computer logic 43
- Software engineering 30
- Logic design 29
- Formal methods (Computer science) 13
- Artificial intelligence 9
- Object-oriented methods (Computer science) 9
- Logic, Symbolic and mathematical 7
- Mathematics 6
- Algebra 4
- Computer networks 4
- Computational linguistics 3
- Computer network architectures 3
- Programming languages (Electronic computers) 3
- Reversible computing 3
- Algorithms 2
- Application software 2
- Combinatorial analysis 2
- Computer programming 2
- Computer software 2
- Data processing 2
- Data protection 2
- Development 2
- Electronics 2
- Machine theory 2
- Semantics 2
- Automatic theorem proving 1
- Computational biology 1
- Computational complexity 1
- Computer literacy 1
-
1
Fields of logic and computation III essays dedicated to Yuri Gurevich on the occasion of his 80th birthday /
Published 2020“…QA76.9.L63…”
Full Text (via Springer)
Electronic eBook -
2
Formal Methods for Real-Time and Probabilistic Systems 5th International AMAST Workshop, ARTS99 Bamberg, Germany, May 2628, 1999 Proceedings /
Published 1999“…QA76.9.L63…”
Full Text (via Springer)
Electronic eBook -
3
Structured object-oriented formal language and method : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised selected papers /
Published 2017“…QA76.9.L63…”
Full Text (via Springer)
Conference Proceeding eBook -
4
Theoretical aspects of computing - ICTAC 2020 : 17th international colloquium, Macau, China, November 30 - December 4, 2020, proceedings /
Published 2020“…QA76.9.L63…”
Full Text (via Springer)
Conference Proceeding eBook -
5
Rewriting logic and its applications : 13th International Workshop, WRLA 2020, virtual event, October 20-22, 2020 : revised selected papers /
Published 2020“…QA76.9.L63…”
Full Text (via Springer)
Conference Proceeding eBook -
6
Thinking programs logical modeling and reasoning about languages, data, computations, and executions /
Published 2021“…QA76.9.L63…”
Full Text (via Springer)
Electronic eBook -
7
Structured object-oriented formal language and method : 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised selected papers /
Published 2019“…QA76.9.L63…”
Full Text (via Springer)
Conference Proceeding eBook -
8
Structured object-oriented formal language and method 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised selected papers /
Published 2021“…QA76.9.L63…”
Full Text (via Springer)
Electronic Conference Proceeding eBook -
9
Fundamentals of logic and computation with practical automated reasoning and verification /
Published 2021“…QA76.9.L63…”
Full Text (via Springer)
Electronic eBook -
10
Computational thinking a perspective on computer science /
Published 2021“…QA76.9.L63…”
Full Text (via Springer)
Electronic eBook -
11
Theoretical aspects of computing -- ICTAC 2018 : 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings /
Published 2018“…QA76.9.L63…”
Full Text (via Springer)
Conference Proceeding eBook -
12
Rules and reasoning : second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018, Proceedings /
Published 2018“…QA76.9.L63…”
Full Text (via Springer)
Conference Proceeding eBook -
13
Structured object-oriented formal language and method : 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers /
Published 2018“…QA76.9.L63…”
Full Text (via Springer)
Conference Proceeding eBook -
14
Language, logic, and computation : 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16-20, 2019, revised selected papers /
Published 2022“…QA76.9.L63…”
Full Text (via Springer)
Conference Proceeding eBook -
15
Dynamic logic : new trends and applications : first International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings /
Published 2018“…QA76.9.L63…”
Full Text (via Springer)
Conference Proceeding eBook -
16
Computer Safety, Reliability, and Security SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014. Proceedings /
Published 2014“…QA76.9.L63…”
Full Text (via Springer)
Conference Proceeding eBook -
17
CONCUR 2014 - Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings /
Published 2014“…QA76.9.L63…”
Full Text (via Springer)
Conference Proceeding eBook -
18
Computer Safety, Reliability, and Security 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014. Proceedings /
Published 2014“…QA76.9.L63…”
Full Text (via Springer)
Conference Proceeding eBook -
19
Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings /
Published 2014“…QA76.9.L63…”
Full Text (via Springer)
Conference Proceeding eBook -
20
Dynamic logic : new trends and applications : 4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022 : revised selected papers /
Published 2023“…QA76.9.L63…”
Full Text (via Springer)
Conference Proceeding eBook