Learn to Tango with D
Learn to Tango with D introduces you to the powerful D language, with special attention given to the Tango software library. ...
Lee mas
Leveraging Applications of Formal Methods, Verification and Validation: Applications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III
The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging ...
Lee mas
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II
The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging ...
Lee mas
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I
The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging ...
Lee mas
Leveraging the Semantics of Topics Maps
The papers in this volume were presented at TMRA 2006, the International Conference on Topic Maps Research and Applications, ...
Lee masLoad balancing using SDN / Mohamad Skouti ; Jasim Al-Salama ; Shaden Al-Shabta ; Rama Al-Hussein
Software-Defined Network (SDN) is considered a breakthrough to the global network. It plays an important role in performance ...
Lee mas
Logic Programming and Nonmonotonic Reasoning
Thesearetheproceedingsofthe8thInternational Conference on Logic Progr- mingandNonmonotonicReasoning (LPNMR2005).Followingthepreviousones ...
Lee mas
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, ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Low Power Methodology Manual
"Tools alone aren't enough to reduce dynamic and leakage power in complex chip designs - a well-planned methodology is ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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, ...
Lee mas
Malware Detection
Malware Detection, based on the Special ARO/DHS Workshop on Malware Detection at Rosslyn, VA, in 2005, captures the state ...
Lee mas
Managed Software Evolution
This open access book presents the outcomes of the “Design for Future – Managed Software Evolution” .The different ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Map-based Mobile Services : Design, Interaction and Usability
It addresses methods and techniques for topics that range from design and rendering, context modelling, personalisation, ...
Lee mas
