Показ
1 - 5
результатів із
5
для пошуку '
(
'
Перейти до змісту
Ваш обліковий запис
Вихід
Логін (в організації)
Мова
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
Знайти
Розширений
Сторінка перезавантажиться, коли буде видалено фільтр.
Застосовані фільтри:
Автор:
Видалити фільтр
SpringerLink (Online service)
ТА
Видалити фільтр
IFIP Working Group 6.1
Сторінка перезавантажиться, коли буде видалено фільтр.
Показати фільтри (2)
Автор:
Видалити фільтр
SpringerLink (Online service)
ТА
Видалити фільтр
IFIP Working Group 6.1
UC Library
Пошук у бібліотечному каталозі
Результати пошуку - (
Показ
1 - 5
результатів із
5
для пошуку '
(
'
Уточнити результати
Результатів на сторінку
10
20
40
60
80
100
Сортувати
Релевантність
Дата у спадаючому порядку
Дата у зростаючому порядку
Шифр
Автор
Назва
Вибрати всі записи на сторінці
Е-пошта
Експорт
Друк
Зберегти
Вибрати результат під номером 1
1
Formal methods for open object-based distributed systems 8th IFIP WG 6.1 international conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006 : proceedings /
Опубліковано 2006
Розміщений
Завантаження...
Шифр
Завантаження...
Connect to electronic resource
Електронний ресурс
Матеріали конференцій
eКнига
Додати у Вибране
Збережено в:
Вибрати результат під номером 2
2
Formal techniques for networked and distributed systems FORTE 2007 : 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007 : proceedings /
Опубліковано 2007
Розміщений
Завантаження...
Шифр
Завантаження...
Connect to electronic resource
Електронний ресурс
Матеріали конференцій
eКнига
Додати у Вибране
Збережено в:
Вибрати результат під номером 3
3
Formal techniques for networked and distributed systems, FORTE 2006 26th IFIP WG 6.1 international conference, Paris, France, September 26-29, 2006 : proceedings /
Опубліковано 2006
Розміщений
Завантаження...
Шифр
Завантаження...
Connect to electronic resource
Електронний ресурс
Матеріали конференцій
eКнига
Додати у Вибране
Збережено в:
Вибрати результат під номером 4
4
Distributed applications and interoperable systems 7th IFIP WG 6.1 international conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007 : proceedings /
Опубліковано 2007
Розміщений
Завантаження...
Шифр
Завантаження...
Connect to electronic resource
Електронний ресурс
Матеріали конференцій
eКнига
Додати у Вибране
Збережено в:
Вибрати результат під номером 5
5
Formal methods for open object-based distributed systems 9th IFIP WG 6.1 international conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007 : proceedings /
Опубліковано 2007
Розміщений
Завантаження...
Шифр
Завантаження...
Connect to electronic resource
Електронний ресурс
Матеріали конференцій
eКнига
Додати у Вибране
Збережено в:
Вибрати всі записи на сторінці
Е-пошта
Експорт
Друк
Зберегти
Інструменти для пошуку:
Отримати RSS-стрічку
Відправити пошук е-поштою
Зберегти пошук
Назад
Уточнити результати
Сторінка перезавантажиться, коли фільтр буде вибрано або виключено.
Формат
Матеріали конференцій
5 результатів
5
Електронний ресурс
5 результатів
5
eКнига
5 результатів
5
Рік публікації
від:
до:
Рекомендовані теми
Distributed processing
5 результатів
5
Electronic data processing
5 результатів
5
Computer network protocols
2 результатів
2
Formal methods (Computer science)
2 результатів
2
Object-oriented programming (Computer science)
2 результатів
2
Application software
1 результатів
1
Internetworking (Telecommunication)
1 результатів
1
див. все...
Жанр
Congresses
5 результатів
5
Мова
English
5 результатів
5
Автор
IFIP Working Group 6.1
SpringerLink (Online service)
International Federation for Information Processing
2 результатів
2
Bonsangue, Marcello M.
1 результатів
1
Derrick, John, 1963-
1 результатів
1
Donzeau-Gouge, Véronique
1 результатів
1
FORTE 2006 Paris, France
1 результатів
1
Gorrieri, Roberto
1 результатів
1
IFIP TC6 WG6.1 International Working Conference on Distributed Applications and Interoperable Systems Paphos, Cyprus
1 результатів
1
Indulska, Jadwiga
1 результатів
1
International Conference on Formal Description Techniques Tallinn, Estonia
1 результатів
1
International Conference on Formal Methods for Open Object-Based Distributed Systems Bologna, Italy
1 результатів
1
International Conference on Formal Methods for Open Object-Based Distributed Systems Paphos, Cyprus
1 результатів
1
Johnsen, Einar Broch
1 результатів
1
Najm, Elie
1 результатів
1
Pradat-Peyre, Jean-François
1 результатів
1
Raymond, Kerry
1 результатів
1
Vain, Jüri
1 результатів
1
Wehrheim, Heike
1 результатів
1
див. все...
Шифр
Q - Наука
5 результатів
5
Завантаження...