Αποτελέσματα για "avionics"

Αποτελέσματα για "avionics" Εμφανίζονται 1 - 50 Αποτελέσματα από 98 Laminas_Feed_Writer 2 (https://getlaminas.org) https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22avionics%22&type=AllFields&lng=el 98 0 50 End-User Development 5th International Symposium, IS-EUD 2015, Madrid, Spain, May 26-29, 2015. Proceedings / Thu, 01 Jan 2015 16:32:32 +0200 https://find.library.upatras.gr/Record/978-3-319-18425-8 https://find.library.upatras.gr/Record/978-3-319-18425-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 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 16:32:32 +0200 https://find.library.upatras.gr/Record/978-3-319-19584-1 https://find.library.upatras.gr/Record/978-3-319-19584-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Theoretical Information Reuse and Integration Fri, 01 Jan 2016 16:32:32 +0200 https://find.library.upatras.gr/Record/978-3-319-31311-5 https://find.library.upatras.gr/Record/978-3-319-31311-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Embedded Engineering Education Fri, 01 Jan 2016 16:32:32 +0200 https://find.library.upatras.gr/Record/978-3-319-27540-6 https://find.library.upatras.gr/Record/978-3-319-27540-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 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 16:32:32 +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 Hybrid Systems: Computation and Control Second International Workshop, HSCC'99, Berg en Dal, The Netherlands, March 29-31, 1999 Proceedings / Fri, 01 Jan 1999 16:32:32 +0200 https://find.library.upatras.gr/Record/978-3-540-48983-2 https://find.library.upatras.gr/Record/978-3-540-48983-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 1999 0 Generative Programming and Component Engineering Third International Conference, GPCE 2004, Vancouver, Canada, October 24-28, 2004. Proceedings / Thu, 01 Jan 2004 16:32:32 +0200 https://find.library.upatras.gr/Record/978-3-540-30175-2 https://find.library.upatras.gr/Record/978-3-540-30175-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2004 0 Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings / Thu, 01 Jan 2004 16:32:32 +0200 https://find.library.upatras.gr/Record/978-3-540-30206-3 https://find.library.upatras.gr/Record/978-3-540-30206-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2004 0 Embedded Software Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings / Tue, 01 Jan 2002 16:32:32 +0200 https://find.library.upatras.gr/Record/978-3-540-45828-9 https://find.library.upatras.gr/Record/978-3-540-45828-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0 Reliable Software Technologies - Ada-Europe '98 1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8-12, 1998, Proceedings / Thu, 01 Jan 1998 16:32:32 +0200 https://find.library.upatras.gr/Record/978-3-540-69802-9 https://find.library.upatras.gr/Record/978-3-540-69802-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 1998 0 NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings / Fri, 01 Jan 2016 16:32:32 +0200 https://find.library.upatras.gr/Record/978-3-319-40648-0 https://find.library.upatras.gr/Record/978-3-319-40648-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 XCOR, Developing the Next Generation Spaceplane Fri, 01 Jan 2016 16:32:32 +0200 https://find.library.upatras.gr/Record/978-3-319-26112-6 https://find.library.upatras.gr/Record/978-3-319-26112-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Advanced Model-Based Engineering of Embedded Systems Extensions of the SPES 2020 Methodology / Fri, 01 Jan 2016 16:32:32 +0200 https://find.library.upatras.gr/Record/978-3-319-48003-9 https://find.library.upatras.gr/Record/978-3-319-48003-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Model Checking Software 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings / Wed, 01 Jan 2003 16:32:32 +0200 https://find.library.upatras.gr/Record/978-3-540-44829-7 https://find.library.upatras.gr/Record/978-3-540-44829-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 FM'99 - Formal Methods World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II / Fri, 01 Jan 1999 16:32:32 +0200 https://find.library.upatras.gr/Record/978-3-540-48118-8 https://find.library.upatras.gr/Record/978-3-540-48118-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 1999 0 Computer Safety, Reliability, and Security 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24,2004, Proceedings / Thu, 01 Jan 2004 16:32:32 +0200 https://find.library.upatras.gr/Record/978-3-540-30138-7 https://find.library.upatras.gr/Record/978-3-540-30138-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 2004 0 Computer Safety, Reliability, and Security 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000 Proceedings / Sat, 01 Jan 2000 16:32:32 +0200 https://find.library.upatras.gr/Record/978-3-540-40891-8 https://find.library.upatras.gr/Record/978-3-540-40891-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 2000 0 Hybrid Systems IV Wed, 01 Jan 1997 16:32:32 +0200 https://find.library.upatras.gr/Record/978-3-540-69523-3 https://find.library.upatras.gr/Record/978-3-540-69523-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 1997 0 Informatics 10 Years Back. 10 Years Ahead / Mon, 01 Jan 2001 16:32:32 +0200 https://find.library.upatras.gr/Record/978-3-540-44577-7 https://find.library.upatras.gr/Record/978-3-540-44577-7 Wilhelm, Reinhard Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 Wilhelm, Reinhard 0 Sustainable Aviation Energy and Environmental Issues / Fri, 01 Jan 2016 16:32:32 +0200 https://find.library.upatras.gr/Record/978-3-319-34181-1 https://find.library.upatras.gr/Record/978-3-319-34181-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Building the Information Society IFIP 18th World Computer Congress Topical Sessions 22–27 August 2004 Toulouse, France / Thu, 01 Jan 2004 16:32:32 +0200 https://find.library.upatras.gr/Record/978-1-4020-8157-6 https://find.library.upatras.gr/Record/978-1-4020-8157-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2004 0 Real-Time and Embedded Computing Systems and Applications 9th International Conference, RTCSA 2003, Tainan City, Taiwan, February 18-20, 2003. Revised Papers / Thu, 01 Jan 2004 16:32:32 +0200 https://find.library.upatras.gr/Record/978-3-540-24686-2 https://find.library.upatras.gr/Record/978-3-540-24686-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2004 0 Embedded Software for SoC Wed, 01 Jan 2003 16:32:32 +0200 https://find.library.upatras.gr/Record/978-0-306-48709-5 https://find.library.upatras.gr/Record/978-0-306-48709-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Proceedings of the 9th International Conference on Information Communication and Management Tue, 01 Jan 2019 16:32:32 +0200 https://find.library.upatras.gr/Record/10.1145%2F3357419 https://find.library.upatras.gr/Record/10.1145%2F3357419 Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο 2019 0 Proceedings of the 2018 International Conference on Service Robotics Technologies Mon, 01 Jan 2018 16:32:32 +0200 https://find.library.upatras.gr/Record/10.1145%2F3208833 https://find.library.upatras.gr/Record/10.1145%2F3208833 Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο 2018 0 Designing Embedded Systems with the SIGNAL Programming Language Synchronous, Reactive Specification / Fri, 01 Jan 2010 16:32:32 +0200 https://find.library.upatras.gr/Record/978-1-4419-0941-1 https://find.library.upatras.gr/Record/978-1-4419-0941-1 Gamatie, Abdoulaye Ηλεκτρονική πηγή Ηλ. βιβλίο 2010 Gamatie, Abdoulaye 0 Synthesis of Embedded Software Frameworks and Methodologies for Correctness by Construction / Fri, 01 Jan 2010 16:32:32 +0200 https://find.library.upatras.gr/Record/978-1-4419-6400-7 https://find.library.upatras.gr/Record/978-1-4419-6400-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 2010 0 Advances in Design and Specification Languages for Embedded Systems Selected Contributions from FDL'06 / Mon, 01 Jan 2007 16:32:32 +0200 https://find.library.upatras.gr/Record/978-1-4020-6149-3 https://find.library.upatras.gr/Record/978-1-4020-6149-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2007 0 Agile Processes in Software Engineering and Extreme Programming 18th International Conference, XP 2017, Cologne, Germany, May 22-26, 2017, Proceedings / Sun, 01 Jan 2017 16:32:32 +0200 https://find.library.upatras.gr/Record/978-3-319-57633-6 https://find.library.upatras.gr/Record/978-3-319-57633-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2017 0 Proceedings of International Conference on Aerospace System Science and Engineering 2018 Tue, 01 Jan 2019 16:32:32 +0200 https://find.library.upatras.gr/Record/978-981-13-6061-9 https://find.library.upatras.gr/Record/978-981-13-6061-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2019 0 The Test and Launch Control Technology for Launch Vehicles Mon, 01 Jan 2018 16:32:32 +0200 https://find.library.upatras.gr/Record/978-981-10-8712-7 https://find.library.upatras.gr/Record/978-981-10-8712-7 Song, Zhengyu Ηλεκτρονική πηγή Ηλ. βιβλίο 2018 Song, Zhengyu 0 GNSS for Rail Transportation Challenges and Opportunities / Mon, 01 Jan 2018 16:32:32 +0200 https://find.library.upatras.gr/Record/978-3-319-79084-8 https://find.library.upatras.gr/Record/978-3-319-79084-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 2018 0 Hybrid Systems: Computation and Control 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings / Mon, 01 Jan 2007 16:32:32 +0200 https://find.library.upatras.gr/Record/978-3-540-71493-4 https://find.library.upatras.gr/Record/978-3-540-71493-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2007 0 Computational Intelligence: A Compendium Tue, 01 Jan 2008 16:32:32 +0200 https://find.library.upatras.gr/Record/978-3-540-78293-3 https://find.library.upatras.gr/Record/978-3-540-78293-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2008 0 Extreme Programming and Agile Processes in Software Engineering 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006. Proceedings / Sun, 01 Jan 2006 16:32:32 +0200 https://find.library.upatras.gr/Record/978-3-540-35095-8 https://find.library.upatras.gr/Record/978-3-540-35095-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 2006 0 Reconfigurable Computing: Architectures, Tools and Applications 5th International Workshop, ARC 2009, Karlsruhe, Germany, March 16-18, 2009. Proceedings / Thu, 01 Jan 2009 16:32:32 +0200 https://find.library.upatras.gr/Record/978-3-642-00641-8 https://find.library.upatras.gr/Record/978-3-642-00641-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 2009 0 Energy Efficient Microwave Systems Materials Processing Technologies for Avionic, Mobility and Environmental Applications / Thu, 01 Jan 2009 16:32:32 +0200 https://find.library.upatras.gr/Record/978-3-540-92122-6 https://find.library.upatras.gr/Record/978-3-540-92122-6 Feher, Lambert E. Ηλεκτρονική πηγή Ηλ. βιβλίο 2009 Feher, Lambert E. 0 Rapid prototyping of software for avionics systems : model-oriented approaches for complex systems certification / Wed, 01 Jan 2014 16:32:32 +0200 https://find.library.upatras.gr/Record/ocn894221694 https://find.library.upatras.gr/Record/ocn894221694 Larrieu, Nicolas Ηλ. βιβλίο 2014 Larrieu, Nicolas 0 Service Parts Management Demand Forecasting and Inventory Control / Sat, 01 Jan 2011 16:32:32 +0200 https://find.library.upatras.gr/Record/978-0-85729-039-7 https://find.library.upatras.gr/Record/978-0-85729-039-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 2011 0 Dependability of Networked Computer-based Systems Sat, 01 Jan 2011 16:32:32 +0200 https://find.library.upatras.gr/Record/978-0-85729-318-3 https://find.library.upatras.gr/Record/978-0-85729-318-3 Verma, Ajit Kumar Ηλεκτρονική πηγή Ηλ. βιβλίο 2011 Verma, Ajit Kumar 0 Formal methods for industrial critical systems : a survey of applications / Tue, 01 Jan 2013 16:32:32 +0200 https://find.library.upatras.gr/Record/ocn820719492 https://find.library.upatras.gr/Record/ocn820719492 Ηλ. βιβλίο 2013 0 Digital Systems From Logic Gates to Processors / Sun, 01 Jan 2017 16:32:32 +0200 https://find.library.upatras.gr/Record/978-3-319-41198-9 https://find.library.upatras.gr/Record/978-3-319-41198-9 Deschamps, Jean-Pierre Ηλεκτρονική πηγή Ηλ. βιβλίο 2017 Deschamps, Jean-Pierre 0 Advances in Through-life Engineering Services Sun, 01 Jan 2017 16:32:32 +0200 https://find.library.upatras.gr/Record/978-3-319-49938-3 https://find.library.upatras.gr/Record/978-3-319-49938-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2017 0 Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV / Mon, 01 Jan 2018 16:32:32 +0200 https://find.library.upatras.gr/Record/978-3-030-03427-6 https://find.library.upatras.gr/Record/978-3-030-03427-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2018 0 Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III / Mon, 01 Jan 2018 16:32:32 +0200 https://find.library.upatras.gr/Record/978-3-030-03424-5 https://find.library.upatras.gr/Record/978-3-030-03424-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 2018 0 The Proceedings of the 2018 Asia-Pacific International Symposium on Aerospace Technology (APISAT 2018) Tue, 01 Jan 2019 16:32:32 +0200 https://find.library.upatras.gr/Record/978-981-13-3305-7 https://find.library.upatras.gr/Record/978-981-13-3305-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 2019 0 System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 11th International Conference, SAM 2019, Munich, Germany, September 16-17, 2019, Proceedings / Tue, 01 Jan 2019 16:32:32 +0200 https://find.library.upatras.gr/Record/978-3-030-30690-8 https://find.library.upatras.gr/Record/978-3-030-30690-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 2019 0 Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings / Tue, 01 Jan 2008 16:32:32 +0200 https://find.library.upatras.gr/Record/978-3-540-88479-8 https://find.library.upatras.gr/Record/978-3-540-88479-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 2008 0 Formal Methods for Industrial Critical Systems 13th International Workshop, FMICS 2008, L’Aquila, Italy, September 15-16, 2008, Revised Selected Papers / Thu, 01 Jan 2009 16:32:32 +0200 https://find.library.upatras.gr/Record/978-3-642-03240-0 https://find.library.upatras.gr/Record/978-3-642-03240-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2009 0 Algorithms – ESA 2010 18th Annual European Symposium, Liverpool, UK, September 6-8, 2010. Proceedings, Part I / Fri, 01 Jan 2010 16:32:32 +0200 https://find.library.upatras.gr/Record/978-3-642-15775-2 https://find.library.upatras.gr/Record/978-3-642-15775-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2010 0