Search results
Communications in Computer and Information Science > Software Engineering and Computer Systems > Software Design/Testing > 119-129
Lecture Notes in Computer Science > Image Analysis and Recognition > Shape, Texture and Motion Analysis > 240-249
Lecture Notes in Computer Science > Service Availability > Autonomous Decentralized System for Service Assurance and Its Application > 1-8
Computational Biomechanics for Medicine > Computational biomechanics of tissues of musculoskeletal system > 107-119
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Verification > 300-314
Lecture Notes in Computer Science > Reliable Software Technologies - Ada-Europe 2011 > Architecture and Modelling > 132-146
Lecture Notes in Computer Science > Recent Advances in Parallel Virtual Machine and Message Passing Interface > PVM and Harness > 281-288
Lecture Notes in Computer Science > Wired/Wireless Internet Communications > Routing and Performance Optimization > 107-120
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > 591-620
IFIP — The International Federation for Information Processing > Architecture Description Languages > Models and Analysis > 51-65
Lecture Notes in Computer Science > Advances in Web-Age Information Management > Transactions and Multimedia (Session 5B) > 409-420