SeriesTexts in Theoretical Computer Science: An EATCS Series

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

Etiquetas

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)

Miembros Principales

morphismus (14 obras), 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)

Popularidad