Modern Formal Methods and Applications
Formal methods are a robust approach for problem solving. It is based on logic and algebraic methods where problems can be ...
اقرأ المزيد
Modern Parallel Programming with C++ and Assembly Language : X86 SIMD Development Using AVX, AVX2, and AVX-512 / Daniel Kusswurm
Understand the essential details about x86 SIMD architectures and instruction sets including AVX, AVX2, and AVX-512. / Master ...
اقرأ المزيد
Modular Programming Languages
On behalf of the Steering Committee we are pleased to present the proceedings of the 2006 Joint Modular Languages Conference ...
اقرأ المزيد
MooTools Essentials : The Official MooTools Reference for JavaScript™ and Ajax Development
Mootools is a light, modular JavaScript framework that makes adding Ajax, animations, and interactive elements to your site ...
اقرأ المزيد
More Joel on Software : Further Thoughts on Diverse and Occasionally Related Matters That Will Prove of Interest to Software Developers, Designers, and Managers, and to Those Who, Whether by Good Fortune or III Luck, Work with Them in Some Capacity
Joel Spolsky started his weblog in March 2000 in order to offer his insights, based on years of experience, on how to improve ...
اقرأ المزيد
Mule 2: A Developers Guide to ESB and Integration Platform
Mule 2: A Developer's Guide introduces the Mule 2.0 integration platform for developers of enterprise integration applications ...
اقرأ المزيد
Multi-Agent Programming
Part I describes four approaches that are based on computational logic or process algebra--Jason, 3APL, IMPACT, and CLAIM/SyMPA. ...
اقرأ المزيد
Multiagent System Technologies
The papers are organized in topical sections on engineering multi-agent systems, multi-agent planning and learning, multi-agent ...
اقرأ المزيد
Multiagent System Technologies : 6th German Conference, MATES 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings
This book constitutes the refereed proceedings of the 6th German Conference on Multiagent Systems Technologies, MATES 2008, ...
اقرأ المزيد
Multicriteria Optimization
Decision makers in many areas, from industry to engineering and the social sector, face an increasing need to consider multiple, ...
اقرأ المزيد
Multimodal Technologies for Perception of Humans : International Evaluation Workshops CLEAR 2007 and RT 2007, Baltimore, MD, USA, May 8-11, 2007, Revised Selected Papers
This book constitutes the thoroughly refereed joint post-workshop proceedings of two co-located events: the Second International ...
اقرأ المزيد
Multiobjective Optimization : Interactive and Evolutionary Approaches
Multiobjective optimization deals with solving problems having not only one, but multiple, often conflicting, criteria. Such ...
اقرأ المزيد
Multiparadigm Programming in Mozart
Oz's concurrency model yields simplicity and clarity (because Oz makes it easier to express complex programs with many interacting ...
اقرأ المزيد
Natural Computing in Computational Finance
Natural Computing in Computational Finance is a innovative volume containing fifteen chapters which illustrate cutting-edge ...
اقرأ المزيد
Nature Inspired Problem-Solving Methods in Knowledge Engineering
The second of a two-volume set, this book constitutes the refereed proceedings of the Second International Work-Conference ...
اقرأ المزيد
Network Performance Analysis : Using the J Programming Language
This useful volume introduces concepts and principles of network performance analysis by example, using the J programming ...
اقرأ المزيد
Network and Parallel Computing
These proceedings contain the papers presented at the 2005 IFIP International Conference on Network and Parallel Computing ...
اقرأ المزيد
Network and Parallel Computing
The goal of NPC is to establish an international forum for researchers and practitioners to present their - cellent ideas ...
اقرأ المزيد
New Frontiers in Applied Artificial Intelligence : 21st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2008 Wrocław, Poland, June 18-20, 2008 Proceedings
The 75 revised full papers presented were carefully reviewed and selected from 302 submissions. The papers are organized ...
اقرأ المزيد
New Frontiers in Artificial Intelligence
The objectives of this book are to present the award papers from the 19th annual conference of JSAI 2005 and the selected ...
اقرأ المزيد
