Formal Techniques for Distributed Objects, Components, and Systems 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings /

Formal Techniques for Distributed Objects, Components, and Systems 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings /

This book constitutes the proceedings of the 38th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federated Conference on Distributed Computing Techniques, D...

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Baier, Christel (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Caires, Luís (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Cham : Springer International Publishing : Imprint: Springer, 2018.
Έκδοση:	1st ed. 2018.
Σειρά:	Programming and Software Engineering ; 10854
Θέματα:	Software engineering. Operating systems (Computers). Programming languages (Electronic computers). Computer security. Computer communication systems. Architecture, Computer. Software Engineering. Operating Systems. Programming Languages, Compilers, Interpreters. Systems and Data Security. Computer Communication Networks. Computer System Implementation.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

Theory and Practice of Model Transformation 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings /
Έκδοση: (2018)

Distributed Applications and Interoperable Systems 18th IFIP WG 6.1 International Conference, DAIS 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings /
Έκδοση: (2018)

Compiler Optimizations for Scalable Parallel Systems Languages, Compilation Techniques, and Run Time Systems /
Έκδοση: (2001)

Advances in Exception Handling Techniques
Έκδοση: (2001)

Engineering Distributed Objects Second International Workshop, EDO 2000 Davis, CA, USA, November 2-3, 2000 Revised Papers /
Έκδοση: (2001)

Coordination Models and Languages 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings /
Έκδοση: (2018)

Global Computing. Programming Environments, Languages, Security, and Analysis of Systems IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003, Revised Papers /
Έκδοση: (2003)

Data Privacy Management, Cryptocurrencies and Blockchain Technology ESORICS 2018 International Workshops, DPM 2018 and CBT 2018, Barcelona, Spain, September 6-7, 2018, Proceedings /
Έκδοση: (2018)

Middleware 2000 IFIP/ACM International Conference on Distributed Systems Platforms and Open Distributed Processing New York, NY, USA, April 4-7, 2000 Proceedings /
Έκδοση: (2000)

Foundations of Security Analysis and Design Tutorial Lectures /
Έκδοση: (2001)

Formal Methods for Open Object-Based Distributed Systems 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings /
Έκδοση: (2003)

Middleware 2001 IFIP/ACM International Conference on Distributed Systems Platforms Heidelberg, Germany, November 12-16, 2001, Proceedings /
Έκδοση: (2001)

Tests and Proofs 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings /
Έκδοση: (2018)

Quality of Information and Communications Technology 12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11-13, 2019, Proceedings /
Έκδοση: (2019)

Modular Programming Languages Joint Modular Languages Conference, JMLC 2000 Zurich, Switzerland, September 6-8, 2000 Proceedings /
Έκδοση: (2000)

Software and Compilers for Embedded Systems 7th International Workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003, Proceedings /
Έκδοση: (2003)

Trends in Functional Programming 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers /
Έκδοση: (2018)

Middleware 2004 ACM/IFIP/USENIX International Middleware Conference, Toronto, Canada, October 18-20, 2004, Proceedings /
Έκδοση: (2004)

Grid Computing - GRID 2001 Second International Workshop, Denver, CO, USA, November 12, 2001. Proceedings /
Έκδοση: (2001)

Utility Computing 15th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2004, Davis, CA, USA, November 15-17, 2004. Proceedings /
Έκδοση: (2004)

Software and Compilers for Embedded Systems 8th International Workshop, SCOPES 2004, Amsterdam, The Netherlands, September 2-3, 2004, Proceedings /
Έκδοση: (2004)

High-Level Parallel Programming Models and Supportive Environments 6th International Workshop, HIPS 2001 San Francisco, CA, USA, April 23, 2001 Proceedings /
Έκδοση: (2001)

Advanced Symbolic Analysis for Compilers New Techniques and Algorithms for Symbolic Program Analysis and Optimization /
ανά: Fahringer, Thomas, κ.ά.
Έκδοση: (2003)

Security Standardisation Research 4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings /
Έκδοση: (2018)

Metalevel Architectures and Separation of Crosscutting Concerns Third International Conference, REFLECTION 2001, Kyoto, Japan, September 25-28, 2001 Proceedings /
Έκδοση: (2001)

Research in Attacks, Intrusions, and Defenses 21st International Symposium, RAID 2018, Heraklion, Crete, Greece, September 10-12, 2018, Proceedings /
Έκδοση: (2018)

Coordination Models and Languages 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings /
Έκδοση: (2019)

Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings /
Έκδοση: (2018)

Coordination Languages and Models Third International Conference, COORDINATION'99, Amsterdam, The Netherlands, April 26-28, 1999, Proceedings /
Έκδοση: (1999)

Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings /
Έκδοση: (2018)

Embedded Software Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings /
Έκδοση: (2003)

Model-Driven Engineering and Software Development 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers /
Έκδοση: (2018)

Cyber Security Cryptography and Machine Learning Second International Symposium, CSCML 2018, Beer Sheva, Israel, June 21-22, 2018, Proceedings /
Έκδοση: (2018)

Modelling Foundations and Applications 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings /
Έκδοση: (2018)

Network-Based Parallel Computing - Communication, Architecture, and Applications 4th International Workshop, CANPC 2000 Toulouse, France, January 8, 2000 Proceedings /
Έκδοση: (2000)

Reliable Software Technologies - Ada-Europe 2001 6th Ada-Europe International Conference on Reliable Software Technologies Leuven, Belgium, May 14-18, 2001 Proceedings /
Έκδοση: (2001)

Reliable Software Technologies - Ada-Europe 2004 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004, Proceedings /
Έκδοση: (2004)

Types in Compilation Second International Workshop, TIC'98, Kyoto, Japan, March 25-27, 1998 Proceedings /
Έκδοση: (1998)

Formal Methods for Components and Objects First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures /
Έκδοση: (2003)

Information Security and Privacy 24th Australasian Conference, ACISP 2019, Christchurch, New Zealand, July 3-5, 2019, Proceedings /
Έκδοση: (2019)

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

Cannot write session to /tmp/vufind_sessions/sess_uu9jcirhspt3pjiplk64cmm1pj