This book constitutes the refereed proceedings of the 8th International Conference on Integrated Formal Methods, IFM 2010, held in Nancy, France, in October 2010. The 20 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 59 sub…
Annotation
Quantum Interaction: Third International Symposium, QI 2009, Saarbrück…
by Hutchison, David, Siekmann, Jörg, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Pandu Rangan, C., Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Goebel, Randy, Lawless, William, Sofge, Donald, Bruza, Peter, Rijsbergen, Keith, Klusch, Matthias
fromLecture Notes in Computer Science
Wireless algorithms, systems, and applications: 5th international conference, WASA 2010, Beijing,…
by Pandurangan, Gopal, Kumar, V. S. Anil, Li, Yingshu, Liu, Yunhao, Ming, Gu, WASA, Peking, International Conference on Wireless Algorithms, Systems and Applications, Beijing), WASA, Beijing)
fromLecture Notes in Computer Science
Rapid One-of-a-kind Product Development discusses research in the development of new enabling technologies for small and medium companies. Scientific advancements presented include a novel product data modelling scheme to model product design, manufacturability and knowledge und…
This book constitutes the proceedings of the 6th International Conference on Sequences and Their Applications held in Paris, France, in September 2010.
Whole Earth software catalog
