This book constitutes the refereed proceedings of the 2002 VLDB workshop on Technologies for E-Services (VLDB-TES 02) isthe ...
Lire la suite
It featured the presen- tion of 12 regular papers, focused on major aspects of e-business solutions. In addition, the workshop ...
Lire la suite
explores the pivotal role played by technology over the past decade in advancing global public health and health care. At ...
Lire la suite
This book details the relationship between the artist and their created works, using tools such as information technology, ...
Lire la suite
With rapid advances in telecommunications technology there are many new innovative applications. These advances in technology ...
Lire la suite
In Temporal Dimensions of Landscape Ecology: Wildlife Responses to Variable Resources, the authors discuss the effects that ...
Lire la suite
Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification ...
Lire la suite
Acquaints the reader with the basic science principles needed in order to understand temporomandibular disorders (TMDs) with ...
Lire la suite
This book is intended for graduated students, but can also be used as a professional book for researchers in the related ...
Lire la suite
This volume contains the proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA2005),whichwasheldonApril19– ...
Lire la suite
Over 100 authors present 25 contributions on the impacts of global change on terrestrial ecosystems including: key processes ...
Lire la suite
TestGoal is not just another methodology. Several good testing methodologies exist. But, like any other profession, also ...
Lire la suite
This book constitutes the refereed proceedings of the 32nd IFIP WG 6.1 International Conference on Testing Software and Systems, ...
Lire la suite
This book constitutes the refereed proceedings of the 17th IFIP TC 6/WG 6.1 International Conference on Testing Communicating ...
Lire la suite
This volume contains the proceedings of the 18th IFIP International Conferenceon Testing Communicating Systems (TestCom 2006). ...
Lire la suite
This book constitutes the refereed proceedings of the 19th IFIP TC 6/WG 6.1 International Conference on Testing Communicating ...
Lire la suite
This book covers new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating ...
Lire la suite
This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as ...
Lire la suite
This book covers the area of convergence of software proofing and testing and feature current research work that combines ...
Lire la suite
Focuses on a basic theoretical framework dealing with the problems, solutions, and applications of text mining and its various ...
Lire la suite