Works matching IS 00104620 AND DT 2006 AND VI 49 AND IP 6
Results: 13
Capsule Reviews.
- Published in:
- Computer Journal, 2006, v. 49, n. 6, p. 631, doi. 10.1093/comjnl/bxl061
- By:
- Publication type:
- Article
Robert Scoble and Shel Israel Naked Conversations: How Blogs are Changing the Way Businesses Talk with Customers. John Wiley & Sons (2006). ISBN 0-471-74719-X. £16.99. 251 pp. Hardcover.
- Published in:
- 2006
- By:
- Publication type:
- Book Review
Persistent Semi-Dynamic Ordered Partition Index.
- Published in:
- Computer Journal, 2006, v. 49, n. 6, p. 670, doi. 10.1093/comjnl/bxl035
- By:
- Publication type:
- Article
Solving Rummikub Problems by Integer Linear Programming.
- Published in:
- Computer Journal, 2006, v. 49, n. 6, p. 665, doi. 10.1093/comjnl/bxl033
- By:
- Publication type:
- Article
Design of Traffic Light Control Systems Using Statecharts.
- Published in:
- Computer Journal, 2006, v. 49, n. 6, p. 634, doi. 10.1093/comjnl/bxl032
- By:
- Publication type:
- Article
Static Task Scheduling with a Unified Objective on Time and Resource Domains.
- Published in:
- Computer Journal, 2006, v. 49, n. 6, p. 731, doi. 10.1093/comjnl/bxl030
- By:
- Publication type:
- Article
Mark BurginSuper-Recursive Algorithms. Series: Monographs in Computer Science. Springer Verlag (2005). ISBN 0-387-95569-0. $79.95/£61.50/€79.95. 304 pp. Hardbound.
- Published in:
- 2006
- By:
- Publication type:
- Book Review
R. Kurki-Suonio A Practical Theory of Reactive Systems. Springer Verlag (2005). ISBN 3-540-23342-3. €49.95/£38.50. 418 pp. Hardbound.
- Published in:
- 2006
- By:
- Publication type:
- Book Review
Modeling the Input History of Programs for Improved Instruction-Memory Performance.
- Published in:
- Computer Journal, 2006, v. 49, n. 6, p. 744, doi. 10.1093/comjnl/bxl044
- By:
- Publication type:
- Article
The Structure Function and Distinguishable Models of Data.
- Published in:
- Computer Journal, 2006, v. 49, n. 6, p. 657, doi. 10.1093/comjnl/bxl045
- By:
- Publication type:
- Article
Verifying an ATM Protocol Using a Combination of Formal Techniques *A preliminary version of this paper has appeared in Formal Methods Europe (FME'03), LNCS 2805, pp 223–243. The URL http://www.irisa.fr/vertecs/Equipe/Rusu/sscop contains PVS ...
- Published in:
- Computer Journal, 2006, v. 49, n. 6, p. 710, doi. 10.1093/comjnl/bxl039
- By:
- Publication type:
- Article
Leo II and the Model T Ford1The paper is based on a talk given to the Computer Conservation Society on 24th February 2005.
- Published in:
- Computer Journal, 2006, v. 49, n. 6, p. 650, doi. 10.1093/comjnl/bxl041
- By:
- Publication type:
- Article
Development, Analysis and Evaluation of Performance Models for Mobile Multi-Agent Networks.
- Published in:
- Computer Journal, 2006, v. 49, n. 6, p. 685, doi. 10.1093/comjnl/bxl009
- By:
- Publication type:
- Article