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

Formal Methods and Hybrid Real-Time Systems [electronic resource] : Essays in Honor of Dines Bj酶rner and Chaochen Zhou on the Occasion of Their 70th Birthdays

0
索取号：
作者：Jones、 Cliff B.、Liu、 Zhiming.、Woodcock、 Jim.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Model Driven Engineering Languages and Systems [electronic resource] : 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007. Proceedings

0
索取号：
作者：Engels、 Gregor.、Opdyke、 Bill.、Schmidt、 Douglas C.、Weil、 Frank.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Advances in Databases and Information Systems [electronic resource] : 11th East European Conference, ADBIS 2007, Varna, Bulgaria, September 29-October 3, 2007. Proceedings

0
索取号：
作者：Ioannidis、 Yannis.、Novikov、 Boris.、Rachev、 Boris.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Computer Recognition Systems 2 [electronic resource]

0
索取号：
作者：Kurzynski、 Marek.、Puchala、 Edward.、Wozniak、 Michal.、Zolnierek、 Andrzej.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Computational Methods in Systems Biology [electronic resource] : International Conference CMSB 2007, Edinburgh, Scotland, September 20-21, 2007. Proceedings

0
索取号：
作者：Calder、 Muffy.、Gilmore、 Stephen.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

SDL 2007: Design for Dependable Systems [electronic resource] : 13th International SDL Forum Paris, France, September 18-21, 2007 Proceedings

0
索取号：
作者：Gaudin、 Emmanuel.、Najm、 Elie.、Reed、 Rick.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Innovations in Hybrid Intelligent Systems [electronic resource]

0
索取号：
作者：Corchado、 Emilio.、Corchado、 Juan M.、Abraham、 Ajith.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Self-Organizing Systems [electronic resource] : Second International Workshop, IWSOS 2007, The Lake District, UK, September 11-13, 2007. Proceedings

0
索取号：
作者：Hutchison、 David.、Katz、 Randy H.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Noise and Vibration Mitigation for Rail Transportation Systems [electronic resource] : Proceedings of the 9th International Workshop on Railway Noise, Munich, Germany, 4 - 8 September 2007

0
索取号：
作者：Schulte-Werning、 Burkhard.、Thompson、 David.、Gautier、 Pierre-Etienne.、Hanson、 Carl.、Hemsworth、 Brian.、Nelson、 James.、Maeda、 Tatsuo.、Vos、 Paul.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Knowledge-Based Intelligent Information and Engineering Systems [electronic resource] : 11th International Conference, KES 2007, XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy, September 12-14, 2007, Proceedings, Part III

0
索取号：
作者：Apolloni、 Bruno.、Howlett、 Robert J.、Jain、 Lakhmi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Knowledge-Based Intelligent Information and Engineering Systems [electronic resource] : 11th International Conference, KES 2007, XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy, September 12-14, 2007. Proceedings, Part II

0
索取号：
作者：Apolloni、 Bruno.、Howlett、 Robert J.、Jain、 Lakhmi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Knowledge-Based Intelligent Information and Engineering Systems [electronic resource] : 11th International Conference, KES 2007, XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy, September 12-14, 2007. Proceedings, Part I

0
索取号：
作者：Apolloni、 Bruno.、Howlett、 Robert J.、Jain、 Lakhmi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Cryptographic Hardware and Embedded Systems - CHES 2007 [electronic resource] : 9th International Workshop, Vienna, Austria, September 10-13, 2007. Proceedings

0
索取号：
作者：Paillier、 Pascal.、Verbauwhede、 Ingrid.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Metabolomics [electronic resource] : A Powerful Tool in Systems Biology

0
索取号：
作者：Nielsen、 Jens.、Jewett、 Michael C.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.

Vehicle Propulsion Systems [electronic resource] : Introduction to Modeling and Optimization

0
索取号：
作者：Guzzella、 Lino.、Sciarretta、 Antonio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Groundwater Geochemistry [electronic resource] : A Practical Guide to Modeling of Natural and Contaminated Aquatic Systems

0
索取号：
作者：Merkel、 Broder J.、Planer-Friedrich、 Britta.、Nordstrom、 Darrell K.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.