The 31 revised full papers presented - 21 research papers and 10 industry papers - were carefully reviewed and selected from ...
Lire la suite
This book constitutes the refereed proceedings of the Third European Conference on Model Driven Architecture: Foundations ...
Lire la suite
The book also contains three keynote speeches and contributions to workshops, symposia, tutorials and panels at the conference. ...
Lire la suite
The goal of the European Conference on Model-Driven Architecture — Foundations and Applications (ECMDA-FA) is to bring ...
Lire la suite
This book constitutes the refereed proceedings of the 5th International Conference on Modeling Decisions for Artificial Intelligence, ...
Lire la suite
This book constitutes the thoroughly refereed post-workshop proceedings of 10 internationl workshops and 2 symposia held ...
Lire la suite
Formal methods are a robust approach for problem solving. It is based on logic and algebraic methods where problems can be ...
Lire la suite
Understand the essential details about x86 SIMD architectures and instruction sets including AVX, AVX2, and AVX-512. / Master ...
Lire la suite
On behalf of the Steering Committee we are pleased to present the proceedings of the 2006 Joint Modular Languages Conference ...
Lire la suite
Joel Spolsky started his weblog in March 2000 in order to offer his insights, based on years of experience, on how to improve ...
Lire la suite
Multilingualism is everywhere in our globalised society. Delving into the 'social life' of languages, John Edwards provides ...
Lire la suite
This two-volume set of LNAI 12340 and LNAI 12341 constitutes the refereed proceedings of the 9th CCF Conference on Natural ...
Lire la suite
This two-volume set of LNAI 12340 and LNAI 12341 constitutes the refereed proceedings of the 9th CCF Conference on Natural ...
Lire la suite
This volume contains the papers presented at NLDB 2008, the 13th Inter- tional Conference on Natural Language and Information ...
Lire la suite
This useful volume introduces concepts and principles of network performance analysis by example, using the J programming ...
Lire la suite
The theory of formal languages is widely recognized as the backbone of theoretical computer science, originating from mathematics ...
Lire la suite
This book constitutes extended, revised and selected papers from the 11th International Symposium of Artificial Intelligence ...
Lire la suite
This book constitutes thoroughly refereed short papers of the 24th European Conference on Advances in Databases and Information ...
Lire la suite
Covers a wide range of topics, including chapters on linear algebra, root finding, curve fitting, differentiation and integration, ...
Lire la suite
Computers arechanging the way wethink. Of course,nearly all desk-workers have access to computers and use them to email their ...
Lire la suite