Results for "Program"

Results for "Program" Showing 1 - 50 results of 9010 Laminas_Feed_Writer 2 (https://getlaminas.org) https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22Program%22&type=Subject&lng=en 9010 0 50 Vector Generalized Linear and Additive Models With an Implementation in R / Thu, 01 Jan 2015 06:06:46 +0200 https://find.library.upatras.gr/Record/978-1-4939-2818-7 https://find.library.upatras.gr/Record/978-1-4939-2818-7 Yee, Thomas W. Electronic eBook 2015 Yee, Thomas W. 0 Open Source Geospatial Tools Applications in Earth Observation / Thu, 01 Jan 2015 06:06:46 +0200 https://find.library.upatras.gr/Record/978-3-319-01824-9 https://find.library.upatras.gr/Record/978-3-319-01824-9 McInerney, Daniel Electronic eBook 2015 McInerney, Daniel 0 Requirements Engineering for Digital Health Thu, 01 Jan 2015 06:06:46 +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 Validation of Evolving Software Thu, 01 Jan 2015 06:06:46 +0200 https://find.library.upatras.gr/Record/978-3-319-10623-6 https://find.library.upatras.gr/Record/978-3-319-10623-6 Electronic eBook 2015 0 Dag Prawitz on Proofs and Meaning Thu, 01 Jan 2015 06:06:46 +0200 https://find.library.upatras.gr/Record/978-3-319-11041-7 https://find.library.upatras.gr/Record/978-3-319-11041-7 Electronic eBook 2015 0 Advances in Complex Data Modeling and Computational Methods in Statistics Thu, 01 Jan 2015 06:06:46 +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 Excel 2013 for Business Statistics A Guide to Solving Practical Business Problems / Thu, 01 Jan 2015 06:06:46 +0200 https://find.library.upatras.gr/Record/978-3-319-11982-3 https://find.library.upatras.gr/Record/978-3-319-11982-3 Quirk, Thomas J. Electronic eBook 2015 Quirk, Thomas J. 0 Frontiers in Statistical Quality Control 11 Thu, 01 Jan 2015 06:06:46 +0200 https://find.library.upatras.gr/Record/978-3-319-12355-4 https://find.library.upatras.gr/Record/978-3-319-12355-4 Electronic eBook 2015 0 Excel 2013 for Biological and Life Sciences Statistics A Guide to Solving Practical Problems / Thu, 01 Jan 2015 06:06:46 +0200 https://find.library.upatras.gr/Record/978-3-319-12517-6 https://find.library.upatras.gr/Record/978-3-319-12517-6 Quirk, Thomas J. Electronic eBook 2015 Quirk, Thomas J. 0 Mathematical Statistics and Limit Theorems Festschrift in Honour of Paul Deheuvels / Thu, 01 Jan 2015 06:06:46 +0200 https://find.library.upatras.gr/Record/978-3-319-12442-1 https://find.library.upatras.gr/Record/978-3-319-12442-1 Electronic eBook 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 06:06:46 +0200 https://find.library.upatras.gr/Record/978-3-319-15201-1 https://find.library.upatras.gr/Record/978-3-319-15201-1 Electronic eBook 2015 0 Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers / Thu, 01 Jan 2015 06:06:46 +0200 https://find.library.upatras.gr/Record/978-3-319-15317-9 https://find.library.upatras.gr/Record/978-3-319-15317-9 Electronic eBook 2015 0 Software, Services, and Systems Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering / Thu, 01 Jan 2015 06:06:46 +0200 https://find.library.upatras.gr/Record/978-3-319-15545-6 https://find.library.upatras.gr/Record/978-3-319-15545-6 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 06:06:46 +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 Patterns of HCI Design and HCI Design of Patterns Bridging HCI Design and Model-Driven Software Engineering / Thu, 01 Jan 2015 06:06:46 +0200 https://find.library.upatras.gr/Record/978-3-319-15687-3 https://find.library.upatras.gr/Record/978-3-319-15687-3 Seffah, Ahmed Electronic eBook 2015 Seffah, Ahmed 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 06:06:46 +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 Central European Functional Programming School 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers / Thu, 01 Jan 2015 06:06:46 +0200 https://find.library.upatras.gr/Record/978-3-319-15940-9 https://find.library.upatras.gr/Record/978-3-319-15940-9 Electronic eBook 2015 0 Solving Software Challenges for Exascale International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised Selected Papers / Thu, 01 Jan 2015 06:06:46 +0200 https://find.library.upatras.gr/Record/978-3-319-15976-8 https://find.library.upatras.gr/Record/978-3-319-15976-8 Electronic eBook 2015 0 Genetic Programming Theory and Practice XII Thu, 01 Jan 2015 06:06:46 +0200 https://find.library.upatras.gr/Record/978-3-319-16030-6 https://find.library.upatras.gr/Record/978-3-319-16030-6 Electronic eBook 2015 0 Requirements Engineering: Foundation for Software Quality 21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings / Thu, 01 Jan 2015 06:06:46 +0200 https://find.library.upatras.gr/Record/978-3-319-16101-3 https://find.library.upatras.gr/Record/978-3-319-16101-3 Electronic eBook 2015 0 Bayesian Statistics from Methods to Models and Applications Research from BAYSM 2014 / Thu, 01 Jan 2015 06:06:46 +0200 https://find.library.upatras.gr/Record/978-3-319-16238-6 https://find.library.upatras.gr/Record/978-3-319-16238-6 Electronic eBook 2015 0 Software Engineering for Collective Autonomic Systems The ASCENS Approach / Thu, 01 Jan 2015 06:06:46 +0200 https://find.library.upatras.gr/Record/978-3-319-16310-9 https://find.library.upatras.gr/Record/978-3-319-16310-9 Electronic eBook 2015 0 Smart Learning Objects for Smart Education in Computer Science Theory, Methodology and Robot-Based Implementation / Thu, 01 Jan 2015 06:06:46 +0200 https://find.library.upatras.gr/Record/978-3-319-16913-2 https://find.library.upatras.gr/Record/978-3-319-16913-2 Štuikys, Vytautas Electronic eBook 2015 Štuikys, Vytautas 0 Advances in Statistical Models for Data Analysis Thu, 01 Jan 2015 06:06:46 +0200 https://find.library.upatras.gr/Record/978-3-319-17377-1 https://find.library.upatras.gr/Record/978-3-319-17377-1 Electronic eBook 2015 0 Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings / Thu, 01 Jan 2015 06:06:46 +0200 https://find.library.upatras.gr/Record/978-3-319-17142-5 https://find.library.upatras.gr/Record/978-3-319-17142-5 Electronic eBook 2015 0 NASA Formal Methods 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings / Thu, 01 Jan 2015 06:06:46 +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 06:06:46 +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 Formal Techniques for Safety-Critical Systems Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers / Thu, 01 Jan 2015 06:06:46 +0200 https://find.library.upatras.gr/Record/978-3-319-17581-2 https://find.library.upatras.gr/Record/978-3-319-17581-2 Electronic eBook 2015 0 Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77 / Thu, 01 Jan 2015 06:06:46 +0200 https://find.library.upatras.gr/Record/978-3-319-17701-4 https://find.library.upatras.gr/Record/978-3-319-17701-4 Chivers, Ian Electronic eBook 2015 Chivers, Ian 0 Introduction to Statistics Using Interactive MM*Stat Elements / Thu, 01 Jan 2015 06:06:46 +0200 https://find.library.upatras.gr/Record/978-3-319-17704-5 https://find.library.upatras.gr/Record/978-3-319-17704-5 Härdle, Wolfgang Karl Electronic eBook 2015 Härdle, Wolfgang Karl 0 Countdown to a Moon Launch Preparing Apollo for Its Historic Journey / Thu, 01 Jan 2015 06:06:46 +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 06:06:46 +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 Python For ArcGIS Thu, 01 Jan 2015 06:06:46 +0200 https://find.library.upatras.gr/Record/978-3-319-18398-5 https://find.library.upatras.gr/Record/978-3-319-18398-5 Tateosian, Laura Electronic eBook 2015 Tateosian, Laura 0 The Design of Requirements Modelling Languages How to Make Formalisms for Problem Solving in Requirements Engineering / Thu, 01 Jan 2015 06:06:46 +0200 https://find.library.upatras.gr/Record/978-3-319-18821-8 https://find.library.upatras.gr/Record/978-3-319-18821-8 Jureta, Ivan Electronic eBook 2015 Jureta, Ivan 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 06:06:46 +0200 https://find.library.upatras.gr/Record/978-3-319-18941-3 https://find.library.upatras.gr/Record/978-3-319-18941-3 Electronic eBook 2015 0 Bayesian Nonparametric Data Analysis Thu, 01 Jan 2015 06:06:46 +0200 https://find.library.upatras.gr/Record/978-3-319-18968-0 https://find.library.upatras.gr/Record/978-3-319-18968-0 Müller, Peter Electronic eBook 2015 Müller, Peter 0 Learning and Intelligent Optimization 9th International Conference, LION 9, Lille, France, January 12-15, 2015. Revised Selected Papers / Thu, 01 Jan 2015 06:06:46 +0200 https://find.library.upatras.gr/Record/978-3-319-19084-6 https://find.library.upatras.gr/Record/978-3-319-19084-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 06:06:46 +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 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 06:06:46 +0200 https://find.library.upatras.gr/Record/978-3-319-19195-9 https://find.library.upatras.gr/Record/978-3-319-19195-9 Electronic eBook 2015 0 Descriptional Complexity of Formal Systems 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings / Thu, 01 Jan 2015 06:06:46 +0200 https://find.library.upatras.gr/Record/978-3-319-19225-3 https://find.library.upatras.gr/Record/978-3-319-19225-3 Electronic eBook 2015 0 FM 2015: Formal Methods 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings / Thu, 01 Jan 2015 06:06:46 +0200 https://find.library.upatras.gr/Record/978-3-319-19249-9 https://find.library.upatras.gr/Record/978-3-319-19249-9 Electronic eBook 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 06:06:46 +0200 https://find.library.upatras.gr/Record/978-3-319-19282-6 https://find.library.upatras.gr/Record/978-3-319-19282-6 Electronic eBook 2015 0 Regression Modeling Strategies With Applications to Linear Models, Logistic and Ordinal Regression, and Survival Analysis / Thu, 01 Jan 2015 06:06:46 +0200 https://find.library.upatras.gr/Record/978-3-319-19425-7 https://find.library.upatras.gr/Record/978-3-319-19425-7 Harrell , Jr., Frank E. Electronic eBook 2015 Harrell , Jr., Frank E. 0 Formal Methods for Industrial Critical Systems 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings / Thu, 01 Jan 2015 06:06:46 +0200 https://find.library.upatras.gr/Record/978-3-319-19458-5 https://find.library.upatras.gr/Record/978-3-319-19458-5 Electronic eBook 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 06:06:46 +0200 https://find.library.upatras.gr/Record/978-3-319-19488-2 https://find.library.upatras.gr/Record/978-3-319-19488-2 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 06:06:46 +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 Reliable Software Technologies – Ada-Europe 2015 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings / Thu, 01 Jan 2015 06:06:46 +0200 https://find.library.upatras.gr/Record/978-3-319-19584-1 https://find.library.upatras.gr/Record/978-3-319-19584-1 Electronic eBook 2015 0 Practical Aspects of Declarative Languages 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings / Thu, 01 Jan 2015 06:06:46 +0200 https://find.library.upatras.gr/Record/978-3-319-19686-2 https://find.library.upatras.gr/Record/978-3-319-19686-2 Electronic eBook 2015 0 Mathematics of Program Construction 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings / Thu, 01 Jan 2015 06:06:46 +0200 https://find.library.upatras.gr/Record/978-3-319-19797-5 https://find.library.upatras.gr/Record/978-3-319-19797-5 Electronic eBook 2015 0 Intelligent Cloud Computing First International Conference, ICC 2014, Muscat, Oman, February 24-26, 2014, Revised Selected Papers / Thu, 01 Jan 2015 06:06:46 +0200 https://find.library.upatras.gr/Record/978-3-319-19848-4 https://find.library.upatras.gr/Record/978-3-319-19848-4 Electronic eBook 2015 0