Stochastic Discrete Event Systems : Modeling, Evaluation, Applications

Robotic Urology

Static Analysis : 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings

Understanding Non-equilibrium Thermodynamics : Foundations, Applications, Frontiers

Architecting Dependable Systems IV

Modelling Distributed Systems

Image Analysis : 15th Scandinavian Conference, SCIA 2007, Aalborg, Denmark, June 10-24, 2007, Proceedings

Multimedia Retrieval

Practical Bioinformatics

Multiple Heterogeneous Unmanned Aerial Vehicles

Parallel Computing Technologies : 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings

Integrated Formal Methods : 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings

Cardiovascular English

Applied Scanning Probe Methods VIII : Scanning Probe Microscopy Techniques

Optimal Stopping Rules

Plasma Polarization Spectroscopy

Fluid Mechanics

Maritime Work Law Fundamentals: Responsible Shipowners, Reliable Seafarers

Wired/Wireless Internet Communications : 5th International Conference, WWIC 2007, Coimbra, Portugal, May 23-25, 2007, Proceedings

Exoplanets : Detection, Formation, Properties, Habitability

Computer Aided Verification : 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings

Computer Vision Systems : 10th International Conference, ICVS 2015, Copenhagen, Denmark, July 6-9, 2015, Proceedings

Energy Minimization Methods in Computer Vision and Pattern Recognition : 8th International Conference, EMMCVPR 2011, St. Petersburg, Russia, July 25-27, 2011, Proceedings

Computer Vision Systems : 7th International Conference on Computer Vision Systems, ICVS 2009 Liege, Belgium, October 13-15, 2009, Proceedings

Computer Vision Systems : 6th International Conference on Computer Vision Systems, ICVS 2008 Santorini, Greece, May 12-15, 2008, Proceedings

Computer Vision Systems : Second International Workshop, ICVS 2001 Vancouver, Canada, July 7-8, 2001 Proceedings

Wired/Wireless Internet Communication : 11th International Conference, WWIC 2013, St. Petersburg, Russia, June 5-7, 2013. Proceedings

Parallel Computing Technologies : 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30-October 4, 2013, Proceedings

Computer Vision Systems : Third International Conference, ICVS 2003, Graz, Austria, April 1-3, 2003, Proceedings

Information Systems Security : 9th International Conference, ICISS 2013, Kolkata, India, December 16-20, 2013. Proceedings

Computer Vision Systems : 8th International Conference, ICVS 2011, Sophia Antipolis, France, September 20-22, 2011, Proceedings

Artificial General Intelligence : 13th International Conference, AGI 2020, St. Petersburg, Russia, September 16-19, 2020, Proceedings

Computer Vision Systems : First International Conference, ICVS '99 Las Palmas, Gran Canaria, Spain, January 13-15, 1999 Proceedings

Intelligent Computing Theories : 9th International Conference, ICIC 2013, Nanning, China, July 28-31, 2013, Proceedings

Computational Fluid Dynamics 2010 : Proceedings of the Sixth International Conference on Computational Fluid Dynamics, ICCFD6, St Petersburg, Russia, on July 12-16, 2010

Internet of Things, Smart Spaces, and Next Generation Networking : 13th International Conference, NEW2AN 2013, and 6th Conference, ruSMART 2013, St. Petersburg, Russia, August 28-30, 2013. Proceedings

Search Based Software Engineering : 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings

Principles of Distributed Systems : 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings

Knowledge Engineering and the Semantic Web : 4th Conference, KESW 2013, St. Petersburg, Russia, October 7-9, 2013. Proceedings

Multicore Software Engineering, Performance, and Tools : International Conference, MUSEPAT 2013, Saint Petersburg, Russia, August 19-20, 2013, Proceedings