Derivation And Computation

Parallel Algorithm Derivation and Program Transformation  eBooks & eLearning

Posted by johinson at May 8, 2010
Parallel Algorithm Derivation and Program Transformation

Robert Paige, J.H. Reif, «Parallel Algorithm Derivation and Program Transformation»
Springer | ISBN: 0792393627 | 1993 | PDF | 252 pages | 15.29 MB

Transformational programming and parallel computation are two emerging fields that may ultimately depend on each other for success. Perhaps because ad hoc programming on sequential machines is so straightforward, sequential programming methodology has had little impact outside the academic community, and transformational methodology has had little impact at all. However, because ad hoc programming for parallel machines is so hard, and because progress in software construction has lagged behind architectural advances for such machines, there is a much greater need to develop parallel programming and transformational methodologies. Parallel Algorithm Derivation and Program Transformation stimulates the investigation of formal ways to overcome problems of parallel computation, with respect to both software development and algorithm design. It represents perspectives from two different communities: transformational programming and parallel algorithm design, to discuss programming, transformational, and compiler methodologies for parallel architectures, and algorithmic paradigms, techniques, and tools for parallel machine models. Parallel Algorithm Derivation and Program Transformation is an excellent reference for graduate students and researchers in parallel programming and transformational methodology. Each chapter contains a few initial sections in the style of a first-year, graduate textbook with many illustrative examples. The book may also be used as the text for a graduate seminar course or as a reference book for courses in software engineering, parallel programming or formal methods in program development.

Variational Methods for Crystalline Microstructure - Analysis and Computation  eBooks & eLearning

Posted by step778 at Feb. 21, 2017
Variational Methods for Crystalline Microstructure - Analysis and Computation

Georg Dolzmann, "Variational Methods for Crystalline Microstructure - Analysis and Computation"
2003 | pages: 217 | ISBN: 354000114X | PDF | 1,1 mb

WALCOM: Algorithms and Computation  eBooks & eLearning

Posted by hill0 at Feb. 20, 2017
WALCOM: Algorithms and Computation

WALCOM: Algorithms and Computation: 11th International Conference and Workshops, WALCOM 2017, Hsinchu, Taiwan, March 29-31, 2017, Proceedings (Lecture Notes in Computer Science) by Sheung-Hung Poon
English | 27 Mar. 2017 | ISBN: 3319539248 | 474 Pages | PDF | 11.99 MB

This book constitutes the proceedings of the 11th International Workshop on Algorithms and Computation, WALCOM 2017, held in Hsinchu, Taiwan, in March 2017.

Approximation and Computation: A Festschrift in Honor of Walter Gautschi  eBooks & eLearning

Posted by DZ123 at Jan. 9, 2017
Approximation and Computation: A Festschrift in Honor of Walter Gautschi

R.V.M. Zahar, "Approximation and Computation: A Festschrift in Honor of Walter Gautschi"
English | 1994 | ISBN: 1468474170 | DJVU | pages: 626 | 6.0 mb

Principles of Optimal Design: Modeling and Computation (3rd Edition)  eBooks & eLearning

Posted by Rare-1 at Dec. 20, 2016
Principles of Optimal Design: Modeling and Computation (3rd Edition)

Sandor Ellix Katz, "Principles of Optimal Design: Modeling and Computation (3rd Edition)"
ISBN: 1107132673 | 2017 | EPUB / AZW3 | 320 pages | 13.20 / 13.95 MB

Logics of Time and Computation  eBooks & eLearning

Posted by step778 at Aug. 18, 2016
Logics of Time and Computation

Robert Goldblatt, "Logics of Time and Computation"
1992 | pages: 200 | ISBN: 0937073938 | DJVU | 1,6 mb

The CS Detective: An Algorithmic Tale of Crime, Conspiracy, and Computation  eBooks & eLearning

Posted by Grev27 at Aug. 11, 2016
The CS Detective: An Algorithmic Tale of Crime, Conspiracy, and Computation

Jeremy Kubica, "The CS Detective: An Algorithmic Tale of Crime, Conspiracy, and Computation"
English | ISBN: 1593277490 | 2016 | PDF/EPUB | 256 pages | 13 MB/8 MB

Logic, Language, Information, and Computation  eBooks & eLearning

Posted by AlenMiler at Aug. 8, 2016
Logic, Language, Information, and Computation

Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings (Lecture Notes in Computer Science) by Jouko Väänänen
English | 14 Aug. 2016 | ISBN: 3662529203 | 440 Pages | PDF (True) | 10.48 MB

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 23rd Workshop on Logic, Language, Information and Communication, WoLLIC 2016, held in Puebla, Mexico, in August 2016.

Stochastic Geometry: Likelihood and Computation  eBooks & eLearning

Posted by interes at July 17, 2016
Stochastic Geometry: Likelihood and Computation

Stochastic Geometry: Likelihood and Computation by Wilfrid S. Kendall and M.N.M. van Lieshout
English | 1998 | ISBN: 0849303966, 0412811103 | 408 pages | DJVU | 6 MB

Applications of Algebraic Geometry to Coding Theory, Physics and Computation  eBooks & eLearning

Posted by step778 at June 10, 2016
Applications of Algebraic Geometry to Coding Theory, Physics and Computation

Ciro Ciliberto, Friedrich Hirzebruch, Rick Miranda, "Applications of Algebraic Geometry to Coding Theory, Physics and Computation"
2008 | pages: 343 | ISBN: 1402000057 | DJVU | 4,5 mb