Пловдивски университет "Паисий Хилендарски"

Aspects of Automated Natural Language Generation

35019

Каталог "Книги" | Книги .(02)

Aspects of Automated Natural Language Generation

6th International Workshop on Natural Language Generation (1992)

44078

Каталог "Книги" | Книги .(02)

Automated and Algorithmic Debugging

Proceedings (1993)

Functional Programming, Concurency, Simulation and Automated

44233

Каталог "Книги" | Книги .(02)

Functional Programming, Concurency, Simulation and Automated

(1993)

[Ninth] 9th International Conference on Automated Deduction

44500

Каталог "Книги" | Книги .(02)

[Ninth] 9th International Conference on Automated Deduction

Proceedings (1988)

8th International Conference on Automated Deduction

44702

Каталог "Книги" | Книги .(02)

8th International Conference on Automated Deduction

Proceedings (1986)

10th International Conference on Automated Deduction

44756

Каталог "Книги" | Книги .(02)

10th International Conference on Automated Deduction

Proceedings (1990)

Logic Programming and Automated Reasoning

44773

Каталог "Книги" | Книги .(02)

Logic Programming and Automated Reasoning

Proceedings (1992)

44761

Каталог "Книги" | Книги .(02)

Logic Programming and Automated Reasoning

Proceedings (1993)

44836

Каталог "Книги" | Книги .(02)

Automated Deduction- CADE-12

Proceedings (1994)

44824

Каталог "Книги" | Книги .(02)

Automated Deduction- CADE-11

Proceedings (1992)

44855

Каталог "Книги" | Книги .(02)

Logic Programming and Automated Reasoning

Proceedings (1994)

44852

Каталог "Книги" | Книги .(02)

Aspects of Automated Natural Language Generation

Proceedings (1992)

44840

Каталог "Книги" | Книги .(02)

Automated Modeling of Physical Systems

(1995)

P. Pandurang Nayak

44846

Каталог "Книги" | Книги .(02)

Instantiation Theory

On the Foundations of Automated Deduction (1991)

J. G. Williams

Designing Trustworthy Trade Procedures for Open Electronic Commerce

45022

Каталог "Книги" | Книги .(02)

Designing Trustworthy Trade Procedures for Open Electronic Commerce

A Methodology for the Automated Auditing of Inter-Organisational controls (1997)

Roger Wilbert Henri Bons

Компютърна интерпретация на молекулни спектри с цел разкриване на структурата на органични съединения

Д 212

Каталог "Книги" | Дисертации .(043. 3)

Компютърна интерпретация на молекулни спектри с цел разкриване на структурата на органични съединения

Дисертационен труд за присъждане на научната степет "Доктор на науките"; област на висше образование: 4. Природни науки, математика и информатика; професионално направление: 4.2. Химически науки; Научна специалност: Аналитична химия (2016)

Пламен Николов Пенчев

Чети онлайн

Модел и система за динамично оценяване на качеството във висшето образование

Д 238

Каталог "Книги" | Дисертации .(043. 3)

Модел и система за динамично оценяване на качеството във висшето образование

Дисертационен труд за присъждане на образователна и научна степен "доктор" по област на висше образование 4. Природни науки, математика и информатика; професионално направление 4.6. Информатика и компютърни науки; докторска програма "Информатика" (2016)

Силвия Николаева Гафтанджиева

Чети онлайн

[Хиляда осемстотин деветдесет и четвърта - хиляда осемстотин деветдесет и пета] 1894-1895 - отношения между литературното и политическото

Д 239

Каталог "Книги" | Дисертации .(043. 3)

[Хиляда осемстотин деветдесет и четвърта - хиляда осемстотин деветдесет и пета] 1894-1895 - отношения между литературното и политическото

Дисертационен труд за присъждане на образователна и научна степен "доктор", област на висше образование: 2. Хуманитарни науки, професионално направление: 2.1 Филология, докторска програма: Българска литература /Българска литература от Освобождениетоа (2016)

Шинка Георгиева Дичева-Христозова

Чети онлайн