This book constitutes the refereed conference proceedings of the 28th International Colloquium on Structural Information ...
WeiterlesenThis book constitutes the refereed post-conference proceedings of the 6th Russian Supercomputing Days, RuSCDays 2020, held ...
WeiterlesenThis book constitutes the refereed proceedings of the 6th Asian Supercomputing Conference, SCFA 2020, which was planned ...
WeiterlesenThis book cover a range of topics including memory fault handling, linear algebra, image processing, heterogeneous computing, ...
WeiterlesenThe laws that govern the collective behavior of social insects, flocks of birds, or fish schools continue to mesmerize researchers. ...
WeiterlesenThis book constitutes the thoroughly refereed postproceedings of the 4th International Workshop on SDL and MSC, SAM 2004, ...
WeiterlesenThis book constitutes the refereed proceedings of the 5th International Workshop on System Analysis and Modelling, SAM 2006, ...
WeiterlesenThe IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
WeiterlesenThe IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
WeiterlesenTechnologies for Business Information Systems The material collected in this book covers a broad range of applications of ...
WeiterlesenA total of 90 papers were selected, after peer review, for this volume. Topics of these papers fall into six diff- ent areas ...
Weiterlesenthis sixth annual conference demonstrates new research results, technology, and applications that show current incarnations ...
WeiterlesenThis book constitutes the thoroughly refereed postproceedings of the First International Colloquium on Theoretical Aspects ...
WeiterlesenContains the papers presented at SAT 2007: 10th International Conference on Theory and Applications of Satis?ability Testing. ...
WeiterlesenThis three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference ...
WeiterlesenThe book is organized in topical sections on parameterized systems, model checking, applications, static analysis, concurrent/distributed ...
WeiterlesenThis book summarises the latest developments on data management in the EU H2020 ENVRIplus project, which brought together ...
WeiterlesenThis volume, the second in the Transactions on Aspect-Oriented Software Development series, presents 2 regular revised papers, ...
WeiterlesenThis volume, the third in the Transactions on Aspect-Oriented Software Development series, presents 6 revised papers together ...
WeiterlesenThis volume, the fourth in the Transactions on Aspect-Oriented Software Development series, presents 5 revised papers together ...
Weiterlesen