SerierTexts in Theoretical Computer Science: An EATCS Series

24 Verk Popularitet 35,051 (168 Medlemmar) 333 Böcker 1 Recension 3.4
nästa
visa alla 24
BerättelseUtgåva
Algorithmics for Hard Problems: Introduction to Combinatorial Optimization, Randomization, Approximation, and Heuristics by Juraj Hromkovic 19 exemplar
Boolean Functions and Computation Models by Peter Clote 11 exemplar
Complexity Theory and Cryptology by Jörg Rothe 15 exemplar
The Complexity Theory Companion by Lane A. Hemaspaandra 16 exemplar
Design and Analysis of Randomized Algorithms: Introduction to Design Paradigms by Juraj Hromkovic 14 exemplar
Dissemination of Information in Communication Networks: Broadcasting, Gossiping, Leader Election, and Fault-Tolerance by Juraj Hromkovic 2 exemplar
Dissemination of Information in Optical Networks: From Technology to Algorithms by Subir Bandyopadhyay 4 exemplar
Elements of Finite Model Theory by Leonid Libkin 16 exemplar
Exact Exponential Algorithms by Fedor V. Fomin 7 exemplar
Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic by Benedikt Bollig 2 exemplar
Grammatical Picture Generation: A Tree-Based Approach by Frank Drewes 6 exemplar
Graphs and Algorithms in Communication Networks: Studies in Broadband, Optical, Wireless and Ad Hoc Networks by Arie Koster 5 exemplar
Information and Randomness: An Algorithmic Perspective by Cristian Calude 18 exemplar
Interactive Theorem Proving and Program Development by Yves Bertot 40 exemplar
Modelling Distributed Systems by Wan Fokkink 10 exemplar
Parameterized Complexity Theory by J. Flum 5 exemplar
Parsing Schemata: A Framework for Specification and Analysis of Parsing Algorithms by Klaas Sikkel 7 exemplar
A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors by R. Kurki-Suonio 2 exemplar
Public-Key Cryptography by Arto Salomaa 27 exemplar
Software Engineering 1: Abstraction and Modelling by Dines Bjørner 14 exemplar
Software Engineering 2: Specification of Systems and Languages by Dines Bjørner 13 exemplar
Software Engineering 3: Domains, Requirements, and Software Design by Dines Bjørner 13 exemplar
Theoretical Computer Science: Introduction to Automata, Computability, Complexity, Algorithmics, Randomization, Communication, and Cryptography by Juraj Hromkovic 11 exemplar
Universal Artificial Intelligence: Sequential Decisions Based On Algorithmic Probability by Marcus Hutter 22 exemplar, 1 recension

Taggar

2012-0205(6) 2014-0913(6) active prediction(1) ai(4) algorithmic information theory(2) algorithms(2) bibalex(4) carbon dioxide content(1) complexity(2) complexity theory(2) computation(3) computer science(24) computing(2) coq(4) cryptography(7) D.2 Software Engineering(3) Design & Engineering(4) Desk Top 25(1) documentation(4) ebook(5) eBook - Toc(4) Estudios de Futuro(1) formal methods(2) function minimization(1) General(4) information theory(3) languages(2) li_3(2) logic(6) math(13) network(3) non-fiction(5) non-fiction ai(1) ocean atmosphere interaction(1) office(3) optimal reinforcement(1) parameter-free models(1) Parsing-Algorithmen(1) passive prediction(1) Phrasenstruktur-Grammatik(1) programming(8) science(3) sequential decision theory(1) Springer(7) textbook(3) theorem proving(3) theoretical computer science(2) to-read(12) ulrik(1) unknown unvironments(1)

Medlemmar med flest

morphismus (14 verk), zhuazhua88 (8), ibsdimag (6), mreza101 (6), Real1Det (6), realonedet (6), nfactor13 (5), prengel90 (4), RolfRolles (4), virtually_michael (4), nounours (4), gbooch (3), Datahistorisk (3), brs (3), hopjesvla (3), aphotechre (3), epstabler (2), LibraryImporter (2), CMUQLResearch (2), jukofyork (2), John_Scott (2), gvaf (2), gkhnk (2), desperado (2), appleby (2), gremo (2), mgccl (2), linacre (2), koffieyahoo (2), aabdelrahmanm (1), jbsavitz1 (1), ameen2 (1), DanteAshton (1), hustlergate (1), theonlycmw (1), Carlo_Melbourne (1), m0nk3y (1), robert_goss (1), lipidity (1), Jcort (1), jonas.haller (1), wm3395 (1), KennethUdut (1), MaxHaydenChiz (1), hallo1234 (1), Amarillo74 (1), updgenref (1), thomasballinger (1), ZAS-Bibliothek (1), Kliban (1), Markober (1), jorge.villuendas (1), nullset (1), hmack777 (1), ACBanjul (1), shingarov (1), spaetij (1), FRCNRS3409 (1), laechehus (1), tiina303 (1), Tammmer (1), Johnicholas (1), pisymbol (1), steshaw (1), breckes (1), bytter (1), ISTAustria-Library (1), GregL (1), hemlisp (1), thehagans (1), jalane (1), adam.koprowski (1), marpelee (1), mi_hua (1), dzekyl (1), mtj (1), tlockney (1), vishallama (1), xoanon93 (1), cgaspoz (1), stephanwi (1), JanKroken (1), jimburton (1), xyzzy77 (1), nicodemo (1), Meromorphic (1), gmayer (1), ashnorell (1), esieffe (1), pgourdin (1), fouvry (1), laguvajra (1), clefort (1), apgarcia (1), draganigajic (1), iz (1), ZeusThing (1), MartyBrandon (1), dskea (1), haimk (1), sarvin1 (1), Anselm999 (1), louisedennis (1), flint63 (1), hatzputra (1), greentownlibrarian (1), Cald (1), Knud (1), Luca.Dalla_Valle (1), prosfilaes (1), airpocket (1), arafat (1), greenBlackBush (1), jukka (1), contextfree (1), natwilliams (1), cjeris (1), FeralWhippet (1), shonk (1), leememorin2006 (1), metron (1), Coopster (1), drmwill (1), chrisadami (1), drwho (1), fpagan (1), flanker27 (1), byorgey (1), Divadrax (1), haig51 (1), amotzek (1), meta.circular (1), kaixo (1), mckimg (1), ero (1), johnnylogic (1), sleepinghead (1), bryane (1), aweeks (1), pnw4 (1), doebeli (1), velocityboy (1), maxjhuang (1), adulau (1), jjk (1)

Popularitet