Search results for: Peter Lee
Lecture Notes in Computer Science > Mathematical Foundations of Programming Language Semantics > 550-571
Lecture Notes in Computer Science > Practical Aspects of Declarative Languages > Invited Talks > 325-325
Lecture Notes in Computer Science > Field-Programmable Logic and Applications: Reconfigurable Computing Is Going Mainstream > Short Papers > 1084-1087
Lecture Notes in Computer Science > Functional Imaging and Modeling of the Heart > Oral Session 1: Cardiac Electrophysiology > 20-27
Lecture Notes in Computer Science > Computer Aided Verification > Session 11: Tools – Security and Program Analysis > 428-432
Lecture Notes in Computer Science > Field Programmable Logic and Application > DSP Applications > 543-552
Lecture Notes in Computer Science > Model Driven Engineering Languages and Systems > Statecharts > 666-681
Lecture Notes in Computer Science > Automated Deduction—CADE-18 > Proof-Carrying Code and Compiler Verification > 31-46
Lecture Notes in Computer Science > TAPSOFT '89 > 345-359
Quantitative Measure for Discrete Event Supervisory Control > Engineering and Software Applications of Language Measure and Supervisory Control > 133-156
Geomorphology > 2016 > 258 > C > 95-107
Materials Letters > 2016 > 164 > C > 484-487
Abdominal Radiology > 2016 > 41 > 3 > 568-581
2015 IEEE International Electron Devices Meeting (IEDM) > 26.7.1 - 26.7.4
Journal of Materials Processing Technology > 2015 > 225 > C > 19-23
IET Signal Processing > 2015 > 9 > 5 > 449 - 456