Formal Groups

Lie Algebras and Lie Groups: 1964 Lectures given at Harvard University (Repost)  eBooks & eLearning

Posted by bookwyrm at April 21, 2014
Lie Algebras and Lie Groups: 1964 Lectures given at Harvard University (Repost)

Lie Algebras and Lie Groups: 1964 Lectures given at Harvard University By Jean-Pierre Serre
2005 | 176 Pages | ISBN: 3540550089 | PDF | 4 MB

Lie Algebras and Lie Groups: 1964 Lectures given at Harvard University  eBooks & eLearning

Posted by advisors at Nov. 26, 2013
Lie Algebras and Lie Groups: 1964 Lectures given at Harvard University

Lie Algebras and Lie Groups: 1964 Lectures given at Harvard University By Jean-Pierre Serre
2005 | 176 Pages | ISBN: 3540550089 | PDF | 4 MB

Formal Concept Analysis: 14th International Conference  eBooks & eLearning

Posted by Jeembo at Oct. 16, 2017
Formal Concept Analysis: 14th International Conference

Formal Concept Analysis: 14th International Conference, ICFCA 2017, Rennes, France, June 13-16, 2017, Proceedings by Karell Bertet, Daniel Borchmann, Peggy Cellier, Sébastien Ferré
English | 2017 | ISBN: 331959270X | 243 Pages | PDF | 15.4 MB

This book constitutes the proceedings of the 14th International Conference on Formal Concept Analysis, ICFCA 2017, held in Rennes, France, in June 2017.

The Theory of Nilpotent Groups  eBooks & eLearning

Posted by hill0 at Nov. 23, 2017
The Theory of Nilpotent Groups

The Theory of Nilpotent Groups by Anthony E. Clement
English | 11 Jan. 2018 | ISBN: 3319662112 | 328 Pages | EPUB | 3.44 MB

This monograph presents both classical and recent results in the theory of nilpotent groups and provides a self-contained, comprehensive reference on the topic.

The Theory of Nilpotent Groups  eBooks & eLearning

Posted by Underaglassmoon at Nov. 23, 2017
The Theory of Nilpotent Groups

The Theory of Nilpotent Groups
Birkhäuser | English | Dec 2017 | ISBN-10: 3319662112 | 307 pages | PDF | 3.05 mb

by Anthony E. Clement (Author),‎ Stephen Majewicz (Author),‎ Marcos Zyman (Author)

Formal Methods for Multicore Programming  eBooks & eLearning

Posted by step778 at Nov. 22, 2017
Formal Methods for Multicore Programming

Marco Bernardo, Einar Broch Johnsen, "Formal Methods for Multicore Programming"
2015 | pages: 218 | ISBN: 3319189409 | PDF | 10,8 mb

A Formal Theory of Commonsense Psychology  eBooks & eLearning

Posted by Underaglassmoon at Nov. 19, 2017
A Formal Theory of Commonsense Psychology

A Formal Theory of Commonsense Psychology: How People Think People Think
Cambridge | English | Sep 2017 | ISBN-10: 1107151007 | 584 pages | PDF | 5.43 mb

by Andrew S. Gordon (Author),‎ Jerry R. Hobbs (Author)

Algebraic Groups  eBooks & eLearning

Posted by Underaglassmoon at Nov. 18, 2017
Algebraic Groups

Algebraic Groups: The Theory of Group Schemes of Finite Type over a Field
Cambridge | English | Sep 2017 | ISBN-10: 1107167485 | 682 pages | PDF | 7.97 mb

by J. S. Milne (Author)

Discrete Groups and Geometry  eBooks & eLearning

Posted by ChrisRedfield at Nov. 18, 2017
Discrete Groups and Geometry

W. J. Harvey, C. Maclachlan - Discrete Groups and Geometry
Published: 1992-08-28 | ISBN: 0521429323 | PDF + DJVU | 260 pages | 7.59 MB

Formal Methods: Foundations and Applications  eBooks & eLearning

Posted by AvaxGenius at Nov. 18, 2017
Formal Methods: Foundations and Applications

Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceeding By Simone Cavalheiro
English | PDF | 2017 | 308 Pages | ISBN : 3319708473 | 13.2 MB

This book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SBMF 2017, which took place in Recifel, Brazil, in November/December 2017.The 16 papers presented together with three invited talks were carefully reviewed and selected from 37 submissions. They are organized in the following topical sections: formal methods integration and experience reports; model checking; refinement and verification; and semantics and languages.