1
Simple Type Theory [E-Book] : A Practical Logic for Expressing and Reasoning About Mathematical Ideas /
2
Computability [E-Book] /
3
Arithmetic of Finite Fields [E-Book] : 5th International Workshop, WAIFI 2014, Gebze, Turkey, September 27-28, 2014. Revised Selected Papers /
4
Categories and Types in Logic, Language, and Physics [E-Book] : Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday /
5
Language, Culture, Computation. Computing - Theory and Technology [E-Book] : Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part I /
6
Language, Culture, Computation. Computing of the Humanities, Law, and Narratives [E-Book] : Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part II /
7
Mathematical Software – ICMS 2014 [E-Book] : 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings /
Table of Contents: ... for Representation and Visualization of Free-Form Curves through Bio-inspired Optimization Techniques -- On Some Attempts to Verify the Effect of Using High-Quality Graphics in Mathematics Education -- Math Web Search Interfaces and the Generation Gap of Mathematicians...

Full text 
8
Memristor Networks [E-Book] /
9
Intelligent Computer Mathematics [E-Book] : International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings /
Table of Contents: ... for Mathematicians -- A Data Model and Encoding for a Semantic, Multilingual Terminology of Mathematics -- PDF/A-3u as an Archival Format for Accessible Mathematics -- Which One Is Better: Presentation-Based or Content-Based Math Search? -- POS Tagging and Its...

Full text 
10
Geometric Structure of High-Dimensional Data and Dimensionality Reduction [E-Book] /
11
Computer Science [E-Book] : The Hardware, Software and Heart of It /
12
Parallel Computing [E-Book] : Numerics, Applications, and Trends /
13
Handbook of Geometric Computing [E-Book] : Applications in Pattern Recognition, Computer Vision, Neuralcomputing, and Robotics /