The Little Prover

  • Length: 248 pages
  • Publication Date: 2015-07-10
4.8

Exploring Mathematics: An Engaging Introduction to Proof

  • Length: 338 pages
  • Publication Date: 2017-08-07
4.2

Beginning MATLAB and Simulink: From Novice to Professional

  • Length: 524 pages
  • Publication Date: 2019-12-15

Learn Java with Math: Using Fun Projects and Games

  • Length: 231 pages
  • Publication Date: 2019-11-28

Practical MATLAB: With Modeling, Simulation, and Processing Projects

  • Length: 297 pages
  • Publication Date: 2019-11-19

Learning in Energy-Efficient Neuromorphic Computing

  • Length: 296 pages
  • Publication Date: 2019-12-23

Artificial Intelligence: 17th Russian Conference

  • Length: 378 pages
  • Publication Date: 2019-09-13

Software Technology: Methods and Tools: 51st International Conference

  • Length: 420 pages
  • Publication Date: 2019-08-28

A First Course in Fuzzy Logic, 4th Edition

  • Length: 458 pages
  • Publication Date: 2018-11-28

Stochastic Computing: Techniques and Applications

  • Length: 215 pages
  • Publication Date: 2019-02-19