Αποτελέσματα για "Symbolic and Algebraic Manipulation."

Αποτελέσματα για "Symbolic and Algebraic Manipulation." Εμφανίζονται 1 - 50 Αποτελέσματα από 297 Laminas_Feed_Writer 2 (https://getlaminas.org) https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22Symbolic+and+Algebraic+Manipulation.%22&type=Subject&lng=el 297 0 50 Language and Automata Theory and Applications 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings / Thu, 01 Jan 2015 10:39:03 +0200 https://find.library.upatras.gr/Record/978-3-319-15579-1 https://find.library.upatras.gr/Record/978-3-319-15579-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 WALCOM: Algorithms and Computation 9th International Workshop, WALCOM 2015, Dhaka, Bangladesh, February 26-28, 2015. Proceedings / Thu, 01 Jan 2015 10:39:03 +0200 https://find.library.upatras.gr/Record/978-3-319-15612-5 https://find.library.upatras.gr/Record/978-3-319-15612-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Arithmetic of Finite Fields 5th International Workshop, WAIFI 2014, Gebze, Turkey, September 27-28, 2014. Revised Selected Papers / Thu, 01 Jan 2015 10:39:03 +0200 https://find.library.upatras.gr/Record/978-3-319-16277-5 https://find.library.upatras.gr/Record/978-3-319-16277-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Constructive Commutative Algebra Projective Modules Over Polynomial Rings and Dynamical Gröbner Bases / Thu, 01 Jan 2015 10:39:03 +0200 https://find.library.upatras.gr/Record/978-3-319-19494-3 https://find.library.upatras.gr/Record/978-3-319-19494-3 Yengui, Ihsen Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 Yengui, Ihsen 0 Intelligent Computer Mathematics International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. / Thu, 01 Jan 2015 10:39:03 +0200 https://find.library.upatras.gr/Record/978-3-319-20615-8 https://find.library.upatras.gr/Record/978-3-319-20615-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Automated Deduction in Geometry 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers / Thu, 01 Jan 2015 10:39:03 +0200 https://find.library.upatras.gr/Record/978-3-319-21362-0 https://find.library.upatras.gr/Record/978-3-319-21362-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Computational Methods in Systems Biology 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings / Thu, 01 Jan 2015 10:39:03 +0200 https://find.library.upatras.gr/Record/978-3-319-23401-4 https://find.library.upatras.gr/Record/978-3-319-23401-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 WALCOM: Algorithms and Computation 10th International Workshop, WALCOM 2016, Kathmandu, Nepal, March 29–31, 2016, Proceedings / Fri, 01 Jan 2016 10:39:03 +0200 https://find.library.upatras.gr/Record/978-3-319-30139-6 https://find.library.upatras.gr/Record/978-3-319-30139-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Arithmetic of Finite Fields 6th International Workshop, WAIFI 2016, Ghent, Belgium, July 13-15, 2016, Revised Selected Papers / Fri, 01 Jan 2016 10:39:03 +0200 https://find.library.upatras.gr/Record/978-3-319-55227-9 https://find.library.upatras.gr/Record/978-3-319-55227-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Computer Algebra in Scientific Computing 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings / Fri, 01 Jan 2016 10:39:03 +0200 https://find.library.upatras.gr/Record/978-3-319-45641-6 https://find.library.upatras.gr/Record/978-3-319-45641-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Geospatial Algebraic Computations Theory and Applications / Fri, 01 Jan 2016 10:39:03 +0200 https://find.library.upatras.gr/Record/978-3-319-25465-4 https://find.library.upatras.gr/Record/978-3-319-25465-4 Awange, Joseph L. Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 Awange, Joseph L. 0 Artificial Intelligence and Symbolic Computation 7th International Conference, AISC 2004 Linz, Austria, September 22-24, 2004 Proceedings / Thu, 01 Jan 2004 10:39:03 +0200 https://find.library.upatras.gr/Record/978-3-540-30210-0 https://find.library.upatras.gr/Record/978-3-540-30210-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2004 0 Artificial Intelligence and Symbolic Computation International Conference AISC 2000 Madrid, Spain, July 17-19, 2000. Revised Papers / Mon, 01 Jan 2001 10:39:03 +0200 https://find.library.upatras.gr/Record/978-3-540-44990-4 https://find.library.upatras.gr/Record/978-3-540-44990-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 Algorithmic Number Theory 4th International Symposium, ANTS-IV Leiden, The Netherlands, July 2-7, 2000 Proceedings / Sat, 01 Jan 2000 10:39:03 +0200 https://find.library.upatras.gr/Record/978-3-540-44994-2 https://find.library.upatras.gr/Record/978-3-540-44994-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2000 0 Artificial Intelligence and Symbolic Computation International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings / Thu, 01 Jan 1998 10:39:03 +0200 https://find.library.upatras.gr/Record/978-3-540-49816-2 https://find.library.upatras.gr/Record/978-3-540-49816-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 1998 0 ZUM'97: The Z Formal Specification Notation 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings / Wed, 01 Jan 1997 10:39:03 +0200 https://find.library.upatras.gr/Record/978-3-540-68490-9 https://find.library.upatras.gr/Record/978-3-540-68490-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 1997 0 Recent Trends in Algebraic Development Techniques 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers / Wed, 01 Jan 2003 10:39:03 +0200 https://find.library.upatras.gr/Record/978-3-540-40020-2 https://find.library.upatras.gr/Record/978-3-540-40020-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Rewriting Techniques and Applications 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001. Proceedings / Mon, 01 Jan 2001 10:39:03 +0200 https://find.library.upatras.gr/Record/978-3-540-45127-3 https://find.library.upatras.gr/Record/978-3-540-45127-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 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 10:39:03 +0200 https://find.library.upatras.gr/Record/978-3-540-68517-3 https://find.library.upatras.gr/Record/978-3-540-68517-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 1997 0 Mathematical Knowledge Management Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003 / Wed, 01 Jan 2003 10:39:03 +0200 https://find.library.upatras.gr/Record/978-3-540-36469-6 https://find.library.upatras.gr/Record/978-3-540-36469-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Relational Methods in Computer Science 6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The Netherlands, October 16-21, 2001 Revised Papers / Tue, 01 Jan 2002 10:39:03 +0200 https://find.library.upatras.gr/Record/978-3-540-36280-7 https://find.library.upatras.gr/Record/978-3-540-36280-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0 Rewriting Techniques and Applications 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 Proceedings / Tue, 01 Jan 2002 10:39:03 +0200 https://find.library.upatras.gr/Record/978-3-540-45610-0 https://find.library.upatras.gr/Record/978-3-540-45610-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0 LATIN'98: Theoretical Informatics Third Latin American Symposium, Campinas, Brazil, April 20-24, 1998, Proceedings / Thu, 01 Jan 1998 10:39:03 +0200 https://find.library.upatras.gr/Record/978-3-540-69715-2 https://find.library.upatras.gr/Record/978-3-540-69715-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 1998 0 Computational Neuroscience: Cortical Dynamics 8th International Summer School on Neural Nets, Erice, Italy, October 31 - November 6, 2003 Revised Lectures / Thu, 01 Jan 2004 10:39:03 +0200 https://find.library.upatras.gr/Record/978-3-540-27862-7 https://find.library.upatras.gr/Record/978-3-540-27862-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 2004 0 Theory and Application of Graph Transformations 6th International Workshop, TAGT'98 Paderborn, Germany, November 16-20, 1998 Selected Papers / Sat, 01 Jan 2000 10:39:03 +0200 https://find.library.upatras.gr/Record/978-3-540-46464-8 https://find.library.upatras.gr/Record/978-3-540-46464-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 2000 0 Applied Algebra, Algebraic Algorithms and Error-Correcting Codes 12th International Symposium, AAECC-12, Toulouse, France, June, 23-27, 1997, Proceedings / Wed, 01 Jan 1997 10:39:03 +0200 https://find.library.upatras.gr/Record/978-3-540-69193-8 https://find.library.upatras.gr/Record/978-3-540-69193-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 1997 0 Algebraic Methodology and Software Technology 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings / Thu, 01 Jan 2004 10:39:03 +0200 https://find.library.upatras.gr/Record/978-3-540-27815-3 https://find.library.upatras.gr/Record/978-3-540-27815-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2004 0 Artificial Intelligence, Automated Reasoning, and Symbolic Computation Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings / Tue, 01 Jan 2002 10:39:03 +0200 https://find.library.upatras.gr/Record/978-3-540-45470-0 https://find.library.upatras.gr/Record/978-3-540-45470-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0 Rewriting Techniques and Applications 10th International Conference, RTA'99, Trento, Italy, July 2-4, 1999, Proceedings / Fri, 01 Jan 1999 10:39:03 +0200 https://find.library.upatras.gr/Record/978-3-540-48685-5 https://find.library.upatras.gr/Record/978-3-540-48685-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 1999 0 Algorithmic Number Theory Third International Symposium, ANTS-III, Portland, Orgeon, USA, June 21-25, 1998, Proceedings / Thu, 01 Jan 1998 10:39:03 +0200 https://find.library.upatras.gr/Record/978-3-540-69113-6 https://find.library.upatras.gr/Record/978-3-540-69113-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 1998 0 Cryptography and Lattices International Conference, CaLC 2001, Providence, RI, USA, March 29-30, 2001. Revised Papers / Mon, 01 Jan 2001 10:39:03 +0200 https://find.library.upatras.gr/Record/978-3-540-44670-5 https://find.library.upatras.gr/Record/978-3-540-44670-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 Logic, Language, Information, and Computation 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings / Fri, 01 Jan 2016 10:39:03 +0200 https://find.library.upatras.gr/Record/978-3-662-52921-8 https://find.library.upatras.gr/Record/978-3-662-52921-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 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 10:39:03 +0200 https://find.library.upatras.gr/Record/978-3-319-30000-9 https://find.library.upatras.gr/Record/978-3-319-30000-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Applied Algebra, Algebraic Algorithms and Error-Correcting Codes 13th International Symposium, AAECC-13 Honolulu, Hawaii, USA, November 15-19, 1999 Proceedings / Fri, 01 Jan 1999 10:39:03 +0200 https://find.library.upatras.gr/Record/978-3-540-46796-0 https://find.library.upatras.gr/Record/978-3-540-46796-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 1999 0 Symbolic and Numerical Scientific Computation Second International Conference, SNSC 2001, Hagenberg, Austria, September 10-11, 2001, Revised Papers / Wed, 01 Jan 2003 10:39:03 +0200 https://find.library.upatras.gr/Record/978-3-540-45084-9 https://find.library.upatras.gr/Record/978-3-540-45084-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Recent Trends in Algebraic Development Techniques 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001. Selected Papers / Tue, 01 Jan 2002 10:39:03 +0200 https://find.library.upatras.gr/Record/978-3-540-45645-2 https://find.library.upatras.gr/Record/978-3-540-45645-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0 Mathematics of Surfaces 10th IMA International Conference, Leeds, UK, September 15-17, 2003, Proceedings / Wed, 01 Jan 2003 10:39:03 +0200 https://find.library.upatras.gr/Record/978-3-540-39422-8 https://find.library.upatras.gr/Record/978-3-540-39422-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Principles of Data Mining and Knowledge Discovery 4th European Conference, PKDD, 2000, Lyon, France, September 13-16, 2000 Proceedings / Sat, 01 Jan 2000 10:39:03 +0200 https://find.library.upatras.gr/Record/978-3-540-45372-7 https://find.library.upatras.gr/Record/978-3-540-45372-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 2000 0 Generic Programming International Seminar on Generic Programming Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers / Sat, 01 Jan 2000 10:39:03 +0200 https://find.library.upatras.gr/Record/978-3-540-39953-7 https://find.library.upatras.gr/Record/978-3-540-39953-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 2000 0 Computational Logic: Logic Programming and Beyond Essays in Honour of Robert A. Kowalski, Part II / Tue, 01 Jan 2002 10:39:03 +0200 https://find.library.upatras.gr/Record/978-3-540-45632-2 https://find.library.upatras.gr/Record/978-3-540-45632-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0 Rewriting Techniques and Applications 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 Proceedings / Sat, 01 Jan 2000 10:39:03 +0200 https://find.library.upatras.gr/Record/978-3-540-44980-5 https://find.library.upatras.gr/Record/978-3-540-44980-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 2000 0 Applied Algebra, Algebraic Algorithms and Error-Correcting Codes 15th International Symposium, AAECC-15, Toulouse, France, May 12-16, 2003, Proceedings / Wed, 01 Jan 2003 10:39:03 +0200 https://find.library.upatras.gr/Record/978-3-540-44828-0 https://find.library.upatras.gr/Record/978-3-540-44828-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Fast Software Encryption 10th International Workshop, FSE 2003, LUND, Sweden, February 24-26, 2003, Revised Papers / Wed, 01 Jan 2003 10:39:03 +0200 https://find.library.upatras.gr/Record/978-3-540-39887-5 https://find.library.upatras.gr/Record/978-3-540-39887-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Algebraic Methodology and Software Technology 7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999, Proceedings / Fri, 01 Jan 1999 10:39:03 +0200 https://find.library.upatras.gr/Record/978-3-540-49253-5 https://find.library.upatras.gr/Record/978-3-540-49253-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 1999 0 Rewriting Techniques and Applications 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings / Wed, 01 Jan 1997 10:39:03 +0200 https://find.library.upatras.gr/Record/978-3-540-69051-1 https://find.library.upatras.gr/Record/978-3-540-69051-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 1997 0 Applied Algebra, Algebraic Algorithms and Error-Correcting Codes 14th International Symposium, AAECC-14, Melbourne, Australia, November 26-30, 2001. Proceedings / Mon, 01 Jan 2001 10:39:03 +0200 https://find.library.upatras.gr/Record/978-3-540-45624-7 https://find.library.upatras.gr/Record/978-3-540-45624-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 Computational Methods in Systems Biology 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings / Fri, 01 Jan 2016 10:39:03 +0200 https://find.library.upatras.gr/Record/978-3-319-45177-0 https://find.library.upatras.gr/Record/978-3-319-45177-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Formal Grammar 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings / Fri, 01 Jan 2016 10:39:03 +0200 https://find.library.upatras.gr/Record/978-3-662-53042-9 https://find.library.upatras.gr/Record/978-3-662-53042-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Fuzzy Logic of Quasi-Truth: An Algebraic Treatment Fri, 01 Jan 2016 10:39:03 +0200 https://find.library.upatras.gr/Record/978-3-319-30406-9 https://find.library.upatras.gr/Record/978-3-319-30406-9 Di Nola, Antonio Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 Di Nola, Antonio 0 Computer Algebra in Scientific Computing 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015, Proceedings / Thu, 01 Jan 2015 10:39:03 +0200 https://find.library.upatras.gr/Record/978-3-319-24021-3 https://find.library.upatras.gr/Record/978-3-319-24021-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0