Posted by **Veslefrikk** at July 23, 2013

BirkhĂ¤user Boston | 2008 | ISBN: 0817647627, 0817634533, 3764334533 | 166 pages | PDF | 10,1 MB

Posted by **arundhati** at April 8, 2016

2007 | ISBN-10: 0470822457 | 240 pages | PDF | 5 MB

Posted by **libr** at Dec. 11, 2015

English | ISBN: 0130930474 | edition 2003 | PDF | 415 pages | 12,1 mb

Posted by **Underaglassmoon** at Nov. 28, 2015

Springer | Mathematics | November 19, 2015 | ISBN-10: 3319227491 | 719 pages | pdf | 8.7 mb

by Ernst-Erich Doberkat (Author)

Displays the mathematical techniques with carefully constructed and rigorous approaches

Includes a variety of examples from diverse fields of mathematics and computer science

Features case studies to provide methods for research problems

Classroom tested exposition of the content

Posted by **nebulae** at Nov. 18, 2015

English | ISBN: 0521879965 | 2008 | PDF | 368 pages | 3,2 MB

Posted by **tanas.olesya** at Nov. 16, 2015

English | 30 Sept. 1991 | ISBN: 0262660717 | 110 Pages | PDF | 8 MB

Category theory is a branch of pure mathematics that is becoming an increasingly important tool in theoretical computer science, especially in programming language semantics, domain theory, and concurrency, where it is already a standard language of discourse.

Posted by **interes** at Nov. 16, 2015

English | ISBN: 1848213018 | 2011 | PDF | 544 pages | 5,1 MB

Posted by **tanas.olesya** at April 11, 2015

English | Feb 2003 | ISBN: 1852333197, 013564139X | 309 Pages | PDF/DJVU | 62/2 MB

This is a mathematics textbook with theorems and proofs. The choice of topics has been guided by the needs of computer science students. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and yet sufficiently elementary for undergraduates.

Posted by **roxul** at Jan. 31, 2015

English | ISBN: 8120315022 | 1985 | 768 pages | DJVU | 6 MB

Posted by **step778** at Jan. 15, 2015

2008 | pages: 134 | ISBN: 1598296566 | PDF | 1,6 mb