Wyniki wyszukiwania
Lecture Notes in Computer Science > Reliable Software Technologies - Ada-Europe 2011 > Architecture and Modelling > 118-131
Lecture Notes in Computer Science > FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 145-156
Lecture Notes in Computer Science > Applications and Theory of Petri Nets 2004 > Full papers > 98-116
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Automated Analysis > 246-265
Lecture Notes in Computer Science > STACS 2003 > Contributed Papers > 675-686
Lecture Notes in Computer Science > Theoretical Aspects of Computing – ICTAC 2005 > Computer Science Logics > 136-150
Lecture Notes in Computer Science > Frontiers of Combining Systems > Section 2. Technical Papers > 133-147
Lecture Notes in Computer Science > Formal Methods for Industrial Critical Systems > Research Papers > 115-132
Lecture Notes in Computer Science > Formal Foundations of Reuse and Domain Engineering > Feature Modeling > 65-75
Lecture Notes in Computer Science > Privacy Enhancing Technologies > Ninth Privacy Enhancing Technologies Symposium > 185-201
Lecture Notes in Computer Science > Computational Science and Its Applications – ICCSA 2007 > Workshop on Intelligent Image Mining (IIM 7) > 1014-1023