|
Methods, models and tools for fault tolerance Автор: Butler Michael Год: 2009 |
Crossroads between Innate and Adaptive Immunity Автор: Peter D. Katsikis Год: 2006 |
FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings (Lecture Notes in Computer Science) Автор: RenA© DA?ger, Enrique Zuazua Год: 2005 |
Algorithmic Learning Theory: 14th International Conference, Alt 2003, Sapporo, Japan, October 2003 : Proceedings (Lecture Notes in Computer Science, 2842.) Автор: Alt 200, Ricard Gavalda, K. P. Jantke, Eiji Takimoto, Klaus P. Jantke Год: 2000 |