Logic Based Program Synthesis and Transformation (vol. # 3901)
This book constitutes the thoroughly refereed post-proceedings of the 15th International Symposium on Logic Based Program ...
اقرأ المزيد
Logic Programming and Nonmonotonic Reasoning
Thesearetheproceedingsofthe8thInternational Conference on Logic Progr- mingandNonmonotonicReasoning (LPNMR2005).Followingthepreviousones ...
اقرأ المزيد
Logic and Theory of Algorithms : 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings
This book constitutes the refereed proceedings of the 4th International Conference on Computability in Europe, CiE 2008, ...
اقرأ المزيد
Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3452)
This volume contains the papers presented at the 11th International Conference on Logic for Programming, Arti'cial Intelligence, ...
اقرأ المزيد
Logic for Programming, Artificial Intelligence, and Reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings
This book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial ...
اقرأ المزيد
Logic, Language, Information and Computation : 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings
The 21 revised full papers presented together with the abstracts of 7 tutorials and invited lectures were carefully reviewed ...
اقرأ المزيد
Logic-Based Program Synthesis and Transformation : 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers
This volumecontainsa selectionofthe the paperspresentedatthe 17thInter- tional Symposium on Logic-Based Program Synthesis ...
اقرأ المزيد
Low Power Methodology Manual
"Tools alone aren't enough to reduce dynamic and leakage power in complex chip designs - a well-planned methodology is ...
اقرأ المزيد
MCITP self-paced training Kit (Exam 70-444) : optimizing and maintaining a database administration solution microsoft SQL server 2005 / Orin Thomas, Ian Mclean
Designed to help you make the most of your study time. Maximize your performance on the exam by learning to: * Monitor and ...
اقرأ المزيدMEGAFLOW - Numerical Flow Simulation for Aircraft Design
This volume contains results of the German CFD initiative MEGAFLOW which combines many of the CFD development activities ...
اقرأ المزيد
Mac OS X Leopard : Beyond the Manual
Good computer books make assumptions about the reader: what they do and don't know when they pick up the book, and what ...
اقرأ المزيد
Machine Learning Approach for Cloud Data Analytics in IoT / Sachi Nandan Mohanty, Jyotir Moy Chatterjee, Monika Mangla, Suneeta Satpathy, Sirisha Potluri
Covers the multidimensional perspective of machine learning through the perspective of cloud computing and Internet of Things ...
اقرأ المزيد
Machine Learning for Cyber Agents : Attack and Defence / Stanislav Abaimov, Maurizio Martellini
The cyber world has been both enhanced and endangered by AI. On the one hand, the performance of many existing security services ...
اقرأ المزيدMachine Learning for Data Streams: with Practical Examples in MOA
The book first offers a brief introduction to the topic, covering big data mining, basic methodologies for mining data streams, ...
اقرأ المزيد
Machine Learning for Multimodal Interaction : 4th International Workshop, MLMI 2007, Brno, Czech Republic, June 28-30, 2007, Revised Selected Papers
This book contains a selection of revised papers from the 4th Workshop on Machine Learning for Multimodal Interaction (MLMI ...
اقرأ المزيد
Making Globally Distributed Software Development a Success Story : International Conference on Software Process, ICSP 2008 Leipzig, Germany, May 10-11, 2008 Proceedings
This volume contains papers presented at the International Conference on Software Process (ICSP 2008) held in Leipzig, Germany, ...
اقرأ المزيد
Malware Detection
Malware Detection, based on the Special ARO/DHS Workshop on Malware Detection at Rosslyn, VA, in 2005, captures the state ...
اقرأ المزيد
Managed Software Evolution
This open access book presents the outcomes of the “Design for Future – Managed Software Evolution” .The different ...
اقرأ المزيد
Managing Development and Application of Digital Technologies
Digital technology determines today’s world and will be one of the key technologies of the future. Successful technology ...
اقرأ المزيد
Managing Humans
Managing Humans is a selection of the best essays from Michael Lopp's web site, Rands in Repose. Drawing on Lopp's management ...
اقرأ المزيد
