Cargando…

Web Services and Formal Methods 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers /

This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Web Services and Formal Methods, WS-FM 2011, held in Clermont-Ferrand, France, in September 2011. The workshop was co-located with the 9th International Conference on Business Process Management, BPM...

Descripción completa

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Carbone, Marco (Editor ), Petit, Jean-Marc (Editor )
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Edición:	1st ed. 2012.
Colección:	Programming and Software Engineering, 7176
Temas:	Application software. Software engineering. Electronic data processing-Management. Information storage and retrieval systems. User interfaces (Computer systems). Human-computer interaction. Computer and Information Systems Applications. Software Engineering. IT Operations. Information Storage and Retrieval. User Interfaces and Human Computer Interaction.
Acceso en línea:	Texto Completo

Ejemplares similares

Web Services and Formal Methods 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers /
Publicado: (2011)

The Personal Web A Research Agenda /
Publicado: (2013)

Weaving Services and People on the World Wide Web
Publicado: (2009)

Pervasive Computing 9th International Conference, Pervasive 2011, San Francisco, USA, June 12-15, 2011. Proceedings /
Publicado: (2011)

Web Mining and Social Networking Techniques and Applications /
por: Xu, Guandong, et al.
Publicado: (2011)

Engineering Human Computer Interaction and Interactive Systems Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected Papers /
Publicado: (2005)

Ubiquitous Mobile Information and Collaboration Systems Second CAiSE Workshop, UMICS 2004, Riga, Latvia, June 7-8, 2004, Revised Selected Papers /
Publicado: (2005)

Cooperative Design, Visualization, and Engineering 8th International Conference, CDVE 2011, Hong Kong, China, September 11-14, 2011, Proceedings /
Publicado: (2011)

Advances in Production Management Systems: New Challenges, New Approaches International IFIP WG 5.7 Conference, APMS 2009, Bordeaux, France, September 21-23, 2009, Revised Selected Papers /
Publicado: (2010)

Universal Access in Ambient Intelligence Environments 9th ERCIM Workshop on User Interfaces for All, Königswinter, Germany, September 27-28, 2006, Revised Papers /
Publicado: (2007)

Mobile Computing, Applications, and Services Third International Conference, MobiCASE 2011, Los Angeles, CA, USA, October 24-27, 2011. Revised Selected Papers /
Publicado: (2012)

Design, User Experience, and Usability: Technological Contexts 5th International Conference, DUXU 2016, Held as Part of HCI International 2016, Toronto, Canada, July 17-22, 2016, Proceedings, Part III /
Publicado: (2016)

Design, User Experience, and Usability: Novel User Experiences 5th International Conference, DUXU 2016, Held as Part of HCI International 2016, Toronto, Canada, July 17-22, 2016, Proceedings, Part II /
Publicado: (2016)

Design, User Experience, and Usability: Design Thinking and Methods 5th International Conference, DUXU 2016, Held as Part of HCI International 2016, Toronto, Canada, July 17-22, 2016, Proceedings, Part I /
Publicado: (2016)

Cooperative Design, Visualization, and Engineering 7th International Conference, CDVE 2010, Calvia, Mallorca, Spain, September 19-22, 2010, Proceedings /
Publicado: (2010)

Virtual and Networked Organizations, Emergent Technologies and Tools First International Conference, ViNOrg 2011, Ofir, Portugal, July 6-8, 2011. Revised Selected Papers /
Publicado: (2012)

Service-Oriented Perspectives in Design Science Research 6th International Conference, DESRIST 2011, Milwaukee, WI, USA, May 5-6, 2011, Proceedings /
Publicado: (2011)

Web Engineering 13th International Conference, ICWE 2013, Aalborg, Denmark, July 8-12, 2013, Proceedings /
Publicado: (2013)

Collaboration and Technology 17th International Conference, CRIWG 2011, Paraty, Brazil, October 2-7, 2011, Proceedings /
Publicado: (2011)

Web Information System Engineering -- WISE 2011 12th International Conference, Sydney, Australia, October 13-14, 2011, Proceedings /
Publicado: (2011)

Advances in New Technologies, Interactive Interfaces and Communicability Second International Conference, ADNTIIC 2011, Huerta Grande, Argentina, December 5-7, 2011, Revised Selected Papers /
Publicado: (2012)

Rapid Mashup Development Tools First International Rapid Mashup Challenge, RMC 2015, Rotterdam, The Netherlands, June 23, 2015, Revised Selected Papers /
Publicado: (2016)

Mobile Wireless Middleware, Operating Systems, and Applications 4th International ICST Conference, Mobilware 2011, London, UK, June 22-24, 2011, Revised Selected Papers /
Publicado: (2012)

HCI International 2011 Posters' Extended Abstracts International Conference, HCI International 2011, Orlando, FL, USA, July 9-14, 2011,Proceedings, Part II /
Publicado: (2011)

HCI International 2011 Posters' Extended Abstracts International Conference, HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part I /
Publicado: (2011)

Grid and Pervasive Computing Workshops International Workshops, S3E, HWTS, Doctoral Colloquium, Held in Conjunction with GPC 2011, Oulu, Finland, May 11-13, 2011. Revised Selected Papers /
Publicado: (2012)

Web Engineering 16th International Conference, ICWE 2016, Lugano, Switzerland, June 6-9, 2016. Proceedings /
Publicado: (2016)

Web Engineering 12th International Conference, ICWE 2012, Berlin, Germany, July 23-27, 2012, Proceedings /
Publicado: (2012)

Web Engineering 14th International Conference, ICWE 2014, Toulouse, France, July 1-4, 2014, Proceedings /
Publicado: (2014)

ENTERprise Information Systems International Conference, CENTERIS 2011, Vilamoura, Algarve, Portugal, October 5-7, 2011. Proceedings, Part II /
Publicado: (2011)

ENTERprise Information Systems International Conference, CENTERIS 2011, Vilamoura, Algarve, Portugal, October 5-7, 2011. Proceedings, Part I /
Publicado: (2011)

ENTERprise Information Systems International Conference, CENTERIS 2011, Vilamoura, Algarve, Portugal, October 5-7, 2011. Proceedings, Part III /
Publicado: (2011)

Distributed Applications and Interoperable Systems 11th IFIP WG 6.1 International Conference, DAIS 2011, Reykjavik, Iceland, June 6-9, 2011, Proceedings /
Publicado: (2011)

Algorithms for Computational Biology Second International Conference, AlCoB 2015, Mexico City, Mexico, August 4-5, 2015, Proceedings /
Publicado: (2015)

Human Interface and the Management of Information Information and Interaction Design, 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I /
Publicado: (2013)

Visualization for Information Retrieval
por: Zhang, Jin
Publicado: (2008)

Social Computing and Social Media 6th International Conference, SCSM 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings /
Publicado: (2014)

Dynamic Taxonomies and Faceted Search Theory, Practice, and Experience /
Publicado: (2009)

Search Engines for Children Search User Interfaces and Information-Seeking Behaviour /
por: Gossen, Tatiana
Publicado: (2015)

Social Computing and Social Media 7th International Conference, SCSM 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings /
Publicado: (2015)

Cannot write session to /tmp/vufind_sessions/sess_e02qt6288c3rl1vbl1sp57h1ek