This book offers a concise and gentle introduction to finite element programming in Python based on the popular FEniCS software ...
Lire la suiteThis book explores the nexus between knowledge and space with a particular emphasis on the role of educational settings that ...
Lire la suiteSpring Recipes covers Spring 2.5 from basic to advanced, including Spring IoC container, Spring AOP and AspectJ, Spring data ...
Lire la suiteSqueak: Learn Programming with Robots will teach you core programming concepts based on simple, visual problems that involve ...
Lire la suiteThis book constitutes the refereed proceedings of the 9th International Symposium on Stabilization, Safety, and Security ...
Lire la suiteThe book addresses all safety and security-related aspects of self-stabilizing systems in various areas of distributed computing ...
Lire la suiteThis first of two volumes covers basic aspects and various techniques such as steady-state and time-resolved fluorometry, ...
Lire la suitecovers control structures, functions, arrays, and pointers before objects and classes in Tony Gaddis’s hallmark accessible, ...
Lire la suiteThe aim of static analysis is to develop principles, techniques and tools for validatingpropertiesofprograms,fordesigningsemantics-basedtransformations ...
Lire la suiteThis book constitutes the refereed proceedings of the 8th International Symposium on Static Analysis, SAS 2001, held in Paris, ...
Lire la suite"This volume contains the papers accepted for presentation at the 12th International Static Analysis Symposium (SAS 2005) ...
Lire la suiteThe book addresses all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, ...
Lire la suite(Four areas in one book) This book covers various disciplines in learning and optimization, including perturbation analysis ...
Lire la suiteSTOCHASTIC LINEAR PROGRAMMING: Models, Theory, and Computation is a definitive presentation and discussion of the theoretical ...
Lire la suiteMore and more often practitioners in process industry have to adapt their global production networks to changes in the competitive ...
Lire la suiteThis book constitutes the refereed post-conference proceedings of the 6th Russian Supercomputing Days, RuSCDays 2020, held ...
Lire la suiteThis book constitutes the refereed proceedings of the 6th Asian Supercomputing Conference, SCFA 2020, which was planned ...
Lire la suiteThis book It constitutes the refereed proceedings of the 4th Asian Supercomputing Conference, SCFA 2018, held in Singapore ...
Lire la suiteThis book cover a range of topics including memory fault handling, linear algebra, image processing, heterogeneous computing, ...
Lire la suiteSupply Chain Configuration: Concepts, Solutions, and Applications provides a thorough explanation of the supply chain configuration ...
Lire la suite