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

Attractivity and Bifurcation for Nonautonomous Dynamical Systems [electronic resource]

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

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings

0
索取号：
作者：Grumberg、 Orna.、Huth、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Reliable Systems on Unreliable Networked Platforms [electronic resource] : 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers

0
索取号：
作者：Kordon、 Fabrice.、Sztipanovits、 Janos.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Control and Estimation of Systems with Input/Output Delays [electronic resource]

0
索取号：
作者：Xie、 Lihua.、Zhang、 Huanshui.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Modelling and Estimation Strategies for Fault Diagnosis of Non-Linear Systems [electronic resource] : From Analytical to Soft Computing Approaches

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

Environments for Multi-Agent Systems III [electronic resource] : Third International Workshop, E4MAS 2006, Hakodate, Japan, May 8, 2006, Selected Revised and Invited Papers

0
索取号：
作者：Weyns、 Danny.、Parunak、 H. Van Dyke.、Michel、 Fabien.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Regulated Systems for Multiphase Catalysis [electronic resource]

0
索取号：
作者：Leitner、 Walter.、H枚lscher、 Markus.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.

Adaptive Hypermedia and Adaptive Web-Based Systems [electronic resource] : 5th International Conference, AH 2008, Hannover, Germany, July 29 - August 1, 2008. Proceedings

0
索取号：
作者：Nejdl、 Wolfgang.、Kay、 Judy.、Pu、 Pearl.、Herder、 Eelco.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Wireless Systems and Mobility in Next Generation Internet [electronic resource] : Third International Workshop of the EURO-NGI Network of Excellence, Sitges, Spain, June 6-9, 2006, Revised Selected Papers

0
索取号：
作者：Garc铆a-Vidal、 Jorge.、Cerd脿-Alabern、 Lloren莽.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Cognitive Systems [electronic resource] : Joint Chinese-German Workshop, Shanghai, China, March 7-11, 2005, Revised Selected Papers

0
索取号：
作者：Lu、 Ruqian.、Siekmann、 J枚rg H.、Ullrich、 Carsten.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Perspectives of Systems Informatics [electronic resource] : 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers

0
索取号：
作者：Virbitskaite、 Irina.、Voronkov、 Andrei.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Soft Computing for Hybrid Intelligent Systems [electronic resource]

0
索取号：
作者：Castillo、 Oscar.、Melin、 Patricia.、Kacprzyk、 Janusz.、Pedrycz、 Witold.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

New Trends in Optimal Filtering and Control for Polynomial and Time-Delay Systems [electronic resource]

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

Model Abstraction in Dynamical Systems: Application to Mobile Robot Control [electronic resource]

0
索取号：
作者：Mellodge、 Patricia.、Kachroo、 Pushkin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Control of Nonlinear Dynamical Systems [electronic resource] : Methods and Applications

0
索取号：
作者：Chernousko、 Felix L.、Ananievski、 Igor M.、Reshmin、 Sergey A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Interactive Systems. Design, Specification, and Verification [electronic resource] : 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers

0
索取号：
作者：Graham、 T. C. Nicholas.、Palanque、 Philippe.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.