• Английский
  • Испанский
  • Французский
  • Немецкий
  • Португальский
  • Итальянский
  • Русский
  • Китайский (упрощенный)
  • Китайский (традиционный)
  • Японский
  • Корейский
  • Голландский
  • Шведский
  • Персидский
  • Арабский
  • Польский
  • Домой
  • Обнаружить
  • Статьи
  • Войти
  • Зарегистрироваться
  • Английский
  • Испанский
  • Французский
  • Немецкий
  • Португальский
  • Итальянский
  • Русский
  • Китайский (упрощенный)
  • Китайский (традиционный)
  • Японский
  • Корейский
  • Голландский
  • Шведский
  • Персидский
  • Арабский
  • Польский
Сканер штрих-кода ISBN
Добавляйте книги за секунды с помощью сканирования штрих-кода.

Просто отсканируйте ISBN, чтобы мгновенно добавить его в вашу библиотеку. Доступно сейчас на iOS и Android.

App Store Google Play
Dang Van Hung

Dang Van Hung

Обзор Книги
Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings

Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings

Dang Van Hung

Distributed Computing and Internet Technology: 16th International Conference, ICDCIT 2020, Bhubaneswar, India, January 9–12, 2020, Proceedings

Distributed Computing and Internet Technology: 16th International Conference, ICDCIT 2020, Bhubaneswar, India, January 9–12, 2020, Proceedings

Dang Van Hung

Distributed Computing and Internet Technology: 16th International Conference, ICDCIT 2020, Bhubaneswar, India, January 9-12, 2020, Proceedings

Distributed Computing and Internet Technology: 16th International Conference, ICDCIT 2020, Bhubaneswar, India, January 9-12, 2020, Proceedings

Dang Van Hung

Theoretical Aspects of Computing – ICTAC 2017: 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings

Theoretical Aspects of Computing – ICTAC 2017: 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings

Dang Van Hung

Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings

Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings

Dang Van Hung

Theoretical Aspects of Computing - ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings

Theoretical Aspects of Computing - ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings

Dang Van Hung

Theoretical Aspects of Computing - ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings

Theoretical Aspects of Computing - ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings

Dang Van Hung

Software Engineering and Formal Methods; Proceedings: Conference on Software Engineering and Formal Methods

Software Engineering and Formal Methods; Proceedings: Conference on Software Engineering and Formal Methods

Dang Van Hung

Отслеживайте ваше чтение, открывайте новые книги и достигайте целей в чтении с помощью BookPine.

App Store Google Play
Обнаружить
  • Обнаружить
Аккаунт
  • Войти
  • Зарегистрироваться
Поддержка
  • Часто задаваемые вопросы
  • Запросы на функции
  • Контакт
Условия
  • Условия обслуживания
  • Политика конфиденциальности
  • Политика использования файлов cookie
  • Управление куки

Авторское право © 2026 BookPine. Все права защищены.

Отправить отзыв

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

Необходимые

Необходимы для функционирования сайта. Отключение невозможно.

Аналитика

Помогите нам понять, как посетители взаимодействуют с нашим сайтом.

Маркетинг

Используется для показа релевантной рекламы и отслеживания кампаний.