Ideal Systems
Title | Ideal Systems PDF eBook |
Author | Franz Halter-Koch |
Publisher | CRC Press |
Pages | 444 |
Release | 1998-04-21 |
Genre | Mathematics |
ISBN | 9780824701864 |
"Provides for the first time a concise introduction to general and multiplicative ideal theory, valid for commutative rings and monoids and presented in the language of ideal systems on (commutative) monoids."
Analytic dictionary of Chinese and Sino-Japanese
Title | Analytic dictionary of Chinese and Sino-Japanese PDF eBook |
Author | Bernhard Karlgren |
Publisher | |
Pages | 454 |
Release | 1923 |
Genre | Chinese language |
ISBN |
Reports
Title | Reports PDF eBook |
Author | |
Publisher | |
Pages | 112 |
Release | 1967 |
Genre | Scientific expeditions |
ISBN |
Hei-J.
Title | Hei-J. PDF eBook |
Author | |
Publisher | |
Pages | |
Release | |
Genre | |
ISBN |
Model Checking Software
Title | Model Checking Software PDF eBook |
Author | Ezio Bartocci |
Publisher | Springer |
Pages | 386 |
Release | 2013-05-30 |
Genre | Computers |
ISBN | 3642391761 |
This book constitutes the refereed proceedings of the 20th International Symposium on Model Checking Software, SPIN 2013, held in Stony Brook, NY, USA, in July 2013. The 18 regular papers, 2 tool demonstration papers, and 2 invited papers were carefully reviewed and selected from 40 submissions. The traditional focus of SPIN has been on explicit-state model checking techniques, as implemented in SPIN and other related tools. While such techniques are still of key interest to the workshop, its scope has broadened over recent years to include techniques for the verification and formal testing of software systems in general.
The Bibliography of Integral Charged Particle Nuclear Data
Title | The Bibliography of Integral Charged Particle Nuclear Data PDF eBook |
Author | T. W. Burrows |
Publisher | |
Pages | 594 |
Release | 1980 |
Genre | Particles (Nuclear physics) |
ISBN |
Munitions Restricted Or Suspended
Title | Munitions Restricted Or Suspended PDF eBook |
Author | |
Publisher | |
Pages | 328 |
Release | 1987 |
Genre | |
ISBN |