Formal methods for mobile computing : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005 : advanced lectures /

Mobile information systems II : IFIP International Working Conference on Mobile Information Systems, (MOBIS), Leeds, UK, December 6-7, 2005 /
Published: (2005)

Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings /
Published: (2005)

FM 2005 : formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings /
Published: (2005)

Formal methods for hardware verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006 : advanced lectures /
Published: (2006)

Mobile virtual work : a new paradigm? /
Published: (2006)

Proceedings of the ... ACM International Workshop on Mobile Commerce.

Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, ISFEM 2003, Singapore, November 5-7, 2003 : proceedings /
Published: (2003)

Formal techniques for computer systems and business processes : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005 : proceedings /
Published: (2005)

Mobility aware technologies and applications : second international workshop, MATA 2005, Montreal, Canada, October 17-19, 2005 : proceedings /
Published: (2005)

Formal methods and software engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006 : proceedings /
Published: (2006)

Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings /
Published: (2004)

Formal approaches to software testing : 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 : revised selected papers /
Published: (2006)

FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings /
Published: (2003)

FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings /
Published: (2003)

FM'99--formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings /
Published: (1999)

Networking and mobile computing : third international conference, ICCNMC 2005, Zhangjiajie, China, August 2-4, 2005 : proceedings /
Published: (2005)

Formal methods for components and objects : 4th international symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005 : revised lectures /
Published: (2006)

Mobile multimedia communications /
Published: (1997)

Advances in mobile computing and communications : perspectives and emerging trends in 5G networks /
Published: (2016)

FM 2006 : formal methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006 : proceedings /
Published: (2006)

FME 2002 : formal methods--getting it right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings /
Published: (2002)

FME 2002 : formal methods--getting IT right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings /
Published: (2002)

Mobility : processes, computers, and agents /
Published: (1999)

Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday /
Published: (2005)

Principles of mobile computing and communications /
by: Othman, Mazliza
Published: (2008)

Formal methods : applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers /
Published: (2007)

Mobile agents : second international workshop, MA '98, Stuttgart, Germany, September 9-11, 1998 : proceedings /
Published: (1998)

Mobile agents : 6th international conference, MA 2002, Barcelona, Spain, October 22-25, 2002 : proceedings /
Published: (2002)

Mobile agents : 5th international conference, MA 2001, Atlanta, GA, USA, December 2-4, 2001 : proceedings /
Published: (2001)

Mobile computing and networking 2001 : proceedings of the Seventh Annual International Conference on Mobile Computing and Networking, July 16-21, 2001, Rome, Italy /
Published: (2001)

Formal languages and programming : proceedings of a seminar organized by UAM-IBM Scientific Center, Madrid April 23-25, 1975 /
Published: (1976)

1999 IEEE International Workshop on Mobile Multimedia Communications (MoMuC'99) : San Diego, California, USA, November 15-17, 1999 /
Published: (1999)

Formal approaches to software testing : 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004 : revised selected papers /
Published: (2005)

Geospatial computing in mobile devices /
by: Chen, Ruizhi, 1963-
Published: (2014)

Formal methods for components and objects : second international symposium, FMCO 2003, Leiden, the Netherlands, November 4-7, 2003 : revised lectures /
Published: (2004)

Formal methods for components and objects : third international symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004 : revised lectures /
Published: (2005)