SeriesCambridge Tracts in Theoretical Computer Science

45 Obras Popularidad 21,317 (352 Miembros) 594 Libros 1 Reseña ½ 3.8
siguiente
Mostrar todos los 45
CuentoPublicación
Algorithmic Information Theory por Gregory J. Chaitin 56 copias, 1 reseña1
Applications of Process Algebra (Cambridge Tracts in Theoretical Computer Science) por J.C.M. Baeten 2 copias
Basic Proof Theory por A. S. Troelstra 35 copias
Computational Geometry in C por Joseph O'Rourke 96 copias
Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science) por Willem-Paul de Roever 3 copias
Formal Methods in Artificial Intelligence por Allan Ramsay 6 copias
Higher Order Logic and Hardware Verification por T. F. Melham 3 copias
Hybrid Graph Theory and Network Analysis por Ladislav Novak 7 copias
Information Flow: The Logic of Distributed Systems por Jon Barwise 22 copias
Modal Logic por Patrick Blackburn 45 copias
Nominal Sets: Names and Symmetry in Computer Science (Cambridge Tracts in Theoretical Computer Science) por A. M. Pitts 3 copias
The Optimal Implementation of Functional Programming Languages por Andrea Asperti 11 copias
Process Algebra (Cambridge Tracts in Theoretical Computer Science) por J.C.M. Baeten 5 copias
Process Algebra: Equational Theories of Communicating Processes (Cambridge Tracts in Theoretical Computer Science) por J.C.M. Baeten 4 copias
Proofs and Types por Jean-Yves Girard 26 copias
Term Rewriting Systems por Terese 11 copias
Two-Level Functional Languages (Cambridge Tracts in Theoretical Computer Science) por Flemming Nielson 3 copias
A Unifying Framework for Structured Analysis and Design Models: An Approach Using Initial Algebra Semantics and Category Theory (Cambridge Tracts in Theoretical Computer Science) por T. H. Tse 1 copia
Logic and Computation: Interactive Proof with Cambridge LCF por Lawrence C. Paulson 10 copias2
Understanding Z: A Specification Language and its Formal Semantics por J. M. Spivey 3 copias3
Lambda-calculus, Combinators and Functional Programming por G. E. Revesz 15 copias4
Topology via Logic por Steven Vickers 28 copias5
Formal Semantics and Pragmatics for Natural Language Querying por James Clifford 6 copias8
Mathematics for Computer Graphics por S. G. Hoggar 15 copias14
Design Theory and Computer Science por Subrata Dasgupta 5 copias15
Extensions of First-Order Logic por Maria Manzano 9 copias19
The Clausal Theory of Types por D. A. Wolfram 6 copias21
Mathematical Theory of Domains (Cambridge Tracts in Theoretical Computer Science) por Viggo Stoltenberg-Hansen 5 copias22
Action Semantics por Peter D. Mosses 6 copias26
Deductive and Declarative Programming por Peter Padawitz 5 copias28
Belief Revision por Peter Gärdenfors 7 copias29
Computational Learning Theory por M.H.G. Anthony 2 copias30
The Logic of Typed Feature Structures por Robert L. Carpenter 11 copias32
Predicate Transformer Semantics por Ernest G. Manes 1 copia33
Algebraic Specification of Communication Protocols por S. Mauw 4 copias36
Metamathematics, Machines and Gödel's Proof por N. Shankar 20 copias38
The Uncertain Reasoner's Companion: A Mathematical Perspective por J. B. Paris 7 copias39
Epistemic Logic for AI and Computer Science por J.-J. Ch. Meyer 6 copias41
Basic Simple Type Theory por J. Roger Hindley 34 copias42
Domains and Lambda-Calculi por Roberto M. Amadio 8 copias46
Propositional Logic: Deduction and Algorithms por Hans Kleine Büning 5 copias48
Derivation and Computation por H. Simmons 7 copias51
Advanced Topics in Bisimulation and Coinduction por Davide Sangiorgi 6 copias52
Concurrency Verification: Introduction to Compositional and Non-Compositional Methods por Willem-Paul de Roever 1 copia54
Rippling: Meta-Level Guidance for Mathematical Reasoning por Alan Bundy 11 copias56

Etiquetas

2009(3) @uasc(2) algorithms(5) artificial intelligence(4) c(5) C Language(3) computation(2) computational geometry(8) computer graphics(2) computer science(56) computers(3) computing(13) Computing Science(6) cs(4) ebook(3) English(2) functional programming(2) geometry(8) goodreads(5) graphics(4) Grenier(2) information theory(7) lambda calculus(7) linear logic(3) lisp(2) logic(44) math(54) mathematical logic(2) modal logic(2) monograph(2) natural language processing(3) non-fiction(11) November 2015(2) own(4) philosophy(4) programming(28) programming languages(3) proof theory(2) semantics(4) series:Cambridge Tracts in Theoretical Computer Science(2) software development(2) term rewriting(3) theoretical computer science(2) theory of computation(2) to-read(22) topology(3) type theory(5) unowned(3) unread(3) wishlist(3)

