Search Books

搜尋「edited by Luis CairesGuiseppe F. Italiano, Luis Monteiro, Catuscia Palamidessi.」的結果：找到 37,007 本書籍， 0 個書架

書籍 (37007)
書架 (0)

Automata, Languages and Programming : 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings 館藏

edited by Luis CairesGuiseppe F. Italiano, Luis Monteiro, Catuscia Palamidessi.

Springer-Verlag GmbH.

2005

ISBN 9783540316916 (electronic bk.) ; 9783540275800 (paper)

Logic programming : 19th International Conference, ICLP 2003 Mumbai, India, December 9-13, 2003 Proceedings 館藏

edited by Catuscia Palamidessi.

Springer

c2003.

ISBN 9783540206422 (paper)

Theory of security and applications : Joint Workshop, TOSCA 2011, Saarbrucken, Germany, March 31 - April 1, 2011 : revised selected papers 館藏

edited by Sebastian Modersheim, Catuscia Palamidessi.

Springer Berlin Heidelberg

2012

ISBN 9783642273759 (electronic bk.) ; 9783642273742 (paper)

Integrated circuit and system design : power and timing modeling, optimization and simulation : 19th international workshop, PATMOS 2009, Delft, The Netherlands, September 9-11, 2009 : revised selected papers 館藏

edited by Jose Monteiro, Rene Leuken.

Springer-Verlag Berlin Heidelberg

2010

ISBN 9783642118029 (electronic bk.) ; 9783642118012 (paper)

25 Years of Model Checking : History, Achievements, Perspectives 館藏

edited by Joachim von zur Gathen, Jose Luis Imana, Cetin Kaya Koc.

Springer-Verlag Berlin Heidelberg

2008

ISBN 9783540698500 (electronic bk.) ; 9783540698494 (paper)

An assessment of the global impact of the financial crisis 館藏

edited by Philip Arestis, Rog?aerio Sobreira and Jos?ae Luis Oreiro.

Palgrave Macmillan

2011

ISBN 9780230306912 (electronic bk.) ; 0230306918 (electronic bk.) ; 9780230303942 (e-book) ; 0230303943 (e-book)

書名	作者	出版社	出版日期	來源	操作
Automata, Languages and Programming : 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings ISBN 9783540316916 (electronic bk.) ; 9783540275800 (paper)	edited by Luis CairesGuiseppe F. Italiano, Luis Monteiro, Catuscia Palamidessi.	Springer-Verlag GmbH.	2005	館藏	View
Logic programming : 19th International Conference, ICLP 2003 Mumbai, India, December 9-13, 2003 Proceedings ISBN 9783540206422 (paper)	edited by Catuscia Palamidessi.	Springer	c2003.	館藏	View
Theory of security and applications : Joint Workshop, TOSCA 2011, Saarbrucken, Germany, March 31 - April 1, 2011 : revised selected papers ISBN 9783642273759 (electronic bk.) ; 9783642273742 (paper)	edited by Sebastian Modersheim, Catuscia Palamidessi.	Springer Berlin Heidelberg	2012	館藏	View
Integrated circuit and system design : power and timing modeling, optimization and simulation : 19th international workshop, PATMOS 2009, Delft, The Netherlands, September 9-11, 2009 : revised selected papers ISBN 9783642118029 (electronic bk.) ; 9783642118012 (paper)	edited by Jose Monteiro, Rene Leuken.	Springer-Verlag Berlin Heidelberg	2010	館藏	View
25 Years of Model Checking : History, Achievements, Perspectives ISBN 9783540698500 (electronic bk.) ; 9783540698494 (paper)	edited by Joachim von zur Gathen, Jose Luis Imana, Cetin Kaya Koc.	Springer-Verlag Berlin Heidelberg	2008	館藏	View
An assessment of the global impact of the financial crisis ISBN 9780230306912 (electronic bk.) ; 0230306918 (electronic bk.) ; 9780230303942 (e-book) ; 0230303943 (e-book)	edited by Philip Arestis, Rog?aerio Sobreira and Jos?ae Luis Oreiro.	Palgrave Macmillan	2011	館藏	View

查看全部 37,007 本書籍

沒有找到相關書架

請嘗試其他關鍵字