[IEEE Comput. Soc. Press Proceedings. Computers in Cardiology 1988 - Washington, DC, USA (25-28 Sept. 1988)] Proceedings. Computers in Cardiology 1988 - Entrainment in modulated parasystole
- 作者Swenne, C.A.
- 文件大小320.64KB
- 发表时间1989
- DOI10.1109/cic.1988.72610
- 页码249-252
[IEEE Comput. Soc Twelfth Annual IEEE Symposium on Logic in Computer Science - Warsaw, Poland (29 June-2 July 1997)] Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science - Boolean expression diagramsAndersen, H.R.; Hulgaard, H. · 1997
[IEEE Comput. Soc Twelfth Annual IEEE Symposium on Logic in Computer Science - Warsaw, Poland (29 June-2 July 1997)] Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science - Set constraints with intersectionCharatonik, W.; Podelski, A. · 1997
[IEEE Comput. Soc Twelfth Annual IEEE Symposium on Logic in Computer Science - Warsaw, Poland (29 June-2 July 1997)] Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science - The "Hardest" natural decidable theoryVorobyov, S. · 1997
[IEEE Comput. Soc Twelfth Annual IEEE Symposium on Logic in Computer Science - Warsaw, Poland (29 June-2 July 1997)] Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science - Discrimination by parallel observersDezani-Ciancaglini, M.; Tiuryn, J.; Urzyczyn, P. · 1997
[IEEE Comput. Soc Twelfth Annual IEEE Symposium on Logic in Computer Science - Warsaw, Poland (29 June-2 July 1997)] Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science - Towards a mathematical operational semanticsTuri, D.; Plotkin, G. · 1997
[IEEE Comput. Soc Twelfth Annual IEEE Symposium on Logic in Computer Science - Warsaw, Poland (29 June-2 July 1997)] Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science - Quantitative analysis and model checkingHuth, M.; Kwiatkowska, M. · 1997
[IEEE Comput. Soc Twelfth Annual IEEE Symposium on Logic in Computer Science - Warsaw, Poland (29 June-2 July 1997)] Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science - Automata-driven automated inductionBouhoula, A.; Jouannaud, J.-P. · 1997