DIGITAL LIBRARY
Log in
Author: Magdalina Todorova
Total results: 7
Filter by year:
Filter by publication series:
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.