Тема, жанр, tags: Logic,Automata,Computational Complexity,NP-completeness,Theorem-Proving Procedures,Propositional Pro » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Logic,Automata,Computational Complexity,NP-completeness,Theorem-Proving Procedures,Propositional Pro

book Logic, Automata, and Computational Complexity: The Works of Stephen A. Cook

Logic, Automata, and Computational Complexity: The Works of Stephen A. Cook

pdf

Author: Bruce M Kapron (editor)
Language: English
Year: 2023

00

02.03.2024

0

0

book Testing Software and Systems: 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18–20, 2023, Proceedings

Testing Software and Systems: 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18–20, 2023, Proceedings

pdf

Author: Silvia Bonfanti (editor) Angelo Gargantini (editor) Paolo Salvaneschi (editor)
Language: English
Year: 2023

00

02.03.2024

0

0

book Programming and Algorithmic Languages

Programming and Algorithmic Languages

pdf

Author: Yu. Mitnik A. Khmelnitsky
Language: English
Year: 1987

00

02.03.2024

0

0

book Cellular Automata

Cellular Automata

pdf

Author: Thomas M. Li
Language: English
Year: 2011

00

01.03.2024

0

0

book Thinking Machines

Thinking Machines

pdf

Author: Lev Izrail'jevič Gutenmacher
Language: English

00

15.02.2024

0

0

book Algorithms and Automatic Computing Machines

Algorithms and Automatic Computing Machines

pdf

Author: B. A. (Boris Avraamovich) Trakhtenbrot
Language: English
Year: 2021

00

15.02.2024

0

0

book Essential Discrete Mathematics for Computer Science

Essential Discrete Mathematics for Computer Science

pdf

Author: Harry Lewis Rachel Zax
Language: English
Year: 2019

00

15.02.2024

0

0

book Grundlagen der Theoretischen Informatik

Grundlagen der Theoretischen Informatik

pdf

Author: André Schulz
Language: German
Year: 2022

00

14.02.2024

0

0

book Runtime Verification: A Hands-On Approach in Java

Runtime Verification: A Hands-On Approach in Java

pdf

Author: Christian Colombo Gordon J. Pace
Language: English
Year: 2022

00

13.02.2024

0

0

book An Introduction to Formal Languages and Automata

An Introduction to Formal Languages and Automata

epub

Author: Peter Linz, Susan H. Rodger
Language: English
Year: 2023

00

13.02.2024

0

0