computer science and information systems (8)
computer science & information systems (6)
languages, applications & technologies (4)
open education studies (4)
2009 international multiconference on computer science and information technology, computer science and information technology, 2009. imcsit '09. international multiconference on (3)
journal of logical and algebraic methods in programming (3)
2017 12th iberian conference on information systems and technologies (cisti), information systems and technologies (cisti), 2017 12th iberian conference on (2)
2023 international symposium on computers in education (siie), computers in education (siie), 2023 international symposium on (2)
computer languages, systems & structures (2)
electronic notes in theoretical computer science (2)
entcs: electronic notes in theoretical computer science (2)
formal aspects of computing (2)
procedia computer science (2)
proceedings of the xiith portuguese-spanish conference on mathematics, vol.\ iii (portuguese) (braga, 1987) (2)
sensors (14248220) (2)
2009 5th ieee international workshop on visualizing software for understanding and analysis, visualizing software for understanding and analysis, 2009. vissoft 2009. 5th ieee international workshop on (1)
2010 8th ieee international conference on software engineering and formal methods, software engineering and formal methods (sefm), 2010 8th ieee international conference on (1)
2012 35th annual ieee software engineering workshop (1)
2012 35th annual ieee software engineering workshop, software engineering workshop (sew), 2012 35th annual ieee (1)
2013 ieee 37th annual computer software & applications conference (1)
2013 ieee 37th annual computer software and applications conference, computer software and applications conference (compsac), 2013 ieee 37th annual (1)
2014 international symposium on computers in education (siie) (1)
2014 international symposium on computers in education (siie), computers in education (siie), 2014 international symposium on (1)
2015 10th iberian conference on information systems & technologies (cisti) (1)
2015 10th iberian conference on information systems and technologies (cisti), information systems and technologies (cisti), 2015 10th iberian conference on (1)
2015 ieee 13th international scientific conference on informatics (1)
2015 ieee 13th international scientific conference on informatics, scientific conference on informatics, 2015 ieee 13th international (1)
2016 11th iberian conference on information systems and technologies (cisti), information systems and technologies (cisti), 2016 11th iberian conference on (1)
2016 ieee/wic/acm international conference on web intelligence (wi), web intelligence (wi), 2016 ieee/wic/acm international conference on, wi (1)
2019 international symposium on computers in education (siie), computers in education (siie), 2019 international symposium on (1)
2022 ieee 10th international conference on serious games and applications for health(segah), serious games and applications for health(segah), 2022 ieee 10th international conference on (1)
2022 international symposium on computers in education (siie), computers in education (siie), 2022 international symposium on (1)
2023 ieee 11th international conference on serious games and applications for health (segah), serious games and applications for health (segah), 2023 ieee 11th international conference on (1)
acm / sigplan notices (1)
acta electrotechnica & informatica (1)
charting the topic maps research & applications landscape (1)
cisti (iberian conference on information systems & technologies / conferencia iberica de sistemas e tecnologias de informacao) proceedings (1)
computational science & its applications - iccsa 2014: part vi (1)
crossroads: the international acm student magazine (1)
formal aspects of computing: applicable formal methods (1)
journal of computing & information technology (1)
journal of systems & software (1)
leveraging applications of formal methods, verification & validation (9783642165573) (1)
new advances in information systems & technologies: volume 2 (1)
proceedings of the 2004 acm symposium: document engineering (1)
proceedings of the 2010 acm symposium: applied computing (1)
proceedings of the 26th annual acm international conference: design of communication (1)
proceedings of the iadis international conference on www/internet (1)
proceedings of the tenth workshop: language descriptions, tools & applications (1)
tecnologia y ciencia (1)