Verified Software: Theories, Tools, Experiments : Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings
The scope of book includes the sharing and interoperability of tools, the alignment of theory and practice, the identification ...
Lee mas
Visual Information and Information Systems
Vthe 8th International Conference on VISual Information Systems held in Amsterdam dealt with a variety of aspects, from visual ...
Lee mas
Visualizing Information Using SVG and X3D
The first great graphics technology for the Web,VRML,has been mistaken for something else since its inception. Viewed variously ...
Lee mas
Visualizing the Semantic Web
This pioneering book deals specifically with the visualization of the Second-Generation Web. Now in its second edition it ...
Lee mas
Web Engineering
This volume contains the proceedings of the seventh International Conference on Web Engineering (ICWE2007), the Call for ...
Lee mas
Web Engineering : 21st International Conference, ICWE 2021, Biarritz, France, May 18–21, 2021, Proceedings
This book constitutes the proceedings of the 21st International Conference on Web Engineering, ICWE 2021, which was supposed ...
Lee mas
Web Engineering: Modelling and Implementing Web Applications
Modelling and Implementing Web Applications presents the state of the art approaches for obtaining a correct and complete ...
Lee mas
Web Information Systems - WISE 2006
This book constitutes the proceedings of the 7th International Conference on Web Information Systems Engineering, WISE 2006, ...
Lee mas
Web Information Systems - WISE 2006 Workshops
This book constitutes the joint refereed proceedings of the three workshops held in conjunction with the 7th International ...
Lee mas
Web Information Systems Engineering - WISE 2005
This book constitutes the proceedings of the 6th International Conference on Web Information Systems Engineering, WISE 2005, ...
Lee mas
Web Information Systems Engineering - WISE 2005 Workshops
Constitutes the joint refereed proceedings of the three workshops held in conjunction with the 6th International Conference ...
Lee mas
Web Information Systems Engineering - WISE 2008 : 9th International Conference, Auckland, New Zealand, September 1-3, 2008. Proceedings
This book is organized in topical sections on grid computing and peer-to-peer systems; Web mining; rich Web user interfaces; ...
Lee mas
Web Information Systems Engineering – WISE 2007 Workshops
This book constitutes the joint refereed proceedings of six workshops held in conjunction with the 8th International Conference ...
Lee mas
Web Information Systems Engineering – WISE 2020
This book constitutes the proceedings of the 21st International Conference on Web Information Systems Engineering, WISE 2020, ...
Lee mas
Web Information Systems Engineering – WISE 2020
This book constitutes the proceedings of the 21st International Conference on Web Information Systems Engineering, WISE 2020, ...
Lee mas
Web Information Systems and Applications
This book constitutes the proceedings of the 17th International Conference on Web Information Systems and Applications, WISA ...
Lee mas
Web Reasoning and Rule Systems
It address all current topics in Web reasoning and rule systems, including acquisition of rules and ontologies by knowledge ...
Lee mas
Web Services and Formal Methods
This volume contains the proceedings ofthe international workshop WS-FM(Web Services and Formal Methods) held at Vienna University ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
