Software Visualization
Software visualization encompasses the development and evaluation of methods for graphically representing different aspects ...
اقرأ المزيد
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 for Data Analysis : Programming with R
This book guides the reader through programming with R, beginning with simple interactive use and progressing by gradual ...
اقرأ المزيد
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 ...
اقرأ المزيد
Squeak: Learn Programming with Robots
Squeak: Learn Programming with Robots will teach you core programming concepts based on simple, visual problems that involve ...
اقرأ المزيد
Stabilization, Safety, and Security of Distributed Systems
This book constitutes the refereed proceedings of the 9th International Symposium on Stabilization, Safety, and Security ...
اقرأ المزيد
Stabilization, Safety, and Security of Distributed Systems : 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings
The book addresses all safety and security-related aspects of self-stabilizing systems in various areas of distributed computing ...
اقرأ المزيد
Starting Out with C++ from Control Structures through Objects / Tony Gaddis
covers control structures, functions, arrays, and pointers before objects and classes in Tony Gaddis’s hallmark accessible, ...
اقرأ المزيد
Static Analysis
The aim of static analysis is to develop principles, techniques and tools for validatingpropertiesofprograms,fordesigningsemantics-basedtransformations ...
اقرأ المزيد
Static Analysis
This book constitutes the refereed proceedings of the 8th International Symposium on Static Analysis, SAS 2001, held in Paris, ...
اقرأ المزيد
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, ...
اقرأ المزيد
Stochastic Learning and Optimization
(Four areas in one book) This book covers various disciplines in learning and optimization, including perturbation analysis ...
اقرأ المزيد
Stochastic Linear Programming
STOCHASTIC LINEAR PROGRAMMING: Models, Theory, and Computation is a definitive presentation and discussion of the theoretical ...
اقرأ المزيد
Strategic Supply Chain Management in Process Industries
More and more often practitioners in process industry have to adapt their global production networks to changes in the competitive ...
اقرأ المزيد
Supercomputing
This book constitutes the refereed post-conference proceedings of the 6th Russian Supercomputing Days, RuSCDays 2020, held ...
اقرأ المزيد
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 It constitutes the refereed proceedings of the 4th Asian Supercomputing Conference, SCFA 2018, held in Singapore ...
اقرأ المزيد
Supercomputing Frontiers
This book cover a range of topics including memory fault handling, linear algebra, image processing, heterogeneous computing, ...
اقرأ المزيد
