Distributed Computing

Distributed Computing

Author: Shlomi Dolev

Publisher: Springer

Published: 2006-10-05

Total Pages: 599

ISBN-13: 3540446273

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 20th International Symposium on Distributed Computing, DISC 2006. The book presents 35 revised full papers together with 1 invited paper and 13 announcements of ongoing works, all carefully selected for inclusion in the book. The entire scope of current issues in distributed computing is addressed, ranging from foundational and theoretical topics to algorithms and systems issues and to applications in various fields.


Network Optimization Problems: Algorithms, Applications And Complexity

Network Optimization Problems: Algorithms, Applications And Complexity

Author: Ding-zhu Du

Publisher: World Scientific

Published: 1993-04-27

Total Pages: 417

ISBN-13: 9814504580

DOWNLOAD EBOOK

In the past few decades, there has been a large amount of work on algorithms for linear network flow problems, special classes of network problems such as assignment problems (linear and quadratic), Steiner tree problem, topology network design and nonconvex cost network flow problems.Network optimization problems find numerous applications in transportation, in communication network design, in production and inventory planning, in facilities location and allocation, and in VLSI design.The purpose of this book is to cover a spectrum of recent developments in network optimization problems, from linear networks to general nonconvex network flow problems./a


Information and Software Technologies

Information and Software Technologies

Author: Robertas Damaševičius

Publisher: Springer Nature

Published: 2019-10-03

Total Pages: 621

ISBN-13: 303030275X

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 25th International Conference on Information and Software Technologies, ICIST 2019, held in Vilnius, Lithuania, in October 2019. The 46 papers presented were carefully reviewed and selected from 121 submissions. The papers are organized in topical sections on information systems; business intelligence for information and software systems; information technology applications; software engineering.


Abstraction, Refinement and Proof for Probabilistic Systems

Abstraction, Refinement and Proof for Probabilistic Systems

Author: Annabelle McIver

Publisher: Springer Science & Business Media

Published: 2005-10-27

Total Pages: 394

ISBN-13: 038727006X

DOWNLOAD EBOOK

Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm . Presents results of a large and integrated body of research in the area of 'quantitative' program logics.


Fullerene Research 1994-1996, A Computer-generated Cross-indexed Bibiliography Of Journal Literature

Fullerene Research 1994-1996, A Computer-generated Cross-indexed Bibiliography Of Journal Literature

Author: Tibor Braun

Publisher: World Scientific

Published: 1997-12-18

Total Pages: 528

ISBN-13: 9814496596

DOWNLOAD EBOOK

The book is a follow-up to the computerized fullerene bibliography related to the 1985-1993 period. It is a well-indexed overview of the journal literature on a topic for which the 1996 Nobel Prize in Chemistry was awarded. It is an indispensable tool for any specialist interested in the literature of one of the most researched interdisciplinary topics in the sciences.