Algebra And Coalgebra in Computer Science

Algebra and Coalgebra in Computer Science  

Posted by tanas.olesya at Dec. 20, 2015
Algebra and Coalgebra in Computer Science

Algebra and Coalgebra in Computer Science by Reiko Heckel
English | 8 Aug. 2013 | ISBN: 3642402054 | 370 Pages | PDF | 4 MB

The papers cover topics in the fields of abstract models and logics, specialized models and calculi, algebraic and coalgebraic semantics, system specification and verification, as well as corecursion in programming languages, and algebra and coalgebra in quantum computing.
Linear Algebra and Probability for Computer Science Applications (repost)

Ernest Davis, "Linear Algebra and Probability for Computer Science Applications"
English | ISBN: 1466501553 | 2012 | 431 pages | PDF | 3 MB
Operator Calculus On Graphs: Theory and Applications in Computer Science

Rene Schott, G. Stacey Staples, "Operator Calculus On Graphs: Theory and Applications in Computer Science"
English | ISBN: 1848168764 | 2012 | 428 pages | PDF | 3 MB
Nominal Sets: Names and Symmetry in Computer Science by Andrew M. Pitts

Nominal Sets: Names and Symmetry in Computer Science (Cambridge Tracts in Theoretical Computer Science) by Andrew M. Pitts
English | July 15, 2013 | ISBN: 1107017785 | 292 Pages | PDF | 1 MB

Nominal sets provide a promising new mathematical analysis of names in formal languages based upon symmetry, with many applications to the syntax and semantics of programming language constructs that involve binding, or localising names. Part I provides an introduction to the basic theory of nominal sets.
Linear Algebra and Probability for Computer Science Applications

Ernest Davis, "Linear Algebra and Probability for Computer Science Applications"
English | ISBN: 1466501553 | 2012 | 431 pages | PDF | 3 MB
Modern Trends and Techniques in Computer Science: 3rd Computer Science On-line Conference 2014 (CSOC 2014)

Radek Silhavy, Roman Senkerik, Zuzana Kominkova Oplatkova, Petr Silhavy, Zdenka Prokopova - Modern Trends and Techniques in Computer Science: 3rd Computer Science On-line Conference 2014 (CSOC 2014)
Published: 2014-05-15 | ISBN: 3319067397 | PDF | 629 pages | 15 MB

Nominal Sets: Names and Symmetry in Computer Science  

Posted by arundhati at April 6, 2014
Nominal Sets: Names and Symmetry in Computer Science

Andrew M. Pitts, "Nominal Sets: Names and Symmetry in Computer Science"
2013 | ISBN-10: 0521607248 | 287 pages | PDF | 1,5 MB
The Science of Programming (Texts and Monographs in Computer Science) (Repost)

The Science of Programming (Texts and Monographs in Computer Science) By David Gries
1981 | 388 Pages | ISBN: 038790641X | DJVU | 3 MB
The Science of Programming (Texts and Monographs in Computer Science)

The Science of Programming (Texts and Monographs in Computer Science) By David Gries
Publisher: Springer 1981 | 388 Pages | ISBN: 038790641X | DJVU | 3 MB
Andrew James Herbert - Computer Systems: Theory, Technology, and Applications (Monographs in Computer Science) [Repost]

Andrew James Herbert - Computer Systems: Theory, Technology, and Applications (Monographs in Computer Science)
2004 | ISBN: 038720170X | English | 357 pages | PDF | 3 MB