Wyniki wyszukiwania
Lecture Notes in Computer Science > Logic in Databases > 231-243
Lecture Notes in Computer Science > Applications and Theory of Petri Nets 2001 > A Concurrent Semantics of Static Exceptions in a Parallel Programming Language > 204-223
Lecture Notes in Computer Science > AI 2007: Advances in Artificial Intelligence > Social Intelligence > 387-393
Lecture Notes in Computer Science > On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops > Competence Ontologies > 1100-1106
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > UML Models and Model Checking > 355-374
Lecture Notes in Computer Science > AI*IA 2007: Artificial Intelligence and Human-Oriented Computing > Knowledge Engineering, Ontologies and the Semantic Web > 182-193
Lecture Notes in Computer Science > Knowledge Engineering and Management by the Masses > Short Papers > 341-349
Lecture Notes in Computer Science > Human Interface and the Management of Information. Interacting with Information > Information and User Interfaces Design > 161-164
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 2001 > Invited Talks > 58-61
Lecture Notes in Computer Science > Static Analysis > 218-235
Lecture Notes in Computer Science > Recent Trends in Algebraic Development Techniques > Specification of Processes and Interactions > 311-328