大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Eindhoven 的图书(共18本)

Engineering Secure Software and Systems [electronic resource] : 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings

0
索取号：
作者：Barthe、 Gilles.、Livshits、 Benjamin.、Scandariato、 Riccardo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Graph Drawing [electronic resource] : 19th International Symposium, GD 2011, Eindhoven, The Netherlands, September 21-23, 2011, Revised Selected Papers

0
索取号：
作者：Kreveld、 Marc.、Speckmann、 Bettina.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Software Language Engineering [electronic resource] : Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers

0
索取号：
作者：Malloy、 Brian.、Staab、 Steffen.、Brand、 Mark.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Formal Methods for Components and Objects [electronic resource] : 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

0
索取号：
作者：Boer、 Frank S.、Bonsangue、 Marcello M.、Hallerstede、 Stefan.、Leuschel、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Foundational and Practical Aspects of Resource Analysis [electronic resource] : First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers

0
索取号：
作者：Eekelen、 Marko.、Shkaravska、 Olha.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Formal Aspects in Security and Trust [electronic resource] : 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers

0
索取号：
作者：Degano、 Pierpaolo.、Guttman、 Joshua D.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Network Control and Optimization [electronic resource] : Third Euro-NF Conference, NET-COOP 2009 Eindhoven, The Netherlands, November 23-25, 2009 Proceedings

0
索取号：
作者：N煤帽ez-Queija、 Rudesindo.、Resing、 Jacques.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

FM 2009: Formal Methods [electronic resource] : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings

0
索取号：
作者：Cavalcanti、 Ana.、Dams、 Dennis R.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Testing of Software and Communication Systems [electronic resource] : 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings

0
索取号：
作者：N煤帽ez、 Manuel.、Baker、 Paul.、Merayo、 Mercedes G.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Teaching Formal Methods [electronic resource] : Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings

0
索取号：
作者：Gibbons、 Jeremy.、Oliveira、 Jos茅 Nuno.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Formal Methods for Industrial Critical Systems [electronic resource] : 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings

0
索取号：
作者：Alpuente、 Mar铆a.、Cook、 Byron.、Joubert、 Christophe.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Fun and Games [electronic resource] : Second International Conference, Eindhoven, The Netherlands, October 20-21, 2008. Proceedings

0
索取号：
作者：Markopoulos、 Panos.、Ruyter、 Boris.、IJsselsteijn、 Wijnand.、Rowland、 Duncan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Persuasive Technology [electronic resource] : First International Conference on Persuasive Technology for Human Well-Being, PERSUASIVE 2006, Eindhoven, The Netherlands, May 18-19, 2006. Proceedings

0
索取号：
作者：IJsselsteijn、 Wijnand A.、Kort、 Yvonne A. W.、Midden、 Cees.、Eggen、 Berry.、Hoven、 Elise.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Integrated Formal Methods [electronic resource] : 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings

0
索取号：
作者：Romijn、 Judi.、Smith、 Graeme.、Pol、 Jaco.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Sixth International Conference on Software Engineering for Telecommunication Switching Systems, 14-18 April 1986 : venue, the Philips Congress Centre, Eindhoven, the Netherlands

0
索取号：TN91-53/E908/1986
作者：International Conference on Software Engineering for Telecommunication Switching Systems (6th : 1986 : Eindhoven、 Netherlands)、Institution of Electrical Engineers. Electronics Division.、Institution of Electrical Engineers. Computing & Control Division.、Koninklijk Instituut van Ingenieurs (Netherlands). Afdeling Sectie Informatietechniek.、British Computer Society.、
出版社：London ; New York : Institution of Electrical Engineers, c1986.

Computer-aided design : proceedings

0
索取号：TP391.7-53/E803/1972
作者：IFIP Working Conference on Principles of Computer-Aided Design、 Eindhoven、 1972.、Vlietstra、 J.、 ed.、Wielinga、 R. F.、 ed.、IFIP Technical Committee 5--Computer Applications in Technology.、
出版社：London Amsterdam, North-Holland Pub. Co., 1973.