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.
The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age

The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age by Jan von Plato
English | 2 Aug. 2017 | ISBN: 0691174172 | ASIN: B01MTVN9YM | 400 Pages | PDF | 2.78 MB

"Biology and Computation: A Physicist's Choice" by H. Gutfreund  eBooks & eLearning

Posted by exLib at Aug. 14, 2017
"Biology and Computation: A Physicist's Choice" by H. Gutfreund

"Biology and Computation: A Physicist's Choice" by H. Gutfreund
Advanced Series in Neuroscience, Vol. 3. Reprint
World Scientific | 1994 | ISBN: 9810214057 9789810214050 | 867 pages | PDF | 145 MB

This book provides a comprehensive review of the works in the rapidly evolving field of neural networks and brain studies. Its purpose is two-fold: to help physicists entering this field to get a broader view of the context of a domain, as well as to help scientists of other disciplines to reach a better understanding of the physicists' contributions within a context of perspectives they can relate to.
Foundations of Software Science and Computation Structures: 20th International Conference, FOSSACS 2017

Foundations of Software Science and Computation Structures: 20th International Conference, FOSSACS 2017, Held as Part of the European Joint … by Javier Esparza
English | 2017 | ISBN: 3662544571, 9783662544570 | 568 Pages | PDF | 12.48 MB

Logic, Language, Information, and Computation  eBooks & eLearning

Posted by hill0 at July 12, 2017
Logic, Language, Information, and Computation

Logic, Language, Information, and Computation: 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings (Lecture Notes in Computer Science) by Juliette Kennedy
English | 30 Jun. 2017 | ISBN: 3662553856 | 412 Pages | PDF | 7.4 MB

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 24th Workshop on Logic, Language, Information and Communication, WoLLIC 2017, held in London, UK, in August 2017.
Good Math: A Geek's Guide to the Beauty of Numbers, Logic, and Computation (Repost)

Mark C. Chu-Carroll, "Good Math: A Geek's Guide to the Beauty of Numbers, Logic, and Computation"
2013 | ISBN: 1937785335 | 250 pages | PDF, EPUB | 11 MB

"Optical Devices in Communication and Computation" ed. by Peng Xi  eBooks & eLearning

Posted by exLib at July 2, 2017
"Optical Devices in Communication and Computation" ed. by Peng Xi

"Optical Devices in Communication and Computation" ed. by Peng Xi
InTeOp | 2012 | ISBN: 9535107631 9789535107637 | 239 pages | PDF | 17 MB

This book focuses recent developments of theoretical analysis, designs of novel nano-photonic structures and functional materials for optical instrumentation.

Modeling and Computation in Engineering II (repost)  eBooks & eLearning

Posted by libr at June 16, 2017
Modeling and Computation in Engineering II (repost)

Modeling and Computation in Engineering II by Liquan Xie
English | ISBN: 1138000582 | 2013 | 352 pages | PDF | 11 MB

Statistical Relational Artificial Intelligence: Logic, Probability, and Computation  eBooks & eLearning

Posted by Underaglassmoon at June 7, 2017
Statistical Relational Artificial Intelligence: Logic, Probability, and Computation

Statistical Relational Artificial Intelligence: Logic, Probability, and Computation
Morgan & Claypool | English | 2016 | ISBN-10: 1627058419 | 189 pages | PDF | 2.27 mb

by Luc De Raedt (Author)

Algorithms and Computation  eBooks & eLearning

Posted by step778 at May 22, 2017
Algorithms and Computation

Hee-Kap Ahn, Chan-Su Shin, "Algorithms and Computation"
2014 | pages: 769 | ISBN: 3319130749 | PDF | 13,9 mb