Our exclusive partner is IcerBox.com, click here to sign up!

Fundamental Proof Methods in Computer Science

Fundamental Proof Methods in Computer Science: A Computer-Based Approach  eBooks & eLearning

Posted by IrGens at April 16, 2018
Fundamental Proof Methods in Computer Science: A Computer-Based Approach

Fundamental Proof Methods in Computer Science: A Computer-Based Approach by Konstantine Arkoudas, David Musser
English | May 5, 2017 | ISBN: 0262035537 | PDF | 976 pages | 9 MB
Relational and Algebraic Methods in Computer Science: 16th International Conference, RAMiCS 2017 [Repost]

Relational and Algebraic Methods in Computer Science: 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings (Lecture Notes in Computer Science) by Peter Höfner
English | 25 Apr. 2017 | ISBN: 3319574175 | 340 Pages | PDF | 6.11 MB

Coalgebraic Methods in Computer Science  eBooks & eLearning

Posted by DZ123 at Sept. 5, 2017
Coalgebraic Methods in Computer Science

Marcello M. Bonsangue, "Coalgebraic Methods in Computer Science"
English | 2014 | ISBN: 3662441233 | PDF | pages: 251 | 4.0 mb

Relational and Algebraic Methods in Computer Science  eBooks & eLearning

Posted by step778 at July 23, 2018
Relational and Algebraic Methods in Computer Science

Wolfram Kahl, Michael Winter, José Oliveira, "Relational and Algebraic Methods in Computer Science"
2015 | pages: 401 | ISBN: 3319247034 | PDF | 7,3 mb

Relational and Algebraic Methods in Computer Science  eBooks & eLearning

Posted by hill0 at June 1, 2017
Relational and Algebraic Methods in Computer Science

Relational and Algebraic Methods in Computer Science: 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings (Lecture Notes in Computer Science) by Peter Höfner
English | 25 Apr. 2017 | ISBN: 3319574175 | 340 Pages | PDF | 6.11 MB

This book constitutes the proceedings of the 16th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2017, held in Lyon, France, in May 2017.

Mathematical and Engineering Methods in Computer Science [repost]  eBooks & eLearning

Posted by naag at March 27, 2017
Mathematical and Engineering Methods in Computer Science [repost]

Jan Kofron and Tomas Vojnar, "Mathematical and Engineering Methods in Computer Science"
English | ISBN: 331929816X | 2016 | 168 pages | PDF | 10 MB

Coalgebraic Methods in Computer Science  eBooks & eLearning

Posted by AlenMiler at July 30, 2016
Coalgebraic Methods in Computer Science

Coalgebraic Methods in Computer Science: 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, … Papers (Lecture Notes in Computer Science) by Ichiro Hasuo
English | 4 Jun. 2016 | ISBN: 3319403699 | 248 Pages | PDF (True) | 7.62 MB

This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2016, colocated with ETAPS 2016, held in Eindhoven, The Netherlands, in April 2016.

Mathematical and Engineering Methods in Computer Science [Repost]  eBooks & eLearning

Posted by Rare-1 at Dec. 17, 2015
Mathematical and Engineering Methods in Computer Science [Repost]

Petr Hlinený, Zdenek Dvorák, Jirí Jaros, Jan Kofron, Jan Korenek, Petr Matula, Karel Pala "Mathematical and Engineering Methods in Computer Science"
Publisher: Springer | English | 2014 | ISBN:3319148958 | 159 pages | PDF | 7.8 MB

Mathematical and Engineering Methods in Computer Science  eBooks & eLearning

Posted by andr1078 at May 31, 2015
Mathematical and Engineering Methods in Computer Science

Petr Hlinený, Zdenek Dvorák, Jirí Jaros, Jan Kofron, Jan Korenek, Petr Matula, Karel Pala "Mathematical and Engineering Methods in Computer Science"
Publisher: Springer | English | 2014 | ISBN:3319148958 | 159 pages | PDF | 7.8 MB

This volume contains the post-proceedings of the 9th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2014, held in Telč, Czech Republic, in October 2014.
Relational and Algebraic Methods in Computer Science: 13th International Conference, RAMiCS 2012 (repost)

Relational and Algebraic Methods in Computer Science: 13th International Conference, RAMiCS 2012, Cambridge, United Kingdom, September 17-21, 2012, … Computer Science and General Issues) by Wolfram Kahl and Timothy G. Griffin
English | 2012-08-12 | ISBN: 3642333133 | PDF | 373 pages | 3,8 MB