Powiedz znajomym o tym przedmiocie:
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
Cena
zł 212,90
Zamówione z odległego magazynu
Przewidywana dostawa 1 - 9 sty 2026
Świąteczne prezenty można zwracać do 31 stycznia
Nasi klienci mówią:
Dodaj do swojej listy życzeń iMusic
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 | Książki Paperback Book (Książka z miękką okładką i klejonym grzbietem) |
| Wydane | 24 czerwca 1992 |
| ISBN13 | 9783540557074 |
| Wydawcy | Springer-Verlag Berlin and Heidelberg Gm |
| Strony | 517 |
| Wymiary | 155 × 233 × 27 mm · 734 g |
| Język | Niemiecki |
| Redaktor | Nerode, Anil |
| Redaktor | Taitslin, Mikhail |
Więcej od Anil Nerode
Pokaż wszystko![Cover for Anil Nerode · Algebraic Curves and Riemann Surfaces for Undergraduates: The Theory of the Donut (Paperback Book) [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-paperback-book&class=scaled&v=1695414505)
![Cover for Anil Nerode · Logic for Applications - Texts in Computer Science (Paperback Book) [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-paperback-book&class=scaled&v=1516284796)
![Cover for Anil Nerode · Logic for Applications - Texts in Computer Science (Hardcover Book) [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-hardcover-book&class=scaled&v=1409851816)
Zobacz wszystko od Anil Nerode ( np. Paperback Book i Hardcover Book )