Reliable Software Technologies - Ada-Europe 2018 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings /

Reliable Software Technologies - Ada-Europe 2018 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings /

This book constitutes the proceedings of the 23rd Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2018, held in Lisbon, Portugal, in June 2018. The 10 papers presented in this volume were carefully reviewed and selected from 27 submissions. They were organized in to...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Casimiro, António (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Ferreira, Pedro M. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Cham : Springer International Publishing : Imprint: Springer, 2018.
Έκδοση:	1st ed. 2018.
Σειρά:	Programming and Software Engineering ; 10873
Θέματα:	Software engineering. Computer organization. Computer hardware. Computer logic. Data structures (Computer science). E-commerce. Software Engineering/Programming and Operating Systems. Computer Systems Organization and Communication Networks. Computer Hardware. Logics and Meanings of Programs. Data Structures and Information Theory. e-Commerce/e-business.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Computer Safety, Reliability, and Security SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings /
Έκδοση: (2018)

Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers /
Έκδοση: (2018)

Technologies for E-Services Second International Workshop, TES 2001, Rome, Italy, September 14-15, 2001. Proceedings /
Έκδοση: (2001)

Formal Hardware Verification Methods and Systems in Comparison /
Έκδοση: (1997)

Dynamic Logic. New Trends and Applications First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings /
Έκδοση: (2018)

Concurrency and Hardware Design Advances in Petri Nets /
Έκδοση: (2002)

The Ecosystem of e-Business: Technologies, Stakeholders, and Connections 17th Workshop on e-Business, WeB 2018, Santa Clara, CA, USA, December 12, 2018, Revised Selected Papers /
Έκδοση: (2019)

Services Computing - SCC 2018 15th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings /
Έκδοση: (2018)

Correct Hardware Design and Verification Methods 10th IFIP WG10.5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings /
Έκδοση: (1999)

High Performance Computing for Computational Science - VECPAR 2018 13th International Conference, São Pedro, Brazil, September 17-19, 2018, Revised Selected Papers /
Έκδοση: (2019)

Correct Hardware Design and Verification Methods 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings /
Έκδοση: (2001)

Correct Hardware Design and Verification Methods 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings /
Έκδοση: (2003)

Formal Methods in Computer-Aided Design 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings /
Έκδοση: (2004)

Hybrid Systems: Computation and Control 4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 Proceedings /
Έκδοση: (2001)

Information Security 21st International Conference, ISC 2018, Guildford, UK, September 9-12, 2018, Proceedings /
Έκδοση: (2018)

Security, Privacy, and Applied Cryptography Engineering 8th International Conference, SPACE 2018, Kanpur, India, December 15-19, 2018, Proceedings /
Έκδοση: (2018)

Formal Methods in Computer-Aided Design Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings /
Έκδοση: (2000)

Edge Computing - EDGE 2018 Second International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings /
Έκδοση: (2018)

Operations Research and Enterprise Systems 6th International Conference, ICORES 2017, Porto, Portugal, February 23-25, 2017, Revised Selected Papers /
Έκδοση: (2018)

Formal Methods in Computer-Aided Design Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings /
Έκδοση: (1998)

Internet of Things - ICIOT 2018 Third International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings /
Έκδοση: (2018)

Formal Methods in Computer-Aided Design 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings /
Έκδοση: (2002)

Measurement, Modelling and Evaluation of Computing Systems 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings /
Έκδοση: (2018)

Interactive Systems: Design, Specification, and Verification 8th International Workshop, DSV-IS 2001. Glasgow, Scotland, UK, June 13-15, 2001. Revised Papers /
Έκδοση: (2001)

Logical Foundations of Computer Science International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings /
Έκδοση: (2018)

VLSI Design and Test 23rd International Symposium, VDAT 2019, Indore, India, July 4-6, 2019, Revised Selected Papers /
Έκδοση: (2019)

Highlights of Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection International Workshops of PAAMS 2018, Toledo, Spain, June 20-22, 2018, Proceedings /
Έκδοση: (2018)

Service-Oriented Computing 16th International Conference, ICSOC 2018, Hangzhou, China, November 12-15, 2018, Proceedings /
Έκδοση: (2018)

Quality, Reliability, Security and Robustness in Heterogeneous Systems 13th International Conference, QShine 2017, Dalian, China, December 16 -17, 2017, Proceedings /
Έκδοση: (2018)

Power-Aware Computer Systems First International Workshop, PACS 2000 Cambridge, MA, USA, November 12, 2000 Revised Papers /
Έκδοση: (2001)

Inventing the Cloud Century How Cloudiness Keeps Changing Our Life, Economy and Technology /
ανά: Oppitz, Marcus, κ.ά.
Έκδοση: (2018)

Digital Economy. Emerging Technologies and Business Innovation Third International Conference, ICDEc 2018, Brest, France, May 3-5, 2018, Proceedings /
Έκδοση: (2018)

Transactions on Petri Nets and Other Models of Concurrency XIV
Έκδοση: (2019)

Digital Transformation: Challenges and Opportunities 16th Workshop on e-Business, WeB 2017, Seoul, South Korea, December 10, 2017, Revised Selected Papers /
Έκδοση: (2018)

Field Programmable Logic and Applications 7th International Workshop, FPL '97, London, UK, September, 1-3, 1997, Proceedings. /
Έκδοση: (1997)

Dependable Software Engineering. Theories, Tools, and Applications 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings /
Έκδοση: (2019)

Principles and Practice of Constraint Programming - CP 2003 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings /
Έκδοση: (2003)

Principles of Modeling Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday /
Έκδοση: (2018)

Languages and Compilers for Parallel Computing 31st International Workshop, LCPC 2018, Salt Lake City, UT, USA, October 9-11, 2018, Revised Selected Papers /
Έκδοση: (2019)

Parallel and Distributed Processing 11th IPPS/SPDP'99 Workshops Held in Conjunction with the 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing San Juan, Puerto Rico, USA, April 12-16, 1999 Proceedings /
Έκδοση: (1999)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών

Cannot write session to /tmp/vufind_sessions/sess_5vcctn9hfv8rl3l23sddrao836