SériesTexts in Theoretical Computer Science: An EATCS Series

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

Mots-clés

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)

Utilisateurs ayant le plus d'œuvres de cette série

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

Popularité