Results for "Automata theory"

Results for "Automata theory" Showing 1 - 50 results of 191 Laminas_Feed_Writer 2 (https://getlaminas.org) https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22Automata+theory%22&type=AllFields&lng=en 191 0 50 Decision Making and Optimization Special Matrices and Their Applications in Economics and Management / Thu, 01 Jan 2015 00:13:20 +0200 https://find.library.upatras.gr/Record/978-3-319-08323-0 https://find.library.upatras.gr/Record/978-3-319-08323-0 Gavalec, Martin Electronic eBook 2015 Gavalec, Martin 0 Language and Automata Theory and Applications 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings / Thu, 01 Jan 2015 00:13:20 +0200 https://find.library.upatras.gr/Record/978-3-319-15579-1 https://find.library.upatras.gr/Record/978-3-319-15579-1 Electronic eBook 2015 0 Descriptional Complexity of Formal Systems 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings / Thu, 01 Jan 2015 00:13:20 +0200 https://find.library.upatras.gr/Record/978-3-319-19225-3 https://find.library.upatras.gr/Record/978-3-319-19225-3 Electronic eBook 2015 0 Algebraic Informatics 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings / Thu, 01 Jan 2015 00:13:20 +0200 https://find.library.upatras.gr/Record/978-3-319-23021-4 https://find.library.upatras.gr/Record/978-3-319-23021-4 Electronic eBook 2015 0 Topics in Grammatical Inference Fri, 01 Jan 2016 00:13:20 +0200 https://find.library.upatras.gr/Record/978-3-662-48395-4 https://find.library.upatras.gr/Record/978-3-662-48395-4 Electronic eBook 2016 0 Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications / Fri, 01 Jan 2016 00:13:20 +0200 https://find.library.upatras.gr/Record/978-3-319-44561-8 https://find.library.upatras.gr/Record/978-3-319-44561-8 O'Regan, Gerard Electronic eBook 2016 O'Regan, Gerard 0 Representation Theory of Finite Monoids Fri, 01 Jan 2016 00:13:20 +0200 https://find.library.upatras.gr/Record/978-3-319-43932-7 https://find.library.upatras.gr/Record/978-3-319-43932-7 Steinberg, Benjamin Electronic eBook 2016 Steinberg, Benjamin 0 Modelling, State Observation and Diagnosis of Quantised Systems Wed, 01 Jan 2003 00:13:20 +0200 https://find.library.upatras.gr/Record/978-3-540-46086-2 https://find.library.upatras.gr/Record/978-3-540-46086-2 Schröder, Jochen Electronic eBook 2003 Schröder, Jochen 0 Fuzzy Mathematics An Introduction for Engineers and Scientists / Mon, 01 Jan 2001 00:13:20 +0200 https://find.library.upatras.gr/Record/978-3-7908-1808-6 https://find.library.upatras.gr/Record/978-3-7908-1808-6 Mordeson, John N. Electronic eBook 2001 Mordeson, John N. 0 Implementation and Application of Automata 7th International Conference, CIAA 2002, Tours, France, July 3-5, 2002, Revised Papers / Wed, 01 Jan 2003 00:13:20 +0200 https://find.library.upatras.gr/Record/978-3-540-44977-5 https://find.library.upatras.gr/Record/978-3-540-44977-5 Electronic eBook 2003 0 Automata Implementation Third International Workshop on Implementing Automata, WIA'98, Rouen, France, September 17-19, 1998, Revised Papers / Fri, 01 Jan 1999 00:13:20 +0200 https://find.library.upatras.gr/Record/978-3-540-48057-0 https://find.library.upatras.gr/Record/978-3-540-48057-0 Electronic eBook 1999 0 TAPSOFT'97: Theory and Practice of Software Development 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings / Wed, 01 Jan 1997 00:13:20 +0200 https://find.library.upatras.gr/Record/978-3-540-68517-3 https://find.library.upatras.gr/Record/978-3-540-68517-3 Electronic eBook 1997 0 Automata Implementation Second International Workshop on Implementing Automata, WIA'97, London, Ontario, Canada, September 18-20, 1997, Revised Papers / Thu, 01 Jan 1998 00:13:20 +0200 https://find.library.upatras.gr/Record/978-3-540-69104-4 https://find.library.upatras.gr/Record/978-3-540-69104-4 Electronic eBook 1998 0 Automata, Logics, and Infinite Games A Guide to Current Research / Tue, 01 Jan 2002 00:13:20 +0200 https://find.library.upatras.gr/Record/978-3-540-36387-3 https://find.library.upatras.gr/Record/978-3-540-36387-3 Electronic eBook 2002 0 Implementation and Application of Automata 5th International Conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers / Mon, 01 Jan 2001 00:13:20 +0200 https://find.library.upatras.gr/Record/978-3-540-44674-3 https://find.library.upatras.gr/Record/978-3-540-44674-3 Electronic eBook 2001 0 Hybrid Systems: Computation and Control First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings / Thu, 01 Jan 1998 00:13:20 +0200 https://find.library.upatras.gr/Record/978-3-540-69754-1 https://find.library.upatras.gr/Record/978-3-540-69754-1 Electronic eBook 1998 0 Foundations of Software Science and Computation Structures First International Conference, FoSSaCS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings / Thu, 01 Jan 1998 00:13:20 +0200 https://find.library.upatras.gr/Record/978-3-540-69720-6 https://find.library.upatras.gr/Record/978-3-540-69720-6 Electronic eBook 1998 0 The Computational Complexity of Equivalence and Isomorphism Problems Sat, 01 Jan 2000 00:13:20 +0200 https://find.library.upatras.gr/Record/978-3-540-45303-1 https://find.library.upatras.gr/Record/978-3-540-45303-1 Thierauf, Thomas Electronic eBook 2000 Thierauf, Thomas 0 LATIN 2016: Theoretical Informatics 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016, Proceedings / Fri, 01 Jan 2016 00:13:20 +0200 https://find.library.upatras.gr/Record/978-3-662-49529-2 https://find.library.upatras.gr/Record/978-3-662-49529-2 Electronic eBook 2016 0 Language and Automata Theory and Applications 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings / Fri, 01 Jan 2016 00:13:20 +0200 https://find.library.upatras.gr/Record/978-3-319-30000-9 https://find.library.upatras.gr/Record/978-3-319-30000-9 Electronic eBook 2016 0 Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexity / Fri, 01 Jan 2016 00:13:20 +0200 https://find.library.upatras.gr/Record/978-3-662-52947-8 https://find.library.upatras.gr/Record/978-3-662-52947-8 Skrzypczak, Michał Electronic eBook 2016 Skrzypczak, Michał 0 Theoretical Aspects of Computer Software 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001. Proceedings / Mon, 01 Jan 2001 00:13:20 +0200 https://find.library.upatras.gr/Record/978-3-540-45500-4 https://find.library.upatras.gr/Record/978-3-540-45500-4 Electronic eBook 2001 0 Automata Implementation 4th International Workshop on Implementing Automata, WIA'99 Potsdam, Germany, July 17-19, 2001 Revised Papers / Mon, 01 Jan 2001 00:13:20 +0200 https://find.library.upatras.gr/Record/978-3-540-45526-4 https://find.library.upatras.gr/Record/978-3-540-45526-4 Electronic eBook 2001 0 Fundamentals of Computation Theory 11th International Symposium, FCT '97, Krakow, Poland, September 1-3, 1997. Proceedings / Wed, 01 Jan 1997 00:13:20 +0200 https://find.library.upatras.gr/Record/978-3-540-69529-5 https://find.library.upatras.gr/Record/978-3-540-69529-5 Electronic eBook 1997 0 Formal and Natural Computing Essays Dedicated to Grzegorz Rozenberg / Tue, 01 Jan 2002 00:13:20 +0200 https://find.library.upatras.gr/Record/978-3-540-45711-4 https://find.library.upatras.gr/Record/978-3-540-45711-4 Electronic eBook 2002 0 Cellular Automata 12th International Conference on Cellular Automata for Research and Industry, ACRI 2016, Fez, Morocco, September 5-8, 2016. Proceedings / Fri, 01 Jan 2016 00:13:20 +0200 https://find.library.upatras.gr/Record/978-3-319-44365-2 https://find.library.upatras.gr/Record/978-3-319-44365-2 Electronic eBook 2016 0 Οικοδόμηση της έννοιας των “Πεπερασμένων Αυτομάτων” από μαθητές δημοτικού : μια μελέτη περίπτωσης με το ρομπότ Thymio ΙΙ Sat, 01 Jan 2022 00:13:20 +0200 https://find.library.upatras.gr/Record/nemertes-10889-23455 https://find.library.upatras.gr/Record/nemertes-10889-23455 Θεοδωροπούλου, Ιωάννα 2022 Θεοδωροπούλου, Ιωάννα 0 Encyclopedia of information systems / Wed, 01 Jan 2003 00:13:20 +0200 https://find.library.upatras.gr/Record/ocn191565869 https://find.library.upatras.gr/Record/ocn191565869 eBook 2003 0 Recent Advances in Natural Computing Selected Results from the IWNC 7 Symposium / Thu, 01 Jan 2015 00:13:20 +0200 https://find.library.upatras.gr/Record/978-4-431-55105-8 https://find.library.upatras.gr/Record/978-4-431-55105-8 Electronic eBook 2015 0 Proceedings of Fourth International Conference on Soft Computing for Problem Solving SocProS 2014, Volume 1 / Thu, 01 Jan 2015 00:13:20 +0200 https://find.library.upatras.gr/Record/978-81-322-2217-0 https://find.library.upatras.gr/Record/978-81-322-2217-0 Electronic eBook 2015 0 Logic Synthesis and Verification Algorithms Mon, 01 Jan 1996 00:13:20 +0200 https://find.library.upatras.gr/Record/978-0-306-47592-4 https://find.library.upatras.gr/Record/978-0-306-47592-4 Hachtel, Gary D. Electronic eBook 1996 Hachtel, Gary D. 0 Implementation and Application of Automata 8th International Conference, CIAA 2003 Santa Barbara, CA, USA, July 16–18, 2003 Proceedings / Wed, 01 Jan 2003 00:13:20 +0200 https://find.library.upatras.gr/Record/978-3-540-45089-4 https://find.library.upatras.gr/Record/978-3-540-45089-4 Electronic eBook 2003 0 STACS 2004 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004. Proceedings / Thu, 01 Jan 2004 00:13:20 +0200 https://find.library.upatras.gr/Record/978-3-540-24749-4 https://find.library.upatras.gr/Record/978-3-540-24749-4 Electronic eBook 2004 0 Freedom and Enforcement in Action A Study in Formal Action Theory / Thu, 01 Jan 2015 00:13:20 +0200 https://find.library.upatras.gr/Record/978-94-017-9855-6 https://find.library.upatras.gr/Record/978-94-017-9855-6 Czelakowski, Janusz Electronic eBook 2015 Czelakowski, Janusz 0 978-3-030-99524-9.pdf Sat, 01 Jan 2022 00:13:20 +0200 https://find.library.upatras.gr/Record/oapen-20.500.12657-54030 https://find.library.upatras.gr/Record/oapen-20.500.12657-54030 2022 0 978-3-030-99336-8.pdf Sat, 01 Jan 2022 00:13:20 +0200 https://find.library.upatras.gr/Record/oapen-20.500.12657-54028 https://find.library.upatras.gr/Record/oapen-20.500.12657-54028 2022 0 2020_Book_ToolsAndAlgorithmsForTheConstr.pdf Wed, 01 Jan 2020 00:13:20 +0200 https://find.library.upatras.gr/Record/oapen-20.500.12657-37722 https://find.library.upatras.gr/Record/oapen-20.500.12657-37722 2020 0 978-3-030-81685-8.pdf Fri, 01 Jan 2021 00:13:20 +0200 https://find.library.upatras.gr/Record/oapen-20.500.12657-50428 https://find.library.upatras.gr/Record/oapen-20.500.12657-50428 2021 0 9783030723088.pdf Fri, 01 Jan 2021 00:13:20 +0200 https://find.library.upatras.gr/Record/oapen-20.500.12657-48251 https://find.library.upatras.gr/Record/oapen-20.500.12657-48251 2021 0 2020_Book_ToolsAndAlgorithmsForTheConstr.pdf Wed, 01 Jan 2020 00:13:20 +0200 https://find.library.upatras.gr/Record/oapen-20.500.12657-37724 https://find.library.upatras.gr/Record/oapen-20.500.12657-37724 2020 0 340026.pdf Fri, 01 Jan 2010 00:13:20 +0200 https://find.library.upatras.gr/Record/oapen-20.500.12657-35301 https://find.library.upatras.gr/Record/oapen-20.500.12657-35301 2010 0 9783030719951.pdf Fri, 01 Jan 2021 00:13:20 +0200 https://find.library.upatras.gr/Record/oapen-20.500.12657-48218 https://find.library.upatras.gr/Record/oapen-20.500.12657-48218 2021 0 978-3-031-10769-6.pdf Sat, 01 Jan 2022 00:13:20 +0200 https://find.library.upatras.gr/Record/oapen-20.500.12657-57927 https://find.library.upatras.gr/Record/oapen-20.500.12657-57927 2022 0 Proceedings of the first annual ACM symposium on Theory of computing Wed, 01 Jan 1969 00:13:20 +0200 https://find.library.upatras.gr/Record/10.1145%2F800169 https://find.library.upatras.gr/Record/10.1145%2F800169 Electronic eBook 1969 0 Proceedings of the fifth annual ACM symposium on Theory of computing Mon, 01 Jan 1973 00:13:20 +0200 https://find.library.upatras.gr/Record/10.1145%2F800125 https://find.library.upatras.gr/Record/10.1145%2F800125 Electronic eBook 1973 0 Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science Mon, 01 Jan 2018 00:13:20 +0200 https://find.library.upatras.gr/Record/10.1145%2F3209108 https://find.library.upatras.gr/Record/10.1145%2F3209108 Electronic Conference Proceeding eBook 2018 0 Proceedings of the 12th international conference on Generative programming: concepts & experiences Tue, 01 Jan 2013 00:13:20 +0200 https://find.library.upatras.gr/Record/10.1145%2F2517208 https://find.library.upatras.gr/Record/10.1145%2F2517208 Electronic Conference Proceeding eBook 2013 0 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages Wed, 01 Jan 2003 00:13:20 +0200 https://find.library.upatras.gr/Record/10.1145%2F604131 https://find.library.upatras.gr/Record/10.1145%2F604131 Electronic Conference Proceeding eBook 2003 0 Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and implementation Sun, 01 Jan 2012 00:13:20 +0200 https://find.library.upatras.gr/Record/10.1145%2F2103786 https://find.library.upatras.gr/Record/10.1145%2F2103786 Electronic Conference Proceeding eBook 2012 0 Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation Wed, 01 Jan 2014 00:13:20 +0200 https://find.library.upatras.gr/Record/10.1145%2F2543728 https://find.library.upatras.gr/Record/10.1145%2F2543728 Electronic Conference Proceeding eBook 2014 0