University Library "St. Kliment Ohridski"
Search
Login
English
български
DSpace Home
→
Университетска библиотека "Св. Климент Охридски"
→
03. Автореферати на дисертации, защитени в СУ "Св. Климент Охридски"
→
Факултет по математика и информатика
→
Search
JavaScript is disabled for your browser. Some features of this site may not work without it.
Search
Filters
Use filters to refine the search results.
Current Filters:
Title
Author
Subject
Date issued
Contains
Equals
ID
Not Contains
Not Equals
Not ID
New Filters:
Title
Author
Subject
Date issued
Contains
Equals
ID
Not Contains
Not Equals
Not ID
Showing 8 out of a total of 8 results for collection: Факултет по математика и информатика.
(0.002 seconds)
Now showing items 1-8 of 8
1
Sort Options:
Relevance
Title Asc
Title Desc
Issue Date Asc
Issue Date Desc
Results Per Page:
5
10
20
40
60
80
100
Крайни модели чрез резолюция с термоиди : Категорни методи в теория на рекурсията и индуктивни дефиниции Автореферат / Антон Кирилов Зиновиев ; Науч. ръководител Любомир Иванов.
Зиновиев, Антон Кирилов; Иванов, Любомир Лалов науч. ръководител
,
(
2014
)
Теории за време и пространство, основани на региони : Динамична релационна мереотопология Автореферат / Владислав Владимиров Ненчев ; Науч. ръководител Димитър Вакарелов.
Ненчев, Владислав Владимиров; Вакарелов, Димитър Иванов науч. ръководител
,
(
2014
)
Ефективен алгоритъм за приближено търсене в регулярни множества : Автореферат / Стефан Владимиров Герджиков ; Науч. ръководител Стоян Михов.
Герджиков, Стефан Владимиров; Михов, Стоян Милков науч. ръководител
,
(
2013
)
Омега спектри на структури : Автореферат / Стефан Володев Вътев ; Науч. ръководител Александра Соскова.
Вътев, Стефан Володев; Соскова, Александра Андреева науч. ръководител
,
(
2014
)
Определимост в степенни структури : Автореферат / Андрей Константинов Сариев ; Науч. ръководител Христо Ганчев.
Сариев, Андрей Константинов; Ганчев, Христо Александров науч. ръководител
,
(
2015
)
Субрекурсивна изчислимост в анализа : Автореферат / Иван Димитров Георгиев ; Науч. ръководител Димитър Скордев.Subrecursive computability in analysis Ivan Dimitrov Georgiev
Георгиев, Иван Димитров; Скордев, Димитър Генчев науч. ръководител; Georgiev, Ivan Dimitrov
,
(
2015
)
Логики за релационни геометрични структури : Дистрибутивна мереотопология, разширени контактни алгебри и свързани безкванторни логики : Автореферат / Татяна Маринова Иванова ; Науч. ръководител Димитър Вакарелов.Logics for relational geometric structures: distributive mereotopology, extended contact algebras and related quantifier-free logics Tatyana Marinova Ivanova
Иванова, Татяна Маринова; Вакарелов, Димитър Иванов науч. ръководител; Ivanova, Tatjana Marinova.
,
(
2016
)
Алгоритмични методи за некласически логики : Автореферат / Димитър Тодоров Георгиев ; Науч. ръководител Тинко Танчев.Algorithmic methods for non-classical logics Dimiter Todorov Georgiev
Георгиев, Димитър Тодоров; Georgiev, Dimitar Todorov; Тинчев, Тинко Величков науч. ръководител
,
(
2017
)
Now showing items 1-8 of 8
1
Sort Options:
Relevance
Title Asc
Title Desc
Issue Date Asc
Issue Date Desc
Results Per Page:
5
10
20
40
60
80
100
Browse
All of DSpace
Divisions & Collections
By Issue Date
Authors
Titles
Subjects
This Collection
By Issue Date
Authors
Titles
Subjects
My Account
Login
Register
Discover
Author
Вакарелов, Димитър Иванов науч. ръководител (2)
Georgiev, Dimitar Todorov (1)
Georgiev, Ivan Dimitrov (1)
Ivanova, Tatjana Marinova. (1)
Вътев, Стефан Володев (1)
Ганчев, Христо Александров науч. ръководител (1)
Георгиев, Димитър Тодоров (1)
Георгиев, Иван Димитров (1)
Герджиков, Стефан Владимиров (1)
Зиновиев, Антон Кирилов (1)
... View More
Subject
Логика, символна и математическа. (8)
Алгоритми. (1)
Изчислителна математика. (1)
Космология. (1)
Математически анализ. (1)
Модели и моделиране. (1)
Системен анализ. (1)
Топология. (1)
... View More
Date Issued
2014 (3)
2015 (2)
2013 (1)
2016 (1)
2017 (1)