Αποτελέσματα για "property testing"

Αποτελέσματα για "property testing" Εμφανίζονται 1 - 35 Αποτελέσματα από 35 Laminas_Feed_Writer 2 (https://getlaminas.org) https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22property+testing%22&type=AllFields&lng=el 35 0 50 Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 6th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2003 and 7th International Workshop on Randomization and Approximation Techniques in Computer Science, RANDOM 2003, Princeto, NY, USA, August 24-26,2003 / Wed, 01 Jan 2003 08:46:04 +0200 https://find.library.upatras.gr/Record/978-3-540-45198-3 https://find.library.upatras.gr/Record/978-3-540-45198-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Testing of Communicating Systems 15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings / Wed, 01 Jan 2003 08:46:04 +0200 https://find.library.upatras.gr/Record/978-3-540-44830-3 https://find.library.upatras.gr/Record/978-3-540-44830-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Algorithms - ESA 2001 9th Annual European Symposium, Aarhus, Denmark, August 28-31, 2001, Proceedings / Mon, 01 Jan 2001 08:46:04 +0200 https://find.library.upatras.gr/Record/978-3-540-44676-7 https://find.library.upatras.gr/Record/978-3-540-44676-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 Algorithms - ESA 2000 8th Annual European Symposium Saarbrücken, Germany, September 5-8, 2000 Proceedings / Sat, 01 Jan 2000 08:46:04 +0200 https://find.library.upatras.gr/Record/978-3-540-45253-9 https://find.library.upatras.gr/Record/978-3-540-45253-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2000 0 Particulate Composites Fundamentals and Applications / Fri, 01 Jan 2016 08:46:04 +0200 https://find.library.upatras.gr/Record/978-3-319-29917-4 https://find.library.upatras.gr/Record/978-3-319-29917-4 German, Randall M. Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 German, Randall M. 0 Automata, Languages and Programming 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings / Thu, 01 Jan 2004 08:46:04 +0200 https://find.library.upatras.gr/Record/978-3-540-27836-8 https://find.library.upatras.gr/Record/978-3-540-27836-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 2004 0 Tools and Algorithms for the Construction and Analysis of Systems 10th International Conference, TACAS 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 08:46:04 +0200 https://find.library.upatras.gr/Record/978-3-540-24730-2 https://find.library.upatras.gr/Record/978-3-540-24730-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2004 0 57060.pdf Fri, 01 Jan 2021 08:46:04 +0200 https://find.library.upatras.gr/Record/oapen-20.500.12657-49184 https://find.library.upatras.gr/Record/oapen-20.500.12657-49184 2021 0 Computer Science - Theory and Applications 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings / Wed, 01 Jan 2014 08:46:04 +0200 https://find.library.upatras.gr/Record/978-3-319-06686-8 https://find.library.upatras.gr/Record/978-3-319-06686-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 2014 0 Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I / Tue, 01 Jan 2008 08:46:04 +0200 https://find.library.upatras.gr/Record/978-3-540-70575-8 https://find.library.upatras.gr/Record/978-3-540-70575-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 2008 0 Algorithmic Learning Theory 19th International Conference, ALT 2008, Budapest, Hungary, October 13-16, 2008. Proceedings / Tue, 01 Jan 2008 08:46:04 +0200 https://find.library.upatras.gr/Record/978-3-540-87987-9 https://find.library.upatras.gr/Record/978-3-540-87987-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2008 0 Studies in Complexity and Cryptography. Miscellanea on the Interplay between Randomness and Computation In Collaboration with Lidor Avigad, Mihir Bellare, Zvika Brakerski, Shafi Goldwasser, Shai Halevi, Tali Kaufman, Leonid Levin, Noam Nisan, Dana Ron, Madhu Sudan, Luca Trevisan, Salil Vadhan, Avi Wigderson, David Zuckerman / Sat, 01 Jan 2011 08:46:04 +0200 https://find.library.upatras.gr/Record/978-3-642-22670-0 https://find.library.upatras.gr/Record/978-3-642-22670-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2011 0 Topics in Discrete Mathematics Dedicated to Jarik Nešetřil on the Occasion of his 60th Birthday / Sun, 01 Jan 2006 08:46:04 +0200 https://find.library.upatras.gr/Record/978-3-540-33700-3 https://find.library.upatras.gr/Record/978-3-540-33700-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2006 0 Discovery Science 11th International Conference, DS 2008, Budapest, Hungary, October 13-16, 2008. Proceedings / Tue, 01 Jan 2008 08:46:04 +0200 https://find.library.upatras.gr/Record/978-3-540-88411-8 https://find.library.upatras.gr/Record/978-3-540-88411-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 2008 0 Polypropylene Handbook Morphology, Blends and Composites / Tue, 01 Jan 2019 08:46:04 +0200 https://find.library.upatras.gr/Record/978-3-030-12903-3 https://find.library.upatras.gr/Record/978-3-030-12903-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2019 0 Jute Geotextiles and their Applications in Civil Engineering Sun, 01 Jan 2017 08:46:04 +0200 https://find.library.upatras.gr/Record/978-981-10-1932-6 https://find.library.upatras.gr/Record/978-981-10-1932-6 Sanyal, Tapobrata Ηλεκτρονική πηγή Ηλ. βιβλίο 2017 Sanyal, Tapobrata 0 LATIN 2018: Theoretical Informatics 13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018, Proceedings / Mon, 01 Jan 2018 08:46:04 +0200 https://find.library.upatras.gr/Record/978-3-319-77404-6 https://find.library.upatras.gr/Record/978-3-319-77404-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2018 0 Algorithms – ESA 2010 18th Annual European Symposium, Liverpool, UK, September 6-8, 2010. Proceedings, Part I / Fri, 01 Jan 2010 08:46:04 +0200 https://find.library.upatras.gr/Record/978-3-642-15775-2 https://find.library.upatras.gr/Record/978-3-642-15775-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2010 0 Property Testing Current Research and Surveys / Fri, 01 Jan 2010 08:46:04 +0200 https://find.library.upatras.gr/Record/978-3-642-16367-8 https://find.library.upatras.gr/Record/978-3-642-16367-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 2010 0 Formal Approaches to Software Testing 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers / Sat, 01 Jan 2005 08:46:04 +0200 https://find.library.upatras.gr/Record/978-3-540-31848-4 https://find.library.upatras.gr/Record/978-3-540-31848-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2005 0 STACS 2005 22nd Annual Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, February 24-26, 2005. Proceedings / Sat, 01 Jan 2005 08:46:04 +0200 https://find.library.upatras.gr/Record/978-3-540-31856-9 https://find.library.upatras.gr/Record/978-3-540-31856-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2005 0 Fundamentals of Computation Theory 15th International Symposium, FCT 2005, Lübeck, Germany, August 17-20, 2005. Proceedings / Sat, 01 Jan 2005 08:46:04 +0200 https://find.library.upatras.gr/Record/978-3-540-31873-6 https://find.library.upatras.gr/Record/978-3-540-31873-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2005 0 Application of Bamboo in Building Envelope Tue, 01 Jan 2019 08:46:04 +0200 https://find.library.upatras.gr/Record/978-3-030-12032-0 https://find.library.upatras.gr/Record/978-3-030-12032-0 Huang, Zujian Ηλεκτρονική πηγή Ηλ. βιβλίο 2019 Huang, Zujian 0 Composite Materials Engineering, Volume 1 Fundamentals of Composite Materials / Mon, 01 Jan 2018 08:46:04 +0200 https://find.library.upatras.gr/Record/978-981-10-5696-3 https://find.library.upatras.gr/Record/978-981-10-5696-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2018 0 On the Learnability of Physically Unclonable Functions Mon, 01 Jan 2018 08:46:04 +0200 https://find.library.upatras.gr/Record/978-3-319-76717-8 https://find.library.upatras.gr/Record/978-3-319-76717-8 Ganji, Fatemeh Ηλεκτρονική πηγή Ηλ. βιβλίο 2018 Ganji, Fatemeh 0 Learning Theory 20th Annual Conference on Learning Theory, COLT 2007, San Diego, CA, USA; June 13-15, 2007. Proceedings / Mon, 01 Jan 2007 08:46:04 +0200 https://find.library.upatras.gr/Record/978-3-540-72927-3 https://find.library.upatras.gr/Record/978-3-540-72927-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2007 0 Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 10th International Workshop, APPROX 2007, and 11th International Workshop, RANDOM 2007, Princeton, NJ, USA, August 20-22, 2007. Proceedings / Mon, 01 Jan 2007 08:46:04 +0200 https://find.library.upatras.gr/Record/978-3-540-74208-1 https://find.library.upatras.gr/Record/978-3-540-74208-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2007 0 LATIN 2008: Theoretical Informatics 8th Latin American Symposium, Búzios, Brazil, April 7-11, 2008. Proceedings / Tue, 01 Jan 2008 08:46:04 +0200 https://find.library.upatras.gr/Record/978-3-540-78773-0 https://find.library.upatras.gr/Record/978-3-540-78773-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2008 0 High-Voltage Test and Measuring Techniques Tue, 01 Jan 2019 08:46:04 +0200 https://find.library.upatras.gr/Record/978-3-319-97460-6 https://find.library.upatras.gr/Record/978-3-319-97460-6 Hauschild, Wolfgang Ηλεκτρονική πηγή Ηλ. βιβλίο 2019 Hauschild, Wolfgang 0 Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 12th International Workshop, APPROX 2009, and 13th International Workshop, RANDOM 2009, Berkeley, CA, USA, August 21-23, 2009. Proceedings / Thu, 01 Jan 2009 08:46:04 +0200 https://find.library.upatras.gr/Record/978-3-642-03685-9 https://find.library.upatras.gr/Record/978-3-642-03685-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2009 0 Sparsity Graphs, Structures, and Algorithms / Sun, 01 Jan 2012 08:46:04 +0200 https://find.library.upatras.gr/Record/978-3-642-27875-4 https://find.library.upatras.gr/Record/978-3-642-27875-4 Nešetřil, Jaroslav Ηλεκτρονική πηγή Ηλ. βιβλίο 2012 Nešetřil, Jaroslav 0 Materials, Technologies and Practice in Historic Heritage Structures Fri, 01 Jan 2010 08:46:04 +0200 https://find.library.upatras.gr/Record/978-90-481-2684-2 https://find.library.upatras.gr/Record/978-90-481-2684-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2010 0 Handbook of Massive Data Sets Tue, 01 Jan 2002 08:46:04 +0200 https://find.library.upatras.gr/Record/92952 https://find.library.upatras.gr/Record/92952 Βιβλίο 2002 0 Soil properties : Testing, measurement, and evaluation / Wed, 01 Jan 1997 08:46:04 +0200 https://find.library.upatras.gr/Record/171607 https://find.library.upatras.gr/Record/171607 Liu, Cheng Βιβλίο 1997 Liu, Cheng 0 Soil properties : Testing, measurement, and evaluation / Wed, 01 Jan 2003 08:46:04 +0200 https://find.library.upatras.gr/Record/172297 https://find.library.upatras.gr/Record/172297 Liu, Cheng Βιβλίο 2003 Liu, Cheng 0