Results for "operating systems"

Results for "operating systems" Showing 1 - 50 results of 3493 Laminas_Feed_Writer 2 (https://getlaminas.org) https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22operating+systems%22&type=Subject&lng=en 3493 0 50 Requirements Engineering for Digital Health Thu, 01 Jan 2015 15:37:08 +0200 https://find.library.upatras.gr/Record/978-3-319-09798-5 https://find.library.upatras.gr/Record/978-3-319-09798-5 Electronic eBook 2015 0 Advances in Complex Data Modeling and Computational Methods in Statistics Thu, 01 Jan 2015 15:37:08 +0200 https://find.library.upatras.gr/Record/978-3-319-11149-0 https://find.library.upatras.gr/Record/978-3-319-11149-0 Electronic eBook 2015 0 Engineering Secure Software and Systems 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015. Proceedings / Thu, 01 Jan 2015 15:37:08 +0200 https://find.library.upatras.gr/Record/978-3-319-15618-7 https://find.library.upatras.gr/Record/978-3-319-15618-7 Electronic eBook 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 15:37:08 +0200 https://find.library.upatras.gr/Record/978-3-319-15789-4 https://find.library.upatras.gr/Record/978-3-319-15789-4 Electronic eBook 2015 0 Architecture of Computing Systems – ARCS 2015 28th International Conference, Porto, Portugal, March 24-27, 2015, Proceedings / Thu, 01 Jan 2015 15:37:08 +0200 https://find.library.upatras.gr/Record/978-3-319-16086-3 https://find.library.upatras.gr/Record/978-3-319-16086-3 Electronic eBook 2015 0 NASA Formal Methods 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings / Thu, 01 Jan 2015 15:37:08 +0200 https://find.library.upatras.gr/Record/978-3-319-17524-9 https://find.library.upatras.gr/Record/978-3-319-17524-9 Electronic eBook 2015 0 Design and Implementation of the MTX Operating System Thu, 01 Jan 2015 15:37:08 +0200 https://find.library.upatras.gr/Record/978-3-319-17575-1 https://find.library.upatras.gr/Record/978-3-319-17575-1 Wang, K. C. Electronic eBook 2015 Wang, K. C. 0 Countdown to a Moon Launch Preparing Apollo for Its Historic Journey / Thu, 01 Jan 2015 15:37:08 +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. Electronic eBook 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 15:37:08 +0200 https://find.library.upatras.gr/Record/978-3-319-17822-6 https://find.library.upatras.gr/Record/978-3-319-17822-6 Electronic eBook 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 15:37:08 +0200 https://find.library.upatras.gr/Record/978-3-319-19129-4 https://find.library.upatras.gr/Record/978-3-319-19129-4 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 15:37:08 +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 Finite Difference Methods,Theory and Applications 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers / Thu, 01 Jan 2015 15:37:08 +0200 https://find.library.upatras.gr/Record/978-3-319-20239-6 https://find.library.upatras.gr/Record/978-3-319-20239-6 Electronic eBook 2015 0 Introduction to Concurrency Theory Transition Systems and CCS / Thu, 01 Jan 2015 15:37:08 +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 Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II / Thu, 01 Jan 2015 15:37:08 +0200 https://find.library.upatras.gr/Record/978-3-319-21668-3 https://find.library.upatras.gr/Record/978-3-319-21668-3 Electronic eBook 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 15:37:08 +0200 https://find.library.upatras.gr/Record/978-3-319-21690-4 https://find.library.upatras.gr/Record/978-3-319-21690-4 Electronic eBook 2015 0 Parallel Computing Technologies 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, Proceedings / Thu, 01 Jan 2015 15:37:08 +0200 https://find.library.upatras.gr/Record/978-3-319-21909-7 https://find.library.upatras.gr/Record/978-3-319-21909-7 Electronic eBook 2015 0 Advanced Parallel Processing Technologies 11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015, Proceedings / Thu, 01 Jan 2015 15:37:08 +0200 https://find.library.upatras.gr/Record/978-3-319-23216-4 https://find.library.upatras.gr/Record/978-3-319-23216-4 Electronic eBook 2015 0 Troubleshooting Windows Server with PowerShell Fri, 01 Jan 2016 15:37:08 +0200 https://find.library.upatras.gr/Record/978-1-4842-1851-8 https://find.library.upatras.gr/Record/978-1-4842-1851-8 Schauland, Derek Electronic eBook 2016 Schauland, Derek 0 Instruction Selection Principles, Methods, and Applications / Fri, 01 Jan 2016 15:37:08 +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 Electronic eBook 2016 Hjort Blindell, Gabriel 0 HCNA Networking Study Guide Fri, 01 Jan 2016 15:37:08 +0200 https://find.library.upatras.gr/Record/978-981-10-1554-0 https://find.library.upatras.gr/Record/978-981-10-1554-0 Electronic eBook 2016 0 The Vixen Star Book User Guide How to Use the Star Book TEN and the Original Star Book / Fri, 01 Jan 2016 15:37:08 +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 Electronic eBook 2016 Chen, James 0 Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs / Fri, 01 Jan 2016 15:37:08 +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 Electronic eBook 2016 Herdt, Vladimir 0 Learn CentOS Linux Network Services Fri, 01 Jan 2016 15:37:08 +0200 https://find.library.upatras.gr/Record/978-1-4842-2379-6 https://find.library.upatras.gr/Record/978-1-4842-2379-6 Vazquez, Antonio Electronic eBook 2016 Vazquez, Antonio 0 Introducing Bootstrap 4 Fri, 01 Jan 2016 15:37:08 +0200 https://find.library.upatras.gr/Record/978-1-4842-2382-6 https://find.library.upatras.gr/Record/978-1-4842-2382-6 Krause, Jörg Electronic eBook 2016 Krause, Jörg 0 Beginning Hibernate For Hibernate 5 / Fri, 01 Jan 2016 15:37:08 +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. Electronic eBook 2016 Ottinger, Joseph B. 0 Autonomic Road Transport Support Systems Fri, 01 Jan 2016 15:37:08 +0200 https://find.library.upatras.gr/Record/978-3-319-25808-9 https://find.library.upatras.gr/Record/978-3-319-25808-9 Electronic eBook 2016 0 Windows 10 Troubleshooting Fri, 01 Jan 2016 15:37:08 +0200 https://find.library.upatras.gr/Record/978-1-4842-0925-7 https://find.library.upatras.gr/Record/978-1-4842-0925-7 Halsey, Mike Electronic eBook 2016 Halsey, Mike 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 15:37:08 +0200 https://find.library.upatras.gr/Record/978-3-319-40361-8 https://find.library.upatras.gr/Record/978-3-319-40361-8 Electronic eBook 2016 0 Control Modes on Mobile Software Platforms Empirical Studies on the Importance of Informal Control / Fri, 01 Jan 2016 15:37:08 +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 Electronic eBook 2016 Goldbach, Tobias 0 Crisis Management for Software Development and Knowledge Transfer Fri, 01 Jan 2016 15:37:08 +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. Electronic eBook 2016 Zykov, Sergey V. 0 Windows To Go A Guide for Users and IT Professionals / Fri, 01 Jan 2016 15:37:08 +0200 https://find.library.upatras.gr/Record/978-1-4842-2134-1 https://find.library.upatras.gr/Record/978-1-4842-2134-1 Ballew, Joli Electronic eBook 2016 Ballew, Joli 0 Analytical and Stochastic Modelling Techniques and Applications 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings / Fri, 01 Jan 2016 15:37:08 +0200 https://find.library.upatras.gr/Record/978-3-319-43904-4 https://find.library.upatras.gr/Record/978-3-319-43904-4 Electronic eBook 2016 0 Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II / Fri, 01 Jan 2016 15:37:08 +0200 https://find.library.upatras.gr/Record/978-3-319-41540-6 https://find.library.upatras.gr/Record/978-3-319-41540-6 Electronic eBook 2016 0 Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I / Fri, 01 Jan 2016 15:37:08 +0200 https://find.library.upatras.gr/Record/978-3-319-41528-4 https://find.library.upatras.gr/Record/978-3-319-41528-4 Electronic eBook 2016 0 Languages and Compilers for Parallel Computing 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers / Fri, 01 Jan 2016 15:37:08 +0200 https://find.library.upatras.gr/Record/978-3-319-29778-1 https://find.library.upatras.gr/Record/978-3-319-29778-1 Electronic eBook 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 15:37:08 +0200 https://find.library.upatras.gr/Record/978-3-319-50880-1 https://find.library.upatras.gr/Record/978-3-319-50880-1 Electronic eBook 2016 0 Practical Linux Topics Fri, 01 Jan 2016 15:37:08 +0200 https://find.library.upatras.gr/Record/978-1-4842-1772-6 https://find.library.upatras.gr/Record/978-1-4842-1772-6 Binnie, Chris Electronic eBook 2016 Binnie, Chris 0 Transactions on Engineering Technologies Fri, 01 Jan 2016 15:37:08 +0200 https://find.library.upatras.gr/Record/978-981-10-1088-0 https://find.library.upatras.gr/Record/978-981-10-1088-0 Electronic eBook 2016 0 Decision Procedures An Algorithmic Point of View / Fri, 01 Jan 2016 15:37:08 +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 Advances in Cryptology - CRYPTO 2002 22nd Annual International Cryptology Conference Santa Barbara, California, USA, August 18-22, 2002. Proceedings / Tue, 01 Jan 2002 15:37:08 +0200 https://find.library.upatras.gr/Record/978-3-540-45708-4 https://find.library.upatras.gr/Record/978-3-540-45708-4 Electronic eBook 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 15:37:08 +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 Logic Programming and Nonmonotonic Reasoning Fourth International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings / Wed, 01 Jan 1997 15:37:08 +0200 https://find.library.upatras.gr/Record/978-3-540-69249-2 https://find.library.upatras.gr/Record/978-3-540-69249-2 Electronic eBook 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 15:37:08 +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 Mobile Agents for Telecommunication Applications 5th International Workshop, MATA 2003, Marrakech, Morocco, October 8-10, 2003 Proceedings / Wed, 01 Jan 2003 15:37:08 +0200 https://find.library.upatras.gr/Record/978-3-540-39646-8 https://find.library.upatras.gr/Record/978-3-540-39646-8 Electronic eBook 2003 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 15:37:08 +0200 https://find.library.upatras.gr/Record/978-3-540-48046-4 https://find.library.upatras.gr/Record/978-3-540-48046-4 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 15:37:08 +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 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 15:37:08 +0200 https://find.library.upatras.gr/Record/978-3-540-36607-2 https://find.library.upatras.gr/Record/978-3-540-36607-2 Electronic eBook 2003 0 Inductive Logic Programming 14th International Conference, ILP 2004, Porto, Portugal, September 6-8, 2004, Proceedings / Thu, 01 Jan 2004 15:37:08 +0200 https://find.library.upatras.gr/Record/978-3-540-30109-7 https://find.library.upatras.gr/Record/978-3-540-30109-7 Electronic eBook 2004 0 Co-ordination in Artificial Agent Societies Social Structures and Its Implications for Autonomous Problem-Solving Agents / Fri, 01 Jan 1999 15:37:08 +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 Electronic eBook 1999 Ossowski, Sascha 0 Inductive Logic Programming 10th International Conference, ILP 2000, London, UK, July 24-27, 2000 Proceedings / Sat, 01 Jan 2000 15:37:08 +0200 https://find.library.upatras.gr/Record/978-3-540-44960-7 https://find.library.upatras.gr/Record/978-3-540-44960-7 Electronic eBook 2000 0