Results for "verification"

Results for "verification" Showing 1 - 50 results of 278 Laminas_Feed_Writer 2 (https://getlaminas.org) https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22verification%22&type=Subject&lng=en 278 0 50 Mathematica-based formula verification in applied mechanics Mon, 01 Jan 2018 04:03:56 +0200 https://find.library.upatras.gr/Record/nemertes-10889-10847 https://find.library.upatras.gr/Record/nemertes-10889-10847 Ioakimidis, Nikolaos Conference (paper) 2018 Ioakimidis, Nikolaos 0 Επίδραση υπολογιστικού περιβάλλοντος γενικού σκοπού στην επίλυση λεκτικών μαθηματικών προβλημάτων : η περίπτωση των ηλεκτρονικών λογιστικών φύλλων Tue, 01 Jan 2013 04:03:56 +0200 https://find.library.upatras.gr/Record/nemertes-10889-5902 https://find.library.upatras.gr/Record/nemertes-10889-5902 Λαβίδας, Κωνσταντίνος Thesis 2013 Λαβίδας, Κωνσταντίνος 0 Single or multi-CT simulation for high dose rate brachytherapy and dosimetric verification : is replanning necessary prior to each fraction? Sat, 01 Jan 2022 04:03:56 +0200 https://find.library.upatras.gr/Record/nemertes-10889-16319 https://find.library.upatras.gr/Record/nemertes-10889-16319 Δουβάρα, Αγγελική 2022 Δουβάρα, Αγγελική 0 Numerical verification of equations in applied mechanics: comments on the inexpensive alternative to computer algebra Mon, 01 Jan 2018 04:03:56 +0200 https://find.library.upatras.gr/Record/nemertes-10889-10980 https://find.library.upatras.gr/Record/nemertes-10889-10980 Ioakimidis, Nikolaos Technical Report 2018 Ioakimidis, Nikolaos 0 Μελέτη της λειτουργικής συνδεσιμότητας του εγκεφάλου μέσω καταγραφών EEG με σκοπό την εφαρμογή στην ταυτοποίηση ατόμου Wed, 01 Jan 2020 04:03:56 +0200 https://find.library.upatras.gr/Record/nemertes-10889-12954 https://find.library.upatras.gr/Record/nemertes-10889-12954 Κευσίκογλου, Ιωάννης Thesis 2020 Κευσίκογλου, Ιωάννης 0 Αναγνώριση ψυχοσωματικής κατάστασης προσώπου με τη χρήση θερμικής υπέρυθρης ακτινοβολίας Thu, 01 Jan 2015 04:03:56 +0200 https://find.library.upatras.gr/Record/nemertes-10889-8936 https://find.library.upatras.gr/Record/nemertes-10889-8936 Κούκιου, Γεωργία Thesis 2015 Κούκιου, Γεωργία 0 Drunk person identification using thermal infrared images Sat, 01 Jan 2022 04:03:56 +0200 https://find.library.upatras.gr/Record/nemertes-10889-16287 https://find.library.upatras.gr/Record/nemertes-10889-16287 Koukiou, Georgia 2022 Koukiou, Georgia 0 Point-to-point κρυπτογράφηση και πιστοποίηση δεδομένων σε κινητές συσκευές Android Sun, 01 Jan 2017 04:03:56 +0200 https://find.library.upatras.gr/Record/nemertes-10889-10602 https://find.library.upatras.gr/Record/nemertes-10889-10602 Κόνδης, Βλάσιος Thesis 2017 Κόνδης, Βλάσιος 0 Αναγνώριση ομιλητή Mon, 01 Jan 2007 04:03:56 +0200 https://find.library.upatras.gr/Record/nemertes-10889-308 https://find.library.upatras.gr/Record/nemertes-10889-308 Ganchev, Todor 2007 Ganchev, Todor 0 Proceedings of the 2010 Summer Computer Simulation Conference Fri, 01 Jan 2010 04:03:56 +0200 https://find.library.upatras.gr/Record/10.5555%2F1999416 https://find.library.upatras.gr/Record/10.5555%2F1999416 Electronic Conference Proceeding eBook 2010 0 Proceedings of the 2009 Conference on Empirical Methods in Natural Language Processing: Volume 1 Thu, 01 Jan 2009 04:03:56 +0200 https://find.library.upatras.gr/Record/10.5555%2F1699510 https://find.library.upatras.gr/Record/10.5555%2F1699510 Electronic eBook 2009 0 Proceedings of the Workshop on the Evolution, Performance, and Interoperability of QUIC Mon, 01 Jan 2018 04:03:56 +0200 https://find.library.upatras.gr/Record/10.1145%2F3284850 https://find.library.upatras.gr/Record/10.1145%2F3284850 Electronic Conference Proceeding eBook 2018 0 Proceedings of the NAACL HLT 2009 Workshop on Active Learning for Natural Language Processing Thu, 01 Jan 2009 04:03:56 +0200 https://find.library.upatras.gr/Record/10.5555%2F1564131 https://find.library.upatras.gr/Record/10.5555%2F1564131 Electronic eBook 2009 0 Proceedings of the NAACL HLT 2009 Workshop on Semi-Supervised Learning for Natural Language Processing Thu, 01 Jan 2009 04:03:56 +0200 https://find.library.upatras.gr/Record/10.5555%2F1621829 https://find.library.upatras.gr/Record/10.5555%2F1621829 Electronic eBook 2009 0 Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering Fri, 01 Jan 2016 04:03:56 +0200 https://find.library.upatras.gr/Record/10.1145%2F2897667 https://find.library.upatras.gr/Record/10.1145%2F2897667 Electronic Conference Proceeding eBook 2016 0 Proceedings of the 2005 conference on Specification and verification of component-based systems Sat, 01 Jan 2005 04:03:56 +0200 https://find.library.upatras.gr/Record/10.1145%2F1123058 https://find.library.upatras.gr/Record/10.1145%2F1123058 Electronic eBook 2005 0 Proceedings of the 1st Brazilian Symposium on Systematic and Automated Software Testing Fri, 01 Jan 2016 04:03:56 +0200 https://find.library.upatras.gr/Record/10.1145%2F2993288 https://find.library.upatras.gr/Record/10.1145%2F2993288 Electronic Conference Proceeding eBook 2016 0 Proceedings of the 19th conference on Winter simulation Thu, 01 Jan 1987 04:03:56 +0200 https://find.library.upatras.gr/Record/10.1145%2F318371 https://find.library.upatras.gr/Record/10.1145%2F318371 Electronic eBook 1987 0 Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages Sat, 01 Jan 2011 04:03:56 +0200 https://find.library.upatras.gr/Record/10.1145%2F1926385 https://find.library.upatras.gr/Record/10.1145%2F1926385 Electronic Conference Proceeding eBook 2011 0 Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation Tue, 01 Jan 2019 04:03:56 +0200 https://find.library.upatras.gr/Record/10.1145%2F3314221 https://find.library.upatras.gr/Record/10.1145%2F3314221 Electronic Conference Proceeding eBook 2019 0 Proceedings of the 6th ACM SIGPLAN Symposium on Scala Thu, 01 Jan 2015 04:03:56 +0200 https://find.library.upatras.gr/Record/10.1145%2F2774975 https://find.library.upatras.gr/Record/10.1145%2F2774975 Electronic Conference Proceeding eBook 2015 0 Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming Mon, 01 Jan 2018 04:03:56 +0200 https://find.library.upatras.gr/Record/10.1145%2F3236950 https://find.library.upatras.gr/Record/10.1145%2F3236950 Electronic Conference Proceeding eBook 2018 0 Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs Sat, 01 Jan 2011 04:03:56 +0200 https://find.library.upatras.gr/Record/10.1145%2F2076674 https://find.library.upatras.gr/Record/10.1145%2F2076674 Electronic Conference Proceeding eBook 2011 0 Proceedings of the 11th annual international conference on Aspect-oriented Software Development Companion Sun, 01 Jan 2012 04:03:56 +0200 https://find.library.upatras.gr/Record/10.1145%2F2162110 https://find.library.upatras.gr/Record/10.1145%2F2162110 Electronic Conference Proceeding eBook 2012 0 Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages Sat, 01 Jan 2005 04:03:56 +0200 https://find.library.upatras.gr/Record/10.1145%2F1040305 https://find.library.upatras.gr/Record/10.1145%2F1040305 Electronic Conference Proceeding eBook 2005 0 Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs Wed, 01 Jan 2020 04:03:56 +0200 https://find.library.upatras.gr/Record/10.1145%2F3372885 https://find.library.upatras.gr/Record/10.1145%2F3372885 Electronic Conference Proceeding eBook 2020 0 Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis Tue, 01 Jan 2019 04:03:56 +0200 https://find.library.upatras.gr/Record/10.1145%2F3293882 https://find.library.upatras.gr/Record/10.1145%2F3293882 Electronic Conference Proceeding eBook 2019 0 Proceedings of the 6th International Workshop on Principles of Engineering Service-Oriented and Cloud Systems Wed, 01 Jan 2014 04:03:56 +0200 https://find.library.upatras.gr/Record/10.1145%2F2593793 https://find.library.upatras.gr/Record/10.1145%2F2593793 Electronic Conference Proceeding eBook 2014 0 Proceedings of the Fifth International C* Conference on Computer Science and Software Engineering Sun, 01 Jan 2012 04:03:56 +0200 https://find.library.upatras.gr/Record/10.1145%2F2347583 https://find.library.upatras.gr/Record/10.1145%2F2347583 Electronic Conference Proceeding eBook 2012 0 Proceedings of the 1st ACM SIGSOFT International Workshop on Testing Embedded and Cyber-Physical Systems Sun, 01 Jan 2017 04:03:56 +0200 https://find.library.upatras.gr/Record/10.1145%2F3107091 https://find.library.upatras.gr/Record/10.1145%2F3107091 Electronic Conference Proceeding eBook 2017 0 Proceedings of the 8th Workshop on Programming Languages and Operating Systems Thu, 01 Jan 2015 04:03:56 +0200 https://find.library.upatras.gr/Record/10.1145%2F2818302 https://find.library.upatras.gr/Record/10.1145%2F2818302 Electronic Conference Proceeding eBook 2015 0 Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation Sat, 01 Jan 2011 04:03:56 +0200 https://find.library.upatras.gr/Record/10.1145%2F1993498 https://find.library.upatras.gr/Record/10.1145%2F1993498 Electronic Conference Proceeding eBook 2011 0 Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages Wed, 01 Jan 2014 04:03:56 +0200 https://find.library.upatras.gr/Record/10.1145%2F2535838 https://find.library.upatras.gr/Record/10.1145%2F2535838 Electronic Conference Proceeding eBook 2014 0 Proceedings of the 31st Brazilian Symposium on Software Engineering Sun, 01 Jan 2017 04:03:56 +0200 https://find.library.upatras.gr/Record/10.1145%2F3131151 https://find.library.upatras.gr/Record/10.1145%2F3131151 Electronic Conference Proceeding eBook 2017 0 Proceedings of the 5th International Workshop on Requirements Engineering and Testing Mon, 01 Jan 2018 04:03:56 +0200 https://find.library.upatras.gr/Record/10.1145%2F3195538 https://find.library.upatras.gr/Record/10.1145%2F3195538 Electronic Conference Proceeding eBook 2018 0 Proceedings of the 3rd workshop on Programming languages meets program verification Thu, 01 Jan 2009 04:03:56 +0200 https://find.library.upatras.gr/Record/10.1145%2F1481848 https://find.library.upatras.gr/Record/10.1145%2F1481848 Electronic Conference Proceeding eBook 2009 0 Proceedings of the Tenth Workshop on Language Descriptions, Tools and Applications Fri, 01 Jan 2010 04:03:56 +0200 https://find.library.upatras.gr/Record/10.1145%2F1868281 https://find.library.upatras.gr/Record/10.1145%2F1868281 Electronic Conference Proceeding eBook 2010 0 Proceedings of the 23nd ACM on Symposium on Access Control Models and Technologies Mon, 01 Jan 2018 04:03:56 +0200 https://find.library.upatras.gr/Record/10.1145%2F3205977 https://find.library.upatras.gr/Record/10.1145%2F3205977 Electronic Conference Proceeding eBook 2018 0 Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings Mon, 01 Jan 2018 04:03:56 +0200 https://find.library.upatras.gr/Record/10.1145%2F3183440 https://find.library.upatras.gr/Record/10.1145%2F3183440 Electronic Conference Proceeding eBook 2018 0 Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages Mon, 01 Jan 2007 04:03:56 +0200 https://find.library.upatras.gr/Record/10.1145%2F1190216 https://find.library.upatras.gr/Record/10.1145%2F1190216 Electronic Conference Proceeding eBook 2007 0 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages Tue, 01 Jan 2002 04:03:56 +0200 https://find.library.upatras.gr/Record/10.1145%2F503272 https://find.library.upatras.gr/Record/10.1145%2F503272 Electronic Conference Proceeding eBook 2002 0 Proceedings of the 2012 workshop on Developing competency in parallelism: techniques for education and training Sun, 01 Jan 2012 04:03:56 +0200 https://find.library.upatras.gr/Record/10.1145%2F2414659 https://find.library.upatras.gr/Record/10.1145%2F2414659 Electronic Conference Proceeding eBook 2012 0 Proceedings of the IV Brazilian Symposium on Systematic and Automated Software Testing Tue, 01 Jan 2019 04:03:56 +0200 https://find.library.upatras.gr/Record/10.1145%2F3356317 https://find.library.upatras.gr/Record/10.1145%2F3356317 Electronic Conference Proceeding eBook 2019 0 Proceedings of the eighteenth international symposium on Software testing and analysis Thu, 01 Jan 2009 04:03:56 +0200 https://find.library.upatras.gr/Record/10.1145%2F1572272 https://find.library.upatras.gr/Record/10.1145%2F1572272 Electronic Conference Proceeding eBook 2009 0 Proceedings of the 23rd conference on Winter simulation Tue, 01 Jan 1991 04:03:56 +0200 https://find.library.upatras.gr/Record/10.5555%2F304238 https://find.library.upatras.gr/Record/10.5555%2F304238 Electronic Conference Proceeding eBook 1991 0 Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering Tue, 01 Jan 2013 04:03:56 +0200 https://find.library.upatras.gr/Record/10.1145%2F2491411 https://find.library.upatras.gr/Record/10.1145%2F2491411 Electronic Conference Proceeding eBook 2013 0 Proceedings of the 7th FPGAworld Conference Fri, 01 Jan 2010 04:03:56 +0200 https://find.library.upatras.gr/Record/10.1145%2F1975482 https://find.library.upatras.gr/Record/10.1145%2F1975482 Electronic Conference Proceeding eBook 2010 0 Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security Sun, 01 Jan 2017 04:03:56 +0200 https://find.library.upatras.gr/Record/10.1145%2F3139337 https://find.library.upatras.gr/Record/10.1145%2F3139337 Electronic Conference Proceeding eBook 2017 0 Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs Tue, 01 Jan 2013 04:03:56 +0200 https://find.library.upatras.gr/Record/10.1145%2F2489804 https://find.library.upatras.gr/Record/10.1145%2F2489804 Electronic Conference Proceeding eBook 2013 0 Proceedings of the 1st international workshop on Random testing Sun, 01 Jan 2006 04:03:56 +0200 https://find.library.upatras.gr/Record/10.1145%2F1145735 https://find.library.upatras.gr/Record/10.1145%2F1145735 Electronic Conference Proceeding eBook 2006 0