Results for "Programming languages"

Results for "Programming languages" Showing 1 - 50 results of 3410 Laminas_Feed_Writer 2 (https://getlaminas.org) https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22Programming+languages%22&type=Subject&lng=en 3410 0 50 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 02:18:17 +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 02:18:17 +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 02:18:17 +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 Central European Functional Programming School 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers / Thu, 01 Jan 2015 02:18:17 +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 Software Engineering for Collective Autonomic Systems The ASCENS Approach / Thu, 01 Jan 2015 02:18:17 +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 NASA Formal Methods 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings / Thu, 01 Jan 2015 02:18:17 +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 02:18:17 +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 02:18:17 +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 02:18:17 +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 Python For ArcGIS Thu, 01 Jan 2015 02:18:17 +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 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 02:18:17 +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 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 02:18:17 +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 Formal Methods for Industrial Critical Systems 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings / Thu, 01 Jan 2015 02:18:17 +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 02:18:17 +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 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 02:18:17 +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 02:18:17 +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 02:18:17 +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 Exploring Robotics with ROBOTIS Systems Thu, 01 Jan 2015 02:18:17 +0200 https://find.library.upatras.gr/Record/978-3-319-20418-5 https://find.library.upatras.gr/Record/978-3-319-20418-5 Thai, Chi N. Electronic eBook 2015 Thai, Chi N. 0 Object-Oriented Technology Thu, 01 Jan 2015 02:18:17 +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 Electronic eBook 2015 Alagić, Suad 0 Modelling Foundations and Applications 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedings / Thu, 01 Jan 2015 02:18:17 +0200 https://find.library.upatras.gr/Record/978-3-319-21151-0 https://find.library.upatras.gr/Record/978-3-319-21151-0 Electronic eBook 2015 0 Theory and Practice of Model Transformations 8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings / Thu, 01 Jan 2015 02:18:17 +0200 https://find.library.upatras.gr/Record/978-3-319-21155-8 https://find.library.upatras.gr/Record/978-3-319-21155-8 Electronic eBook 2015 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 02:18:17 +0200 https://find.library.upatras.gr/Record/978-3-319-21215-9 https://find.library.upatras.gr/Record/978-3-319-21215-9 Electronic eBook 2015 0 Search-Based Software Engineering 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings / Thu, 01 Jan 2015 02:18:17 +0200 https://find.library.upatras.gr/Record/978-3-319-22183-0 https://find.library.upatras.gr/Record/978-3-319-22183-0 Electronic eBook 2015 0 Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings / Thu, 01 Jan 2015 02:18:17 +0200 https://find.library.upatras.gr/Record/978-3-319-22969-0 https://find.library.upatras.gr/Record/978-3-319-22969-0 Electronic eBook 2015 0 Software Engineering for Resilient Systems 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings / Thu, 01 Jan 2015 02:18:17 +0200 https://find.library.upatras.gr/Record/978-3-319-23129-7 https://find.library.upatras.gr/Record/978-3-319-23129-7 Electronic eBook 2015 0 Logic, Rewriting, and Concurrency Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday / Thu, 01 Jan 2015 02:18:17 +0200 https://find.library.upatras.gr/Record/978-3-319-23165-5 https://find.library.upatras.gr/Record/978-3-319-23165-5 Electronic eBook 2015 0 Advanced Parallel Processing Technologies 11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015, Proceedings / Thu, 01 Jan 2015 02:18:17 +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 Model Checking Software 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings / Thu, 01 Jan 2015 02:18:17 +0200 https://find.library.upatras.gr/Record/978-3-319-23404-5 https://find.library.upatras.gr/Record/978-3-319-23404-5 Electronic eBook 2015 0 Correct System Design Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings / Thu, 01 Jan 2015 02:18:17 +0200 https://find.library.upatras.gr/Record/978-3-319-23506-6 https://find.library.upatras.gr/Record/978-3-319-23506-6 Electronic eBook 2015 0 Learning Groovy Fri, 01 Jan 2016 02:18:17 +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. Electronic eBook 2016 Davis, Adam L. 0 Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I / Fri, 01 Jan 2016 02:18:17 +0200 https://find.library.upatras.gr/Record/978-3-319-47166-2 https://find.library.upatras.gr/Record/978-3-319-47166-2 Electronic eBook 2016 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 02:18:17 +0200 https://find.library.upatras.gr/Record/978-3-319-39519-7 https://find.library.upatras.gr/Record/978-3-319-39519-7 Electronic eBook 2016 0 MVVM in Delphi Architecting and Building Model View ViewModel Applications / Fri, 01 Jan 2016 02:18:17 +0200 https://find.library.upatras.gr/Record/978-1-4842-2214-0 https://find.library.upatras.gr/Record/978-1-4842-2214-0 Kouraklis, John Electronic eBook 2016 Kouraklis, John 0 Android Recipes A Problem-Solution Approach / Fri, 01 Jan 2016 02:18:17 +0200 https://find.library.upatras.gr/Record/978-1-4842-2259-1 https://find.library.upatras.gr/Record/978-1-4842-2259-1 Smith, Dave Electronic eBook 2016 Smith, Dave 0 Beginning SQL Server R Services Analytics for Data Scientists / Fri, 01 Jan 2016 02:18:17 +0200 https://find.library.upatras.gr/Record/978-1-4842-2298-0 https://find.library.upatras.gr/Record/978-1-4842-2298-0 Beard, Bradley Electronic eBook 2016 Beard, Bradley 0 Software Reading Techniques Twenty Techniques for More Effective Software Review and Inspection / Fri, 01 Jan 2016 02:18:17 +0200 https://find.library.upatras.gr/Record/978-1-4842-2346-8 https://find.library.upatras.gr/Record/978-1-4842-2346-8 Zhu, Yang‐Ming Electronic eBook 2016 Zhu, Yang‐Ming 0 Introducing Zurb Foundation 6 Fri, 01 Jan 2016 02:18:17 +0200 https://find.library.upatras.gr/Record/978-1-4842-1796-2 https://find.library.upatras.gr/Record/978-1-4842-1796-2 Shenoy, Aravind Electronic eBook 2016 Shenoy, Aravind 0 Instruction Level Parallelism Fri, 01 Jan 2016 02:18:17 +0200 https://find.library.upatras.gr/Record/978-1-4899-7797-7 https://find.library.upatras.gr/Record/978-1-4899-7797-7 Aiken, Alex Electronic eBook 2016 Aiken, Alex 0 Practical C Fri, 01 Jan 2016 02:18:17 +0200 https://find.library.upatras.gr/Record/978-1-4842-1769-6 https://find.library.upatras.gr/Record/978-1-4842-1769-6 Zambon, Giulio Electronic eBook 2016 Zambon, Giulio 0 Beginning F# 4.0 Fri, 01 Jan 2016 02:18:17 +0200 https://find.library.upatras.gr/Record/978-1-4842-1374-2 https://find.library.upatras.gr/Record/978-1-4842-1374-2 Pickering, Robert Electronic eBook 2016 Pickering, Robert 0 Typed PHP Stronger Types For Cleaner Code / Fri, 01 Jan 2016 02:18:17 +0200 https://find.library.upatras.gr/Record/978-1-4842-2114-3 https://find.library.upatras.gr/Record/978-1-4842-2114-3 Pitt, Christopher Electronic eBook 2016 Pitt, Christopher 0 Learn PHP 7 Object-Oriented Modular Programming using HTML5, CSS3, JavaScript, XML, JSON, and MySQL / Fri, 01 Jan 2016 02:18:17 +0200 https://find.library.upatras.gr/Record/978-1-4842-1730-6 https://find.library.upatras.gr/Record/978-1-4842-1730-6 Prettyman, Steve Electronic eBook 2016 Prettyman, Steve 0 Creating Google Chrome Extensions Fri, 01 Jan 2016 02:18:17 +0200 https://find.library.upatras.gr/Record/978-1-4842-1775-7 https://find.library.upatras.gr/Record/978-1-4842-1775-7 Mehta, Prateek Electronic eBook 2016 Mehta, Prateek 0 Go Recipes A Problem-Solution Approach / Fri, 01 Jan 2016 02:18:17 +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 Electronic eBook 2016 Varghese, Shiju 0 Source Code Analytics With Roslyn and JavaScript Data Visualization Fri, 01 Jan 2016 02:18:17 +0200 https://find.library.upatras.gr/Record/978-1-4842-1925-6 https://find.library.upatras.gr/Record/978-1-4842-1925-6 Mukherjee, Sudipta Electronic eBook 2016 Mukherjee, Sudipta 0 Microservices From Day One Build robust and scalable software from the start / Fri, 01 Jan 2016 02:18:17 +0200 https://find.library.upatras.gr/Record/978-1-4842-1937-9 https://find.library.upatras.gr/Record/978-1-4842-1937-9 Carneiro Jr., Cloves Electronic eBook 2016 Carneiro Jr., Cloves 0 Introducing Bootstrap 4 Fri, 01 Jan 2016 02:18:17 +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 C++/CLI Primer For .NET Development / Fri, 01 Jan 2016 02:18:17 +0200 https://find.library.upatras.gr/Record/978-1-4842-2367-3 https://find.library.upatras.gr/Record/978-1-4842-2367-3 Ragunathan, Vivek Electronic eBook 2016 Ragunathan, Vivek 0 Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings / Fri, 01 Jan 2016 02:18:17 +0200 https://find.library.upatras.gr/Record/978-3-319-29604-3 https://find.library.upatras.gr/Record/978-3-319-29604-3 Electronic eBook 2016 0 Euro-Par 2016: Parallel Processing 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings / Fri, 01 Jan 2016 02:18:17 +0200 https://find.library.upatras.gr/Record/978-3-319-43659-3 https://find.library.upatras.gr/Record/978-3-319-43659-3 Electronic eBook 2016 0