ABOUT IATED
CONFERENCES
PUBLICATIONS
IATED
TALKS
DIGITAL LIBRARY
BOOKSHOP
MAILING LIST
CONTACT US
LOGIN
All fields:
Paper title:
10 hits per page
25 hits per page
50 hits per page
Authors:
Keywords:
Sort by relevance
Newest first
Oldest first
Sort by title
Sort by page number
Search
Clear
Fulltext search
Total: 5. Starting at: 1.
Refine your search
Years:
2016
(1)
2017
(4)
Publications:
INTED
(2)
ICERI
(3)
Search within results:
Refine search
Upcoming event:
• Announcement
• Abstract submission
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
HOW TO FOLLOW MODERN TRENDS IN COURSES IN “DATABASES” - INTRODUCTION OF DATA MINING TECHNIQUES BY EXAMPLE
D. Orozova
,
M. Todorova
-
INTED2017 Proceedings
VERIFICATION AND SYNTHESIS OF PROGRAMS IN INTRODUCTORY COURSES IN FUNCTIONAL PROGRAMMING
M. Todorova
,
D. Orozova
-
INTED2017 Proceedings
APPLYING DEDUCTIVE VERIFICATION TO BACHELOR DEGREE COURSES IN PROGRAMMING
M. Todorova
,
D. Orozova
-
ICERI2017 Proceedings
APPLYING REACTIVE BLOCKS IN COURSES OF INTERNET OF THINGS
D. Orozova
,
M. Todorova
-
ICERI2017 Proceedings
User:
Pass: