Отображение
1 - 4
результаты of
4
для поиска '
(
'
Пропуск в контексте
Ваш логин
Выход
Институтский логин
Язык
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)
И
Удалить фильтр
ETAPS 2005
Страница перезагрузится после удаления фильтра.
Показать фильтры (2)
Автор:
Удалить фильтр
SpringerLink (Online service)
И
Удалить фильтр
ETAPS 2005
UC Library
Поиска в библиотечном каталоге
Результаты поиска - (
Отображение
1 - 4
результаты of
4
для поиска '
(
'
Отмена результатов
Результаты на странице
10
20
40
60
80
100
Сортировка
Релевантность
Нижняя дата
Верхняя дата
Шифр
Автор
Заглавие
Выбрать все записи на странице
Email
Экспорт
Печать
Сохранить
Выберите номер результата 1
1
Tools and algorithms for the construction and analysis of systems 11th international conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice o...
Опубликовано 2005
Местонахождение
Загрузка...
Шифр
Загрузка...
Connect to electronic resource
Электронный ресурс
Материалы конференции
Добавить в Избранное
Сохранить в:
Выберите номер результата 2
2
Fundamental approaches to software engineering 8th international conference, FASE 2005, held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2005, Edinbu...
Опубликовано 2005
Местонахождение
Загрузка...
Шифр
Загрузка...
Connect to electronic resource
Электронный ресурс
Материалы конференции
Добавить в Избранное
Сохранить в:
Выберите номер результата 3
3
Compiler construction 14th international conference, CC 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-...
Опубликовано 2005
Местонахождение
Загрузка...
Шифр
Загрузка...
Connect to electronic resource
Электронный ресурс
Материалы конференции
Добавить в Избранное
Сохранить в:
Выберите номер результата 4
4
Foundations of software science and computation structures 8th international conference, FOSSACS 2005, held as part of the Joint European Conferences on Theory and Practice of Soft...
Опубликовано 2005
Местонахождение
Загрузка...
Шифр
Загрузка...
Connect to electronic resource
Электронный ресурс
Материалы конференции
eКнига
Добавить в Избранное
Сохранить в:
Выбрать все записи на странице
Email
Экспорт
Печать
Сохранить
Инструменты поиска:
RSS-поток
Отправить результаты поиска по Email
Сохранить запрос
Назад
Отмена результатов
Страница будет перезагружена при выборе или исключении фильтра.
Формат
Материалы конференции
4 результатов
4
Электронный ресурс
4 результатов
4
3 результатов
3
eКнига
1 результатов
1
Дата издания
от:
по:
Предлагаемые темы
Computer software
2 результатов
2
Compilers (Computer programs)
1 результатов
1
Development
1 результатов
1
Software engineering
1 результатов
1
System analysis
1 результатов
1
System design
1 результатов
1
Жанр
Congresses
4 результатов
4
Язык
English
4 результатов
4
Автор
ETAPS 2005
SpringerLink (Online service)
Bodik, Rastislav
1 результатов
1
CC 2005 Edinburgh, Scotland
1 результатов
1
Cerioli, Maura
1 результатов
1
FASE 2005 Edinburgh, Scotland
1 результатов
1
FOSSACS 2005 Edinburgh, UK
1 результатов
1
Halbwachs, Nicolas
1 результатов
1
Sassone, Vladimiro
1 результатов
1
TACAS 2005 Edinburgh, Scotland
1 результатов
1
Zuck, Lenore D., 1958-
1 результатов
1
см. все...
Шифр
Q - Наука
3 результатов
3
Загрузка...