ReeksenTexts in Theoretical Computer Science: An EATCS Series

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

Trefwoorden

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 Leden

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

Populariteit