SeriesFoundations of Computing Series

24 Obras Popularidad 21,584 (344 Miembros) 498 Libros 2 Reseñas ½ 3.6
Algebraic Semantics of Imperative Programs por Joseph A. Goguen 8 copias
Algebraic Theory of Processes por Matthew Hennessy 10 copias
Algorithmic Number Theory, Vol. 1: Efficient Algorithms por Eric Bach 23 copias
Basic Category Theory for Computer Scientists por Benjamin C. Pierce 164 copias, 2 reseñas
Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist por Andrea Asperti 23 copias
Circuit Complexity and Neural Networks (Foundations of Computing) por Ian Parberry 2 copias
Computability and Complexity: From a Programming Perspective por Neil D. Jones 26 copias
Control Flow Semantics (Foundations of Computing) por Jaco de Bakker 5 copias
Dynamic Logic (Foundations of Computing) por David Harel 10 copias
Equational Logic as a Programming Language (Foundations of Computing) por Michael J. O'Donnell 11 copias
Exploring Interior-Point Linear Programming: Algorithms and Software (Foundations of Computing) por Ami Arbel 1 copia
The Formal Semantics of Programming Languages: An Introduction por Glynn Winskel 61 copias
Foundations for Programming Languages por John C. Mitchell 41 copias
From Logic to Logic Programming (Foundations of Computing) por Kees Doets 10 copias
Hilbert's 10th Problem (Foundations of Computing) por Yuri Matiyasevich 15 copias
Logic and Information Flow (Foundations of Computing) por Jan van Eijck 4 copias
Proof, Language, and Interaction: Essays in Honour of Robin Milner por Gordon Plotkin 11 copias
PX: A Computational Logic (Foundations of Computing) por Susumu Hayashi 3 copias
Realistic Compiler Generation (Foundations of Computing) por Peter Lee 7 copias
Semantics of Programming Languages: Structures and Techniques por Carl A. Gunter 30 copias
The stable marriage problem : structure and algorithms por Dan Gusfield 2 copias
The Structure of Typed Programming Languages por David A. Schmidt 13 copias
Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design por Carl A. Gunter 15 copias
Theory of Deductive Systems and Its Applications (Mit Press Series in the Foundations of Computing) por S.Yu Maslov 2 copias

Etiquetas

Miembros Principales

morphismus (11 obras), mkjones (9), brpl (6), housel (6), zhuazhua88 (5), steshaw (5), koffieyahoo (5), scg (5), mainland (4), shingarov (4), akopete (4), draganigajic (4), rds56 (3), hrsii (3), CMUQLResearch (3), pascal.weisser (3), hemlisp (3), pgourdin (3), laguvajra (3), theocide (3), nocebo (3), sullen (2), gbooch (2), aFewMooreBooks (2), pbumbulis (2), aahlad (2), thsutton (2), cleague (2), lwbrown (2), hypatian_kat (2), Markober (2), phillner (2), hmack777 (2), pausam (2), legonis (2), pleigh20 (2), tlockney (2), xoanon93 (2), bruce123 (2), exfas (2), the_sponge (2), bmenasha (2), Patentnonsense (2), axiomsofchoice (2), nounours (2), FeralWhippet (2), reddean (2), lidaskoteina (2), bertilak (2), RLKnighten (2), kc.shashidhar (2), Dymaxion (2), bwa32 (2), ericandkoriallen (2), stefano (2), raak (2), Buchmerkur (1), BerrinSerdar (1), JWvdVuurst (1), jose.calero.gt (1), jbrubaker999 (1), briannyc (1), mcldch (1), Castinet (1), mash-a (1), lrsjohnson (1), eri_kars (1), eatonphil (1), lispnik (1), dlcohn (1), mdko (1), gpassmore (1), marssaxman (1), sjfloat (1), KBKarma (1), scelib (1), Gaius_the_Meek (1), isovector (1), ajtindall (1), DawnDrain (1), NRCWilson (1), nholik (1), valcomm (1), ahickling (1), lipidity (1), boyan.. (1), tr0n (1), ehavugi (1), azradv (1), Plasmoid (1), smitty2567 (1), excessbooks (1), garryjr (1), mffowler (1), dmngmln (1), danielsoneg (1), libib479 (1), Dehong (1), jd7h (1), kenshin79 (1), lafstern (1), hogank (1), JoaquimRC (1), awstlaur (1), Alain-Lecomte (1), Zana.Chan (1), KennethUdut (1), erathostenes (1), MaxHaydenChiz (1), eyongxin (1), DartmouthBookSlide (1), aalpar (1), Kliban (1), 4soft (1), unlearnedhand (1), stevemwilliams (1), benwr (1), tomh5908 (1), dkcampbell (1), emf1123 (1), BUMPCS (1), NickIvanov (1), mhewett (1), LPSLibrary (1), snapinteractive (1), PedrBran (1), wish-dumain (1), siandra11 (1), John_Scott (1), hunan.rostomyan (1), mklucznik (1), smuemisdept (1), Thomas.Levy (1), russjohnson09 (1), cheesestraws (1), skippa (1), bcat24 (1), ahkaissi (1), emily.and.maia.estes (1), edwtjo (1), Tammmer (1), ziefle (1), ExportFrisian (1), Johnicholas (1), gvaf (1), RGtx (1), timcowlishaw (1), porges (1), patanahi5 (1), Klonuo (1), fogus (1), edorrington (1), Tautadiction (1), wvc (1), ocharles (1), 23Skidoo (1), jozi (1), bockmabe (1), narain (1), shiza (1), frink (1), rmies (1), jorgecardoso (1), vishallama (1), jgg (1), volkani (1), DeptInformatique (1), edwincoleman (1), MLeoDaalder (1), DoctorQ (1), jmccarro (1), tih (1), JanKroken (1), marc.frei (1), jimburton (1), rpennock (1), cyberlaw (1), frogman2 (1), Keirsey (1), dpiponi (1), nadathur (1), fouvry (1), naastik (1), JPArroyo (1), Nostrand (1), apgarcia (1), tmroeder (1), sp_ (1), RolfRolles (1), SciPort (1), george_h (1), clifflib (1), AlkerVirtualLibrary (1), olifante (1), tremali (1), quokka70 (1), erohwedd (1), RobertReader (1), randomwalker (1), pbhaduri (1)

Popularidad