Integrated Computing Technology : First International Conference, INTECH 2011, Sao Carlos, Brazil, May 31-June 2, 2011,Proceedings

Advanced Information Systems Engineering : 23rd International Conference, CAiSE 2011, London, UK, June 20-24, 2011, Proceedings

Computer Aided Verification : 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings

Trust Management V : 5th IFIP WG 11.11 International Conference, IFIPTM 2011, Copenhagen, Denmark, June 29 - July 1, 2011, Proceedings

Fast Software Encryption : 18th International Workshop, FSE 2011, Lyngby, Denmark, February 13-16, 2011, Revised Selected Papers

Measuring Roots : An Updated Approach

Strongly Correlated Systems : Theoretical Methods

Product-Focused Software Process Improvement : 12th International Conference, PROFES 2011, Torre Canne, Italy, June 20-22, 2011. Proceedings

Multiple Classifier Systems : 10th International Workshop, MCS 2011, Naples, Italy, June 15-17, 2011. Proceedings

Pattern Recognition : Third Mexican Conference, MCPR 2011, Cancun, Mexico, June 29 - July 2, 2011. Proceedings

Financial Derivatives Modeling

HCI International 2011 Posters' Extended Abstracts : International Conference, HCI International 2011, Orlando, FL, USA, July 9-14, 2011,Proceedings, Part II

Environmental Modeling : Using MATLAB

Software Composition : 10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011, Proceedings

Business Information Systems : 14th International Conference, BIS 2011, Poznan, Poland, June 15-17, 2011, Proceedings

Networked Digital Technologies : Third International Conference, NDT 2011, Macau, China, July 11-13, 2011, Proceedings

Objects, Components, Models, Patterns : 49th International Conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011, Proceedings

International Neurolaw : A Comparative Analysis

Agent-Oriented Software Engineering X : 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers

Pediatric Bone Marrow

Relations and Kleene Algebra in Computer Science : 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/

Relations and Kleene Algebra in Computer Science : 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Alg

Relational and Kleene-Algebraic Methods in Computer Science : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad

Relational Methods in Computer Science : 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274:

Relational Methods for Computer Science Applications

Relational Methods in Computer Science

Data Science - Analytics and Applications : Proceedings of the 4th International Data Science Conference - iDSC2021

Applications of Geometric Algebra in Computer Science and Engineering

9th International Conference on Practical Applications of Computational Biology and Bioinformatics

Number Theoretic And Algebraic Methods In Computer Science - Proceedings Of The International Conference

Algebra and Coalgebra in Computer Science : 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011, Proceedings

Advanced Computational Methods for Knowledge Engineering : Proceedings of 3rd International Conference on Computer Science, Applied Mathematics and Applications - ICCSAMA 2015

Relational Methods in Computer Science : 6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The Netherlands, October 16-21, 2001 Revised Papers

Proceedings of the 2012 International Conference of Modern Computer Science and Applications

Universal Algebra and Applications in Theoretical Computer Science

Frontiers On Separation Science And Technology, Proceedings Of The 4th International Conference

Ictacs 2006 - Proceedings Of The First International Conference On Theories And Applications Of Computer Science 2006

Advanced Computational Methods for Knowledge Engineering : Proceedings of the 2nd International Conference on Computer Science, Applied Mathematics and Applications (ICCSAMA 2014)

Advanced Computational Methods for Knowledge Engineering : Proceedings of the 5th International Conference on Computer Science, Applied Mathematics and Applications, ICCSAMA 2017

Relational and Algebraic Methods in Computer Science : 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings