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.

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

Explaining Syntax: Representations, Structures, and Computation (repost)  eBooks & eLearning

Posted by libr at April 17, 2017
Explaining Syntax: Representations, Structures, and Computation (repost)

Explaining Syntax: Representations, Structures, and Computation by Peter W. Culicover
English | 2013 | ISBN: 0199660239 | 384 pages | PDF | 2 MB
WALCOM: Algorithms and Computation: 9th International Workshop, WALCOM 2015, Dhaka, Bangladesh

WALCOM: Algorithms and Computation: 9th International Workshop, WALCOM 2015, Dhaka, Bangladesh, February 26-28, 2015, Proceedings by M. Sohel Rahman
English | 2015 | ISBN: 331915611X | 336 Pages | PDF | 5.13 MB

The Logic of Reliable Inquiry (Logic and Computation in Philosophy)  eBooks & eLearning

Posted by thingska at April 5, 2017
The Logic of Reliable Inquiry (Logic and Computation in Philosophy)

The Logic of Reliable Inquiry (Logic and Computation in Philosophy) by Kevin T. Kelly
English | 1996 | ISBN: 0195091957, 9780195091953 | 448 Pages | PDF | 27.24 MB

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