大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 it.software.dev.google 的图书(共1186本)

SynDEVS Co-Design Flow [electronic resource] : A Hardware / Software Co-Design Flow Based on the Discrete Event System Specification Model of Computation

0
索取号：
作者：Molter、 H. Gregor.、SpringerLink (Online service)、
出版社：Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2012.

Tools for Practical Software Verification [electronic resource] : LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures

0
索取号：
作者：Meyer、 Bertrand.、Nordio、 Martin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Formal Aspects of Component Software [electronic resource] : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers

0
索取号：
作者：Arbab、 Farhad.、脰lveczky、 Peter Csaba.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

AI Approaches to the Complexity of Legal Systems. Models and Ethical Challenges for Legal Systems, Legal Language and Legal Ontologies, Argumentation and Software Agents [electronic resource] : International Workshop AICOL-III, Held as Part of the 25th IVR Congress, Frankfurt am Main, Germany, August 15-16, 2011. Revised Selected Papers

0
索取号：
作者：Palmirani、 Monica.、Pagallo、 Ugo.、Casanovas、 Pompeu.、Sartor、 Giovanni.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Transactions on Aspect-Oriented Software Development IX [electronic resource]

0
索取号：
作者：Leavens、 Gary T.、Chiba、 Shigeru.、Haupt、 Michael.、Ostermann、 Klaus.、Wohlstadter、 Eric.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Computer Applications for Software Engineering, Disaster Recovery, and Business Continuity [electronic resource] : International Conferences, ASEA and DRBC 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings

0
索取号：
作者：Kim、 Tai-hoon.、Ramos、 Carlos.、Kim、 Haeng-kon.、Kiumi、 Akingbehin.、Mohammed、 Sabah.、艢l臋zak、 Dominik.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Testing Software and Systems [electronic resource] : 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings

0
索取号：
作者：Nielsen、 Brian.、Weise、 Carsten.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Human-Centered Software Engineering [electronic resource] : 4th International Conference, HCSE 2012, Toulouse, France, October 29-31, 2012. Proceedings

0
索取号：
作者：Winckler、 Marco.、Forbrig、 Peter.、Bernhaupt、 Regina.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Formal Methods and Software Engineering [electronic resource] : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings

0
索取号：
作者：Aoki、 Toshiaki.、Taguchi、 Kenji.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Hardware and Software: Verification and Testing [electronic resource] : 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers

0
索取号：
作者：Eder、 Kerstin.、Louren莽o、 Jo茫o.、Shehory、 Onn.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Fast Software Encryption [electronic resource] : 19th International Workshop, FSE 2012, Washington, DC, USA, March 19-21, 2012. Revised Selected Papers

0
索取号：
作者：Canteaut、 Anne.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Software Engineering and Formal Methods [electronic resource] : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings

0
索取号：
作者：Eleftherakis、 George.、Hinchey、 Mike.、Holcombe、 Mike.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Information and Software Technologies [electronic resource] : 18th International Conference, ICIST 2012, Kaunas, Lithuania, September 13-14, 2012. Proceedings

0
索取号：
作者：Skersys、 Tomas.、Butleris、 Rimantas.、Butkiene、 Rita.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Software Engineering for Resilient Systems [electronic resource] : 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings

0
索取号：
作者：Avgeriou、 Paris.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Search Based Software Engineering [electronic resource] : 4th International Symposium, SSBSE 2012, Riva del Garda, Italy, September 28-30, 2012. Proceedings

0
索取号：
作者：Fraser、 Gordon.、Teixeira de Souza、 Jerffeson.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Sensor Systems and Software [electronic resource] : Third International ICST Conference, S-Cube 2012, Lisbon, Portugal, June 4-5, 2012, Revised Selected Papers

0
索取号：
作者：Martins、 Francisco.、Lopes、 Lu铆s.、Paulino、 Herv茅.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
最近添加的分类
对外联络处体育学院经济学院南校区管理委员会数字校园南校区管委会暨南大学校报下载中心规章制度信息公示创新论坛教务动态创新人才课程中心核心团队通知电气信息学院四海书院国际商学院人文学院