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.

Foundations of Software Science and Computation Structures  eBooks & eLearning

Posted by step778 at March 14, 2017
Foundations of Software Science and Computation Structures

Andrew Pitts, "Foundations of Software Science and Computation Structures"
2015 | pages: 467 | ISBN: 3662466775 | PDF | 9,6 mb

Algorithms and Computation  eBooks & eLearning

Posted by Jeembo at March 7, 2017
Algorithms and Computation

Algorithms and Computation: 17th International Symposium, ISAAC 2006, Kolkata, India, December 18-20, 2006, Proceedings by Tetsuo Asano
English | 2006 | ISBN: 3540496947 | 766 Pages | PDF | 14.8 MB

This book constitutes the refereed proceedings of the 17th International Symposium on Algorithms and Computation, ISAAC 2006, held in Kolkata, India, December 2006.

Logic, Language, and Computation  eBooks & eLearning

Posted by hill0 at Feb. 22, 2017
Logic, Language, and Computation

Logic, Language, and Computation: 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September … Papers (Lecture Notes in Computer Science) by Helle Hvid Hansen
English | 22 Mar. 2017 | ISBN: 3662543311 | 355 Pages | PDF | 9.08 MB

This book constitutes the refereed proceedings of the 11th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2015, held in Tbilisi, Georgia, in September 2015.

I

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