Отображение
1 - 20
результаты of
35
для поиска '
Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
'
Пропуск в контексте
VuFind
Ваш логин
Выход
Институтский логин
Язык
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português (Brasil)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Все поля
Автор
Заглавие
Заглавие журнала
Предмет
ISBN/ISSN
Метка
Найти
Расширенный поиск
Результаты поиска - Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
Альтернативы поиска
:
notes »
noted
(Расширить поиск)
Отображение
1 - 20
результаты of
35
для поиска '
Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
'
, время запроса: 0.58сек.
Отмена результатов
Результаты на странице
10
20
40
60
80
100
Сортировка
Релевантность
Нижняя дата
Верхняя дата
Автор
Заглавие
Список
Сетка
Загрузка...
Transactions on
computational
science
XIV special
issue
on voronoi diagrams and delaunay triangulation /
Полный текст
Загрузка...
Foundations of Software
Science
and
Computation
Structures
Полный текст
Загрузка...
Foundations of Software
Science
and
Computation
Structures
Полный текст
Загрузка...
Reversible
Computation
: Extending Horizons of
Computing
Полный текст
Загрузка...
Computer
Aided Verification
Полный текст
Загрузка...
Brain-Inspired
Computing
Полный текст
Загрузка...
Software for Exascale
Computing
- SPPEXA 2016-2019
Полный текст
Загрузка...
Computer
Aided Verification
Полный текст
Загрузка...
Computer
Aided Verification
Полный текст
Загрузка...
Computer
Aided Verification
Полный текст
Загрузка...
Computer
science
logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings /
Полный текст
Загрузка...
Theoretical
aspects of
computing
-- ICTAC 2009 6th international colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009 : proceedings /
Полный текст
Загрузка...
Computational
geometry XIV Spanish Meeting on
Computational
Geometry, EGC 2011, Dedicated to Ferran...
Полный текст
Загрузка...
Computing
and combinatorics 18th Annual International Conference, COCOON 2012, Sydney, Australia, August 20-22, 2012, proceedings /
Полный текст
Загрузка...
Evolutionary
computation
in combinatorial optimization 11th European Conference, EvoCOP 2011, Torino, Italy, April 27-29, 2011 : proceedings /
Полный текст
Загрузка...
Tools and Algorithms for the Construction and Analysis of Systems
Полный текст
Загрузка...
Information visualization human-centered
issues
and perspectives /
Полный текст
Загрузка...
Programming Languages and Systems
Полный текст
Загрузка...
Tools and Algorithms for the Construction and Analysis of Systems
Полный текст
Загрузка...
Tools and Algorithms for the Construction and Analysis of Systems
Полный текст
1
2
Следующий
[2]
Инструменты поиска:
RSS-поток
—
Отправить результаты поиска по Email
—
Сохранить запрос
Назад
Сужение результатов поиска
Институт
DOAB
18
[исключить]
UFRJ
17
[исключить]
Коллекция
Directory of Open Access Books
18
[исключить]
Minerva
17
[исключить]
Формат
Livro
35
[исключить]
Автор
Biere, Armin
2
[исключить]
Groote, Jan Friso
2
[исключить]
Lahiri, Shuvendu K.
2
[исключить]
Larsen, Kim Guldstrand
2
[исключить]
Leino, K. Rustan M.
2
[исключить]
Parker, David
2
[исключить]
больше ...
Silva, Alexandra
2
[исключить]
Wang, Chao
2
[исключить]
AINTEC 2005 (Conferência)
1
[исключить]
Abran, Alain,
1
[исключить]
Amunts, Katrin
1
[исключить]
Bungartz, Hans-Joachim
1
[исключить]
COCOON (Conferência)
1
[исключить]
Cabot, Jordi
1
[исключить]
Central European Functional Programming School
1
[исключить]
Cho, Kenjiro
1
[исключить]
EvoCOP 2011 (Conferência)
1
[исключить]
Ferreira, Carla
1
[исключить]
Gavrilova, Marina L.
1
[исключить]
Goubault-Larrecq, Jean
1
[исключить]
Grandinetti, Lucio
1
[исключить]
Gudmundsson, Joachim
1
[исключить]
Guerra, Esther
1
[исключить]
Hao, J.-K.
1
[исключить]
Hong, Hoon
1
[исключить]
Horváth, Zoltán
1
[исключить]
ICTAC 2009
1
[исключить]
International Conference on Formal Concept Analysis
1
[исключить]
International Workshop
1
[исключить]
International Workshop on Automated Deduction in Geometry
1
[исключить]
см. все ...
меньше ...
Предмет
embedded systems
12
[исключить]
formal logic
11
[исключить]
software architecture
11
[исключить]
thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications
11
[исключить]
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
11
[исключить]
Computer networking & communications
10
[исключить]
больше ...
model checking
10
[исключить]
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
10
[исключить]
Mathematical theory of computation
9
[исключить]
artificial intelligence
9
[исключить]
distributed computer systems
9
[исключить]
software design
9
[исключить]
Algorithms & data structures
8
[исключить]
Computer Systems Organization and Communication Networks
8
[исключить]
Computer science
8
[исключить]
Software Engineering
8
[исключить]
Theory of Computation
8
[исключить]
linguistics
8
[исключить]
software engineering
8
[исключить]
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
8
[исключить]
thema EDItEUR::U Computing and Information Technology::UY Computer science
8
[исключить]
Control Structures and Microprogramming
7
[исключить]
automata theory
7
[исключить]
computer programming
7
[исключить]
mathematics
7
[исключить]
open access
7
[исключить]
parallel processing systems
7
[исключить]
Computer Engineering and Networks
6
[исключить]
computer networks
6
[исключить]
computer systems
6
[исключить]
см. все ...
меньше ...
Язык
Inglês
35
[исключить]
Дата издания
от:
по:
Дата издания
Очистить
×
Загрузка...