Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs
(9783319516516) | Applied Logic for Computer
(9783319516516) | Applied Logic for Computer
(9783662309506 / 23 black & white illustrations, biograph)
(9783642085970 / 260 black & white illustrations, 20 blac) | High-Power Diode Lasers
(9783642073038 / 190 black & white illustrations)
Springer Berlin Heidelberg (9783642075018 / 13905688) | Imaging of, And Seismic Waves