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 ...
Lire la suite
Visual Information and Information Systems
Vthe 8th International Conference on VISual Information Systems held in Amsterdam dealt with a variety of aspects, from visual ...
Lire la suite
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 ...
Lire la suite
Visualizing the Semantic Web
This pioneering book deals specifically with the visualization of the Second-Generation Web. Now in its second edition it ...
Lire la suite
Web Engineering
This volume contains the proceedings of the seventh International Conference on Web Engineering (ICWE2007), the Call for ...
Lire la suite
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 ...
Lire la suite
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 ...
Lire la suite
Web Information Systems - WISE 2006
This book constitutes the proceedings of the 7th International Conference on Web Information Systems Engineering, WISE 2006, ...
Lire la suite
Web Information Systems - WISE 2006 Workshops
This book constitutes the joint refereed proceedings of the three workshops held in conjunction with the 7th International ...
Lire la suite
Web Information Systems Engineering - WISE 2005
This book constitutes the proceedings of the 6th International Conference on Web Information Systems Engineering, WISE 2005, ...
Lire la suite
Web Information Systems Engineering - WISE 2005 Workshops
Constitutes the joint refereed proceedings of the three workshops held in conjunction with the 6th International Conference ...
Lire la suite
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; ...
Lire la suite
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 ...
Lire la suite
Web Information Systems Engineering – WISE 2020
This book constitutes the proceedings of the 21st International Conference on Web Information Systems Engineering, WISE 2020, ...
Lire la suite
Web Information Systems Engineering – WISE 2020
This book constitutes the proceedings of the 21st International Conference on Web Information Systems Engineering, WISE 2020, ...
Lire la suite
Web Information Systems and Applications
This book constitutes the proceedings of the 17th International Conference on Web Information Systems and Applications, WISA ...
Lire la suite
Web Reasoning and Rule Systems
It address all current topics in Web reasoning and rule systems, including acquisition of rules and ontologies by knowledge ...
Lire la suite
Web Services and Formal Methods
This volume contains the proceedings ofthe international workshop WS-FM(Web Services and Formal Methods) held at Vienna University ...
Lire la suite
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 ...
Lire la suite
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 ...
Lire la suite