Miembros Principales

Tammmer (36 obras), zhuazhua88 (13), morphismus (13), shingarov (11), mkjones (10), aabdelrahmanm (7), hmack777 (5), xoanon93 (5), lidaskoteina (5), dgdfgdfgdf (4), thsutton (4), ajp7 (4), jsroyer (4), draganigajic (4), Divadrax (4), Clip01 (3), JohnY77 (3), dmankins (3), logoi (3), CMUQLResearch (3), ever_3v3r (3), logicatGU (3), laguvajra (3), tremali (3), joshpurinton (3), nillacat (3), bwa32 (3), avoidbeing (2), BerrinSerdar (2), jose.calero.gt (2), tprotopopescu (2), howison (2), ryanzus11 (2), excessbooks (2), wrrnhttn (2), LWBLibrary (2), Alain-Lecomte (2), Ken_Roger_Riggs (2), Markober (2), SJCLibraryOxford (2), hunan.rostomyan (2), ai51 (2), pisymbol (2), steshaw (2), BUHR (2), appleby (2), eblake (2), rooktn (2), exfas (2), gtredoux (2), the_sponge (2), jwinterburn (2), koffieyahoo (2), flint63 (2), axiomsofchoice (2), scg (2), wdavidlewis (2), idiosyncratic (2), leememorin2006 (2), daemin (2), peoppenheimer (2), bertilak (2), raak (2), bierbais (1), xandkar (1), arieser (1), faendril (1), MadaZ (1), salzer (1), eri_kars (1), myvanwy (1), quavmo (1), kevinmccarty (1), Crooper (1), epstabler (1), jose_ds (1), csgordon_ (1), devogon (1), sjfloat (1), ucomigna (1), dajobat (1), rri (1), nguyenthuylinh253 (1), deano27 (1), pbumbulis (1), markwhiting (1), VioletCrown (1), Stonebkfly (1), lakkal (1), mainland (1), DerekClegg (1), filipkos (1), cwfmd (1), Chris.Russell (1), AppliedOptimization (1), kylios (1), sujrao (1), bennn (1), Boekuuh (1), Alex.Arthur (1), jmsiddall (1), Andrea1968 (1), cleague (1), pkllibrarything (1), lafstern (1), shaun.d.gilchrist (1), SeanScott (1), simonelechiancole (1), esevre (1), Zana.Chan (1), SichuLu (1), etourneau (1), drexin (1), taylor_cc (1), sannevde (1), MITLibStaff (1), davidar (1), alfredqbit (1), kerschek (1), davidmbrowning (1), PensivePeter (1), Kliban (1), 4soft (1), pauladamsmith (1), Alexander_Holik (1), cons-meta (1), hypatian_kat (1), xphileprof (1), BreadAndRoses (1), davidagross (1), BUMPCS (1), amurrayw (1), NYULinguistics (1), hagtvedt (1), pascalien (1), nullset (1), phillner (1), BobCulley (1), nicknuar (1), UgoDalLago (1), UCSC_Linguistics (1), HertfordCollegeLib (1), wiredfromback (1), 0db (1), green2power (1), pschoessow (1), smuemisdept (1), Sarah.Woodall (1), spaetij (1), BiblioCave (1), shadeofpale (1), JelenaMarincic (1), gvaf (1), gandg (1), HendrikePeetz (1), pbleyer (1), matthew.henderson (1), spinoza18 (1), blackwinter (1), r_ibsen (1), s0fist (1), PrasunChoudhury (1), fogus (1), 23Skidoo (1), stu73 (1), jimshapiro (1), gkmy (1), hemlisp (1), DocOnDev (1), pleigh20 (1), apgcecil (1), frink (1), emblaze (1), ottological (1), deoradh (1), agrieble (1), lovells (1), tlockney (1), vishallama (1), birix (1), edwincoleman (1), sharkpanzee (1), rwb24 (1), jmccarro (1), marc.frei (1), hmcmath (1), yhk (1), vijay.raghavan (1), dibben (1), byinbyan (1), GreenMeander (1), gremo (1), SSQ (1), schurl (1), fouvry (1), JohnCernes (1), etptupaf (1), Sander314 (1), SciPort (1), supergeniuscoyote (1)

Popularidad