Results for "logic of graphs"

Results for "logic of graphs" Showing 1 - 23 results of 23 Laminas_Feed_Writer 2 (https://getlaminas.org) https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22logic+of+graphs%22&type=AllFields&lng=en 23 0 50 Inductive Logic Programming 13th International Conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003, Proceedings / Wed, 01 Jan 2003 22:59:34 +0200 https://find.library.upatras.gr/Record/978-3-540-39917-9 https://find.library.upatras.gr/Record/978-3-540-39917-9 Electronic eBook 2003 0 Computer Science Logic 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers / Thu, 01 Jan 1998 22:59:34 +0200 https://find.library.upatras.gr/Record/978-3-540-69353-6 https://find.library.upatras.gr/Record/978-3-540-69353-6 Electronic eBook 1998 0 Graph Transformations Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 1, 2004, Proceedings / Thu, 01 Jan 2004 22:59:34 +0200 https://find.library.upatras.gr/Record/978-3-540-30203-2 https://find.library.upatras.gr/Record/978-3-540-30203-2 Electronic eBook 2004 0 Ασφαλή και έμπιστα πρωτόκολλα επικοινωνιών με χρήση κρυπτογραφίας και κρυπτανάλυσης Tue, 01 Jan 2008 22:59:34 +0200 https://find.library.upatras.gr/Record/nemertes-10889-1031 https://find.library.upatras.gr/Record/nemertes-10889-1031 Λιάγκου, Βασιλική Thesis 2008 Λιάγκου, Βασιλική 0 Programming Languages and Systems 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings / Thu, 01 Jan 2004 22:59:34 +0200 https://find.library.upatras.gr/Record/978-3-540-24725-8 https://find.library.upatras.gr/Record/978-3-540-24725-8 Electronic eBook 2004 0 Logic for Concurrency and Synchronisation Wed, 01 Jan 2003 22:59:34 +0200 https://find.library.upatras.gr/Record/978-0-306-48088-1 https://find.library.upatras.gr/Record/978-0-306-48088-1 Electronic eBook 2003 0 Applications and Theory of Petri Nets 2004 25th International Conference, ICATPN 2004, Bologna, Italy, June 21–25, 2004. Proceedings / Thu, 01 Jan 2004 22:59:34 +0200 https://find.library.upatras.gr/Record/978-3-540-27793-4 https://find.library.upatras.gr/Record/978-3-540-27793-4 Electronic eBook 2004 0 Advances in Intelligent Information Hiding and Multimedia Signal Processing Proceedings of the Thirteenth International Conference on Intelligent Information Hiding and Multimedia Signal Processing, August, 12-15, 2017, Matsue, Shimane, Japan, Part II / Mon, 01 Jan 2018 22:59:34 +0200 https://find.library.upatras.gr/Record/978-3-319-63859-1 https://find.library.upatras.gr/Record/978-3-319-63859-1 Electronic eBook 2018 0 Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic / Sun, 01 Jan 2006 22:59:34 +0200 https://find.library.upatras.gr/Record/978-3-540-32923-7 https://find.library.upatras.gr/Record/978-3-540-32923-7 Bollig, Benedikt Electronic eBook 2006 Bollig, Benedikt 0 Business Intelligence Second European Summer School, eBISS 2012, Brussels, Belgium, July 15-21, 2012, Tutorial Lectures / Tue, 01 Jan 2013 22:59:34 +0200 https://find.library.upatras.gr/Record/978-3-642-36318-4 https://find.library.upatras.gr/Record/978-3-642-36318-4 Electronic eBook 2013 0 Transactions on Computational Systems Biology VII Sun, 01 Jan 2006 22:59:34 +0200 https://find.library.upatras.gr/Record/978-3-540-48839-2 https://find.library.upatras.gr/Record/978-3-540-48839-2 Electronic eBook 2006 0 Language and Automata Theory and Applications Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings / Thu, 01 Jan 2009 22:59:34 +0200 https://find.library.upatras.gr/Record/978-3-642-00982-2 https://find.library.upatras.gr/Record/978-3-642-00982-2 Electronic eBook 2009 0 A World with Robots International Conference on Robot Ethics: ICRE 2015 / Sun, 01 Jan 2017 22:59:34 +0200 https://find.library.upatras.gr/Record/978-3-319-46667-5 https://find.library.upatras.gr/Record/978-3-319-46667-5 Electronic eBook 2017 0 Conceptual Structures: From Information to Intelligence 18th International Conference on Conceptual Structures, ICCS 2010, Kuching, Sarawak, Malaysia, July 26-30, 2010. Proceedings / Fri, 01 Jan 2010 22:59:34 +0200 https://find.library.upatras.gr/Record/978-3-642-14197-3 https://find.library.upatras.gr/Record/978-3-642-14197-3 Electronic eBook 2010 0 Automata, Languages and Programming 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings / Sat, 01 Jan 2005 22:59:34 +0200 https://find.library.upatras.gr/Record/978-3-540-31691-6 https://find.library.upatras.gr/Record/978-3-540-31691-6 Electronic eBook 2005 0 Intelligent Distributed Computing XI Mon, 01 Jan 2018 22:59:34 +0200 https://find.library.upatras.gr/Record/978-3-319-66379-1 https://find.library.upatras.gr/Record/978-3-319-66379-1 Electronic eBook 2018 0 Fundamental Approaches to Software Engineering 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings / Tue, 01 Jan 2008 22:59:34 +0200 https://find.library.upatras.gr/Record/978-3-540-78743-3 https://find.library.upatras.gr/Record/978-3-540-78743-3 Electronic eBook 2008 0 Theory and Applications of Models of Computation 5th International Conference, TAMC 2008, Xi’an, China, April 25-29, 2008. Proceedings / Tue, 01 Jan 2008 22:59:34 +0200 https://find.library.upatras.gr/Record/978-3-540-79228-4 https://find.library.upatras.gr/Record/978-3-540-79228-4 Electronic eBook 2008 0 Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Toru´n, Poland, August 25-29, 2008. Proceedings / Tue, 01 Jan 2008 22:59:34 +0200 https://find.library.upatras.gr/Record/978-3-540-85238-4 https://find.library.upatras.gr/Record/978-3-540-85238-4 Electronic eBook 2008 0 Graph Transformations 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings / Tue, 01 Jan 2008 22:59:34 +0200 https://find.library.upatras.gr/Record/978-3-540-87405-8 https://find.library.upatras.gr/Record/978-3-540-87405-8 Electronic eBook 2008 0 Computational Methods in Systems Biology 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings / Thu, 01 Jan 2009 22:59:34 +0200 https://find.library.upatras.gr/Record/978-3-642-03845-7 https://find.library.upatras.gr/Record/978-3-642-03845-7 Electronic eBook 2009 0 Frontiers of Combining Systems 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings / Thu, 01 Jan 2009 22:59:34 +0200 https://find.library.upatras.gr/Record/978-3-642-04222-5 https://find.library.upatras.gr/Record/978-3-642-04222-5 Electronic eBook 2009 0 Discrete Mathematical Structures in Computer Science Thu, 01 Jan 2015 22:59:34 +0200 https://find.library.upatras.gr/Record/kallipos-11419-457 https://find.library.upatras.gr/Record/kallipos-11419-457 Γεωργίου, Δημήτριος 1 2015 Γεωργίου, Δημήτριος 0