Posted by **AvaxGenius** at Feb. 12, 2018

English | PDF,EPUB | 2017 | 326 Pages | ISBN : 1447166868 | 9.85 MB

This classroom-tested textbook provides an accessible introduction to the design, formal modeling, and analysis of distributed computer systems. The book uses Maude, a rewriting logic-based language and simulation and model checking tool, which offers a simple and intuitive modeling formalism that is suitable for modeling distributed systems in an attractive object-oriented and functional programming style.

Posted by **hill0** at Feb. 5, 2018

English | 24 Sept. 2017 | ISBN: 9811036799 | 284 Pages | PDF | 4.16 MB

Posted by **hill0** at Jan. 30, 2018

English | 8 Mar. 2018 | ISBN: 366256498X | 155 Pages | PDF | 14.94 MB

This, the 31st issue of the Transactions on Computational Science, focusses on signal processing and security in distributed systems. The areas of application include facial recognition, musical analysis,

Posted by **AvaxGenius** at Jan. 14, 2018

English | PDF(Repost),EPUB | 2014 | 334 Pages | ISBN : 3319031457 | 12.14 MB

In this volume, the authors close the gap between abstract mathematical approaches, such as abstract algebra, number theory, nonlinear functional analysis, partial differential equations, methods of nonlinear and multi-valued analysis, on the one hand, and practical applications in nonlinear mechanics, decision making theory and control theory on the other.

Posted by **Jeembo** at Jan. 10, 2018

English | 2017 | ISBN: 3319690833 | 496 Pages | PDF | 28.5 MB

This book constitutes the refereed proceedings of the 19th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2017, held in Boston, MA, USA, in November 2017.

Posted by **insetes** at Jan. 4, 2018

2014 | 164 Pages | ISBN: 3319122460 | PDF | 4 MB

Posted by **tanas.olesya** at Dec. 13, 2017

English | 15 Dec. 2014 | ISBN: 3319144715 | 520 Pages | PDF | 9 MB

The papers are organized in topical sections on consistency; distributed graph algorithms; fault tolerance; models; radio networks; robots; self-stabilization; shared data structures; shared memory; synchronization and universal construction.

Posted by **DZ123** at Nov. 29, 2017

English | 2014 | ISBN: 3319024280 | PDF | pages: 155 | 4.3 mb

Posted by **First1** at Nov. 11, 2017

English | 2015 | ISBN: 032194318X | 559 Pages | PDF | 5.60 MB

"There's an incredible amount of depth and thinking in the practices described here, and it's impressive to see it all in one place." –Win Treese, coauthor of Designing Systems for Internet Commerce

Posted by **arundhati** at Oct. 26, 2017

2017 | ISBN-10: 9811036799 | 284 pages | EPUB | 4 MB