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

Self-Stabilizing Systems [electronic resource] : 7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005. Proceedings

0
索取号：
作者：Tixeuil、 S茅bastien.、Herman、 Ted.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE [electronic resource] : OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings Part II

0
索取号：
作者：Meersman、 Robert.、Tari、 Zahir.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE [electronic resource] : OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings, Part I

0
索取号：
作者：Meersman、 Robert.、Tari、 Zahir.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Natural Language Processing and Information Systems [electronic resource] : 10th International Conference on Applications of Natural Language to Information Systems, NLDB 2005, Alicante, Spain, June 15-17, 2005. Proceedings

0
索取号：
作者：Montoyo、 Andr茅s.、Mu艅oz、 Rafael.、M茅tais、 Elisabeth.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Advances in Computer Systems Architecture [electronic resource] : 10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005. Proceedings

0
索取号：
作者：Srikanthan、 Thambipillai.、Xue、 Jingling.、Chang、 Chip-Hong.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Computational Intelligence and Bioinspired Systems [electronic resource] : 8th International Work-Conference on Artificial Neural Networks, IWANN 2005, Vilanova i la Geltr煤, Barcelona, Spain, June 8-10, 2005. Proceedings

0
索取号：
作者：Cabestany、 Joan.、Prieto、 Alberto.、Sandoval、 Francisco.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

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.

Testing of Communicating Systems [electronic resource] : 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June, 2005. Proceedings

0
索取号：
作者：Khendek、 Ferhat.、Dssouli、 Rachida.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Model Driven Engineering Languages and Systems [electronic resource] : 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005. Proceedings

0
索取号：
作者：Briand、 Lionel.、Williams、 Clay.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Peer-to-Peer Systems and Applications [electronic resource]

0
索取号：
作者：Steinmetz、 Ralf.、Wehrle、 Klaus.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Advanced Concepts for Intelligent Vision Systems [electronic resource] : 7th International Conference, ACIVS 2005, Antwerp, Belgium, September 20-23, 2005. Proceedings

0
索取号：
作者：Blanc-Talon、 Jacques.、Philips、 Wilfried.、Popescu、 Dan.、Scheunders、 Paul.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Model-Based Testing of Reactive Systems [electronic resource] : Advanced Lectures

0
索取号：
作者：Broy、 Manfred.、Jonsson、 Bengt.、Katoen、 Joost-Pieter.、Leucker、 Martin.、Pretschner、 Alexander.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Formal Methods for Mobile Computing [electronic resource] : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures

0
索取号：
作者：Bernardo、 Marco.、Bogliolo、 Alessandro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

NETWORKING 2005. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems [electronic resource] : 4th International IFIP-TC6 Networking Conference, Waterloo, Canada, May 2-6, 2005. Proceedings

0
索取号：
作者：Boutaba、 Raouf.、Almeroth、 Kevin.、Puigjaner、 Ramon.、Shen、 Sherman.、Black、 James P.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Self-star Properties in Complex Information Systems [electronic resource] : Conceptual and Practical Foundations

0
索取号：
作者：Babaoglu、 Ozalp.、Jelasity、 M谩rk.、Montresor、 Alberto.、Fetzer、 Christof.、Leonardi、 Stefano.、Moorsel、 Aad.、Steen、 Maarten.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Operational Semantics for Timed Systems [electronic resource] : A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems

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