Electronic Books

Total Books: 281 - 300 /317

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 ...

Structural Information and Communication Complexity : 15th International Colloquium, SIROCCO 2008 Villars-sur-Ollon, Switzerland, June 17-20, 2008 Proceedings

This book cover topics such as distributed algorithms, compact data structures, information dissemination, informative labeling ...

Structural Information and Communication Complexity : 28th International Colloquium, SIROCCO 2021, Wrocław, Poland, June 28 – July 1, 2021, Proceedings

This book constitutes the refereed conference proceedings of the 28th International Colloquium on Structural Information ...

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 cover a range of topics including memory fault handling, linear algebra, image processing, heterogeneous computing, ...

Swarm Intelligence : Introduction and Applications

The laws that govern the collective behavior of social insects, flocks of birds, or fish schools continue to mesmerize researchers. ...

System Analysis and Modeling

This book constitutes the thoroughly refereed postproceedings of the 4th International Workshop on SDL and MSC, SAM 2004, ...

System Analysis and Modeling: Language Profiles

This book constitutes the refereed proceedings of the 5th International Workshop on System Analysis and Modelling, SAM 2006, ...

System Modeling and Optimization (vol. # 199)

The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...

Systems, Control, Modeling and Optimization

The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...

Technologies for Business Information Systems

Technologies for Business Information Systems The material collected in this book covers a broad range of applications of ...

Technologies for E-Learning and Digital Entertainment

A total of 90 papers were selected, after peer review, for this volume. Topics of these papers fall into six diff- ent areas ...

The Semantic Web - ISWC 2006

this sixth annual conference demonstrates new research results, technology, and applications that show current incarnations ...

Theoretical Aspects of Computing - ICTAC 2004

This book constitutes the thoroughly refereed postproceedings of the First International Colloquium on Theoretical Aspects ...

Theory and Applications of Satisfiability Testing - SAT 2007

Contains the papers presented at SAT 2007: 10th International Conference on Theory and Applications of Satis?ability Testing. ...

Theory of Cryptography

This three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference ...

Tools and Algorithms for the Construction and Analysis of Systems : 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

The book is organized in topical sections on parameterized systems, model checking, applications, static analysis, concurrent/distributed ...

Towards Interoperable Research Infrastructures for Environmental and Earth Sciences A Reference Model Guided Approach for Common Challenges

This book summarises the latest developments on data management in the EU H2020 ENVRIplus project, which brought together ...

Transactions on Aspect-Oriented Software Development II

This volume, the second in the Transactions on Aspect-Oriented Software Development series, presents 2 regular revised papers, ...

Total Books: 281 - 300 /317