Titlebook: Mathematics of Program Construction; 7th International Co Dexter Kozen Conference proceedings 2004 Springer-Verlag Berlin Heidelberg 2004 D

Glycemic-Index

书目名称Mathematics of Program Construction影响因子(影响力)




书目名称Mathematics of Program Construction影响因子(影响力)学科排名




书目名称Mathematics of Program Construction网络公开度




书目名称Mathematics of Program Construction网络公开度学科排名




书目名称Mathematics of Program Construction被引频次




书目名称Mathematics of Program Construction被引频次学科排名




书目名称Mathematics of Program Construction年度引用




书目名称Mathematics of Program Construction年度引用学科排名




书目名称Mathematics of Program Construction读者反馈




书目名称Mathematics of Program Construction读者反馈学科排名

Generalize

Greg Nelsonded with this book gives a wide variety of illustrative non­ linear examples solved with Maple. In addition, numerous annotated examples are sprinkled throughout the text and also placed on the CD. An accompanying set of experimental activities keyed to the theory developed in Part I of the book is

死亡

倾听

使害羞

Frank Atanassow,Johan Jeuringded with this book gives a wide variety of illustrative non­ linear examples solved with Maple. In addition, numerous annotated examples are sprinkled throughout the text and also placed on the CD. An accompanying set of experimental activities keyed to the theory developed in Part I of the book is

Credence

outskirts

轻率的你

Keratin

Mathematics of Program Construction978-3-540-27764-4Series ISSN 0302-9743 Series E-ISSN 1611-3349

Migratory