|
|
|
|
|
|
|
First-Order Dynamic Logic (Lecture Notes in Computer Science)
This is a research monograph intended primarily for those researchers in
Theoretical Computer Science interested in the areas of logics of programs,
programming language semantics and program verification. It is also aimed at
mathematically-inclined researchers in Logic, Linguistics and Philosophy,
interested in a well-motivated... | | Handbook of Fruits and Fruit Processing
Fruits are botanically diverse, perishable, seasonal and predominantly regional in production. They come in many varieties, shapes and size, colors, flavors and textures and are an important part of a healthy diet and the global economy. Besides vitamins, minerals, fibers and other nutrients, fruits contain phenolic compounds that have... | | |
|
|
Result Page: 56 55 54 53 52 51 50 49 48 47 46 45 44 43 42 41 40 39 38 |