Тема, жанр, tags: Computer Science,Programming Languages Compilers Interpreters,Software Engineering,Theory of Computa » Page 2 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Computer Science,Programming Languages Compilers Interpreters,Software Engineering,Theory of Computa » Page 2

book Formal Methods for Industrial Critical Systems: 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings

Formal Methods for Industrial Critical Systems: 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings

pdf

Author: Falk Howar Jiří Barnat
Language: English
Year: 2018

00

30.01.2024

0

0

book Formal Methods

pdf

Author: Klaus Havelund Jan Peleska Bill Roscoe Erik de Vink
Language: English
Year: 2018

00

29.01.2024

1

0

book Neural Networks and Analog Computation: Beyond the Turing Limit

Neural Networks and Analog Computation: Beyond the Turing Limit

pdf

Author: Hava T. Siegelmann (auth.)
Language: English
Year: 1999

00

27.01.2024

0

0