Results for "theory of computing"

Results for "theory of computing" Showing 1 - 50 results of 1628 Laminas_Feed_Writer 2 (https://getlaminas.org) https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22theory+of+computing%22&type=Subject&lng=en 1628 0 50 Nature of Computation and Communication International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers / Thu, 01 Jan 2015 12:15:16 +0200 https://find.library.upatras.gr/Record/978-3-319-15392-6 https://find.library.upatras.gr/Record/978-3-319-15392-6 Electronic eBook 2015 0 High Performance Computing 30th International Conference, ISC High Performance 2015, Frankfurt, Germany, July 12-16, 2015, Proceedings / Thu, 01 Jan 2015 12:15:16 +0200 https://find.library.upatras.gr/Record/978-3-319-20119-1 https://find.library.upatras.gr/Record/978-3-319-20119-1 Electronic eBook 2015 0 Introduction to Concurrency Theory Transition Systems and CCS / Thu, 01 Jan 2015 12:15:16 +0200 https://find.library.upatras.gr/Record/978-3-319-21491-7 https://find.library.upatras.gr/Record/978-3-319-21491-7 Gorrieri, Roberto Electronic eBook 2015 Gorrieri, Roberto 0 Bridging Constraint Satisfaction and Boolean Satisfiability Thu, 01 Jan 2015 12:15:16 +0200 https://find.library.upatras.gr/Record/978-3-319-21810-6 https://find.library.upatras.gr/Record/978-3-319-21810-6 Petke, Justyna Electronic eBook 2015 Petke, Justyna 0 Unconventional Computation and Natural Computation 14th International Conference, UCNC 2015, Auckland, New Zealand, August 30 -- September 3, 2015, Proceedings / Thu, 01 Jan 2015 12:15:16 +0200 https://find.library.upatras.gr/Record/978-3-319-21819-9 https://find.library.upatras.gr/Record/978-3-319-21819-9 Electronic eBook 2015 0 Behavior Modeling -- Foundations and Applications International Workshops, BM-FA 2009-2014, Revised Selected Papers / Thu, 01 Jan 2015 12:15:16 +0200 https://find.library.upatras.gr/Record/978-3-319-21912-7 https://find.library.upatras.gr/Record/978-3-319-21912-7 Electronic eBook 2015 0 Biomimetic and Biohybrid Systems 4th International Conference, Living Machines 2015, Barcelona, Spain, July 28 - 31, 2015, Proceedings / Thu, 01 Jan 2015 12:15:16 +0200 https://find.library.upatras.gr/Record/978-3-319-22979-9 https://find.library.upatras.gr/Record/978-3-319-22979-9 Electronic eBook 2015 0 Topics in Grammatical Inference Fri, 01 Jan 2016 12:15:16 +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 Hybrid Metaheuristics Powerful Tools for Optimization / Fri, 01 Jan 2016 12:15:16 +0200 https://find.library.upatras.gr/Record/978-3-319-30883-8 https://find.library.upatras.gr/Record/978-3-319-30883-8 Blum, Christian Electronic eBook 2016 Blum, Christian 0 Finitely Supported Mathematics An Introduction / Fri, 01 Jan 2016 12:15:16 +0200 https://find.library.upatras.gr/Record/978-3-319-42282-4 https://find.library.upatras.gr/Record/978-3-319-42282-4 Alexandru, Andrei Electronic eBook 2016 Alexandru, Andrei 0 Wireless Power Transfer Algorithms, Technologies and Applications in Ad Hoc Communication Networks Fri, 01 Jan 2016 12:15:16 +0200 https://find.library.upatras.gr/Record/978-3-319-46810-5 https://find.library.upatras.gr/Record/978-3-319-46810-5 Electronic eBook 2016 0 Evolutionary Computer Vision The First Footprints / Fri, 01 Jan 2016 12:15:16 +0200 https://find.library.upatras.gr/Record/978-3-662-43693-6 https://find.library.upatras.gr/Record/978-3-662-43693-6 Olague, Gustavo Electronic eBook 2016 Olague, Gustavo 0 Decision Procedures An Algorithmic Point of View / Fri, 01 Jan 2016 12:15:16 +0200 https://find.library.upatras.gr/Record/978-3-662-50497-0 https://find.library.upatras.gr/Record/978-3-662-50497-0 Kroening, Daniel Electronic eBook 2016 Kroening, Daniel 0 High Performance Computing ISC High Performance 2016 International Workshops, ExaComm, E-MuCoCoS, HPC-IODC, IXPUG, IWOPH, P^3MA, VHPC, WOPSSS, Frankfurt, Germany, June 19–23, 2016, Revised Selected Papers / Fri, 01 Jan 2016 12:15:16 +0200 https://find.library.upatras.gr/Record/978-3-319-46079-6 https://find.library.upatras.gr/Record/978-3-319-46079-6 Electronic eBook 2016 0 Theory and Applications of Satisfiability Testing – SAT 2016 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings / Fri, 01 Jan 2016 12:15:16 +0200 https://find.library.upatras.gr/Record/978-3-319-40970-2 https://find.library.upatras.gr/Record/978-3-319-40970-2 Electronic eBook 2016 0 Tools and Algorithms for the Construction and Analysis of Systems 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings / Wed, 01 Jan 2003 12:15:16 +0200 https://find.library.upatras.gr/Record/978-3-540-36577-8 https://find.library.upatras.gr/Record/978-3-540-36577-8 Electronic eBook 2003 0 Foundations of Software Science and Computation Structures 5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002, Proceedings / Tue, 01 Jan 2002 12:15:16 +0200 https://find.library.upatras.gr/Record/978-3-540-45931-6 https://find.library.upatras.gr/Record/978-3-540-45931-6 Electronic eBook 2002 0 Algorithm Theory - SWAT'98 6th Scandinavian Workshop on Algorithm Theory, Stockholm, Sweden, July 8-10, 1998, Proceedings / Thu, 01 Jan 1998 12:15:16 +0200 https://find.library.upatras.gr/Record/978-3-540-69106-8 https://find.library.upatras.gr/Record/978-3-540-69106-8 Electronic eBook 1998 0 Automated Deduction in Geometry Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings / Fri, 01 Jan 1999 12:15:16 +0200 https://find.library.upatras.gr/Record/978-3-540-47997-0 https://find.library.upatras.gr/Record/978-3-540-47997-0 Electronic eBook 1999 0 Computer Science Logic 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings / Fri, 01 Jan 1999 12:15:16 +0200 https://find.library.upatras.gr/Record/978-3-540-48168-3 https://find.library.upatras.gr/Record/978-3-540-48168-3 Electronic eBook 1999 0 Automated Deduction in Geometry International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers / Wed, 01 Jan 1997 12:15:16 +0200 https://find.library.upatras.gr/Record/978-3-540-69717-6 https://find.library.upatras.gr/Record/978-3-540-69717-6 Electronic eBook 1997 0 Theory Reasoning in Connection Calculi Thu, 01 Jan 1998 12:15:16 +0200 https://find.library.upatras.gr/Record/978-3-540-49210-8 https://find.library.upatras.gr/Record/978-3-540-49210-8 Baumgartner, Peter Electronic eBook 1998 Baumgartner, Peter 0 Cost-Benefit Analysis and the Theory of Fuzzy Decisions Identification and Measurement Theory / Thu, 01 Jan 2004 12:15:16 +0200 https://find.library.upatras.gr/Record/978-3-540-44440-4 https://find.library.upatras.gr/Record/978-3-540-44440-4 Dompere, Kofi Kissi Electronic eBook 2004 Dompere, Kofi Kissi 0 Digital Documents: Systems and Principles 8th International Conference on Digital Documents and Electronic Publishing, DDEP 2000, 5th International Workshop on the Principles of Digital Document Processing, PODDP 2000, Munich, Germany, September 13-15, 2000, Revised Papers / Thu, 01 Jan 2004 12:15:16 +0200 https://find.library.upatras.gr/Record/978-3-540-39916-2 https://find.library.upatras.gr/Record/978-3-540-39916-2 Electronic eBook 2004 0 Correct Hardware Design and Verification Methods 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings / Wed, 01 Jan 2003 12:15:16 +0200 https://find.library.upatras.gr/Record/978-3-540-39724-3 https://find.library.upatras.gr/Record/978-3-540-39724-3 Electronic eBook 2003 0 Algorithm Engineering 3rd International Workshop, WAE'99 London, UK, July 19-21, 1999 Proceedings / Fri, 01 Jan 1999 12:15:16 +0200 https://find.library.upatras.gr/Record/978-3-540-48318-2 https://find.library.upatras.gr/Record/978-3-540-48318-2 Electronic eBook 1999 0 OpenMP Shared Memory Parallel Programming International Workshop on OpenMP Applications and Tools, WOMPAT 2003, Toronto, Canada, June 26-27, 2003. Proceedings / Wed, 01 Jan 2003 12:15:16 +0200 https://find.library.upatras.gr/Record/978-3-540-45009-2 https://find.library.upatras.gr/Record/978-3-540-45009-2 Electronic eBook 2003 0 Algorithms and Complexity Third Italian Conference, CIAC'97, Rome, Italy, March 12-14, 1997, Proceedings / Wed, 01 Jan 1997 12:15:16 +0200 https://find.library.upatras.gr/Record/978-3-540-68323-0 https://find.library.upatras.gr/Record/978-3-540-68323-0 Electronic eBook 1997 0 Randomization and Approximation Techniques in Computer Science International Workshop RANDOM'97, Bologna, Italy, July 11-12, 1997 Proceedings / Wed, 01 Jan 1997 12:15:16 +0200 https://find.library.upatras.gr/Record/978-3-540-69247-8 https://find.library.upatras.gr/Record/978-3-540-69247-8 Electronic eBook 1997 0 Mathematical Foundations of Computer Science 2000 25th International Symposium, MFCS 2000 Bratislava, Slovakia, August 28 - September 1, 2000 Proceedings / Sat, 01 Jan 2000 12:15:16 +0200 https://find.library.upatras.gr/Record/978-3-540-44612-5 https://find.library.upatras.gr/Record/978-3-540-44612-5 Electronic eBook 2000 0 Computers and Games Second International Conference, CG 2001, Hamamatsu, Japan, October 26-28, 2000 Revised Papers / Mon, 01 Jan 2001 12:15:16 +0200 https://find.library.upatras.gr/Record/978-3-540-45579-0 https://find.library.upatras.gr/Record/978-3-540-45579-0 Electronic eBook 2001 0 Applications of Evolutionary Computation in Chemistry Thu, 01 Jan 2004 12:15:16 +0200 https://find.library.upatras.gr/Record/978-3-540-44882-2 https://find.library.upatras.gr/Record/978-3-540-44882-2 Electronic eBook 2004 0 Intelligent Tutoring Systems 5th International Conference, ITS 2000, Montreal, Canada, June 19-23, 2000 Proceedings / Sat, 01 Jan 2000 12:15:16 +0200 https://find.library.upatras.gr/Record/978-3-540-45108-2 https://find.library.upatras.gr/Record/978-3-540-45108-2 Electronic eBook 2000 0 Conceptual Structures: Standards and Practices 7th International Conference on Conceptual Structures, ICCS'99, Blacksburg, VA, USA, July 12-15, 1999, Proceedings / Fri, 01 Jan 1999 12:15:16 +0200 https://find.library.upatras.gr/Record/978-3-540-48659-6 https://find.library.upatras.gr/Record/978-3-540-48659-6 Electronic eBook 1999 0 Conceptual Structures: Broadening the Base 9th International Conference on Conceptual Structures, ICCS 2001, Stanford, CA, USA, July 30-August 3, 2001, Proceedings / Mon, 01 Jan 2001 12:15:16 +0200 https://find.library.upatras.gr/Record/978-3-540-44583-8 https://find.library.upatras.gr/Record/978-3-540-44583-8 Electronic eBook 2001 0 Theory and Application of Diagrams First International Conference, Diagrams 2000, Edinburgh, Scotland, UK, September 1-3, 2000 Proceedings / Sat, 01 Jan 2000 12:15:16 +0200 https://find.library.upatras.gr/Record/978-3-540-44590-6 https://find.library.upatras.gr/Record/978-3-540-44590-6 Electronic eBook 2000 0 Advances in Learning Classifier Systems Third International Workshop, IWLCS 2000, Paris, France, September 15-16, 2000. Revised Papers / Mon, 01 Jan 2001 12:15:16 +0200 https://find.library.upatras.gr/Record/978-3-540-44640-8 https://find.library.upatras.gr/Record/978-3-540-44640-8 Electronic eBook 2001 0 High Performance Computing International Symposium, ISHPC'97, Fukuoka, Japan, November 4-6, 1997, Proceedings / Wed, 01 Jan 1997 12:15:16 +0200 https://find.library.upatras.gr/Record/978-3-540-69644-5 https://find.library.upatras.gr/Record/978-3-540-69644-5 Electronic eBook 1997 0 FME 2002: Formal Methods - Getting IT Right International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings / Tue, 01 Jan 2002 12:15:16 +0200 https://find.library.upatras.gr/Record/978-3-540-45614-8 https://find.library.upatras.gr/Record/978-3-540-45614-8 Electronic eBook 2002 0 Graph Drawing 5th International Symposium, GD '97, Rome, Italy, September 18-20, 1997. Proceedings / Wed, 01 Jan 1997 12:15:16 +0200 https://find.library.upatras.gr/Record/978-3-540-69674-2 https://find.library.upatras.gr/Record/978-3-540-69674-2 Electronic eBook 1997 0 Computing and Combinatorics 8th Annual International Conference, COCOON 2002, Singapore, August 15-17, 2002 Proceedings / Tue, 01 Jan 2002 12:15:16 +0200 https://find.library.upatras.gr/Record/978-3-540-45655-1 https://find.library.upatras.gr/Record/978-3-540-45655-1 Electronic eBook 2002 0 Graph-Theoretic Concepts in Computer Science 29th International Workshop, WG 2003, Elspeet, The Netherlands, June 19-21, 2003, Revised Papers / Wed, 01 Jan 2003 12:15:16 +0200 https://find.library.upatras.gr/Record/978-3-540-39890-5 https://find.library.upatras.gr/Record/978-3-540-39890-5 Electronic eBook 2003 0 Logical Foundations of Computer Science 4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings / Wed, 01 Jan 1997 12:15:16 +0200 https://find.library.upatras.gr/Record/978-3-540-69065-8 https://find.library.upatras.gr/Record/978-3-540-69065-8 Electronic eBook 1997 0 Intelligent Exploration of the Web Wed, 01 Jan 2003 12:15:16 +0200 https://find.library.upatras.gr/Record/978-3-7908-1772-0 https://find.library.upatras.gr/Record/978-3-7908-1772-0 Electronic eBook 2003 0 Utility Computing 15th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2004, Davis, CA, USA, November 15-17, 2004. Proceedings / Thu, 01 Jan 2004 12:15:16 +0200 https://find.library.upatras.gr/Record/978-3-540-30184-4 https://find.library.upatras.gr/Record/978-3-540-30184-4 Electronic eBook 2004 0 Algorithms and Computation 11th International Conference, ISAAC 2000, Taipei, Taiwan, December 18-20, 2000. Proceedings / Sat, 01 Jan 2000 12:15:16 +0200 https://find.library.upatras.gr/Record/978-3-540-40996-0 https://find.library.upatras.gr/Record/978-3-540-40996-0 Electronic eBook 2000 0 New Soft Computing Techniques for System Modeling, Pattern Classification and Image Processing Thu, 01 Jan 2004 12:15:16 +0200 https://find.library.upatras.gr/Record/978-3-540-40046-2 https://find.library.upatras.gr/Record/978-3-540-40046-2 Rutkowski, Leszek Electronic eBook 2004 Rutkowski, Leszek 0 Types for Proofs and Programs International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers / Fri, 01 Jan 1999 12:15:16 +0200 https://find.library.upatras.gr/Record/978-3-540-48167-6 https://find.library.upatras.gr/Record/978-3-540-48167-6 Electronic eBook 1999 0 Computational Biology First International Conference on Biology, Informatics, and Mathematics, JOBIM 2000 Montpellier, France, May 3-5, 2000 Selected Papers / Mon, 01 Jan 2001 12:15:16 +0200 https://find.library.upatras.gr/Record/978-3-540-45727-5 https://find.library.upatras.gr/Record/978-3-540-45727-5 Electronic eBook 2001 0 Mathematical Foundations of Computer Science 2002 27th International Symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002. Proceedings / Tue, 01 Jan 2002 12:15:16 +0200 https://find.library.upatras.gr/Record/978-3-540-45687-2 https://find.library.upatras.gr/Record/978-3-540-45687-2 Electronic eBook 2002 0