Results for "Computing Methodologies."

Results for "Computing Methodologies." Showing 1 - 50 results of 339 Laminas_Feed_Writer 2 (https://getlaminas.org) https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22Computing+Methodologies.%22&type=Subject&lng=en 339 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 22:02:06 +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 Pattern and Security Requirements Engineering-Based Establishment of Security Standards / Thu, 01 Jan 2015 22:02:06 +0200 https://find.library.upatras.gr/Record/978-3-319-16664-3 https://find.library.upatras.gr/Record/978-3-319-16664-3 Beckers, Kristian Electronic eBook 2015 Beckers, Kristian 0 Collaborative Information Seeking Best Practices, New Domains and New Thoughts / Thu, 01 Jan 2015 22:02:06 +0200 https://find.library.upatras.gr/Record/978-3-319-18988-8 https://find.library.upatras.gr/Record/978-3-319-18988-8 Electronic eBook 2015 0 Computer Science and Its Applications 5th IFIP TC 5 International Conference, CIIA 2015, Saida, Algeria, May 20-21, 2015, Proceedings / Thu, 01 Jan 2015 22:02:06 +0200 https://find.library.upatras.gr/Record/978-3-319-19578-0 https://find.library.upatras.gr/Record/978-3-319-19578-0 Electronic eBook 2015 0 Beyond jQuery Fri, 01 Jan 2016 22:02:06 +0200 https://find.library.upatras.gr/Record/978-1-4842-2235-5 https://find.library.upatras.gr/Record/978-1-4842-2235-5 Nicholus, Ray Electronic eBook 2016 Nicholus, Ray 0 OS X App Development with CloudKit and Swift Fri, 01 Jan 2016 22:02:06 +0200 https://find.library.upatras.gr/Record/978-1-4842-1880-8 https://find.library.upatras.gr/Record/978-1-4842-1880-8 Wade, Bruce Electronic eBook 2016 Wade, Bruce 0 Stack Frames A Look From Inside / Fri, 01 Jan 2016 22:02:06 +0200 https://find.library.upatras.gr/Record/978-1-4842-2181-5 https://find.library.upatras.gr/Record/978-1-4842-2181-5 Di Cataldo, Giuseppe Electronic eBook 2016 Di Cataldo, Giuseppe 0 Beyond Databases, Architectures and Structures. Advanced Technologies for Data Mining and Knowledge Discovery 12th International Conference, BDAS 2016, Ustroń, Poland, May 31 - June 3, 2016, Proceedings / Fri, 01 Jan 2016 22:02:06 +0200 https://find.library.upatras.gr/Record/978-3-319-34099-9 https://find.library.upatras.gr/Record/978-3-319-34099-9 Electronic eBook 2016 0 Geographical Information Systems Theory, Applications and Management First International Conference, GISTAM 2015, Barcelona, Spain, April 28-30, 2015, Revised Selected Papers / Fri, 01 Jan 2016 22:02:06 +0200 https://find.library.upatras.gr/Record/978-3-319-29589-3 https://find.library.upatras.gr/Record/978-3-319-29589-3 Electronic eBook 2016 0 Nginx From Beginner to Pro / Fri, 01 Jan 2016 22:02:06 +0200 https://find.library.upatras.gr/Record/978-1-4842-1656-9 https://find.library.upatras.gr/Record/978-1-4842-1656-9 Soni, Rahul Electronic eBook 2016 Soni, Rahul 0 Databases and Information Systems 12th International Baltic Conference, DB&IS 2016, Riga, Latvia, July 4-6, 2016, Proceedings / Fri, 01 Jan 2016 22:02:06 +0200 https://find.library.upatras.gr/Record/978-3-319-40180-5 https://find.library.upatras.gr/Record/978-3-319-40180-5 Electronic eBook 2016 0 Social Computing in Digital Education First International Workshop, SOCIALEDU 2015, Stanford, CA, USA, August 19, 2015, Revised Selected Papers / Fri, 01 Jan 2016 22:02:06 +0200 https://find.library.upatras.gr/Record/978-3-319-39672-9 https://find.library.upatras.gr/Record/978-3-319-39672-9 Electronic eBook 2016 0 Relaxed Abduction Robust Information Interpretation for Industrial Applications / Fri, 01 Jan 2016 22:02:06 +0200 https://find.library.upatras.gr/Record/978-3-658-14407-4 https://find.library.upatras.gr/Record/978-3-658-14407-4 Hubauer, Thomas Electronic eBook 2016 Hubauer, Thomas 0 Certified OpenStack Administrator Study Guide Fri, 01 Jan 2016 22:02:06 +0200 https://find.library.upatras.gr/Record/978-1-4842-2125-9 https://find.library.upatras.gr/Record/978-1-4842-2125-9 Markelov, Andrey Electronic eBook 2016 Markelov, Andrey 0 Ansible From Beginner to Pro / Fri, 01 Jan 2016 22:02:06 +0200 https://find.library.upatras.gr/Record/978-1-4842-1659-0 https://find.library.upatras.gr/Record/978-1-4842-1659-0 Heap, Michael Electronic eBook 2016 Heap, Michael 0 Absolute Beginners Guide to Computing Fri, 01 Jan 2016 22:02:06 +0200 https://find.library.upatras.gr/Record/978-1-4842-2289-8 https://find.library.upatras.gr/Record/978-1-4842-2289-8 Wang, Wallace Electronic eBook 2016 Wang, Wallace 0 Product Lifecycle Management in the Era of Internet of Things 12th IFIP WG 5.1 International Conference, PLM 2015, Doha, Qatar, October 19-21, 2015, Revised Selected Papers / Fri, 01 Jan 2016 22:02:06 +0200 https://find.library.upatras.gr/Record/978-3-319-33111-9 https://find.library.upatras.gr/Record/978-3-319-33111-9 Electronic eBook 2016 0 Social Machines The Coming Collision of Artificial Intelligence, Social Networking, and Humanity / Fri, 01 Jan 2016 22:02:06 +0200 https://find.library.upatras.gr/Record/978-1-4842-1156-4 https://find.library.upatras.gr/Record/978-1-4842-1156-4 Hendler, James Electronic eBook 2016 Hendler, James 0 Encyclopedia of Algorithms Fri, 01 Jan 2016 22:02:06 +0200 https://find.library.upatras.gr/Record/978-1-4939-2864-4 https://find.library.upatras.gr/Record/978-1-4939-2864-4 Electronic eBook 2016 0 Computational Intelligence in Data Mining—Volume 2 Proceedings of the International Conference on CIDM, 5-6 December 2015 / Fri, 01 Jan 2016 22:02:06 +0200 https://find.library.upatras.gr/Record/978-81-322-2731-1 https://find.library.upatras.gr/Record/978-81-322-2731-1 Electronic eBook 2016 0 Introducing SEO Your quick-start guide to effective SEO practices / Fri, 01 Jan 2016 22:02:06 +0200 https://find.library.upatras.gr/Record/978-1-4842-1854-9 https://find.library.upatras.gr/Record/978-1-4842-1854-9 Shenoy, Aravind Electronic eBook 2016 Shenoy, Aravind 0 An Introduction to Data Analysis using Aggregation Functions in R Fri, 01 Jan 2016 22:02:06 +0200 https://find.library.upatras.gr/Record/978-3-319-46762-7 https://find.library.upatras.gr/Record/978-3-319-46762-7 James, Simon Electronic eBook 2016 James, Simon 0 Pro MEAN Stack Development Fri, 01 Jan 2016 22:02:06 +0200 https://find.library.upatras.gr/Record/978-1-4842-2044-3 https://find.library.upatras.gr/Record/978-1-4842-2044-3 Elrom, Elad Electronic eBook 2016 Elrom, Elad 0 Harmony Search Algorithm Proceedings of the 2nd International Conference on Harmony Search Algorithm (ICHSA2015) / Fri, 01 Jan 2016 22:02:06 +0200 https://find.library.upatras.gr/Record/978-3-662-47926-1 https://find.library.upatras.gr/Record/978-3-662-47926-1 Electronic eBook 2016 0 Data Management Technologies and Applications 4th International Conference, DATA 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers / Fri, 01 Jan 2016 22:02:06 +0200 https://find.library.upatras.gr/Record/978-3-319-30162-4 https://find.library.upatras.gr/Record/978-3-319-30162-4 Electronic eBook 2016 0 Computational Intelligence in Data Mining—Volume 1 Proceedings of the International Conference on CIDM, 5-6 December 2015 / Fri, 01 Jan 2016 22:02:06 +0200 https://find.library.upatras.gr/Record/978-81-322-2734-2 https://find.library.upatras.gr/Record/978-81-322-2734-2 Electronic eBook 2016 0 Games-To-Teach or Games-To-Learn Unlocking the Power of Digital Game-Based Learning Through Performance / Fri, 01 Jan 2016 22:02:06 +0200 https://find.library.upatras.gr/Record/978-981-287-518-1 https://find.library.upatras.gr/Record/978-981-287-518-1 Chee, Yam San Electronic eBook 2016 Chee, Yam San 0 Intelligent Computing Systems First International Symposium, ISICS 2016, Mérida, México, March 16-18, 2016, Proceedings / Fri, 01 Jan 2016 22:02:06 +0200 https://find.library.upatras.gr/Record/978-3-319-30447-2 https://find.library.upatras.gr/Record/978-3-319-30447-2 Electronic eBook 2016 0 Advances in Production Management Systems. Initiatives for a Sustainable World IFIP WG 5.7 International Conference, APMS 2016, Iguassu Falls, Brazil, September 3-7, 2016, Revised Selected Papers / Fri, 01 Jan 2016 22:02:06 +0200 https://find.library.upatras.gr/Record/978-3-319-51133-7 https://find.library.upatras.gr/Record/978-3-319-51133-7 Electronic eBook 2016 0 Product Lifecycle Management for Digital Transformation of Industries 13th IFIP WG 5.1 International Conference, PLM 2016, Columbia, SC, USA, July 11-13, 2016, Revised Selected Papers / Fri, 01 Jan 2016 22:02:06 +0200 https://find.library.upatras.gr/Record/978-3-319-54660-5 https://find.library.upatras.gr/Record/978-3-319-54660-5 Electronic eBook 2016 0 Reactive Programming with Node.js Fri, 01 Jan 2016 22:02:06 +0200 https://find.library.upatras.gr/Record/978-1-4842-2152-5 https://find.library.upatras.gr/Record/978-1-4842-2152-5 Doglio, Fernando Electronic eBook 2016 Doglio, Fernando 0 Cognitive Radio Oriented Wireless Networks 11th International Conference, CROWNCOM 2016, Grenoble, France, May 30 - June 1, 2016, Proceedings / Fri, 01 Jan 2016 22:02:06 +0200 https://find.library.upatras.gr/Record/978-3-319-40352-6 https://find.library.upatras.gr/Record/978-3-319-40352-6 Electronic eBook 2016 0 Multilevel Business Processes Modeling and Data Analysis / Thu, 01 Jan 2015 22:02:06 +0200 https://find.library.upatras.gr/Record/978-3-658-11084-0 https://find.library.upatras.gr/Record/978-3-658-11084-0 G. Schuetz, Christoph Electronic eBook 2015 G. Schuetz, Christoph 0 Agent Technology for Intelligent Mobile Services and Smart Societies Workshop on Collaborative Agents, Research and Development, CARE 2014, and Workshop on Agents, Virtual Societies and Analytics, AVSA 2014, Held as Part of AAMAS 2014, Paris, France, May 5-9, 2014. Revised Selected Papers / Thu, 01 Jan 2015 22:02:06 +0200 https://find.library.upatras.gr/Record/978-3-662-46241-6 https://find.library.upatras.gr/Record/978-3-662-46241-6 Electronic eBook 2015 0 Computational Intelligence in Data Mining - Volume 3 Proceedings of the International Conference on CIDM, 20-21 December 2014 / Thu, 01 Jan 2015 22:02:06 +0200 https://find.library.upatras.gr/Record/978-81-322-2202-6 https://find.library.upatras.gr/Record/978-81-322-2202-6 Electronic eBook 2015 0 Computational Intelligence in Data Mining - Volume 1 Proceedings of the International Conference on CIDM, 20-21 December 2014 / Thu, 01 Jan 2015 22:02:06 +0200 https://find.library.upatras.gr/Record/978-81-322-2205-7 https://find.library.upatras.gr/Record/978-81-322-2205-7 Electronic eBook 2015 0 Computational Intelligence in Data Mining - Volume 2 Proceedings of the International Conference on CIDM, 20-21 December 2014 / Thu, 01 Jan 2015 22:02:06 +0200 https://find.library.upatras.gr/Record/978-81-322-2208-8 https://find.library.upatras.gr/Record/978-81-322-2208-8 Electronic eBook 2015 0 System-on-a-Chip Verification Methodology and Techniques / Tue, 01 Jan 2002 22:02:06 +0200 https://find.library.upatras.gr/Record/978-0-306-46995-4 https://find.library.upatras.gr/Record/978-0-306-46995-4 Rashinkar, Prakash Electronic eBook 2002 Rashinkar, Prakash 0 Formal Techniques for Networked and Distributed Systems FORTE 2001 IFIP TC6/WG6.1 — 21st International Conference on Formal Techniques for Networked and Distributed Systems August 28–31, 2001, Cheju Island, Korea / Tue, 01 Jan 2002 22:02:06 +0200 https://find.library.upatras.gr/Record/978-0-306-47003-5 https://find.library.upatras.gr/Record/978-0-306-47003-5 Electronic eBook 2002 0 New Developments in Distributed Applications and Interoperable Systems IFIP TC6/WG6.1 Third International Working Conference on Distributed Applications and Interoperable Systems September 17–19, 2001, Kraków, Poland / Tue, 01 Jan 2002 22:02:06 +0200 https://find.library.upatras.gr/Record/978-0-306-47005-9 https://find.library.upatras.gr/Record/978-0-306-47005-9 Electronic eBook 2002 0 Logic Synthesis and Verification Algorithms Mon, 01 Jan 1996 22:02:06 +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 Piton A Mechanically Verified Assembly-Level Language / Mon, 01 Jan 1996 22:02:06 +0200 https://find.library.upatras.gr/Record/978-0-585-33654-1 https://find.library.upatras.gr/Record/978-0-585-33654-1 Moore, J Strother Electronic eBook 1996 Moore, J Strother 0 Equivalence Checking of Digital Circuits Fundamentals, Principles, Methods / Thu, 01 Jan 2004 22:02:06 +0200 https://find.library.upatras.gr/Record/978-1-4020-2603-4 https://find.library.upatras.gr/Record/978-1-4020-2603-4 Molitor, Paul Electronic eBook 2004 Molitor, Paul 0 Frontiers of Evolutionary Computation Thu, 01 Jan 2004 22:02:06 +0200 https://find.library.upatras.gr/Record/978-1-4020-7782-1 https://find.library.upatras.gr/Record/978-1-4020-7782-1 Electronic eBook 2004 0 Formal Methods for Embedded Distributed Systems How to master the complexity / Thu, 01 Jan 2004 22:02:06 +0200 https://find.library.upatras.gr/Record/978-1-4020-7997-9 https://find.library.upatras.gr/Record/978-1-4020-7997-9 Electronic eBook 2004 0 Computational Science - ICCS 2004 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part I / Thu, 01 Jan 2004 22:02:06 +0200 https://find.library.upatras.gr/Record/978-3-540-24685-5 https://find.library.upatras.gr/Record/978-3-540-24685-5 Electronic eBook 2004 0 Computational Science - ICCS 2004 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part II / Thu, 01 Jan 2004 22:02:06 +0200 https://find.library.upatras.gr/Record/978-3-540-24687-9 https://find.library.upatras.gr/Record/978-3-540-24687-9 Electronic eBook 2004 0 Computational Science - ICCS 2004 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part III / Thu, 01 Jan 2004 22:02:06 +0200 https://find.library.upatras.gr/Record/978-3-540-24688-6 https://find.library.upatras.gr/Record/978-3-540-24688-6 Electronic eBook 2004 0 System Specification & Design Languages Best of FDL’02 / Wed, 01 Jan 2003 22:02:06 +0200 https://find.library.upatras.gr/Record/978-0-306-48734-7 https://find.library.upatras.gr/Record/978-0-306-48734-7 Electronic eBook 2003 0 Verification by Error Modeling Using Testing Techniques in Hardware Verification / Wed, 01 Jan 2003 22:02:06 +0200 https://find.library.upatras.gr/Record/978-0-306-48739-2 https://find.library.upatras.gr/Record/978-0-306-48739-2 Radecka, Katarzyna Electronic eBook 2003 Radecka, Katarzyna 0