Αποτελέσματα για "Concurrency (computer science)

Αποτελέσματα για "Concurrency (computer science) Εμφανίζονται 1 - 50 Αποτελέσματα από 1522 Laminas_Feed_Writer 2 (https://getlaminas.org) https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22Concurrency+%28computer+science%29&type=AllFields&lng=el 1522 0 50 Multibody Mechatronic Systems Proceedings of the MUSME Conference held in Huatulco, Mexico, October 21-24, 2014 / Thu, 01 Jan 2015 11:45:55 +0200 https://find.library.upatras.gr/Record/978-3-319-09858-6 https://find.library.upatras.gr/Record/978-3-319-09858-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers / Thu, 01 Jan 2015 11:45:55 +0200 https://find.library.upatras.gr/Record/978-3-319-15201-1 https://find.library.upatras.gr/Record/978-3-319-15201-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Language and Automata Theory and Applications 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings / Thu, 01 Jan 2015 11:45:55 +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 Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures / Thu, 01 Jan 2015 11:45:55 +0200 https://find.library.upatras.gr/Record/978-3-319-18941-3 https://find.library.upatras.gr/Record/978-3-319-18941-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Formal Techniques for Distributed Objects, Components, and Systems 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings / Thu, 01 Jan 2015 11:45:55 +0200 https://find.library.upatras.gr/Record/978-3-319-19195-9 https://find.library.upatras.gr/Record/978-3-319-19195-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Coordination Models and Languages 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings / Thu, 01 Jan 2015 11:45:55 +0200 https://find.library.upatras.gr/Record/978-3-319-19282-6 https://find.library.upatras.gr/Record/978-3-319-19282-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part I / Thu, 01 Jan 2015 11:45:55 +0200 https://find.library.upatras.gr/Record/978-3-319-19324-3 https://find.library.upatras.gr/Record/978-3-319-19324-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part II / Thu, 01 Jan 2015 11:45:55 +0200 https://find.library.upatras.gr/Record/978-3-319-19369-4 https://find.library.upatras.gr/Record/978-3-319-19369-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Application and Theory of Petri Nets and Concurrency 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings / Thu, 01 Jan 2015 11:45:55 +0200 https://find.library.upatras.gr/Record/978-3-319-19488-2 https://find.library.upatras.gr/Record/978-3-319-19488-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Intelligent Cloud Computing First International Conference, ICC 2014, Muscat, Oman, February 24-26, 2014, Revised Selected Papers / Thu, 01 Jan 2015 11:45:55 +0200 https://find.library.upatras.gr/Record/978-3-319-19848-4 https://find.library.upatras.gr/Record/978-3-319-19848-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Object-Oriented Technology Thu, 01 Jan 2015 11:45:55 +0200 https://find.library.upatras.gr/Record/978-3-319-20442-0 https://find.library.upatras.gr/Record/978-3-319-20442-0 Alagić, Suad Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 Alagić, Suad 0 Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings / Thu, 01 Jan 2015 11:45:55 +0200 https://find.library.upatras.gr/Record/978-3-319-21215-9 https://find.library.upatras.gr/Record/978-3-319-21215-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Introduction to Concurrency Theory Transition Systems and CCS / Thu, 01 Jan 2015 11:45:55 +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 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 Gorrieri, Roberto 0 Developments in Language Theory 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings. / Thu, 01 Jan 2015 11:45:55 +0200 https://find.library.upatras.gr/Record/978-3-319-21500-6 https://find.library.upatras.gr/Record/978-3-319-21500-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II / Thu, 01 Jan 2015 11:45:55 +0200 https://find.library.upatras.gr/Record/978-3-319-21668-3 https://find.library.upatras.gr/Record/978-3-319-21668-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I / Thu, 01 Jan 2015 11:45:55 +0200 https://find.library.upatras.gr/Record/978-3-319-21690-4 https://find.library.upatras.gr/Record/978-3-319-21690-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Advanced Intelligent Computing Theories and Applications 11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015. Proceedings, Part III / Thu, 01 Jan 2015 11:45:55 +0200 https://find.library.upatras.gr/Record/978-3-319-22053-6 https://find.library.upatras.gr/Record/978-3-319-22053-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings / Thu, 01 Jan 2015 11:45:55 +0200 https://find.library.upatras.gr/Record/978-3-319-22102-1 https://find.library.upatras.gr/Record/978-3-319-22102-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings / Thu, 01 Jan 2015 11:45:55 +0200 https://find.library.upatras.gr/Record/978-3-319-22969-0 https://find.library.upatras.gr/Record/978-3-319-22969-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Logic, Rewriting, and Concurrency Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday / Thu, 01 Jan 2015 11:45:55 +0200 https://find.library.upatras.gr/Record/978-3-319-23165-5 https://find.library.upatras.gr/Record/978-3-319-23165-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings / Thu, 01 Jan 2015 11:45:55 +0200 https://find.library.upatras.gr/Record/978-3-319-23264-5 https://find.library.upatras.gr/Record/978-3-319-23264-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Learning Groovy Fri, 01 Jan 2016 11:45:55 +0200 https://find.library.upatras.gr/Record/978-1-4842-2117-4 https://find.library.upatras.gr/Record/978-1-4842-2117-4 Davis, Adam L. Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 Davis, Adam L. 0 Coordination Models and Languages 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings / Fri, 01 Jan 2016 11:45:55 +0200 https://find.library.upatras.gr/Record/978-3-319-39519-7 https://find.library.upatras.gr/Record/978-3-319-39519-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Advanced Composites for Aerospace, Marine, and Land Applications Fri, 01 Jan 2016 11:45:55 +0200 https://find.library.upatras.gr/Record/978-3-319-48096-1 https://find.library.upatras.gr/Record/978-3-319-48096-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Practical Oracle E-Business Suite An Implementation and Management Guide / Fri, 01 Jan 2016 11:45:55 +0200 https://find.library.upatras.gr/Record/978-1-4842-1422-0 https://find.library.upatras.gr/Record/978-1-4842-1422-0 Zaheer, Syed Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 Zaheer, Syed 0 Advanced Composites for Aerospace, Marine, and Land Applications II Fri, 01 Jan 2016 11:45:55 +0200 https://find.library.upatras.gr/Record/978-3-319-48141-8 https://find.library.upatras.gr/Record/978-3-319-48141-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Go Recipes A Problem-Solution Approach / Fri, 01 Jan 2016 11:45:55 +0200 https://find.library.upatras.gr/Record/978-1-4842-1188-5 https://find.library.upatras.gr/Record/978-1-4842-1188-5 Varghese, Shiju Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 Varghese, Shiju 0 Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings / Fri, 01 Jan 2016 11:45:55 +0200 https://find.library.upatras.gr/Record/978-3-319-29604-3 https://find.library.upatras.gr/Record/978-3-319-29604-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Respiratory Medicine and Science Fri, 01 Jan 2016 11:45:55 +0200 https://find.library.upatras.gr/Record/978-3-319-30659-9 https://find.library.upatras.gr/Record/978-3-319-30659-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Multi-Agent Systems and Agreement Technologies 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers / Fri, 01 Jan 2016 11:45:55 +0200 https://find.library.upatras.gr/Record/978-3-319-33509-4 https://find.library.upatras.gr/Record/978-3-319-33509-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Understanding Control Flow Concurrent Programming Using μC++ / Fri, 01 Jan 2016 11:45:55 +0200 https://find.library.upatras.gr/Record/978-3-319-25703-7 https://find.library.upatras.gr/Record/978-3-319-25703-7 Buhr, Peter A. Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 Buhr, Peter A. 0 Social Robotics 8th International Conference, ICSR 2016, Kansas City, MO, USA, November 1-3, 2016 Proceedings / Fri, 01 Jan 2016 11:45:55 +0200 https://find.library.upatras.gr/Record/978-3-319-47437-3 https://find.library.upatras.gr/Record/978-3-319-47437-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II / Fri, 01 Jan 2016 11:45:55 +0200 https://find.library.upatras.gr/Record/978-3-319-41540-6 https://find.library.upatras.gr/Record/978-3-319-41540-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I / Fri, 01 Jan 2016 11:45:55 +0200 https://find.library.upatras.gr/Record/978-3-319-41528-4 https://find.library.upatras.gr/Record/978-3-319-41528-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings / Fri, 01 Jan 2016 11:45:55 +0200 https://find.library.upatras.gr/Record/978-3-319-46982-9 https://find.library.upatras.gr/Record/978-3-319-46982-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Dependable Software Engineering: Theories, Tools, and Applications Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings / Fri, 01 Jan 2016 11:45:55 +0200 https://find.library.upatras.gr/Record/978-3-319-47677-3 https://find.library.upatras.gr/Record/978-3-319-47677-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Reliable Software Technologies – Ada-Europe 2016 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings / Fri, 01 Jan 2016 11:45:55 +0200 https://find.library.upatras.gr/Record/978-3-319-39083-3 https://find.library.upatras.gr/Record/978-3-319-39083-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings / Fri, 01 Jan 2016 11:45:55 +0200 https://find.library.upatras.gr/Record/978-3-319-33693-0 https://find.library.upatras.gr/Record/978-3-319-33693-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Fundamental Approaches to Software Engineering 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016, Proceedings / Fri, 01 Jan 2016 11:45:55 +0200 https://find.library.upatras.gr/Record/978-3-662-49665-7 https://find.library.upatras.gr/Record/978-3-662-49665-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Advances in Cryptology - CRYPTO 2002 22nd Annual International Cryptology Conference Santa Barbara, California, USA, August 18-22, 2002. Proceedings / Tue, 01 Jan 2002 11:45:55 +0200 https://find.library.upatras.gr/Record/978-3-540-45708-4 https://find.library.upatras.gr/Record/978-3-540-45708-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 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 11:45:55 +0200 https://find.library.upatras.gr/Record/978-3-540-36577-8 https://find.library.upatras.gr/Record/978-3-540-36577-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 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 11:45:55 +0200 https://find.library.upatras.gr/Record/978-3-540-45931-6 https://find.library.upatras.gr/Record/978-3-540-45931-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0 Reliable Software Technologies - Ada-Europe 2002 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002, Proceedings / Tue, 01 Jan 2002 11:45:55 +0200 https://find.library.upatras.gr/Record/978-3-540-48046-4 https://find.library.upatras.gr/Record/978-3-540-48046-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0 Algorithm Theory - SWAT'98 6th Scandinavian Workshop on Algorithm Theory, Stockholm, Sweden, July 8-10, 1998, Proceedings / Thu, 01 Jan 1998 11:45:55 +0200 https://find.library.upatras.gr/Record/978-3-540-69106-8 https://find.library.upatras.gr/Record/978-3-540-69106-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 1998 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 11:45:55 +0200 https://find.library.upatras.gr/Record/978-3-540-48168-3 https://find.library.upatras.gr/Record/978-3-540-48168-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 1999 0 Reliable Software Technologies - Ada-Europe '99 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999, Proceedings / Fri, 01 Jan 1999 11:45:55 +0200 https://find.library.upatras.gr/Record/978-3-540-48753-1 https://find.library.upatras.gr/Record/978-3-540-48753-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 1999 0 Languages and Compilers for Parallel Computing 10th International Workshop, LCPC'97, Minneapolis, Minnesota, USA, August 7-9, 1997. Proceedings / Thu, 01 Jan 1998 11:45:55 +0200 https://find.library.upatras.gr/Record/978-3-540-69788-6 https://find.library.upatras.gr/Record/978-3-540-69788-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 1998 0 Cooperative Design, Visualization, and Engineering First International Conference, CDVE 2004, Palma de Mallorca, Spain, September 19-22, 2004, Proceedings / Thu, 01 Jan 2004 11:45:55 +0200 https://find.library.upatras.gr/Record/978-3-540-30103-5 https://find.library.upatras.gr/Record/978-3-540-30103-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 2004 0 Formal Methods and Software Engineering 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings / Wed, 01 Jan 2003 11:45:55 +0200 https://find.library.upatras.gr/Record/978-3-540-39893-6 https://find.library.upatras.gr/Record/978-3-540-39893-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2004, Agia Napa, Cyprus, October 25-29, 2004. Proceedings. Part I / Thu, 01 Jan 2004 11:45:55 +0200 https://find.library.upatras.gr/Record/978-3-540-30468-5 https://find.library.upatras.gr/Record/978-3-540-30468-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 2004 0