Αποτελέσματα για "Software Engineering/Programming and Operating Systems."

Αποτελέσματα για "Software Engineering/Programming and Operating Systems." Εμφανίζονται 1 - 50 Αποτελέσματα από 2227 Laminas_Feed_Writer 2 (https://getlaminas.org) https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22Software+Engineering%2FProgramming+and+Operating+Systems.%22&type=Subject&lng=el 2227 0 50 Requirements Engineering for Digital Health Thu, 01 Jan 2015 18:02:48 +0200 https://find.library.upatras.gr/Record/978-3-319-09798-5 https://find.library.upatras.gr/Record/978-3-319-09798-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Advances in Complex Data Modeling and Computational Methods in Statistics Thu, 01 Jan 2015 18:02:48 +0200 https://find.library.upatras.gr/Record/978-3-319-11149-0 https://find.library.upatras.gr/Record/978-3-319-11149-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Engineering Secure Software and Systems 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015. Proceedings / Thu, 01 Jan 2015 18:02:48 +0200 https://find.library.upatras.gr/Record/978-3-319-15618-7 https://find.library.upatras.gr/Record/978-3-319-15618-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Job Scheduling Strategies for Parallel Processing 18th International Workshop, JSSPP 2014, Phoenix, AZ, USA, May 23, 2014. Revised Selected Papers / Thu, 01 Jan 2015 18:02:48 +0200 https://find.library.upatras.gr/Record/978-3-319-15789-4 https://find.library.upatras.gr/Record/978-3-319-15789-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Countdown to a Moon Launch Preparing Apollo for Its Historic Journey / Thu, 01 Jan 2015 18:02:48 +0200 https://find.library.upatras.gr/Record/978-3-319-17792-2 https://find.library.upatras.gr/Record/978-3-319-17792-2 Ward, Jonathan H. Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 Ward, Jonathan H. 0 Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers / Thu, 01 Jan 2015 18:02:48 +0200 https://find.library.upatras.gr/Record/978-3-319-17822-6 https://find.library.upatras.gr/Record/978-3-319-17822-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Distributed Applications and Interoperable Systems 15th IFIP WG 6.1 International Conference, DAIS 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 18:02:48 +0200 https://find.library.upatras.gr/Record/978-3-319-19129-4 https://find.library.upatras.gr/Record/978-3-319-19129-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 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 18:02:48 +0200 https://find.library.upatras.gr/Record/978-3-319-19578-0 https://find.library.upatras.gr/Record/978-3-319-19578-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Finite Difference Methods,Theory and Applications 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers / Thu, 01 Jan 2015 18:02:48 +0200 https://find.library.upatras.gr/Record/978-3-319-20239-6 https://find.library.upatras.gr/Record/978-3-319-20239-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Introduction to Concurrency Theory Transition Systems and CCS / Thu, 01 Jan 2015 18:02:48 +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 Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II / Thu, 01 Jan 2015 18:02:48 +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 18:02:48 +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 Parallel Computing Technologies 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, Proceedings / Thu, 01 Jan 2015 18:02:48 +0200 https://find.library.upatras.gr/Record/978-3-319-21909-7 https://find.library.upatras.gr/Record/978-3-319-21909-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Instruction Selection Principles, Methods, and Applications / Fri, 01 Jan 2016 18:02:48 +0200 https://find.library.upatras.gr/Record/978-3-319-34019-7 https://find.library.upatras.gr/Record/978-3-319-34019-7 Hjort Blindell, Gabriel Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 Hjort Blindell, Gabriel 0 The Vixen Star Book User Guide How to Use the Star Book TEN and the Original Star Book / Fri, 01 Jan 2016 18:02:48 +0200 https://find.library.upatras.gr/Record/978-3-319-21593-8 https://find.library.upatras.gr/Record/978-3-319-21593-8 Chen, James Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 Chen, James 0 Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs / Fri, 01 Jan 2016 18:02:48 +0200 https://find.library.upatras.gr/Record/978-3-658-12680-3 https://find.library.upatras.gr/Record/978-3-658-12680-3 Herdt, Vladimir Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 Herdt, Vladimir 0 Beginning Hibernate For Hibernate 5 / Fri, 01 Jan 2016 18:02:48 +0200 https://find.library.upatras.gr/Record/978-1-4842-2319-2 https://find.library.upatras.gr/Record/978-1-4842-2319-2 Ottinger, Joseph B. Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 Ottinger, Joseph B. 0 Autonomic Road Transport Support Systems Fri, 01 Jan 2016 18:02:48 +0200 https://find.library.upatras.gr/Record/978-3-319-25808-9 https://find.library.upatras.gr/Record/978-3-319-25808-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 High Performance Computing in Science and Engineering Second International Conference, HPCSE 2015, Soláň, Czech Republic, May 25-28, 2015, Revised Selected Papers / Fri, 01 Jan 2016 18:02:48 +0200 https://find.library.upatras.gr/Record/978-3-319-40361-8 https://find.library.upatras.gr/Record/978-3-319-40361-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Control Modes on Mobile Software Platforms Empirical Studies on the Importance of Informal Control / Fri, 01 Jan 2016 18:02:48 +0200 https://find.library.upatras.gr/Record/978-3-658-14893-5 https://find.library.upatras.gr/Record/978-3-658-14893-5 Goldbach, Tobias Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 Goldbach, Tobias 0 Crisis Management for Software Development and Knowledge Transfer Fri, 01 Jan 2016 18:02:48 +0200 https://find.library.upatras.gr/Record/978-3-319-42966-3 https://find.library.upatras.gr/Record/978-3-319-42966-3 Zykov, Sergey V. Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 Zykov, Sergey V. 0 Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II / Fri, 01 Jan 2016 18:02:48 +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 18:02:48 +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 Applied Computer Sciences in Engineering Third Workshop on Engineering Applications, WEA 2016, Bogotá, Colombia, September 21-23, 2016, Revised Selected Papers / Fri, 01 Jan 2016 18:02:48 +0200 https://find.library.upatras.gr/Record/978-3-319-50880-1 https://find.library.upatras.gr/Record/978-3-319-50880-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Transactions on Engineering Technologies Fri, 01 Jan 2016 18:02:48 +0200 https://find.library.upatras.gr/Record/978-981-10-1088-0 https://find.library.upatras.gr/Record/978-981-10-1088-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Decision Procedures An Algorithmic Point of View / Fri, 01 Jan 2016 18:02:48 +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 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 Kroening, Daniel 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 18:02:48 +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 Logic Programming and Nonmonotonic Reasoning Fourth International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings / Wed, 01 Jan 1997 18:02:48 +0200 https://find.library.upatras.gr/Record/978-3-540-69249-2 https://find.library.upatras.gr/Record/978-3-540-69249-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 1997 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 18:02:48 +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 18:02:48 +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 18:02:48 +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 Recent Advances in Constraints Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002. Selected Papers / Wed, 01 Jan 2003 18:02:48 +0200 https://find.library.upatras.gr/Record/978-3-540-36607-2 https://find.library.upatras.gr/Record/978-3-540-36607-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Inductive Logic Programming 14th International Conference, ILP 2004, Porto, Portugal, September 6-8, 2004, Proceedings / Thu, 01 Jan 2004 18:02:48 +0200 https://find.library.upatras.gr/Record/978-3-540-30109-7 https://find.library.upatras.gr/Record/978-3-540-30109-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 2004 0 Co-ordination in Artificial Agent Societies Social Structures and Its Implications for Autonomous Problem-Solving Agents / Fri, 01 Jan 1999 18:02:48 +0200 https://find.library.upatras.gr/Record/978-3-540-49212-2 https://find.library.upatras.gr/Record/978-3-540-49212-2 Ossowski, Sascha Ηλεκτρονική πηγή Ηλ. βιβλίο 1999 Ossowski, Sascha 0 Inductive Logic Programming 10th International Conference, ILP 2000, London, UK, July 24-27, 2000 Proceedings / Sat, 01 Jan 2000 18:02:48 +0200 https://find.library.upatras.gr/Record/978-3-540-44960-7 https://find.library.upatras.gr/Record/978-3-540-44960-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 2000 0 Logic Programming and Nonmonotonic Reasoning 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001. Proceedings / Mon, 01 Jan 2001 18:02:48 +0200 https://find.library.upatras.gr/Record/978-3-540-45402-1 https://find.library.upatras.gr/Record/978-3-540-45402-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 Collective Robotics First International Workshop, CRW'98, Paris, France, July 4-5, 1998, Proceedings / Thu, 01 Jan 1998 18:02:48 +0200 https://find.library.upatras.gr/Record/978-3-540-68723-8 https://find.library.upatras.gr/Record/978-3-540-68723-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 1998 0 Inductive Logic Programming 6th International Workshop, ILP-96, Stockholm, Sweden, August 26-28, 1996, Selected Papers / Wed, 01 Jan 1997 18:02:48 +0200 https://find.library.upatras.gr/Record/978-3-540-69583-7 https://find.library.upatras.gr/Record/978-3-540-69583-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 1997 0 Collaboration between Human and Artificial Societies Coordination and Agent-Based Distributed Computing / Fri, 01 Jan 1999 18:02:48 +0200 https://find.library.upatras.gr/Record/978-3-540-46624-6 https://find.library.upatras.gr/Record/978-3-540-46624-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 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 18:02:48 +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 Inductive Logic Programming 12th International Conference, ILP 2002, Sydney, Australia, July 9-11, 2002. Revised Papers / Wed, 01 Jan 2003 18:02:48 +0200 https://find.library.upatras.gr/Record/978-3-540-36468-9 https://find.library.upatras.gr/Record/978-3-540-36468-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 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 18:02:48 +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 Generative Programming and Component Engineering ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002. Proceedings / Tue, 01 Jan 2002 18:02:48 +0200 https://find.library.upatras.gr/Record/978-3-540-45821-0 https://find.library.upatras.gr/Record/978-3-540-45821-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0 Conceptual Modeling for Novel Application Domains ER 2003 Workshops ECOMO, IWCMQ, AOIS, and XSDM, Chicago, IL, USA, October 13, 2003, Proceedings / Wed, 01 Jan 2003 18:02:48 +0200 https://find.library.upatras.gr/Record/978-3-540-39597-3 https://find.library.upatras.gr/Record/978-3-540-39597-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Database and XML Technologies First International XML Database Symposium, XSYM 2003, Berlin, Germany, September 8, 2003, Proceedings / Wed, 01 Jan 2003 18:02:48 +0200 https://find.library.upatras.gr/Record/978-3-540-39429-7 https://find.library.upatras.gr/Record/978-3-540-39429-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Abstract State Machines - Theory and Applications International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings / Sat, 01 Jan 2000 18:02:48 +0200 https://find.library.upatras.gr/Record/978-3-540-44518-0 https://find.library.upatras.gr/Record/978-3-540-44518-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2000 0 Logic Programming 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001. Proceedings / Mon, 01 Jan 2001 18:02:48 +0200 https://find.library.upatras.gr/Record/978-3-540-45635-3 https://find.library.upatras.gr/Record/978-3-540-45635-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 Object Modeling with the OCL The Rationale behind the Object Constraint Language / Tue, 01 Jan 2002 18:02:48 +0200 https://find.library.upatras.gr/Record/978-3-540-45669-8 https://find.library.upatras.gr/Record/978-3-540-45669-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0 Product Focused Software Process Improvement Third International Conference, PROFES 2001, Kaiserslautern, Germany, September 10-13, 2001. Proceedings / Mon, 01 Jan 2001 18:02:48 +0200 https://find.library.upatras.gr/Record/978-3-540-44813-6 https://find.library.upatras.gr/Record/978-3-540-44813-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 On-line Error Detection and Fast Recover Techniques for Dependable Embedded Processors Tue, 01 Jan 2002 18:02:48 +0200 https://find.library.upatras.gr/Record/978-3-540-45858-6 https://find.library.upatras.gr/Record/978-3-540-45858-6 Pflanz, Matthias Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 Pflanz, Matthias 0