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

Formal Techniques for Distributed Systems [electronic resource] : Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings

0
索取号：
作者：Giese、 Holger.、Rosu、 Grigore.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Formal Techniques for Distributed Systems [electronic resource] : Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings

0
索取号：
作者：Bruni、 Roberto.、Dingel、 Juergen.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Formal Techniques for Distributed Systems [electronic resource] : Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings

0
索取号：
作者：Hatcliff、 John.、Zucca、 Elena.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Functional Equations and Inequalities [electronic resource]

0
索取号：
作者：Forte、 B.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Formal Techniques for Distributed Systems [electronic resource] : Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings

0
索取号：
作者：Lee、 David.、Lopes、 Ant贸nia.、Poetzsch-Heffter、 Arnd.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Formal Techniques for Networked and Distributed Systems-FORTE 2007 [electronic resource] : 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings

0
索取号：
作者：Derrick、 John.、Vain、 J眉ri.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Formal Techniques for Networked and Distributed Systems-FORTE 2008 [electronic resource] : 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings

0
索取号：
作者：Suzuki、 Kenji.、Higashino、 Teruo.、Yasumoto、 Keiichi.、El-Fakih、 Khaled.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Interactive Technologies and Sociotechnical Systems [electronic resource] : 12th International Conference, VSMM 2006, Xi鈥檃n, China, October 18-20, 2006. Proceedings

0
索取号：
作者：Zha、 Hongbin.、Pan、 Zhigeng.、Thwaites、 Hal.、Addison、 Alonzo C.、Forte、 Maurizio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Formal Techniques for Networked and Distributed Systems - FORTE 2006 [electronic resource] : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedings

0
索取号：
作者：Najm、 Elie.、Pradat-Peyre、 Jean-Fran莽ois.、Donzeau-Gouge、 V茅ronique Vigui茅.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Formal Techniques for Networked and Distributed Systems - FORTE 2005 [electronic resource] : 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005. Proceedings

0
索取号：
作者：Wang、 Farn.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Advances in Spectroscopy for Lasers and Sensing [electronic resource]

0
索取号：
作者：Bartolo、 Baldassare.、Forte、 Ottavio.、SpringerLink (Online service)、
出版社：Dordrecht : Springer Netherlands, 2006.

Frontiers of Optical Spectroscopy [electronic resource] : Investigating Extreme Physical Conditions with Advanced Optical Techniques

0
索取号：
作者：Bartolo、 Baldassare.、Forte、 Ottavio.、SpringerLink (Online service)、
出版社：Dordrecht : Springer Netherlands, 2005.

Formal description techniques, III : proceedings of the IFIP TC/WG 6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '90, Madrid, Spain, 5-8 November, 1990

0
索取号：TP311-532/E992/3
作者：IFIP TC 6/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols (3rd : 1990 : Madrid、 Spain)、Quemada、 Juan、 1953- .、Mañas、 José、 1956- .、Vázquez、 Enrique、 1960-、
出版社：Amsterdam : North-Holland, 1991.

Programming Microsoft SQL server 2005

0
索取号：TP311.138SQ/E20071
作者：Brust、 Andrew J.、Forte、 Stephen.、
出版社：Shanghai : Shanghai World Publishing Corporation, 2007.

Formal description techniquesand protocol specification, testing, and verification : FORTE XI/PSTV XVIII '98 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing, andVerification (PSTV XVIII) : 3-6 November 1998, Paris, France

0
索取号：TP311-532/E996/1998
作者：IFIP TC6 EG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocol and Protocol Specification、Testing、 and Verification (1998 : Paris、 France)、Cavalli、 Ana.、Budkowski、 Stan.、Najm、 Elie.、IFIP TC/WG 6.1 International Conference on Formal Descrioption Techniques for Distributed Systems and Communication Protocols (11th : 1998 : Paris、 France)、IFIP WG 6.1 International Symposium on Protocol Specification、 Testing、and Verification (18th : 1998 : Pari、
出版社：Boston : Kluwer Academic Publishers, 1998.

Discovering process : meaning and form in reading and writing

0
索取号：H315/E90114
作者：Lewis、 Stephen C.、Forte、 M. Cecile.、
出版社：New York : Macmillan ; London : Collier Macmillan, c1985.
最近添加的分类
对外联络处体育学院经济学院南校区管理委员会数字校园南校区管委会暨南大学校报下载中心规章制度信息公示创新论坛教务动态创新人才课程中心核心团队通知电气信息学院四海书院国际商学院人文学院