Top 482 portugal fernandes PDF Book Page 21
On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS: OTM Confederated International Conferences CoopIS, DOA, ODBASE, GADA, and IS 2007, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part I
Francisco Curbera, Frank Leymann, Mathias Weske (auth.), Robert Meersman, Zahir Tari (eds.)
·1191 Pages
·2007
·16.325 MB
Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002. Revised Papers
Tom Maibaum (auth.), Bernhard K. Aichernig, Tom Maibaum (eds.)
·468 Pages
·2003
·3.453 MB
