Voronkov a (29 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. 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.…

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.

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: 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.

Zustand: New. In English.

Zustand: New. In English.

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.…

Zustand: New.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book contains the thoroughly refereed papers from the 9th International Ershov Informatics Conference, PSI 2014, held in St. Petersburg, Russia, in June 2014. The 17 revised full papers, 11 revised short papers, and 2 system and experimental papers presented in this book were carefully reviewed and selected from 80 submissions. The volume also contains 5 keynote talks which cover a range of hot topics in computer science and informatics. The papers cover various topics related to the foundations of program and system development and analysis, programming methodology and software engineering and information technologies.…

Paperback. Zustand: Brand New. revised edition. 432 pages. 9.25x6.10x0.98 inches. In Stock.

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. 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. Perspectives of Systems Informatics | 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers | Amir Pnueli (u. a.) | Taschenbuch | xiii | Englisch | 2010 | Springer | EAN 9783642114854 | 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 | 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings | Martin Davis (u. a.) | Taschenbuch | xv | Englisch | 2015 | Springer | EAN 9783662488980 | 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 | 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers | Nikolaj Bjørner (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xviii | Englisch | 2019 | Springer | EAN 9783030374860 | 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 | 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 | 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers | Andrei Voronkov | Taschenbuch | xiii | Englisch | 2015 | Springer | EAN 9783662468227 | 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. …

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.

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.…

Zustand: New. In English.

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.

Hardcover. Zustand: gut. 2001. Handbook of Automated Reasoning In englischer Sprache. pages.

Taschenbuch. Zustand: Neu. Tekhnologiya dvoynogo "zatemneniya" v elektronnykh platezhnykh sistemakh | Algoritmy, programma, modelirovanie | Boris Voronkov (u. a.) | Taschenbuch | Paperback | Russisch | 2014 | LAP Lambert Academic Publishing | EAN 9783659555916 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu. …