Tipsa dina vänner om produkten:
Logical Foundations of Computer Science - Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings (Tver 92, Second International Symposium, Tver, Russia, July 20-24, 1992 - Proceedings) - Lecture Notes in Computer Science Anil Nerode
Pris
SEK 559
Beställningsvara
Förväntad leverans 30 dec - 2 jan 2026
Julklappar kan bytas fram till 31:e januari
Lägg till din iMusic-önskelista
eller
Logical Foundations of Computer Science - Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings (Tver 92, Second International Symposium, Tver, Russia, July 20-24, 1992 - Proceedings) - Lecture Notes in Computer Science
Anil Nerode
The papers in this volume were selected for the Symposium Logic, held at Tver in July 1992. The text provides information on the state of computer science research in the former Soviet Union and presents important discoveries in the field of logical foundations of computer science.
517 pages, biography
| Media | Böcker Pocketbok (Bok med mjukt omslag och limmad rygg) |
| Releasedatum | 24 juni 1992 |
| ISBN13 | 9783540557074 |
| Utgivare | Springer-Verlag Berlin and Heidelberg Gm |
| Antal sidor | 517 |
| Mått | 155 × 233 × 27 mm · 734 g |
| Språk | Tyska |
| Redaktör | Nerode, Anil |
| Redaktör | Taitslin, Mikhail |
Fler produkter med Anil Nerode
Visa alla![Cover for Anil Nerode · Algebraic Curves and Riemann Surfaces for Undergraduates: The Theory of the Donut (Pocketbok) [1st ed. 2022 edition] (2023)](https://imusic.b-cdn.net/images/item/original/155/9783031116155.jpg?anil-nerode-2023-algebraic-curves-and-riemann-surfaces-for-undergraduates-the-theory-of-the-donut-pocketbok&class=scaled&v=1695414505)
![Cover for Anil Nerode · Logic for Applications - Texts in Computer Science (Pocketbok) [Softcover Reprint of the Original 2nd Ed. 1997 edition] (2012)](https://imusic.b-cdn.net/images/item/original/550/9781461268550.jpg?anil-nerode-2012-logic-for-applications-texts-in-computer-science-pocketbok&class=scaled&v=1516284796)
![Cover for Anil Nerode · Logic for Applications - Texts in Computer Science (Inbunden Bok) [2nd Ed. 1997 edition] (1997)](https://imusic.b-cdn.net/images/item/original/935/9780387948935.jpg?anil-nerode-1997-logic-for-applications-texts-in-computer-science-inbunden-bok&class=scaled&v=1409851816)
Se alt med Anil Nerode ( t.ex. Pocketbok och Inbunden Bok )