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.

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
Stability, Control, and Computation for Time-Delay Systems: An Eigenvalue-Based Approach (2nd edition) (Repost)

Stability, Control, and Computation for Time-Delay Systems: An Eigenvalue-Based Approach (2nd edition) By Wim Michiels, Silviu-Iulian Niculescu
2015 | 460 Pages | ISBN: 1611973627 | PDF | 5 MB

American-Style Derivatives: Valuation and Computation (repost)  eBooks & eLearning

Posted by arundhati at April 27, 2016
American-Style Derivatives: Valuation and Computation (repost)

Jerome Detemple, "American-Style Derivatives: Valuation and Computation"
2007 | ISBN-10: 158488567X | 248 pages | PDF | 3 MB

Theory and Computation of Electromagnetic Fields, 2nd edition  eBooks & eLearning

Posted by arundhati at April 6, 2016
Theory and Computation of Electromagnetic Fields, 2nd edition

Jian-Ming Jin , "Theory and Computation of Electromagnetic Fields, 2nd edition"
2015 | ISBN-10: 1119108047 | 744 pages | PDF | 16 MB

Theory and Computation of Electromagnetic Fields (Repost)  eBooks & eLearning

Posted by step778 at April 1, 2016
Theory and Computation of Electromagnetic Fields (Repost)

Jian-Ming Jin, "Theory and Computation of Electromagnetic Fields"
2010 | pages: 616 | ISBN: 0470533595 | PDF | 10,2 mb