free counter statistics

Computer Science Handbook Second Edition

ISBN 10 : 9780203494455
ISBN 13 : 0203494458

When you think about how far and fast computer science has progressed in recent years, it's not hard to conclude that a seven-year old handbook may fall a little short of the kind ..


Programmation Concurrente Et Temps R El Avec Java

ISBN 10 : 9782880746988
ISBN 13 : 2880746981

Si le langage Java s'est avantageusement répandu dans le domaine des systèmes d'information et d'internet, sa pénétration dans celui des systèmes temps-réel et des applicatio..


Real Time Systems

ISBN 10 : 9781139474603
ISBN 13 : 113947460X

Real-time systems need to react to certain input stimuli within given time bounds. For example, an airbag in a car has to unfold within 300 milliseconds in a crash. There are many ..



Computing Handbook Third Edition

ISBN 10 : 9781439898529
ISBN 13 : 1439898529

Computing Handbook, Third Edition: Computer Science and Software Engineering mirrors the modern taxonomy of computer science and software engineering as described by the Associatio..


Formal Techniques In Real Time And Fault Tolerant Systems

ISBN 10 : 3540616489
ISBN 13 : 9783540616481

This volume constitutes the refereed proceedings of the Fourth International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFTS '96, held in Uppsala, S..


Integrated Formal Methods

ISBN 10 : 9783540478843
ISBN 13 : 3540478841

The third in a series of international conferences on Integrated Formal Methods, IFM 2002, was held in Turku, Finland, May 15–17, 2002. Turku, situated in the south western corne..


Software Engineering And Knowledge Engineering

ISBN 10 : 9812798021
ISBN 13 : 9789812798022

This volume focuses on current and future trends in the interplay between software engineering and artificial intelligence. This interplay is now critical to the success of both di..


Real Time Systems

ISBN 10 : UOM:39015035254427
ISBN 13 :

This text provides an account of real-time systems. The presentation makes use of recent research demonstrating the effectiveness and applicability of mathematically-based methods ..