Liknande böcker

Organic and Pervasive Computing -- ARCS 2004 : International Conference...
Bok av Christian Muller-Schloer
Applications and Theory of Petri Nets
Bok av Kees M. Hee
Formal Techniques in Real-Time and Fault-Tolerant Systems : Third Intern...
Bok av Hans Langmaack
Specification and Verification of Concurrent Systems
Bok av Charles Rattray
Logics of Programs : Workshop, Yorktown Heights, NY, USA
Bok av D Kozen
CAAP '83: v. 159 : Trees in Algebra and Programming. 8th Colloquium L'Aq...
Bok av G Ausiello
Hybrid Systems: Computation and Control
Bok av Claudio Altafini
Mathematics of Program Construction
Bok

Scg 10 Proceedings of the 26th Annual Symposium on Computational Geometry

Bok av Computational Geometry Conference