CONFERENCES
PUBLICATIONS
DIGITAL LIBRARY
IATED
TALKS
MEDIA
ABOUT IATED
CONTACT US
myIATED
DIGITAL
LIBRARY
Log in
IATED Digital Library Home
Publication Series
INTED
EDULEARN
ICERI
Advanced Search
Author:
Magdalina Todorova
Total results:
7
Filter by year:
2017
4
2016
1
2013
1
2010
1
Filter by publication series:
INTED
EDULEARN
ICERI
Filter search
Clear filters
Modify search
Advanced search
APPLYING REACTIVE BLOCKS IN COURSES OF INTERNET OF THINGS
D. Orozova
,
M. Todorova
-
ICERI2017 Proceedings
-
pages 6960-6967.
APPLYING DEDUCTIVE VERIFICATION TO BACHELOR DEGREE COURSES IN PROGRAMMING
M. Todorova
,
D. Orozova
-
ICERI2017 Proceedings
-
pages 5055-5065.
VERIFICATION AND SYNTHESIS OF PROGRAMS IN INTRODUCTORY COURSES IN FUNCTIONAL PROGRAMMING
M. Todorova
,
D. Orozova
-
INTED2017 Proceedings
-
pages 8195-8203.
HOW TO FOLLOW MODERN TRENDS IN COURSES IN “DATABASES” - INTRODUCTION OF DATA MINING TECHNIQUES BY EXAMPLE
D. Orozova
,
M. Todorova
-
INTED2017 Proceedings
-
pages 8186-8194.
HOW TO BUILD UP CONTEMPORARY COMPUTER SCIENCE SPECIALISTS – FORMAL METHODS OF VERIFICATION AND SYNTHESIS OF PROGRAMS IN INTRODUCTION COURSES ON PROGRAMMING
M. Todorova
,
D. Orozova
-
ICERI2016 Proceedings
-
pages 4249-4256.
APPLYING PROGRAM VERIFICATION METHODS IN SOFTWARE SPECIALISTS EDUCATION
M. Todorova
-
INTED2013 Proceedings
-
pages 6260-6270.
INNOVATIVE EXPERIENCE IN UNDERGRADUATE EDUCATION OF SOFTWARE PROFESSIONALS - PROJECT-BASED LEARNING IN DATA STRUCTURE AND PROGRAMMING
M. Todorova
,
H. Hristov
,
E. Stefanova
,
N. Nikolova
,
E. Kovatcheva
-
ICERI2010 Proceedings
-
pages 5141-5150.