✦ LIBER ✦

Logic for applications: (Second edition). By Anil Nerode and Richard A. Shore. Springer, New York. (1997). 456 pages. DM 78.00, öS 569.40, sFr 69.00

Book ID: 104353203
Publisher: Elsevier Science
Year: 1997
Tongue: English
Weight: 115 KB
Volume: 33
Category: Article
ISSN: 0898-1221
DOI: 10.1016/s0898-1221(97)90125-5

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Symbolic integration I: Transcendental f

Symbolic integration I: Transcendental functions: By Manuel Bronstein. Springer-Verlag, New York. (1997). 299 pages. DM 78.00, öS 569.40, sFr 69.00

📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 93 KB

Data structures and algorithms: An objec

Data structures and algorithms: An object-oriented approach using Ada 95: By John Beidler. Springer-Verlag, New York. (1997). 364 pages. DM 78.00, öS 569.40, sFr 69.00

📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 93 KB

Introduction to scientific programming:

Introduction to scientific programming: Computational problem solving using maple and C: By Joseph Zachary. Springer-Verlag, New York. (1996). 380 pages. DM 78.00; öS 569.40; sFr 69.00 (diskette included)

📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 112 KB

List of contributors. 1. Modelling and controller design of an EGR solenoid valve using neural networks (M.A. Arain). 2. Neural networks as decoders in error-correcting systems for digital data transmission (J. Serra-Sagrist~). 3. Estimating helicopter strain using a neural network approach (A.D. Ve

An introduction to Kolmogorov complexity

An introduction to Kolmogorov complexity and its applications. (Second edition): By Ming Li and Paul Vitányi. Springer-Verlag, New York. (1997). 637 pages. DM 88.00, ös 642.40, sFr 77.50

📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 98 KB