大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 MSC.Software 的图书(共1094本)

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.

Software Testing in the Cloud [electronic resource] : Migration and Execution

0
索取号:
作者:Tilley、 Scott.、Parveen、 Tauhida.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Formal Verification of Object-Oriented Software [electronic resource] : International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers

0
索取号:
作者:Beckert、 Bernhard.、Damiani、 Ferruccio.、Gurov、 Dilian.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Model Checking Software [electronic resource] : 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings

0
索取号:
作者:Donaldson、 Alastair.、Parker、 David.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Software for People [electronic resource] : Fundamentals, Trends and Best Practices

0
索取号:
作者:Maedche、 Alexander.、Botzenhardt、 Achim.、Neer、 Ludwig.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Multicore Software Engineering, Performance, and Tools [electronic resource] : International Conference, MSEPT 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings

0
索取号:
作者:Pankratius、 Victor.、Philippsen、 Michael.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Systems, Software and Services Process Improvement [electronic resource] : 19th European Conference, EuroSPI 2012, Vienna, Austria, June 25-27, 2012. Proceedings

0
索取号:
作者:Winkler、 Dietmar.、O鈥機onnor、 Rory V.、Messnarz、 Richard.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Product-Focused Software Process Improvement [electronic resource] : 13th International Conference, PROFES 2012, Madrid, Spain, June 13-15, 2012 Proceedings

0
索取号:
作者:Dieste、 Oscar.、Jedlitschka、 Andreas.、Juristo、 Natalia.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Formal Methods for Model-Driven Engineering [electronic resource] : 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures

0
索取号:
作者:Bernardo、 Marco.、Cortellessa、 Vittorio.、Pierantonio、 Alfonso.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Software Service and Application Engineering [electronic resource] : Essays Dedicated to Bernd Kr盲mer on the Occasion of His 65th Birthday

0
索取号:
作者:Heisel、 Maritta.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Software Business [electronic resource] : Third International Conference, ICSOB 2012, Cambridge, MA, USA, June 18-20, 2012. Proceedings

0
索取号:
作者:Cusumano、 Michael A.、Iyer、 Bala.、Venkatraman、 N.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
最近添加的分类