Udvidet returret til d. 31. januar 2025

Bøger af Andrei Voronkov

Filter
Filter
Sorter efterSorter Populære
  • af Burkhard Freitag, Michael Kifer, Hendrik Decker & mfl.
    559,95 kr.

  • - Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceedings
    af Volker Diekert
    561,95 kr.

    This book features the refereed proceedings of the 2nd International Symposium on Computer Science in Russia held in September 2007. The 35 papers cover theory track deals with algorithms, protocols, and data structures; complexity and cryptography; formal languages, automata and their applications to computer science; computational models and concepts; proof theory; and applications of logic to computer science. Many applications are presented.

  • af Andrei Voronkov
    559,95 - 568,95 kr.

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.