Показ
1 - 13
результатів із
13
для пошуку '
de Queiroz, Ruy
'
Перейти до змісту
Library Home
Start Over
Research Databases
E-Journals
Матеріали до курсів
Library Home
Логін
English
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
हिंदी
Հայերէն
Українська
Мова
Library Catalog
Всі поля
Назва
Автор
Предмет
Шифр
ISBN/ISSN
Знайти
Розширений пошук
|
Перегляд
|
Поради для пошуку
Автор
de Queiroz, Ruy
Показ
1 - 13
результатів із
13
для пошуку '
de Queiroz, Ruy
'
, час виконання запиту: 0.03сек.
Уточнити результати
Сортувати
Релевантність
Дата у спадаючому порядку
Дата у зростаючому порядку
Шифр
Автор
Назва
Вибрати всі записи на сторінці
Е-пошта
Експорт
Друк
Зберегти
Вибрати результат під номером 1
1
Logic, Language, Information, and Computation edited by Luke Ong, Ruy de Queiroz.
Опубліковано 2012
Інші автори:
Шифр:
Завантаження...
Розміщений:
Завантаження...
Click to view e-book
eКнига
Додати у Вибране
Збережено в:
Вибрати результат під номером 2
2
Logic, Language, Information and Computation 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings edited by Daniel Leivant, Ruy de Queiroz.
Опубліковано 2007
Інші автори:
Шифр:
Завантаження...
Розміщений:
Завантаження...
Click to view e-book
eКнига
Додати у Вибране
Збережено в:
Вибрати результат під номером 3
3
Logic, Language, Information and Computation 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008, Proceedings edited by Wilfrid Hodges, Ruy de Queiroz.
Опубліковано 2008
Інші автори:
Шифр:
Завантаження...
Розміщений:
Завантаження...
Click to view e-book
eКнига
Додати у Вибране
Збережено в:
Вибрати результат під номером 4
4
Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings edited by Anuj Dawar, Ruy de Queiroz.
Опубліковано 2010
Інші автори:
Шифр:
Завантаження...
Розміщений:
Завантаження...
Click to view e-book
eКнига
Додати у Вибране
Збережено в:
Вибрати результат під номером 5
5
Logic, Language, Information, and Computation 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, Proceedings edited by Lev D. Beklemishev, Ruy de Queiroz.
Опубліковано 2011
Інші автори:
Шифр:
Завантаження...
Розміщений:
Завантаження...
Click to view e-book
eКнига
Додати у Вибране
Збережено в:
Вибрати результат під номером 6
6
Logic, Language, Information and Computation 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009, Proceedings edited by Hiroakira Ono, Makoto Kanazawa, Ruy de Queiroz.
Опубліковано 2009
Інші автори:
Шифр:
Завантаження...
Розміщений:
Завантаження...
Click to view e-book
eКнига
Додати у Вибране
Збережено в:
Вибрати результат під номером 7
7
Logic, Language, Information, and Computation 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings edited by Rosalie Iemhoff, Michael Moortgat, Ruy de Queiroz.
Опубліковано 2019
Інші автори:
Шифр:
Завантаження...
Розміщений:
Завантаження...
Click to view e-book
eКнига
Додати у Вибране
Збережено в:
Вибрати результат під номером 8
8
Logic, Language, Information, and Computation 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings edited by Jouko Väänänen, Åsa Hirvonen, Ruy de Queiroz.
Опубліковано 2016
Інші автори:
Шифр:
Завантаження...
Розміщений:
Завантаження...
Click to view e-book
eКнига
Додати у Вибране
Збережено в:
Вибрати результат під номером 9
9
Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings edited by Leonid Libkin, Ulrich Kohlenbach, Ruy de Queiroz.
Опубліковано 2013
Інші автори:
Шифр:
Завантаження...
Розміщений:
Завантаження...
Click to view e-book
eКнига
Додати у Вибране
Збережено в:
Вибрати результат під номером 10
10
Logic, Language, Information, and Computation 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings edited by Lawrence S. Moss, Ruy de Queiroz, Maricarmen Martinez.
Опубліковано 2018
Інші автори:
Шифр:
Завантаження...
Розміщений:
Завантаження...
Click to view e-book
eКнига
Додати у Вибране
Збережено в:
Вибрати результат під номером 11
11
Logic, Language, Information, and Computation 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings edited by Juliette Kennedy, Ruy J.G.B. de Queiroz.
Опубліковано 2017
Інші автори:
Шифр:
Завантаження...
Розміщений:
Завантаження...
Click to view e-book
eКнига
Додати у Вибране
Збережено в:
Вибрати результат під номером 12
12
Logic, Language, Information, and Computation 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings edited by Ulrich Kohlenbach, Pablo Barceló, Ruy J G B de Queiroz.
Опубліковано 2014
Інші автори:
Шифр:
Завантаження...
Розміщений:
Завантаження...
Click to view e-book
eКнига
Додати у Вибране
Збережено в:
Вибрати результат під номером 13
13
Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings edited by Valeria de Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina G. de Oliveira.
Опубліковано 2015
Інші автори:
Шифр:
Завантаження...
Розміщений:
Завантаження...
Click to view e-book
eКнига
Додати у Вибране
Збережено в:
Вибрати всі записи на сторінці
Е-пошта
Експорт
Друк
Зберегти
Інструменти для пошуку:
Отримати RSS-стрічку
Відправити пошук е-поштою
Пов'язані теми
Electronic resources (E-books)
Mathematical logic
Algorithms
Artificial intelligence
Computer science—Mathematics
Computers
Computer logic
Computer programming
Programming languages (Electronic computers)
Software engineering
Computer science
Logic
Numerical analysis