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

Intelligent Tutoring Systems [electronic resource] : 9th International Conference, ITS 2008, Montreal, Canada, June 23-27, 2008 Proceedings

0
索取号：
作者：Woolf、 Beverley P.、A茂meur、 Esma.、Nkambou、 Roger.、Lajoie、 Susanne.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Molecular Thermodynamics of Complex Systems [electronic resource]

0
索取号：
作者：Lu、 Xiaohua.、Hu、 Ying.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

New Frontiers in Applied Artificial Intelligence [electronic resource] : 21st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2008 Wroc艂aw, Poland, June 18-20, 2008 Proceedings

0
索取号：
作者：Nguyen、 Ngoc Thanh.、Borzemski、 Leszek.、Grzech、 Adam.、Ali、 Moonis.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Information Systems Security [electronic resource] : Second International Conference, ICISS 2006, Kolkata, India, December 19-21, 2006. Proceedings

0
索取号：
作者：Bagchi、 Aditya.、Atluri、 Vijayalakshmi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Formal Methods for Computational Systems Biology [electronic resource] : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures

0
索取号：
作者：Bernardo、 Marco.、Degano、 Pierpaolo.、Zavattaro、 Gianluigi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings

0
索取号：
作者：Barthe、 Gilles.、Boer、 Frank S.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

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.

Neural Preprocessing and Control of Reactive Walking Machines [electronic resource] : Towards Versatile Artificial Perception-Action Systems

0
索取号：
作者：Manoonpong、 Poramate.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Wind Energy Systems for Electric Power Generation [electronic resource]

0
索取号：
作者：Stiebler、 Manfred.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

High Performance Computing on Vector Systems 2006 [electronic resource] : Proceedings of the High Performance Computing Center Stuttgart, March 2006

0
索取号：
作者：Resch、 Michael.、B枚nisch、 Thomas.、Tiyyagura、 Sunil.、Furui、 Toshiyuki.、Seo、 Yoshiki.、Bez、 Wolfgang.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Supply Chain Management Based on SAP Systems [electronic resource] : Architecture and Planning Processes

0
索取号：
作者：Knolmayer、 Gerhard F.、Mertens、 Peter.、Zeier、 Alexander.、Dickersbach、 J枚rg Thomas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Distributed Applications and Interoperable Systems [electronic resource] : 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. Proceedings

0
索取号：
作者：Meier、 Ren茅.、Terzis、 Sotirios.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Temporal Logic and State Systems [electronic resource]

0
索取号：
作者：Kr枚ger、 Fred.、Merz、 Stephan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

One Country, Two Systems, Three Legal Orders - Perspectives of Evolution [electronic resource]

0
索取号：
作者：Oliveira、 Jorge Costa.、Cardinal、 Paulo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Testing of Software and Communicating Systems [electronic resource] : 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings

0
索取号：
作者：Suzuki、 Kenji.、Higashino、 Teruo.、Ulrich、 Andreas.、Hasegawa、 Toru.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Requirements Management [electronic resource] : The Interface Between Requirements Development and All Other Systems Engineering Processes

0
索取号：
作者：Hood、 Colin.、Wiedemann、 Simon.、Fichtinger、 Stefan.、Pautz、 Urte.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.