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

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

App Store Google Play
Bernhard K. Aichernig

Bernhard K. Aichernig

Обзор Книги
Tests and Proofs: 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings

Tests and Proofs: 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings

Bernhard K. Aichernig

Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for ... Portugal, March 18-20, 2002, Revised Papers

Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for ... Portugal, March 18-20, 2002, Revised Papers

Bernhard K. Aichernig

Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010

Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010

Bernhard K. Aichernig

Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for ...

Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for ...

Bernhard K. Aichernig

Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010

Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010

Bernhard K. Aichernig

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

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

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

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

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

Необходимые

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

Аналитика

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

Маркетинг

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