所有图书
Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, P
View more
Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, P
The Life and Times of Hattusili III and Tuthaliya IV: Proceedings of a Symposium held in honour of J. de Roos, 12-13 December 2003, Leiden
View more
The Life and Times of Hattusili III and Tuthaliya IV: Proceedings of a Symposium held in honour of J. de Roos, 12-13 December 2003, Leiden
Adsorption at the Gas-Solid and Liquid-Solid Interface, Proceedings of an International Symposium held in Aix-en-Provence
View more
Adsorption at the Gas-Solid and Liquid-Solid Interface, Proceedings of an International Symposium held in Aix-en-Provence
IUTAM Symposium on Theoretical, Computational and Modelling Aspects of Inelastic Media: Proceedings of the IUTAM Symposium Held at Cape Town, South Africa, January 14-18, 2008
View more
IUTAM Symposium on Theoretical, Computational and Modelling Aspects of Inelastic Media: Proceedings of the IUTAM Symposium Held at Cape Town, South Africa, January 14-18, 2008
Coupled thermo-hydro-mechanical-chemical processes in geo-systems: fundamentals, modelling, experiments and applications, GeoProc2003 conference held at the Royal Institute of Technology in Stockholm, Sweden, in October 2003
View more
Coupled thermo-hydro-mechanical-chemical processes in geo-systems: fundamentals, modelling, experiments and applications, GeoProc2003 conference held at the Royal Institute of Technology in Stockholm, Sweden, in October 2003