Voronkov a (33 Ergebnisse)

Zustand: Fair. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In fair condition, suitable as a study copy. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,150grams, ISBN.

Zustand: Good. *Price HAS BEEN REDUCED by 10% until Monday, Nov. 9 (weekend SALE item)* 514 pp., softcover, ex library, else textually clean and tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.…

Paperback. Zustand: Very Good. First paperback edition, 1974, in overall good to very good used condition with only minor signs of handling and storage - light tanning and rubbing to spine and edges. Internally clean. Binding tight and appears little read, no annotations or inscriptions; text and plates clean and clear throughout. Not an old library book. Photograph available.…

Zustand: Good. Volume 1. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,2050grams, ISBN:9780262182218. …

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Zustand: New.

Zustand: Used. pp. 514.

Hardcover/Hardback. Zustand: As New. Suvorovtsy - sovsem malchishki, khotya vneshne i po obrazu zhizni napominayut soldat. Eti malchishki uporno razvivayut v sebe poistine rytsarskie kachestva, v pervuyu ochered otvagu, blagorodstvo i umenie s doblestyu vykhodit iz slozhnykh zhiznennykh kollizij. Razve predpolagal suvorovets Lenka Tsygankov, chto emu pridetsya bitsya s takim zhe kadetom, kak i on! No kak inache? Ved yunaya Natasha nravilas i Lenke, i ego tovarishchuNr. …

Hardcover/Hardback. Zustand: Good. Kniga po rukodeliyu, vklyuchayushchaya informatsiyu po krojke i shityu, vyshivaniyu, sozdaniyu izdelij iz tkanej i pleteniyu. Prednaznachena dlya tekh, kto khochet sozdat v svoem dome uyutnuyu atmosferu i izgotovit praktichnye i krasivye veshchi dlya vsej semi.

Zustand: Used. pp. 514.

135 S., Sprache: Englisch Gewicht in Gramm: 400 Groß 8°, Original-Pappband (Hardcover) mit Schutumschlag, dieser leicht angerändert, gutes Exemplar, (good copy).

Softcover/Paperback. Zustand: As New. V sootvetstvii so standartami vysshego obrazovaniya, ekologiyu dolzhny izuchat studenty vsekh spetsialnostej v bloke obshchekulturnykh distsiplin. Nastoyashchij uchebnik stavit tselyu okazat pomoshch v reshenii dannoj vesma aktualnoj zadachi ekologicheskogovseobucha. V nem v dostupnoj forme, pri maksimalno vozmozhnom sokhranenii nauchnogo urovnya, rassmatrivayutsya osnovnye voprosy sovremennoj ekologii. Uchebnik yavlyaetsya rezultatom obobshcheniya opyta dlitelnoj nauchnoj raboty avtora v oblasti ekologii i prepodavaniya dannoj distsipliny studentam vsekh spetsialnostej fakultetov Moskovskogo gosudarstvennogo otkrytogo pedagogicheskogo universiteta. Predlagaemaya chitatelyu pervaya chast uchebnika posvyashchena naibolee znachimym voprosam obshchej, ili klassicheskoj ekologii, rassmatrivayushchej osnovnye zakonomernosti funktsionirovaniya prirodnykh sistem razlichnogo ranga ot biosfery do elementarnykh ekosistem i populyatsij, ikh ustojchivost, energetiku, produktivnost, rol v sokhranenii zhizni i drugie svojstva. Vo vtoroj chasti izdaetsya v 1999 godu osveshchayutsya problemy sotsialnoj, prikladnoj i drugikh razdelov ekologii, svyazannykh s deyatelnostyu cheloveka. Krome ispolzovaniya studentami i uchitelyami, budet polezen slushatelyam universitetov povysheniya kvalifikatsii, uchashchimsya starshikh klassov shkol, atakzhe vsem litsam, interesuyushchimsya voprosami ekologii i ekologicheskogo obrazovaniya.…

Taschenbuch. Zustand: Neu. Perspectives of System Informatics | 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers | Manuel Mazzara (u. a.) | Taschenbuch | Lecture Notes in Computer Science | x | Englisch | 2016 | Springer | EAN 9783319415789 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Perspectives of System Informatics | 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers | Alexander K. Petrenko (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xi | Englisch | 2018 | Springer | EAN 9783319743127 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Programming Logics | Essays in Memory of Harald Ganzinger | Andrei Voronkov (u. a.) | Taschenbuch | x | Englisch | 2013 | Springer | EAN 9783642376504 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Taschenbuch. Zustand: Neu. Logic for Programming, Artificial Intelligence, and Reasoning | 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings | Nachum Dershowitz (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2007 | Springer | EAN 9783540755586 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Logic Programming and Automated Reasoning | 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings | Harald Ganzinger (u. a.) | Taschenbuch | xii | Englisch | 1999 | Springer | EAN 9783540664925 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Taschenbuch. Zustand: Neu. Logic for Programming, Artificial Intelligence, and Reasoning | 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings | Moshe Vardi (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2003 | Springer | EAN 9783540201014 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Logic for Programming and Automated Reasoning | 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings | Michel Parigot (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2000 | Springer | EAN 9783540412854 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Logic for Programming, Artificial Intelligence, and Reasoning | 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers | Edmund M. Clarke (u. a.) | Taschenbuch | x | Englisch | 2011 | Springer | EAN 9783642175107 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Logic for Programming, Artificial Intelligence, and Reasoning | 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings | Ken McMillan (u. a.) | Taschenbuch | xiv | Englisch | 2013 | Springer | EAN 9783642452208 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Computer Science - Theory and Applications | Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceedings | Volker Diekert (u. a.) | Taschenbuch | xiii | Englisch | 2007 | Springer | EAN 9783540745099 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Logic for Programming, Artificial Intelligence, and Reasoning | 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings | Iliano Cervesato (u. a.) | Taschenbuch | xiv | Englisch | 2008 | Springer | EAN 9783540894384 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Logic for Programming, Artificial Intelligence, and Reasoning | 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings | Franz Baader (u. a.) | Taschenbuch | xii | Englisch | 2005 | Springer | EAN 9783540252368 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Logic for Programming, Artificial Intelligence, and Reasoning | 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings | Miki Hermann (u. a.) | Taschenbuch | xiv | Englisch | 2006 | Springer | EAN 9783540482819 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Logic for Programming, Artificial Intelligence, and Reasoning | 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings | Geoff Sutcliffe (u. a.) | Taschenbuch | xiv | Englisch | 2005 | Springer | EAN 9783540305538 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Zustand: Very Good. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Zustand: New.

Gebunden. Zustand: New. Part V. Higher-order logic and logical frameworks.Chapter 15. Classical Type Theory (Peter B. Andrews).1. Introduction to type theory. 2. Metatheoretical foundations. 3. Proof search. 4. Conclusion. Bi.

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 996 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.