SerierFoundations of Computing Series

24 Verk Popularitet 18,451 (303 Medlemmar) 437 Böcker 1 Recension 3.6
Algebraic Semantics of Imperative Programs by Joseph A. Goguen 8 exemplar
Algebraic Theory of Processes by Matthew Hennessy 10 exemplar
Algorithmic Number Theory, Vol. 1: Efficient Algorithms by Eric Bach 19 exemplar
Basic Category Theory for Computer Scientists by Benjamin C. Pierce 143 exemplar, 1 recension
Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist by Andrea Asperti 18 exemplar
Circuit Complexity and Neural Networks (Foundations of Computing) by Ian Parberry 1 exemplar
Computability and Complexity: From a Programming Perspective by Neil D. Jones 25 exemplar
Control Flow Semantics (Foundations of Computing) by Jaco de Bakker 5 exemplar
Dynamic Logic (Foundations of Computing) by David Harel 7 exemplar
Equational Logic as a Programming Language (Foundations of Computing) by Michael J. O'Donnell 9 exemplar
Exploring Interior-Point Linear Programming: Algorithms and Software (Foundations of Computing) by Ami Arbel 1 exemplar
The Formal Semantics of Programming Languages: An Introduction by Glynn Winskel 56 exemplar
Foundations for Programming Languages by John C. Mitchell 34 exemplar
From Logic to Logic Programming (Foundations of Computing) by Kees Doets 9 exemplar
Hilbert's 10th Problem (Foundations of Computing) by Yuri Matiyasevich 15 exemplar
Logic and Information Flow (Foundations of Computing) by Jan van Eijck 4 exemplar
Proof, Language, and Interaction: Essays in Honour of Robin Milner by Gordon Plotkin 11 exemplar
PX: A Computational Logic (Foundations of Computing) by Susumu Hayashi 1 exemplar
Realistic Compiler Generation (Foundations of Computing) by Peter Lee 7 exemplar
Semantics of Programming Languages: Structures and Techniques by Carl A. Gunter 26 exemplar
The stable marriage problem : structure and algorithms by Dan Gusfield 2 exemplar
The Structure of Typed Programming Languages by David A. Schmidt 12 exemplar
Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design by Carl A. Gunter 11 exemplar
Theory of Deductive Systems and Its Applications (Mit Press Series in the Foundations of Computing) by S.Yu Maslov 2 exemplar

Taggar

Medlemmar med flest

morphismus (11 verk), mkjones (9), housel (6), brpl (6), steshaw (5), scg (5), martisch (5), koffieyahoo (5), akopete (4), mainland (4), draganigajic (4), hemlisp (3), laguvajra (3), CMUQLResearch (3), pgourdin (3), hrsii (3), nocebo (3), theocide (3), axiomsofchoice (2), nounours (2), the_sponge (2), cleague (2), Patentnonsense (2), bmenasha (2), pleigh20 (2), exfas (2), hypatian_kat (2), lwbrown (2), pascal.weisser (2), legonis (2), phillner (2), FeralWhippet (2), ryanakca (2), bruce123 (2), Dymaxion (2), hmack777 (2), bertilak (2), bwa32 (2), raak (2), ericandkoriallen (2), pbumbulis (2), ponvert (2), stefano (2), xoanon93 (2), tlockney (2), kc.shashidhar (2), thsutton (2), RLKnighten (2), aahlad (2), jimburton (1), RGtx (1), gvaf (1), Johnicholas (1), timcowlishaw (1), marc.frei (1), emily.and.maia.estes (1), cyberlaw (1), edwtjo (1), Tammmer (1), ziefle (1), rpennock (1), porges (1), ExportFrisian (1), JanKroken (1), patanahi5 (1), MLeoDaalder (1), narain (1), edwincoleman (1), DeptInformatique (1), volkani (1), shiza (1), jgg (1), frink (1), rmies (1), jorgecardoso (1), DoctorQ (1), bockmabe (1), jozi (1), Klonuo (1), fogus (1), edorrington (1), jmccarro (1), Tautadiction (1), wvc (1), ocharles (1), 23Skidoo (1), vishallama (1), ajtindall (1), chrysedonia (1), Dehong (1), lafstern (1), hogank (1), JoaquimRC (1), awstlaur (1), shingarov (1), Alain-Lecomte (1), Zana.Chan (1), KennethUdut (1), erathostenes (1), libib479 (1), DawnDrain (1), nholik (1), valcomm (1), ahickling (1), lipidity (1), ehavugi (1), azradv (1), excessbooks (1), garryjr (1), mffowler (1), dmngmln (1), danielsoneg (1), MaxHaydenChiz (1), eyongxin (1), PedrBran (1), wish-dumain (1), Plasmoid (1), siandra11 (1), John_Scott (1), hunan.rostomyan (1), mklucznik (1), smuemisdept (1), Thomas.Levy (1), russjohnson09 (1), cheesestraws (1), skippa (1), bcat24 (1), snapinteractive (1), LPSLibrary (1), DartmouthBookSlide (1), Kliban (1), 4soft (1), unlearnedhand (1), stevemwilliams (1), benwr (1), tomh5908 (1), dkcampbell (1), emf1123 (1), BUMPCS (1), NickIvanov (1), mhewett (1), ahkaissi (1), panks (1), swsnider (1), airpocket (1), cbogart (1), cjeris (1), henny (1), xanadu (1), abeyer (1), reddean (1), leememorin2006 (1), NotAZombie (1), rnl (1), jlouis (1), el_m3alm (1), pandemonica (1), bvs (1), prahlad (1), peterdmark (1), jrussell (1), PhyllyssAcid-OphPh.D (1), trefoil (1), maxx (1), harinath (1), StanShebs (1), dladd (1), drezendes (1), rswartz (1), dmulligan (1), sbrickner (1), hermannstone (1), deg (1), ero (1), darrellp (1), johnnylogic (1), sleepinghead (1), EdwardCoffin (1), cinaedus (1), pnw4 (1), joeycoleman (1), snabbieyoyo (1), sprite (1), mtraven (1), JayDugger (1), a_sheep (1), macrakis (1), mzraly (1), joaquimrcarvalho (1), sudhirks.neverland (1), jtauber (1), BrianTRice (1), nillacat (1), zvr (1), ramalho (1), sellout42 (1), dave.lambert (1), skc (1), JasonRiedy (1), mies (1)