Search results
Lecture Notes in Computer Science > Formal Methods and Software Engineering > State Diagrams > 144-166
Lecture Notes in Computer Science > Theoretical Aspects of Computing – ICTAC 2010 > Semantics > 137-152
Lecture Notes in Computer Science > Computational Logic — CL 2000 > Logic Programming: Theory and Extensions > 194-208
Lecture Notes in Computer Science > Implementation and Application of Automata > Short Papers and Poster Abstracts > 253-257
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > 314-328
Lecture Notes in Computer Science > Models in Software Engineering > S3 – A Formal Semantics for UML > 329-330
Lecture Notes in Computer Science > Models in Software Engineering > S3 – A Formal Semantics for UML > 327-328
Lecture Notes in Computer Science > Online Communities and Social Computing > Blogs, Wikis and Twitters > 90-99
Lecture Notes in Computer Science > AI '88 > 410-421
Lecture Notes in Computer Science > Usability and Internationalization. Global and Local User Interfaces > Part II: Enhancing and Personalizing the User Experience > 422-431
Lecture Notes in Computer Science > Foundations of Intelligent Systems > Application of Intelligent Systems in Sound Processing > 533-542
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > Contributed Papers > 261-275