Search Results - "logics of programming" :: K.UTB vyhledávací portál | TBU Library Retrieval Portal

Loading…

Foundations of Software Science and Computation Structures: 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings

Year of Publication 2025

Get full text

eBook

Loading…

Foundations of Software Science and Computation Structures: 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I

by Kobayashi, Naoki, Worrell, James
Year of Publication 2024

Get full text

eBook

Loading…

Foundations of Software Science and Computation Structures: 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II

by Kobayashi, Naoki, Worrell, James
Year of Publication 2024

Get full text

eBook

Loading…

Theo: An interactive proof development system

by Despeyroux, Joëlle
Published in BIT (01.03.1992)

Get full text

Journal Article

Loading…

Does the Inclusion of Robots Affect Engineering Students’ Achievement in Computer Programming Courses?

by Özüorçun, Nilcan Çiftçi, Bicen, Hüseyin
Published in Eurasia Journal of Mathematics, Science and Technology Education (01.08.2017)

Get full text

Journal Article

Loading…

Programming web-course analysis: How to introduce computer programming?

by da Silva Ribeiro, Romenig, de Oliveira Brandao, Leonidas, Machado Faria, Tulio Vitor, Franco Brandao, Anarosa Alves
Published in 2014 IEEE Frontiers in Education Conference (FIE) Proceedings (01.10.2014)

Get full text

Conference Proceeding