Search Books

搜尋「edited by Jeremy Gibbons, Jose Nuno Oliveira.」的結果：找到 37,335 本書籍， 0 個書架

edited by Jeremy Gibbons, Jose Nuno Oliveira.

Springer-Verlag Berlin Heidelberg

2009

ISBN 9783642049125 (electronic bk.) ; 9783642049118 (paper)

edited by Fernanda A.R. Oliveira, Jorge C. Oliveira, with Marc E. Hendrickx, Deitrich Knorr, Leon G.M. Gorris.

CRC Press

c1999.

ISBN 0849379059 (alk. paper)

edited by Jeremy Gibbons, Johan Jeuring.

Kluwer Academic Publishers

c2003.

ISBN 1402073747 (alk. paper) :

edited by Jose Luis Oliveira ... [et al.].

Springer-Verlag GmbH.

2005

ISBN 9783540316589 (electronic bk.) ; 9783540296744 (paper)

edited by Marielba Zacarias, Jose Valente de Oliveira.

Springer Berlin Heidelberg

2012

ISBN 9783642256912 (electronic bk.) ; 9783642256905 (paper)

edited by Nuno J. Mamede ... [et al.].

Springer

c2003.

ISBN 9783540404361 (paper)

書名	作者	出版社	出版日期	來源	操作
Teaching formal methods : second international conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009 : proceedings ISBN 9783642049125 (electronic bk.) ; 9783642049118 (paper)	edited by Jeremy Gibbons, Jose Nuno Oliveira.	Springer-Verlag Berlin Heidelberg	2009	館藏	View
Processing foods : quality optimization and process assessment ISBN 0849379059 (alk. paper)	edited by Fernanda A.R. Oliveira, Jorge C. Oliveira, with Marc E. Hendrickx, Deitrich Knorr, Leon G.M. Gorris.	CRC Press	c1999.	館藏	View
Generic programming : IFIP TC2/WG2.1 Working Conference on Generic Programming, July 11-12, 2002, Dagstuhl, Germany ISBN 1402073747 (alk. paper) :	edited by Jeremy Gibbons, Johan Jeuring.	Kluwer Academic Publishers	c2003.	館藏	View
Biological and Medical Data Analysis : 6th International Symposium, ISBMDA 2005, Aveiro, Portugal, November 10-11, 2005, Proceedings ISBN 9783540316589 (electronic bk.) ; 9783540296744 (paper)	edited by Jose Luis Oliveira ... [et al.].	Springer-Verlag GmbH.	2005	館藏	View
Human-computer interaction : the agency perspective ISBN 9783642256912 (electronic bk.) ; 9783642256905 (paper)	edited by Marielba Zacarias, Jose Valente de Oliveira.	Springer Berlin Heidelberg	2012	館藏	View
Computational processing of the Portuguese language ISBN 9783540404361 (paper)	edited by Nuno J. Mamede ... [et al.].	Springer	c2003.	館藏	View

請嘗試其他關鍵字