SerieCambridge Tracts in Theoretical Computer Science

45 Opere Popolarità 21,291 (353 Utenti) 595 Libri 1 Recensione ½ 3.8
prossimo
mostra tutti 45
StoriaEdizione
Algorithmic Information Theory di Gregory J. Chaitin 56 copie, 1 recensione1
Applications of Process Algebra (Cambridge Tracts in Theoretical Computer Science) di J.C.M. Baeten 2 copie
Basic Proof Theory di A. S. Troelstra 35 copie
Computational Geometry in C di Joseph O'Rourke 96 copie
Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science) di Willem-Paul de Roever 3 copie
Formal Methods in Artificial Intelligence di Allan Ramsay 6 copie
Higher Order Logic and Hardware Verification di T. F. Melham 3 copie
Hybrid Graph Theory and Network Analysis di Ladislav Novak 7 copie
Information Flow: The Logic of Distributed Systems di Jon Barwise 22 copie
Modal Logic di Patrick Blackburn 45 copie
Nominal Sets: Names and Symmetry in Computer Science (Cambridge Tracts in Theoretical Computer Science) di A. M. Pitts 3 copie
The Optimal Implementation of Functional Programming Languages di Andrea Asperti 11 copie
Process Algebra (Cambridge Tracts in Theoretical Computer Science) di J.C.M. Baeten 5 copie
Process Algebra: Equational Theories of Communicating Processes (Cambridge Tracts in Theoretical Computer Science) di J.C.M. Baeten 4 copie
Proofs and Types di Jean-Yves Girard 27 copie
Term Rewriting Systems di Terese 11 copie
Two-Level Functional Languages (Cambridge Tracts in Theoretical Computer Science) di Flemming Nielson 3 copie
A Unifying Framework for Structured Analysis and Design Models: An Approach Using Initial Algebra Semantics and Category Theory (Cambridge Tracts in Theoretical Computer Science) di T. H. Tse 1 copia
Logic and Computation: Interactive Proof with Cambridge LCF di Lawrence C. Paulson 10 copie2
Understanding Z: A Specification Language and its Formal Semantics di J. M. Spivey 3 copie3
Lambda-calculus, Combinators and Functional Programming di G. E. Revesz 15 copie4
Topology via Logic di Steven Vickers 28 copie5
Formal Semantics and Pragmatics for Natural Language Querying di James Clifford 6 copie8
Mathematics for Computer Graphics di S. G. Hoggar 15 copie14
Design Theory and Computer Science di Subrata Dasgupta 5 copie15
Extensions of First-Order Logic di Maria Manzano 9 copie19
The Clausal Theory of Types di D. A. Wolfram 6 copie21
Mathematical Theory of Domains (Cambridge Tracts in Theoretical Computer Science) di Viggo Stoltenberg-Hansen 5 copie22
Action Semantics di Peter D. Mosses 6 copie26
Deductive and Declarative Programming di Peter Padawitz 5 copie28
Belief Revision di Peter Gärdenfors 7 copie29
Computational Learning Theory di M.H.G. Anthony 2 copie30
The Logic of Typed Feature Structures di Robert L. Carpenter 11 copie32
Predicate Transformer Semantics di Ernest G. Manes 1 copia33
Algebraic Specification of Communication Protocols di S. Mauw 4 copie36
Metamathematics, Machines and Gödel's Proof di N. Shankar 20 copie38
The Uncertain Reasoner's Companion: A Mathematical Perspective di J. B. Paris 7 copie39
Epistemic Logic for AI and Computer Science di J.-J. Ch. Meyer 6 copie41
Basic Simple Type Theory di J. Roger Hindley 34 copie42
Domains and Lambda-Calculi di Roberto M. Amadio 8 copie46
Propositional Logic: Deduction and Algorithms di Hans Kleine Büning 5 copie48
Derivation and Computation di H. Simmons 7 copie51
Advanced Topics in Bisimulation and Coinduction di Davide Sangiorgi 6 copie52
Concurrency Verification: Introduction to Compositional and Non-Compositional Methods di Willem-Paul de Roever 1 copia54
Rippling: Meta-Level Guidance for Mathematical Reasoning di Alan Bundy 11 copie56

Etichette

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)

Utenti con più opere

Tammmer (36 opere), 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)

Popolarità