Feedback

X
#1

keyword: temporal logic – 3 free books.

-gtbg These books are not included in Project Gutenberg.

  • View As:
  • view list
  • view icon

Multi-Sensor Systems and Data Fusion in Remote Sensing

Piotr Kaniewski et al. (editors)

More Info
AVAILABLE!
Read it Now
Book cover
Multi-Sensor Systems and Data Fusion in Remote Sensing
Piotr Kaniewski et al. (editors)
No Faves
Read it Now

Computer Aided Verification

Alexandra Silva and K. Rustan M. Leino, editors

More Info
AVAILABLE!
Read it Now
Book cover
Computer Aided Verification
Alexandra Silva and K. Rustan M. Leino, editors
No Faves
Read it Now

Deductive Systems in Traditional and Modern Logic

Urszula Wybraniec-Skardowska and Alex Citkin, editors

More Info
AVAILABLE!
Read it Now
Book cover
Deductive Systems in Traditional and Modern Logic
Urszula Wybraniec-Skardowska and Alex Citkin, editors
No Faves
Read it Now