Search Books

搜尋「edited by Bernhard Beckert.」的結果：找到 38,097 本書籍， 0 個書架

書籍 (38097)
書架 (0)

Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings

edited by Bernhard Beckert.

Springer-Verlag GmbH.

2005

ISBN 9783540318224 (electronic bk.) ; 9783540289319 (paper)

Formal verification of object-oriented software : international conference, FoVeOOS 2010, Paris, France, June 28-30, 2010 : revised selected papers

edited by Bernhard Beckert, Claude Marche.

Springer Berlin Heidelberg

2011

ISBN 9783642180705 (electronic bk.) ; 9783642180699 (paper)

The American bourgeoisie : distinction and identity in the nineteenth century

[edited by] Sven Beckert and Julia B. Rosenbaum.

Palgrave Macmillan

2010

ISBN 9780230115569 (electronic bk.) ; 023011556X (electronic bk.)

Advances in dynamic games and their applications : analytical and numerical developments

edited by Odile Pourtallier, Vladimir Gaitsgory, Pierre Bernhard.

Birkhauser Boston

2009

ISBN 9780817648343 (electronic bk.) ; 9780817648336 (paper)

African Biodiversity : Molecules, Organisms, Ecosystems

[edited by] Bernhard A. Huber, Bradley J. Sinclair, Karl-Heinz Lampe.

Springer Science + Business Media, Inc.

2005

ISBN 9780387243207 (electronic bk.) ; 9780387243153 (paper)

Analysis of integrated and cointegrated time series with R

by Bernhard Pfaff ; edited by Robert Gentleman, Kurt Hornik, Giovanni Parmigiani.

Springer Science+Business Media, LLC

2008

ISBN 9780387759678 (electronic bk.) ; 9780387759661 (paper)

書名	作者	出版社	出版日期	來源	操作
Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings ISBN 9783540318224 (electronic bk.) ; 9783540289319 (paper)	edited by Bernhard Beckert.	Springer-Verlag GmbH.	2005	館藏	View
Formal verification of object-oriented software : international conference, FoVeOOS 2010, Paris, France, June 28-30, 2010 : revised selected papers ISBN 9783642180705 (electronic bk.) ; 9783642180699 (paper)	edited by Bernhard Beckert, Claude Marche.	Springer Berlin Heidelberg	2011	館藏	View
The American bourgeoisie : distinction and identity in the nineteenth century ISBN 9780230115569 (electronic bk.) ; 023011556X (electronic bk.)	[edited by] Sven Beckert and Julia B. Rosenbaum.	Palgrave Macmillan	2010	館藏	View
Advances in dynamic games and their applications : analytical and numerical developments ISBN 9780817648343 (electronic bk.) ; 9780817648336 (paper)	edited by Odile Pourtallier, Vladimir Gaitsgory, Pierre Bernhard.	Birkhauser Boston	2009	館藏	View
African Biodiversity : Molecules, Organisms, Ecosystems ISBN 9780387243207 (electronic bk.) ; 9780387243153 (paper)	[edited by] Bernhard A. Huber, Bradley J. Sinclair, Karl-Heinz Lampe.	Springer Science + Business Media, Inc.	2005	館藏	View
Analysis of integrated and cointegrated time series with R ISBN 9780387759678 (electronic bk.) ; 9780387759661 (paper)	by Bernhard Pfaff ; edited by Robert Gentleman, Kurt Hornik, Giovanni Parmigiani.	Springer Science+Business Media, LLC	2008	館藏	View

查看全部 38,097 本書籍

沒有找到相關書架

請嘗試其他關鍵字