馆藏书目查询系统 - 上海图书馆

1

Cover is for reference only

Corporate Authors: Oxford University Press.
Group Author: Krause, Jens, Dr.; James, Richard, 1964-; Franks, Daniel W.; Croft, Darren P.
Published: Oxford University Press,
Publication Dates: 2015.

eBook

2

Cover is for reference only

Compiler construction : 22nd International Conference, CC 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013 : proceedings /

Corporate Authors: CC (Conference) Rome, Italy); SpringerLink (Online service); ETAPS (Conference) Rome, Italy)
Group Author: Jhala, Ranjit; Bosschere, Koen de.
Published: Springer,
Publication Dates: [2013]

eBook

3

Cover is for reference only

NASA formal methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings /

Corporate Authors: NFM (Symposium) Moffett Field, Calif.); SpringerLink (Online service)
Group Author: Brat, Guillaume; Rungta, Neha S. (Neha Shyam), 1979-; Venet, Arnaud
Published: Springer,
Publication Dates: [2013]

eBook

Narrow Search