SerierFoundations of Computing Series

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

Nøgleord

1994(2) 2007(2) @eB(2) algorithms(2) amy-book(6) Box 8(2) browsed(2) category theory(25) collection:computing(1) compilers(2) computer science(64) computers(6) computing(18) Computing Science(9) cs(9) ddc 005(1) e(2) functional programming(2) goodreads(6) language(2) languages(2) logic(10) logic programming(3) math(47) Math Books To Give Away(1) MIT Press(2) non-fiction(8) number theory(4) office(2) OfficeHallway(2) own(3) owned(4) owner:cslib(2) owner:klaus(7) plt(2) process algebra(2) programming(17) programming languages(12) science(2) semantics(14) Semantics and Type Theory(2) textbook(4) Theo(2) Theodore's library(1) to-read(25) types(5) unread(2) where:klaus office(4) where:seba office(2) work(2)

Top Members

morphismus (11 værker), 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), Carlos_Lescano (1), Buchmerkur (1), BerrinSerdar (1), prengel90 (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), 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)

Popularitet