Показ
1 - 3
результатів із
3
для пошуку '
'
Перейти до змісту
Ваш обліковий запис
Вихід
Логін (в організації)
Мова
English
Te Reo Māori
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Sámegiella
Ключове слово
Курс
Назва
Назва журналу
Автор
Предмет
ISBN/ISSN
Шифр
Call Number (LC)
Call Number (Dewey)
Call Number (Local)
Bib#
Штрихкод
Серія
Перегляд за алфавітом: За назвою
Перегляд за алфавітом: За автором
Перегляд за алфавітом: За предметом
Перегляд за алфавітом: By LC Call Number
Перегляд за алфавітом: By Dewey Call Number
Знайти
Розширений
Сторінка перезавантажиться, коли буде видалено фільтр.
Застосовані фільтри:
Рекомендовані теми:
Видалити фільтр
Computer programs
Автор:
Видалити фільтр
International Haifa Verification Conference Haifa, Israel
Сторінка перезавантажиться, коли буде видалено фільтр.
Показати фільтри (2)
Рекомендовані теми:
Видалити фільтр
Computer programs
Автор:
Видалити фільтр
International Haifa Verification Conference Haifa, Israel
UC Library
Пошук у бібліотечному каталозі
Результати пошуку
Показ
1 - 3
результатів із
3
для пошуку '
'
Уточнити результати
Результатів на сторінку
10
20
40
60
80
100
Сортувати
Релевантність
Дата у спадаючому порядку
Дата у зростаючому порядку
Шифр
Автор
Назва
Вибрати всі записи на сторінці
Е-пошта
Експорт
Друк
Зберегти
Вибрати результат під номером 1
1
Hardware and software: verification and testing 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008 : proceedings /
Опубліковано 2009
Розміщений
Завантаження...
Шифр
Завантаження...
Connect to electronic resource
Електронний ресурс
Матеріали конференцій
eКнига
Додати у Вибране
Збережено в:
Вибрати результат під номером 2
2
Hardware and software, verification and testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 ; revised selected papers /
Опубліковано 2007
Розміщений
Завантаження...
Шифр
Завантаження...
Connect to electronic resource
Електронний ресурс
Матеріали конференцій
eКнига
Додати у Вибране
Збережено в:
Вибрати результат під номером 3
3
Hardware and software verification and testing : third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007 : proceedings /
Опубліковано 2008
Розміщений
Завантаження...
Шифр
Завантаження...
Connect to electronic resource
Електронний ресурс
Матеріали конференцій
eКнига
Додати у Вибране
Збережено в:
Вибрати всі записи на сторінці
Е-пошта
Експорт
Друк
Зберегти
Інструменти для пошуку:
Отримати RSS-стрічку
Відправити пошук е-поштою
Зберегти пошук
Назад
Уточнити результати
Сторінка перезавантажиться, коли фільтр буде вибрано або виключено.
Формат
Матеріали конференцій
3 результатів
3
Електронний ресурс
3 результатів
3
eКнига
3 результатів
3
Рік публікації
від:
до:
Рекомендовані теми
Computer input-output equipment
3 результатів
3
Computer programs
Computer software
3 результатів
3
Verification
3 результатів
3
Software architecture
2 результатів
2
Жанр
Congresses
3 результатів
3
Мова
English
3 результатів
3
Автор
International Haifa Verification Conference Haifa, Israel
SpringerLink (Online service)
2 результатів
2
Bin, Eyal
1 результатів
1
Chockler, Hana
1 результатів
1
Hu, Alan J. (Alan John)
1 результатів
1
Ur, Shmuel
1 результатів
1
Yorav, Karen
1 результатів
1
Ziv, Avi
1 результатів
1
див. все...
Шифр
Q - Наука
3 результатів
3
Завантаження...