搜尋書籍

Verified software : theories, ... 手動新增

edited by Rajeev Joshi, Peter Muller, Andreas Podelski.

Springer Berlin Heidelberg

Computational kinematics : pro... 手動新增

edited by Andres Kecskemethy, Andreas Muller.

Springer Berlin Heidelberg

Judgments, decisions, and publ... 手動新增

Edited by Rajeev Gowda, Jeffrey C. Fox.

Cambridge University Press

Proceedings of the eighth Work... 手動新增

edited by Rajeev Raman, Robert Sedgewick, and Matthias F. Stallmann.

Society for Industrial and Applied Mathematics

Root genomics 手動新增

edited by Antonio Costa de Oliveira, Rajeev K. Varshney.

Springer-Verlag Berlin Heidelberg

Urban biodiversity and design 手動新增

edited by Norbert Muller, Peter Werner & John G. Kelcey.

Wiley-Blackwell