Atnaujinkite slapukų nuostatas

El. knyga: Current Trends In Theoretical Computer Science: Essays And Tutorials

Edited by (Microsoft Research, Usa), Edited by (Univ Of Leiden, The Netherlands), Edited by (Turku Centre For Computer Science, Finland), Edited by (Duke Univ, Usa), Edited by (Technical Univ Of Berlin, Germany), Edited by (Cornell Univ, Usa)
Kitos knygos pagal šią temą:
Current Trends In Theoretical Computer Science: Essays And Tutorials
Kitos knygos pagal šią temą:

DRM apribojimai

  • Kopijuoti:

    neleidžiama

  • Spausdinti:

    neleidžiama

  • El. knygos naudojimas:

    Skaitmeninių teisių valdymas (DRM)
    Leidykla pateikė šią knygą šifruota forma, o tai reiškia, kad norint ją atrakinti ir perskaityti reikia įdiegti nemokamą programinę įrangą. Norint skaityti šią el. knygą, turite susikurti Adobe ID . Daugiau informacijos  čia. El. knygą galima atsisiųsti į 6 įrenginius (vienas vartotojas su tuo pačiu Adobe ID).

    Reikalinga programinė įranga
    Norint skaityti šią el. knygą mobiliajame įrenginyje (telefone ar planšetiniame kompiuteryje), turite įdiegti šią nemokamą programėlę: PocketBook Reader (iOS / Android)

    Norint skaityti šią el. knygą asmeniniame arba „Mac“ kompiuteryje, Jums reikalinga  Adobe Digital Editions “ (tai nemokama programa, specialiai sukurta el. knygoms. Tai nėra tas pats, kas „Adobe Reader“, kurią tikriausiai jau turite savo kompiuteryje.)

    Negalite skaityti šios el. knygos naudodami „Amazon Kindle“.

The book is a very up-to-date collection of articles in theoretical computer science, written by leading authorities in the field. The topics range from algorithms and complexity to algebraic specifications, and from formal languages and language-theoretic modeling to computational geometry. The material is based on columns and articles that have appeared in the EATCS Bulletin during the past two to three years. Although very recent research is discussed, the largely informal style of writing makes the book accessible to readers with little or no previous knowledge of the topics.
Part 1 Computational geometry, H. Edelsbrunner et al. Part 2 Algebraic
specification, H. Ehrig et al: on the potential role of algebraic
specification within computer science, H. Ehrig and P. Pepper; linking
schemas and module specifications - a proposal, H. Ehrig and M.A. Arbib; a
short Oxford survey of order sorted algebra, J. Goguen and R. Diaconescu.
Part 3 Logic in comptuer science, Y. Gurevich et al: on Kolmogorov machines
and related issues; Topoi and computation, A. Blass. Part 4 Structural
complexity, J. Hartmanis et al; Goedel, von Neumann and the P=? NP problem;
counting hierarchies - polynomial time and constant depth circuits, E.W.
Allender and K.W. Wagner. Part 5 Formal language theory, A. Salomaa et al;
decidability in finite automata; parallel communicating grammar systems, L.
Santean. (Part contents).