Zobrazeno 61 - 70
of 76
pro vyhledávání: '"94(9)"'
Autor:
Daoliang Li, Yingyi Chen
The three-volume set IFIP AICT 368-370 constitutes the refereed post-conference proceedings of the 5th IFIP TC 5, SIG 5.1 International Conference on Computer and Computing Technologies in Agriculture, CCTA 2011, held in Beijing, China, in October 20
Autor:
Felix Redmill, Tom Anderson
0 e This is the proceedings of the first annual symposium of the Safety-critical Systems Club (The Watershed Media Centre, Bristol, 9-11 February 1993), which provided a forum for exploring and discussing ways of achieving safety in computer systems
This book constitutes the refereed proceedings of the 5th International Conference on Autonomous Infrastructure, Management and Security, AIMS 2011, held in Nancy, France, in June 2011. The 11 revised full papers presented together 11 papers of the A
This book constitutes the refereed proceedings of the 30th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2011, held in Naples, Italy, in September 2011. The 34 full papers presented together were carefully reviewed
Autor:
Prahlad Vadakkepat, Jong-Hwan Kim, Norbert Jesse, Abdullah Al Mamun, Tan Kok Kiong, Jacky Baltes, John Anderson, Igor Verner, David Ahlgren
th This volume contains the papers selected for the 13 FIRA Robot World Congress, held at Amrita Vishwa Vidyapeetham Bangalore, India, September 15-17, 2010. The Federation of International Robot-soccer Association (FIRA – www.fira.net) is a non-pr
Autor:
Bruno Vallespir, Thècle Alix
The present economic and social environment has given rise to new situations within which companies must operate. As a first example, the globalization of the economy and the need for performance has led companies to outsource and then to operate ins
Autor:
James Goodwill
Apache Jakarta-Tomcat, the official reference implementation for the Java servlet and JavaServer Pages technologies, has long been heralded as an excellent platform for the development and deployment of powerful Web applications. Version 4.0 offers n
Autor:
Heinrich Rust
This monograph is dedicated to a novel approach for uniform modelling of timed and hybrid systems. Heinrich Rust presents a time model which allows for both the description of discrete time steps and continuous processes with a dense real-number time
Autor:
Marta Cialdea Mayer, Fiora Pirri
This book constitutes the refereed proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2003, held in Rome, Italy in September 2003. The 20 revised full papers presented were carefull