верификация

Книга представляет собой известный во всем мире учебник по экспертным системам и " языку экспертных систем - CLIPS ". В книгу включены сведения, относящиеся к двум основным направлениям: первое - излагается теор ...

Книга будет чрезвычайно полезна разработчикам цифровых интегральных схем и инженерам, желающим лучше разобраться в структуре СБИС. В ней предлагается множество полезных примеров, которые вы можете использовать в своей работе, и учтены основные тенденции, существующие в современном мире разработки КМ ...

Данная книга, написанная всемирно известными специалистами в области криптографии, представляет собой уникальное в своем роде руководство по практической разработке криптографической системы, устраняя тем самым досадный пробел между теоретическими основами криптографии и реальными криптографическими ...