SerierTexts in Theoretical Computer Science: An EATCS Series

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

Nøgleord

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)

Top medlemmer

morphismus (14 værker), 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