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

Computer Science and Educational Software Design [electronic resource] : A Resource for Multidisciplinary Work in Technology Enhanced Learning

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

Engineering Methods in the Service-Oriented Context [electronic resource] : 4th IFIP WG 8.1 Working Conference on Method Engineering, ME 2011, Paris, France, April 20-22, 2011. Proceedings

0
索取号:
作者:Ralyt茅、 Jolita.、Mirbel、 Isabelle.、Deneck猫re、 R茅becca.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Ambient Intelligence - Software and Applications [electronic resource] : 2nd International Symposium on Ambient Intelligence (ISAmI 2011)

0
索取号:
作者:Novais、 Paulo.、Preuveneers、 Davy.、Corchado、 Juan M.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Compiler Construction [electronic resource] : 20th International Conference, CC 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr眉cken, Germany, March 26鈥揂pril 3, 2011. Proceedings

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

Requirements Engineering: Foundation for Software Quality [electronic resource] : 17th International Working Conference, REFSQ 2011, Essen, Germany, March 28-30, 2011. Proceedings

0
索取号:
作者:Berry、 Daniel.、Franch、 Xavier.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr眉cken, Germany, March 26鈥揂pril 3, 2011. Proceedings

0
索取号:
作者:Abdulla、 Parosh Aziz.、Leino、 K. Rustan M.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Engineering of Software [electronic resource] : The Continuing Contributions of Leon J. Osterweil

0
索取号:
作者:Tarr、 Peri L.、Wolf、 Alexander L.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Fundamental Approaches to Software Engineering [electronic resource] : 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr眉cken, Germany, March 26鈥揂pril 3, 2011. Proceedings

0
索取号:
作者:Giannakopoulou、 Dimitra.、Orejas、 Fernando.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Foundations of Software Science and Computational Structures [electronic resource] : 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr眉cken, Germany, March 26鈥揂pril 3, 2011. Proceedings

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

Software Architecture [electronic resource] : A Comprehensive Framework and Guide for Practitioners

0
索取号:
作者:Vogel、 Oliver.、Arnold、 Ingo.、Chughtai、 Arif.、Kehrer、 Timo.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Programming Languages and Systems [electronic resource] : 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr眉cken, Germany, March 26鈥揂pril 3, 2011. Proceedings

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

Advanced Electrical and Electronics Engineering [electronic resource] : Volume 2

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

Glocalized Solutions for Sustainability in Manufacturing [electronic resource] : Proceedings of the 18th CIRP International Conference on Life Cycle Engineering, Technische Universit盲t Braunschweig, Braunschweig, Germany, May 2nd - 4th, 2011

0
索取号:
作者:Hesselbach、 J眉rgen.、Herrmann、 Christoph.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Hardware and Software: Verification and Testing [electronic resource] : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

0
索取号:
作者:Barner、 Sharon.、Harris、 Ian.、Kroening、 Daniel.、Raz、 Orna.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Information Technologies in Environmental Engineering [electronic resource] : New Trends and Challenges

0
索取号:
作者:Golinska、 Paulina.、Fertsch、 Marek.、Marx-G贸mez、 Jorge.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

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.
最近添加的分类