Web Information Systems Engineering - WISE 2005
This book constitutes the proceedings of the 6th International Conference on Web Information Systems Engineering, WISE 2005, ...
اقرأ المزيد
Web Reasoning and Rule Systems
It address all current topics in Web reasoning and rule systems, including acquisition of rules and ontologies by knowledge ...
اقرأ المزيد
Web Services and Formal Methods
This volume contains the proceedings ofthe international workshop WS-FM(Web Services and Formal Methods) held at Vienna University ...
اقرأ المزيد
Web Services and Formal Methods : 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings
This book address the application of formal methods and reasoning techniques to Web service technology, and formal theories ...
اقرأ المزيد
Web Technologies Research and Development - APWeb 2005
APWeb is an international conference series on WWW technologies and is the primary forum for researchers and practitioners ...
اقرأ المزيد
Word 2007
If youre familiar with Word, but not Word 2007, this is the book for you. Word 2007: Beyond the Manual focuses on features ...
اقرأ المزيد
XML for Bioinformatics
The goal of XML for Bioinformatics is to provide a solid introduction to the emerging use of XML in the field of bioinformatics. ...
اقرأ المزيد
ZB 2005: Formal Specification and Development in Z and B
This book constitutes the refereed proceedings of the 4th International Conference of Z and B users, ZB 2005, held in Guildford, ...
اقرأ المزيد
