A 25-Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULP /
2nd International Conference on Wireless Intelligent and Distributed Environment for Communication WIDECOM 2019 /
3rd Symposium of Ubiquitous Computing and Ambient Intelligence 2008
50 Years of Artificial Intelligence Essays Dedicated to the 50th Anniversary of Artificial Intelligence /
5G Heterogeneous Networks Self-organizing and Optimization /
802.11 Wireless Networks Security and Analysis /
A second complete autoCAD databook.
Abdominal Imaging. Computation and Clinical Applications 5th International Workshop, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013. Proceedings /
Abdominal Imaging. Computational and Clinical Applications 4th International Workshop, Held in Conjunction with MICCAI 2012, Nice, France, October 1, 2012. Proceedings /
Abdominal Imaging. Computational and Clinical Applications 6th International Workshop, ABDI 2014, Held in Conjunction with MICCAI 2014, Cambridge, MA, USA, September 14, 2014. /
Absolute Beginners Guide to Computing
Abstract Compositional Analysis of Iterated Relations A Structural Approach to Complex State Transition Systems /
Abstract State Machines 2003: Advances in Theory and Practice 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings /
Abstract State Machines 2004. Advances in Theory and Practice 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings /
Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings /
Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings /
Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings /
Abstract State Machines, Alloy, B, VDM, and Z Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings /
Abstraction, Reformulation, and Approximation 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings /
Abstraction, Reformulation and Approximation 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005. Proceedings /