Secure Transaction Protocol Analysis : Models and Applications
The present volume arose from the need for a comprehensive coverage of the state of the art in security protocol analysis. ...
اقرأ المزيد
Self-Sustaining Systems : First Workshop, S3 2008 Potsdam, Germany, May 15-16, 2008 Revised Selected Papers
S3 is a forum for discussion of topics relating to computer systems and languages that are able to bootstrap, implement, ...
اقرأ المزيد
SharePoint 2007 Development Recipes : A Problem-Solution Approach
SharePoint 2007 Development Recipes offers a range of ready–to–use code recipes that provide the building blocks for ...
اقرأ المزيد
Silberschatz's Operating System Concepts / Abraham Silberschatz, Peter B. Galvin, Greg Gagne
It combines instruction on concepts with real-world applications so that students can understand the practical usage of the ...
اقرأ المزيد
Silverlight 2 Visual Essentials
Silverlight is a lightweight browser plug–in that frees your code from the traditional confines of the browser. It is a ...
اقرأ المزيد
Software Architecture
This book aims to introduce the theoretical foundations, various sub-fields, current research, and practical methods of software ...
اقرأ المزيد
Software Architecture : Second European Conference, ECSA 2008 Paphos, Cyprus, September 29-October 1, 2008 Proceedings
This book focus on formalisms, technologies, and processes for describing, verifying, validating, transforming, building, ...
اقرأ المزيد
Software Composition : 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings
The goal of the International Symposia on Software Composition is to advance the state of the research in component-based ...
اقرأ المزيد
Software Process Improvement : 15th European Conference, EuroSPI 2008, Dublin, Ireland, September 3-5, 2008. Proceedings
This book includes organisational issues; productivity, effort estimation metrics; standards reference models; documentation ...
اقرأ المزيد
Software Process and Product Measurement : International Conference, IWSM-Mensura 2007, Palma de Mallorca, Spain, November 5-8, 2007. Revised Papers
The book deal with aspects of software measurement like function-points measurement, effort and cost estimates, prediction, ...
اقرأ المزيد
Software Process and Product Measurement : International Conferences IWSM 2008, Metrikon 2008, and Mensura 2008 Munich, Germany, November 18-19, 2008. Proceedings
This book includes : estimation models, measurement methodology, effort estimation, measurement programs, new approaches, ...
اقرأ المزيد
Software and Data Technologies : First International Conference, ICSOFT 2006, Setúbal, Portugal, September 11-14, 2006, Revised Selected Papers
This book is organized in topical sections on programming languages, software engineering, distributed and parallel systems, ...
اقرأ المزيد
Software-Intensive Systems and New Computing Paradigms : Challenges and Visions
The objective was to imagine the landscape in which next generations of software-intensive systems will operate and the challenges ...
اقرأ المزيدSolving PDEs in Python : The FEniCS Tutorial I
This book offers a concise and gentle introduction to finite element programming in Python based on the popular FEniCS software ...
اقرأ المزيد
Spring Recipes : A Problem-Solution Approach
Spring Recipes covers Spring 2.5 from basic to advanced, including Spring IoC container, Spring AOP and AspectJ, Spring data ...
اقرأ المزيد
Static Analysis : 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings
The book addresses all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, ...
اقرأ المزيد
Supercomputing Frontiers 6th Asian Conference, SCFA 2020, Singapore, February 24–27, 2020, Proceedings
This book constitutes the refereed proceedings of the 6th Asian Supercomputing Conference, SCFA 2020, which was planned ...
اقرأ المزيد
Supercomputing Frontiers
This book cover a range of topics including memory fault handling, linear algebra, image processing, heterogeneous computing, ...
اقرأ المزيد
Systems and Virtualization Management. Standards and New Technologies : Second International Workshop, SVM 2008 Munich, Germany, October, 21-22, 2008 Proceedings
This book include virtualization, key management issues, web services and SOA, new management paradigms, experience implementing ...
اقرأ المزيد
Taking Your iPod touch to the Max
Fast and fun to read, Taking Your iPod touch to the Max gives you all the tips and techniques you could ever think of to ...
اقرأ المزيد
