This book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Formal Techniques for ...
Lire la suite
Concentrates on Semantic Web technologies standardized by the World Wide Web Consortium: RDF and SPARQL enable data exchange ...
Lire la suite
Foundations of C++/CLI: The Visual C++ Language for .NET 3.5 introduces C++/CLI, Microsoft's extensions to the C++ syntax ...
Lire la suite
This book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational ...
Lire la suite
This book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational ...
Lire la suite
This volume contains the papers presented at the 21st International Conference on Foundations of Software Science and Computation ...
Lire la suite
This book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational ...
Lire la suiteThis book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational ...
Lire la suite
This book constitutes the refereed proceedings of the 10th International Conference on Foundations of Software Science and ...
Lire la suite
This book constitutes a commemorative volume devoted to Erich J. Neuhold on the occasion of his 65th birthday. The 32 invited ...
Lire la suite
This book constitutes the refereed proceedings of the 8th Asia-Pacific Web Conference, APWeb 2006, held in Harbin, China ...
Lire la suite
This book constitutes the refereed proceedings of the 8th International Symposium on Functional and Logic Programming, FLOPS ...
Lire la suite
This book constitutes the refereed proceedings of the 10th International Conference on Fundamental Approaches to Software ...
Lire la suite
This book contains the proceedings of FASE 2018, the 21th International Conference on Fundamental Approaches to Software ...
Lire la suite
This book cover software verification; model-driven development and model transformation; software evolution and requirements ...
Lire la suite
The fve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less ...
Lire la suite
This book constitutes the refereed proceedings of the 16th International Symposium Fundamentals of Computation Theory. The ...
Lire la suiteThis book exclusively surveys the active on-going research of the current maturity of fuzzy logic over the last four decades. ...
Lire la suite
This book presents an up-to-date state of current research in the use of fuzzy sets and their extensions, paying attention ...
Lire la suite
This book is a collection of studies applying game-theoretical concepts and ideas to analysing the semantics of natural language ...
Lire la suite