Тема, жанр, tags: Computer Logic Design Digital electronics » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Computer Logic Design Digital electronics

book Computer Logic Design

Computer Logic Design

pdf

Author: M. Morris Mano
Language: English
Year: 1972

00

12.02.2024

1

0

book How to speak machine: computational thinking for the rest of us

How to speak machine: computational thinking for the rest of us

epub

Author: Maeda John
Language: English
Year: 2019

00

06.02.2024

1

0

book 25 Years of Model Checking History, Achievements, Perspectives

25 Years of Model Checking History, Achievements, Perspectives

pdf

Author: Grumberg Orna., Veith Helmut
Language: English
Year: 2008

00

06.02.2024

0

0

book The Logician and the Engineer: How George Boole and Claude Shannon Created the Information Age

The Logician and the Engineer: How George Boole and Claude Shannon Created the Information Age

azw3

Author: Boole George, Nahin Paul J., Shannon Claude Elwood
Language: English
Year: 2018

00

06.02.2024

2

0

book Requirements Engineering: Foundation for Software Quality: 23rd International Working Conference, REFSQ 2017, Essen, Germany, February 27 - March 2, 2017, Proceedings

Requirements Engineering: Foundation for Software Quality: 23rd International Working Conference, REFSQ 2017, Essen, Germany, February 27 - March 2, 2017, Proceedings

epub

Author: Grünbacher Paul, Perini Anna
Language: English
Year: 2017

00

06.02.2024

0

0

book Logic for computer science and artificial intelligence

Logic for computer science and artificial intelligence

pdf

Author: Caferra Ricardo
Language: English
Year: 2011

00

06.02.2024

0

0

book Lectures on Runtime Verification: Introductory and Advanced Topics

Lectures on Runtime Verification: Introductory and Advanced Topics

epub

Author: Bartocci Ezio., Falcone Yliès
Language: English
Year: 2018

00

06.02.2024

0

0

book The little typer

The little typer

djvu

Author: Bibby Duane, Christiansen David Thrane, Friedman Daniel P., Harper Robert, McBride Conor
Language: English
Year: 2018

00

30.01.2024

1

0

book The little typer

The little typer

djvu

Author: Bibby Duane, Christiansen David Thrane, Friedman Daniel P., Harper Robert, McBride Conor
Language: English
Year: 2018

00

30.01.2024

1

0

book Larisa Maksimova on implication, interpolation, and definability

Larisa Maksimova on implication, interpolation, and definability

pdf

Author: Odintsov Sergei (ed.)
Language: English
Year: 2018

00

30.01.2024

1

0