Web Services and Formal Methods 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers /

Web Services and Formal Methods 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers /

Εμφάνιση άλλων εκδόσεων (1)

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Laneve, Cosimo (Επιμελητής έκδοσης), Su, Jianwen (Επιμελητής έκδοσης)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
Σειρά:	Lecture Notes in Computer Science, 6194
Θέματα:	Computer science. Computer communication systems. Software engineering. Computers. Information storage and retrieval. Multimedia information systems. Computer Science. Information Systems and Communication Service. Information Systems Applications (incl. Internet). Computer Communication Networks. Information Storage and Retrieval. Software Engineering. Multimedia Information Systems.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

Web Services and Formal Methods 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers
ανά: Laneve, Cosimo
Έκδοση: (2010)

Wired-Wireless Multimedia Networks and Services Management 12th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services, MMNS 2009, Venice, Italy, October 26-27, 2009. Proceedings /
Έκδοση: (2009)

Web Reasoning and Rule Systems Third International Conference, RR 2009, Chantilly, VA, USA, October 25-26, 2009, Proceedings /
Έκδοση: (2009)

Web Engineering 7th International Conference, ICWE 2007 Como, Italy, July 16-20, 2007 Proceedings /
Έκδοση: (2007)

Intelligent Interactive Assistance and Mobile Multimedia Computing International Conference, IMC 2009, Rostock-Warnemünde, Germany, November 9-11, 2009. Proceedings /
Έκδοση: (2009)

Web Reasoning and Rule Systems 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings /
Έκδοση: (2012)

Service-Oriented Computing ICSOC 2010 International Workshops, PAASC, WESOA, SEE, and SOC-LOG, San Francisco, CA, USA, December 7-10, 2010, Revised Selected Papers /
Έκδοση: (2011)

Information Networking. Networking Technologies for Broadband and Mobile Networks International Conference ICOIN 2004, Busan, Korea, February 18-20, 2004. Revised Selected Papers /
Έκδοση: (2004)

Web Reasoning and Rule Systems 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011. Proceedings /
Έκδοση: (2011)

Measurement Methodology and Tools First European Workshop, FP7 FIRE/EULER Project, Aalborg, Denmark, May 9, 2012, Revised and Extended Papers /
Έκδοση: (2013)

High Speed Networks and Multimedia Communications 7th IEEE International Conference, HSNMC 2004, Toulouse, France, June 30 - July 2, 2004. Proceedings /
Έκδοση: (2004)

Scientific Engineering of Distributed Java Applications 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers /
Έκδοση: (2005)

Web Engineering 5th International Conference, ICWE 2005, Sydney, Australia, July 27-29, 2005. Proceedings /
Έκδοση: (2005)

Web Content Delivery
Έκδοση: (2005)

Next Generation Information Technologies and Systems 6th International Conference, NGITS 2006, Kibbutz Shefayim, Israel, July 4-6, 2006. Proceedings /
Έκδοση: (2006)

Web Data Management A Warehouse Approach /
ανά: Bhowmick, Sourav S., κ.ά.
Έκδοση: (2004)

Distributed Computing and Internet Technology 6th International Conference, ICDCIT 2010, Bhubaneswar, India, February 15-17, 2010. Proceedings /
Έκδοση: (2010)

Distributed Computing and Internet Technology 7th International Conference, ICDCIT 2011, Bhubaneshwar, India, February 9-12, 2011. Proceedings /
Έκδοση: (2011)

Wired/Wireless Internet Communications Second International Conference, WWIC 2004, Frankfurt (Oder), Germany, February 4-6, 2004. Proceedings /
Έκδοση: (2004)

Interactive Systems. Design, Specification, and Verification 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers /
Έκδοση: (2008)

Web Information Systems Engineering - WISE 2009 10th International Conference, Poznań, Poland, October 5-7, 2009. Proceedings /
Έκδοση: (2009)

Visual Indexing and Retrieval
ανά: Benois-Pineau, Jenny, κ.ά.
Έκδοση: (2012)

Advances in Multimedia Information Processing - PCM 2010 11th Pacific Rim Conference on Multimedia, Shanghai, China, September 2010, Proceedings, Part II /
Έκδοση: (2010)

Human-Computer Interaction. HCI Applications and Services 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IV /
Έκδοση: (2007)

Universal Access in Human-Computer Interaction. Applications and Services 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part III /
Έκδοση: (2007)

Advances in Multimedia Information Processing – PCM 2012 13th Pacific-Rim Conference on Multimedia, Singapore, December 4-6, 2012. Proceedings /
Έκδοση: (2012)

Semantic Web Services and Web Process Composition First International Workshop, SWSWPC 2004, San Diego, CA, USA, July 6, 2004, Revised Selected Papers /
Έκδοση: (2005)

Current Trends in Web Engineering 10th International Conference on Web Engineering ICWE 2010 Workshops, Vienna, Austria, July 2010, Revised Selected Papers /
Έκδοση: (2010)

Current Trends in Web Engineering ICWE 2012 International Workshops: MDWE, ComposableWeb, WeRE, QWE, and Doctoral Consortium, Berlin, Germany, July 23-27, 2012, Revised Selected Papers /
Έκδοση: (2012)

Current Trends in Web Engineering Workshops, Doctoral Symposium, and Tutorials, Held at ICWE 2011, Paphos, Cyprus, June 20-21, 2011. Revised Selected Papers /
Έκδοση: (2012)

E-Librarian Service User-Friendly Semantic Search in Digital Libraries /
ανά: Linckels, Serge, κ.ά.
Έκδοση: (2011)

Human-Computer Interaction. Interaction Design and Usability 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I /
Έκδοση: (2007)

Human-Computer Interaction. Interaction Platforms and Techniques 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II /
Έκδοση: (2007)

Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part III /
Έκδοση: (2007)

Universal Acess in Human Computer Interaction. Coping with Diversity 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I /
Έκδοση: (2007)

Universal Access in Human-Computer Interaction. Ambient Interaction 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part II /
Έκδοση: (2007)

Autonomic Management of Mobile Multimedia Services 9th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services, MMNS 2006, Dublin, Ireland, October 25-27, 2006. Proceedings /
Έκδοση: (2006)

Web Reasoning and Rule Systems Fourth International Conference, RR 2010, Bressanone/Brixen, Italy, September 22-24, 2010. Proceedings /
Έκδοση: (2010)

Autonomic Principles of IP Operations and Management 6th IEEE International Workshop on IP Operations and Management, IPOM 2006, Dublin, Ireland, October 23-25, 2006. Proceedings /
Έκδοση: (2006)

Operations and Management in IP-Based Networks 5th IEEE International Workshop on IP Operations and Management, IPOM 2005, Barcelona, Spain, October 26-28, 2005. Proceedings /
Έκδοση: (2005)

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