This book synthesizes leading-edge science and management information about forest and rangeland soils of the United States. ...
Lire la suite
Form-based applications range from simple web shops to complex enterprise resource planning systems. Draheim and Weber adapt ...
Lire la suite
The 3rd Workshop on Formal Approaches to Agent-Based Systems (FAABS-III) was held at the Greenbelt Marriott Hotel (near NASA ...
Lire la suite
This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network ...
Lire la suite
This volume presents the set of papers accompanying the lectures of the eighth International School on Formal Methods for ...
Lire la suite
This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods ...
Lire la suite
This book presents 8 tutorial survey papers by leading researchers who lectured at the 5th International School on Formal ...
Lire la suite
This book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open ...
Lire la suite
This volume contains the proceedings of FMOODS2005, the 7th IFIPWG6. 1 International Conference on Formal Methods for Open ...
Lire la suite
This book presents a set of 11 papers accompanying the lectures of leading researchers given at the 7th edition of the International ...
Lire la suite
This book constitutes the refereed proceedings of the First International Workshop on Formal Methods in Systems Biology, ...
Lire la suite
This book constitutes the proceedings of the 40th IFIP WG 6.1 International Conference on Formal Techniques for Distributed ...
Lire la suiteElaborate the formalization phase of banking supervision in eight developed countries—USA, Japan, Sweden, Germany, Switzerland, ...
Lire la suite
Networks of firms have been in the focus of management research for several years. Recently, special attention has been paid ...
Lire la suite
This volume is a survey/monograph on the recently developed theory of forward-backward stochastic differential equations ...
Lire la suite
Dreamweaver 8 takes a lot of the hard work out of performing tasks such as integrating a database into your website, but ...
Lire la suite
This latest, completely rewritten, edition again brings together three of the web's hottest technologies—Flash, the server-side ...
Lire la suite
XML is a completely platform-agnostic data medium. Flash is able to make use of XML data, which is very useful when creating ...
Lire la suite
Concentrates on Semantic Web technologies standardized by the World Wide Web Consortium: RDF and SPARQL enable data exchange ...
Lire la suite
Data-mining has become a popular research topic in recent years for the treatment of the "data rich and information poor” ...
Lire la suite