<![CDATA[ Search for 'su:"Mobile computing" and su-to:Mobile computing and au:Bernardo, Marco']]>

<![CDATA[ Search for 'su:"Mobile computing" and su-to:Mobile computing and au:Bernardo, Marco']]> http://opac.daiict.ac.in/cgi-bin/koha/opac-search.pl?q=ccl=su%3A%22Mobile%20computing%22%20and%20su-to%3AMobile%20computing%20and%20au%3ABernardo%2C%20Marco&format=rss2 2 0 50 Formal methods for mobile computing : fifth 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 ISBN 9783540256977 http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=22246 By Bogliolo, Alessandro. Berlin: Springer, 2005 . vi, 270 p.; 24 cm.. 9783540256977

Place Hold on Formal methods for mobile computing : fifth 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

]]> http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=22246 Formal Methods for Software Architectures : Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems : Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003 : Advanced Lectures ISBN 3540200835 http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=26947 By Bernardo, Marco. New York: Springer-Verlag, 2003 . 285p.; 23 cm.. 3540200835

Place Hold on Formal Methods for Software Architectures : Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems : Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003 : Advanced Lectures

]]> http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=26947