Главная страница

Базы данных


- результаты поиска

Вид поиска
Российский сводный каталог по научно-технической литературе
Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>U=510.285(063)<.>)
Общее количество найденных документов : 6
Показаны документы с 1 по 6
1.
Вид документа : Монографическая серия
Шифр издания : 510(063)/D43-693858
Заглавие : Deontic logic in computer science [Electronic resource] : 10th International сonference, DEON 2010, Fiesole, Italy, July 7-9, 2010: proceedings
Выходные данные : Berlin ; Heidelberg: Springer, 2010
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6181
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-14183-6: Б.ц.
ГРНТИ : 50.07
УДК : 510.285(063)
Ключевые слова (''Своб.индексиров.''): математическая логика--вычислительная техника--конференции
Найти похожие
2.
Вид документа : Монографическая серия
Шифр издания : 510(063)/H99-186383
Заглавие : Infinity in logic and computation [Electronic resource] : international conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007 : revised selected papers
Выходные данные : Berlin ; Heidelberg : Springer, 2009
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 5489
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-03092-5: Б.ц.
ГРНТИ : 27.03.19 + 50.07
УДК : 510.285(063)
Ключевые слова (''Своб.индексиров.''): бесконечность--логика--вычисления--конференции
Найти похожие
3.
Вид документа : Монографическая серия
Шифр издания : 004-027.21(063)/R41-498017
Заглавие : Relations and kleene algebra in computer science [Electronic resource] : 10th international conference on relational methods in computer science, and 5th international conference on applications of kleene algebra, RelMiCS/AKA 2008, Frauenworth, Germany, April 7-11, 2008 : proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2008
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 4988
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-78913-0: Б.ц.
ГРНТИ : 50.07
УДК : 510.285(063)
Предметные рубрики: Математическая логика-- Применение в вычислительной технике-- Съезды и конференции
Найти похожие
4.
Вид документа : Монографическая серия
Шифр издания : 510.285(063)/R41
Заглавие : Relations and kleene algebra in computer science [Electronic resource] : 11th International conference on relational methods in computer science, RelMiCS 2009, and 6th International conference on applications of kleene algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. : proceedings
Выходные данные : Berlin; Heidelberg: Springer-Verlag, 2009
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 5827
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-04639-1: Б.ц.
ГРНТИ : 50.07
УДК : 510.285(063)
Ключевые слова (''Своб.индексиров.''): математическая логика--вычислительная техника--алгебра клини--конференции
Найти похожие
5.
Вид документа : Монографическая серия
Шифр издания : 512.55(063)/R41-924197
Заглавие : Relations and kleene algebra in computer science [Electronic resource] : 9th international conference on relational methods in computer science and 4th international workshop on applicationsof kleene algebra, RelMiCS/AKA 2006, Manchester, UK, August/September, 2006 : proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2006
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 4136
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-54037-874-7: Б.ц.
ГРНТИ : 50.07
УДК : 510.285(063)
Предметные рубрики: Математическая логика-- Применение в вычислительной технике-- Съезды и конференции
Найти похожие
6.
Вид документа : Монографическая серия
Шифр издания : 510.6(063)/T99-338528
Заглавие : Typed lambda calculi and applications [Electronic resource] : 9th international conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009 : proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2009
Коллективы : SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 5608
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-02273-9: Б.ц.
ГРНТИ : 27.03.19
УДК : 510.285(063)
Ключевые слова (''Своб.индексиров.''): математическая логика--вычислительная техника--конференции
Найти похожие
 
Описание базы данных
Стандартный
Расширенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)