SarjatTexts in Theoretical Computer Science: An EATCS Series

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

Avainsanoja

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)

Huippujäsenet

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

Suosituimmuussija